runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inesct-1.0/huge2.cudf.cudf_set.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/cudf_set/huge2.cudf /home/misc2010/tmp/201007051233/inesct-1.0/huge2.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.95 6/39 5006 /proc/meminfo: memFree=868000/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=0.01 /proc/5005/stat : 5005 (cudf-solver.py) R 5004 5004 3447 769 3447 4202496 748 0 0 0 1 0 0 0 25 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159003437 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5006] ppid=5005 vsize=4008 CPUtime=0 /proc/5006/stat : 5006 (cudf-solver.py) R 5005 5004 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 1 0 526472332 4104192 303 1283457024 134512640 135539072 4288351472 18446744073709551615 4159003437 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/5006/statm: 1002 303 7 251 0 303 0 [startup+0.152219 s] /proc/loadavg: 0.99 0.97 0.95 6/39 5006 /proc/meminfo: memFree=868000/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=0.01 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5006] ppid=5005 vsize=864468 CPUtime=0.13 /proc/5006/stat : 5006 (java) S 5005 5004 3447 769 3447 4202496 4598 0 1 0 11 2 0 0 25 0 9 0 526472332 885215232 3674 1283457024 134512640 134550932 4293652784 18446744073709551615 4160390290 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5006/statm: 216117 3674 1892 10 0 210455 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 870864 [startup+0.212233 s] /proc/loadavg: 0.99 0.97 0.95 6/39 5006 /proc/meminfo: memFree=868000/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=0.01 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5006] ppid=5005 vsize=864468 CPUtime=0.19 /proc/5006/stat : 5006 (java) S 5005 5004 3447 769 3447 4202496 4615 0 1 0 17 2 0 0 25 0 9 0 526472332 885215232 3691 1283457024 134512640 134550932 4293652784 18446744073709551615 4160390290 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5006/statm: 216117 3691 1892 10 0 210455 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 870864 [startup+0.312238 s] /proc/loadavg: 0.99 0.97 0.95 6/39 5006 /proc/meminfo: memFree=868000/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=0.01 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5006] ppid=5005 vsize=864468 CPUtime=0.29 /proc/5006/stat : 5006 (java) S 5005 5004 3447 769 3447 4202496 4632 0 1 0 27 2 0 0 25 0 9 0 526472332 885215232 3708 1283457024 134512640 134550932 4293652784 18446744073709551615 4160390290 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5006/statm: 216117 3708 1892 10 0 210455 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 870864 [startup+0.712333 s] /proc/loadavg: 0.99 0.97 0.95 6/39 5006 /proc/meminfo: memFree=868000/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=0.01 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5006] ppid=5005 vsize=864604 CPUtime=0.69 /proc/5006/stat : 5006 (java) S 5005 5004 3447 769 3447 4202496 5122 0 1 0 67 2 0 0 25 0 9 0 526472332 885354496 4179 1283457024 134512640 134550932 4293652784 18446744073709551615 4160390290 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5006/statm: 216151 4179 1922 10 0 210489 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 871000 [startup+1.51249 s] /proc/loadavg: 0.99 0.97 0.95 2/48 5015 /proc/meminfo: memFree=858524/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=0.01 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5006] ppid=5005 vsize=864604 CPUtime=1.5 /proc/5006/stat : 5006 (java) S 5005 5004 3447 769 3447 4202496 5412 0 1 0 146 4 0 0 25 0 9 0 526472332 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160390290 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5006/statm: 216151 4462 1950 10 0 210489 0 [pid=5006/tid=5008] ppid=5005 vsize=864604 CPUtime=1.42 /proc/5006/task/5008/stat : 5008 (java) R 5005 5004 3447 769 3447 4202560 3116 0 1 0 140 2 0 0 25 0 9 0 526472333 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4125199111 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5006/tid=5009] ppid=5005 vsize=864604 CPUtime=0.03 /proc/5006/task/5009/stat : 5009 (java) S 5005 5004 3447 769 3447 4202560 810 0 0 0 2 1 0 0 16 0 9 0 526472334 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160404488 0 0 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5010] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5010/stat : 5010 (java) S 5005 5004 3447 769 3447 4202560 15 0 0 0 0 0 0 0 23 0 9 0 526472334 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5011] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5011/stat : 5011 (java) S 5005 5004 3447 769 3447 4202560 8 0 0 0 0 0 0 0 22 0 9 0 526472334 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5012] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5012/stat : 5012 (java) S 5005 5004 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160411984 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5013] ppid=5005 vsize=864604 CPUtime=0.04 /proc/5006/task/5013/stat : 5013 (java) S 5005 5004 3447 769 3447 4202560 374 0 0 0 4 0 0 0 16 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5014] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5014/stat : 5014 (java) S 5005 5004 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5015] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5015/stat : 5015 (java) R 5005 5004 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160404488 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 871000 Solver just ended. Dumping a history of the last processes samples [startup+1.61253 s] /proc/loadavg: 0.99 0.97 0.95 2/48 5015 /proc/meminfo: memFree=858524/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=0.01 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5006] ppid=5005 vsize=864604 CPUtime=1.6 /proc/5006/stat : 5006 (java) S 5005 5004 3447 769 3447 4202496 5412 0 1 0 156 4 0 0 25 0 9 0 526472332 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160390290 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5006/statm: 216151 4462 1950 10 0 210489 0 [pid=5006/tid=5008] ppid=5005 vsize=864604 CPUtime=1.52 /proc/5006/task/5008/stat : 5008 (java) R 5005 5004 3447 769 3447 4202560 3116 0 1 0 150 2 0 0 25 0 9 0 526472333 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4125199038 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5006/tid=5009] ppid=5005 vsize=864604 CPUtime=0.03 /proc/5006/task/5009/stat : 5009 (java) S 5005 5004 3447 769 3447 4202560 810 0 0 0 2 1 0 0 16 0 9 0 526472334 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160404488 0 0 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5010] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5010/stat : 5010 (java) S 5005 5004 3447 769 3447 4202560 15 0 0 0 0 0 0 0 23 0 9 0 526472334 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5011] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5011/stat : 5011 (java) S 5005 5004 3447 769 3447 4202560 8 0 0 0 0 0 0 0 22 0 9 0 526472334 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5012] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5012/stat : 5012 (java) S 5005 5004 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160411984 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5013] ppid=5005 vsize=864604 CPUtime=0.04 /proc/5006/task/5013/stat : 5013 (java) S 5005 5004 3447 769 3447 4202560 374 0 0 0 4 0 0 0 16 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5014] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5014/stat : 5014 (java) S 5005 5004 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160403696 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=5006/tid=5015] ppid=5005 vsize=864604 CPUtime=0 /proc/5006/task/5015/stat : 5015 (java) S 5005 5004 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 526472335 885354496 4462 1283457024 134512640 134550932 4293652784 18446744073709551615 4160404488 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 871000 [startup+2.00839 s] /proc/loadavg: 0.99 0.97 0.95 2/48 5015 /proc/meminfo: memFree=858524/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=1.86 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 778 6908 0 1 1 0 180 5 18 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 1.86 Current children cumulated vsize (KiB) 6396 [startup+2.20846 s] /proc/loadavg: 0.99 0.97 0.95 4/41 5020 /proc/meminfo: memFree=864648/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=2.1 /proc/5005/stat : 5005 (cudf-solver.py) R 5004 5004 3447 769 3447 4202496 806 8270 0 1 1 0 189 20 18 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159003437 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5019] ppid=5005 vsize=2892 CPUtime=0.01 /proc/5019/stat : 5019 (sh) R 5005 5004 3447 769 3447 4194304 343 0 0 0 1 0 0 0 18 0 1 0 526472549 2961408 323 1283457024 134512640 135191968 4287560816 18446744073709551615 4159549856 0 65538 16781316 65536 0 0 0 17 0 0 0 0 /proc/5019/statm: 723 323 220 166 0 155 0 [pid=5020] ppid=5019 vsize=4268 CPUtime=0.02 /proc/5020/stat : 5020 (msuncore) R 5019 5004 3447 769 3447 4202496 626 0 0 0 2 0 0 0 18 0 1 0 526472549 4370432 546 1283457024 134512640 135858300 4290877376 18446744073709551615 134553721 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/5020/statm: 1067 546 111 329 0 736 0 Current children cumulated CPU time (s) 2.13 Current children cumulated vsize (KiB) 13556 [startup+2.30849 s] /proc/loadavg: 0.99 0.97 0.95 4/41 5020 /proc/meminfo: memFree=864648/1048576 swapFree=2091916/2097144 [pid=5004] ppid=5003 vsize=2388 CPUtime=0 /proc/5004/stat : 5004 (inesct-1.0) S 5003 5004 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 526472331 2445312 261 1283457024 134512640 135191968 4290795312 18446744073709551615 4159666590 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5004/statm: 597 261 222 166 0 29 0 [pid=5005] ppid=5004 vsize=4008 CPUtime=2.1 /proc/5005/stat : 5005 (cudf-solver.py) S 5004 5004 3447 769 3447 4202496 807 8270 0 1 1 0 189 20 18 0 1 0 526472331 4104192 644 1283457024 134512640 135539072 4288351472 18446744073709551615 4159383966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5005/statm: 1002 644 348 251 0 303 0 [pid=5019] ppid=5005 vsize=2892 CPUtime=0.01 /proc/5019/stat : 5019 (sh) S 5005 5004 3447 769 3447 4194304 360 0 0 0 1 0 0 0 18 0 1 0 526472549 2961408 324 1283457024 134512640 135191968 4287560816 18446744073709551615 4159547806 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5019/statm: 723 324 221 166 0 155 0 [pid=5020] ppid=5019 vsize=10784 CPUtime=0.12 /proc/5020/stat : 5020 (msuncore) R 5019 5004 3447 769 3447 4202496 3769 0 0 0 8 4 0 0 21 0 1 0 526472549 11042816 2472 1283457024 134512640 135858300 4290877376 18446744073709551615 134614882 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/5020/statm: 2696 2472 115 329 0 2365 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 20072 Child status: 0 Real time (s): 2.37349 CPU time (s): 2.30814 CPU user time (s): 2.06813 CPU system time (s): 0.240015 CPU usage (%): 97.2468 Max. virtual memory (cumulated for all children) (KiB): 871320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.06813 system time used= 0.240015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14579 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 541 involuntary context switches= 515 runsolver used 0 second user time and 0.008 second system time The end