runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3211289-1303177658/watcher-3211289-1303177658 -o /tmp/evaluation-result-3211289-1303177658/solver-3211289-1303177658 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3211289-1303177658.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20239
/proc/meminfo: memFree=24626856/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=1188 CPUtime=0 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 174 0 0 0 0 0 0 0 25 0 1 0 429365418 1216512 129 33554432000 134512640 135197378 4293956672 18446744073709551615 134560344 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 297 132 62 168 0 128 0
[startup+0.0469041 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20239
/proc/meminfo: memFree=24626856/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=2464 CPUtime=0.04 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 455 0 0 0 4 0 0 0 25 0 1 0 429365418 2523136 408 33554432000 134512640 135197378 4293956672 18446744073709551615 134572875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 616 408 91 168 0 447 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2464
[startup+0.100893 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20239
/proc/meminfo: memFree=24626856/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=2464 CPUtime=0.09 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 475 0 0 0 9 0 0 0 25 0 1 0 429365418 2523136 428 33554432000 134512640 135197378 4293956672 18446744073709551615 134525272 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 616 428 91 168 0 447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2464
[startup+0.300853 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20239
/proc/meminfo: memFree=24626856/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=2608 CPUtime=0.29 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 494 0 0 0 29 0 0 0 25 0 1 0 429365418 2670592 447 33554432000 134512640 135197378 4293956672 18446744073709551615 134572705 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 652 447 91 168 0 483 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2608
[startup+0.700728 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20239
/proc/meminfo: memFree=24626856/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=2932 CPUtime=0.69 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 558 0 0 0 69 0 0 0 25 0 1 0 429365418 3002368 511 33554432000 134512640 135197378 4293956672 18446744073709551615 134548521 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 733 511 91 168 0 564 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2932
[startup+1.50063 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20240
/proc/meminfo: memFree=24625120/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=3000 CPUtime=1.49 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 588 0 0 0 149 0 0 0 25 0 1 0 429365418 3072000 541 33554432000 134512640 135197378 4293956672 18446744073709551615 134542106 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 750 541 91 168 0 581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3000
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20240
/proc/meminfo: memFree=24624728/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=3252 CPUtime=3.09 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 638 0 0 0 309 0 0 0 25 0 1 0 429365418 3330048 591 33554432000 134512640 135197378 4293956672 18446744073709551615 134552521 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 813 591 91 168 0 644 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3252
[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20240
/proc/meminfo: memFree=24623832/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=3996 CPUtime=6.29 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 772 0 0 0 629 0 0 0 25 0 1 0 429365418 4091904 725 33554432000 134512640 135197378 4293956672 18446744073709551615 134542288 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 999 725 91 168 0 830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3996
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20240
/proc/meminfo: memFree=24622116/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=4688 CPUtime=12.69 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 978 0 0 0 1269 0 0 0 25 0 1 0 429365418 4800512 931 33554432000 134512640 135197378 4293956672 18446744073709551615 134541914 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 1172 931 91 168 0 1003 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4688
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20241
/proc/meminfo: memFree=24619024/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=6960 CPUtime=25.49 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 1398 0 0 0 2549 0 0 0 25 0 1 0 429365418 7127040 1351 33554432000 134512640 135197378 4293956672 18446744073709551615 134552493 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 1740 1351 91 168 0 1571 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6960
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 20241
/proc/meminfo: memFree=24613528/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=12116 CPUtime=51.09 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 2209 0 0 0 5109 0 0 0 25 0 1 0 429365418 12406784 2162 33554432000 134512640 135197378 4293956672 18446744073709551615 134596720 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 3029 2162 91 168 0 2860 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 12116
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20243
/proc/meminfo: memFree=24601344/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=17420 CPUtime=102.3 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 3778 0 0 0 10229 1 0 0 25 0 1 0 429365418 17838080 3731 33554432000 134512640 135197378 4293956672 18446744073709551615 134542144 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 4355 3731 91 168 0 4186 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17420
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20244
/proc/meminfo: memFree=24588420/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=26224 CPUtime=162.29 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 5658 0 0 0 16228 1 0 0 25 0 1 0 429365418 26853376 5611 33554432000 134512640 135197378 4293956672 18446744073709551615 134525293 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 6556 5611 91 168 0 6387 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26224
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20246
/proc/meminfo: memFree=24575120/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=34956 CPUtime=222.3 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 7509 0 0 0 22228 2 0 0 25 0 1 0 429365418 35794944 7462 33554432000 134512640 135197378 4293956672 18446744073709551615 134572869 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 8739 7462 91 168 0 8570 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 34956
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20247
/proc/meminfo: memFree=24562460/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=53884 CPUtime=282.3 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 9318 0 0 0 28227 3 0 0 25 0 1 0 429365418 55177216 9271 33554432000 134512640 135197378 4293956672 18446744073709551615 134618155 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 13471 9271 91 168 0 13302 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 53884
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20249
/proc/meminfo: memFree=24549540/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=53884 CPUtime=342.3 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 11118 0 0 0 34227 3 0 0 25 0 1 0 429365418 55177216 11071 33554432000 134512640 135197378 4293956672 18446744073709551615 134525358 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 13471 11071 91 168 0 13302 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 53884
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20251
/proc/meminfo: memFree=24537232/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=73528 CPUtime=402.3 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 12904 0 0 0 40226 4 0 0 25 0 1 0 429365418 75292672 12857 33554432000 134512640 135197378 4293956672 18446744073709551615 134542026 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 18382 12857 91 168 0 18213 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 73528
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20252
/proc/meminfo: memFree=24525176/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=73528 CPUtime=462.31 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 14654 0 0 0 46226 5 0 0 25 0 1 0 429365418 75292672 14607 33554432000 134512640 135197378 4293956672 18446744073709551615 134541916 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 18382 14607 91 168 0 18213 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 73528
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20254
/proc/meminfo: memFree=24513720/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=84928 CPUtime=522.3 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 16337 0 0 0 52225 5 0 0 25 0 1 0 429365418 86966272 16290 33554432000 134512640 135197378 4293956672 18446744073709551615 134539276 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 21232 16290 91 168 0 21063 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 84928
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20255
/proc/meminfo: memFree=24500436/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=84928 CPUtime=582.31 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 18155 0 0 0 58226 5 0 0 25 0 1 0 429365418 86966272 18108 33554432000 134512640 135197378 4293956672 18446744073709551615 134542000 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 21232 18108 91 168 0 21063 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 84928
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24498392/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=158728 CPUtime=942.32 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 28769 0 0 0 94224 8 0 0 25 0 1 0 429365418 162537472 28722 33554432000 134512640 135197378 4293956672 18446744073709551615 134552756 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 39682 28722 91 168 0 39513 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 158728
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20777
/proc/meminfo: memFree=24484216/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=181524 CPUtime=1002.33 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 30586 0 0 0 100224 9 0 0 25 0 1 0 429365418 185880576 30539 33554432000 134512640 135197378 4293956672 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 45381 30539 91 168 0 45212 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 181524
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20778
/proc/meminfo: memFree=24471856/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=181524 CPUtime=1062.33 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 32377 0 0 0 106223 10 0 0 25 0 1 0 429365418 185880576 32330 33554432000 134512640 135197378 4293956672 18446744073709551615 134601478 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 45381 32330 91 168 0 45212 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 181524
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20780
/proc/meminfo: memFree=24458800/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=181524 CPUtime=1122.33 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 34148 0 0 0 112223 10 0 0 25 0 1 0 429365418 185880576 34101 33554432000 134512640 135197378 4293956672 18446744073709551615 134606660 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 45381 34101 91 168 0 45212 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 181524
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20781
/proc/meminfo: memFree=24446000/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=181524 CPUtime=1182.33 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 35901 0 0 0 118223 10 0 0 25 0 1 0 429365418 185880576 35854 33554432000 134512640 135197378 4293956672 18446744073709551615 134572862 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 45381 35854 91 168 0 45212 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 181524
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20783
/proc/meminfo: memFree=24433692/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=181524 CPUtime=1242.34 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 37598 0 0 0 124223 11 0 0 25 0 1 0 429365418 185880576 37551 33554432000 134512640 135197378 4293956672 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 45381 37551 91 168 0 45212 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 181524
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20785
/proc/meminfo: memFree=24420924/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=181524 CPUtime=1302.34 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 39370 0 0 0 130223 11 0 0 25 0 1 0 429365418 185880576 39323 33554432000 134512640 135197378 4293956672 18446744073709551615 134618155 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 45381 39323 91 168 0 45212 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 181524
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20786
/proc/meminfo: memFree=24408608/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=181524 CPUtime=1362.33 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 41177 0 0 0 136222 11 0 0 25 0 1 0 429365418 185880576 41130 33554432000 134512640 135197378 4293956672 18446744073709551615 134539191 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 45381 41130 91 168 0 45212 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 181524
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20788
/proc/meminfo: memFree=24395812/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1422.34 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 42969 0 0 0 142222 12 0 0 25 0 1 0 429365418 253771776 42922 33554432000 134512640 135197378 4293956672 18446744073709551615 134525269 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 42922 91 168 0 61787 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 247824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20789
/proc/meminfo: memFree=24383744/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1482.35 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 44702 0 0 0 148222 13 0 0 25 0 1 0 429365418 253771776 44655 33554432000 134512640 135197378 4293956672 18446744073709551615 134618468 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 44655 91 168 0 61787 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 247824
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20791
/proc/meminfo: memFree=24371440/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1542.34 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 46424 0 0 0 154221 13 0 0 25 0 1 0 429365418 253771776 46377 33554432000 134512640 135197378 4293956672 18446744073709551615 134541930 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 46377 91 168 0 61787 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 247824
Solver just ended. Dumping a history of the last processes samples
[startup+1561.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20791
/proc/meminfo: memFree=24367964/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1561.54 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 46963 0 0 0 156141 13 0 0 25 0 1 0 429365418 253771776 46916 33554432000 134512640 135197378 4293956672 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 46916 91 168 0 61787 0
Current children cumulated CPU time (s) 1561.54
Current children cumulated vsize (KiB) 247824
[startup+1567.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20792
/proc/meminfo: memFree=24366592/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1567.95 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 47145 0 0 0 156782 13 0 0 25 0 1 0 429365418 253771776 47098 33554432000 134512640 135197378 4293956672 18446744073709551615 134525322 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 47098 91 168 0 61787 0
Current children cumulated CPU time (s) 1567.95
Current children cumulated vsize (KiB) 247824
[startup+1574.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20792
/proc/meminfo: memFree=24365352/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1574.35 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 47322 0 0 0 157422 13 0 0 25 0 1 0 429365418 253771776 47275 33554432000 134512640 135197378 4293956672 18446744073709551615 134541916 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 47275 91 168 0 61787 0
Current children cumulated CPU time (s) 1574.35
Current children cumulated vsize (KiB) 247824
[startup+1577.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20792
/proc/meminfo: memFree=24364732/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1577.55 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 47411 0 0 0 157742 13 0 0 25 0 1 0 429365418 253771776 47364 33554432000 134512640 135197378 4293956672 18446744073709551615 134539327 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 47364 91 168 0 61787 0
Current children cumulated CPU time (s) 1577.55
Current children cumulated vsize (KiB) 247824
[startup+1579.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20792
/proc/meminfo: memFree=24364484/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1579.15 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 47451 0 0 0 157902 13 0 0 25 0 1 0 429365418 253771776 47404 33554432000 134512640 135197378 4293956672 18446744073709551615 134541916 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 47404 91 168 0 61787 0
Current children cumulated CPU time (s) 1579.15
Current children cumulated vsize (KiB) 247824
[startup+1579.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20792
/proc/meminfo: memFree=24364232/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1579.55 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 47461 0 0 0 157942 13 0 0 25 0 1 0 429365418 253771776 47414 33554432000 134512640 135197378 4293956672 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 47414 91 168 0 61787 0
Current children cumulated CPU time (s) 1579.55
Current children cumulated vsize (KiB) 247824
[startup+1579.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20792
/proc/meminfo: memFree=24364232/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1579.75 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 47467 0 0 0 157962 13 0 0 25 0 1 0 429365418 253771776 47420 33554432000 134512640 135197378 4293956672 18446744073709551615 134552394 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 47420 91 168 0 61787 0
Current children cumulated CPU time (s) 1579.75
Current children cumulated vsize (KiB) 247824
[startup+1579.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20792
/proc/meminfo: memFree=24364232/32950928 swapFree=67111524/67111528
[pid=20239] ppid=20237 vsize=247824 CPUtime=1579.85 cores=0,2,4,6
/proc/20239/stat : 20239 (march_hi) R 20237 20239 19852 0 -1 4202496 47471 0 0 0 157972 13 0 0 25 0 1 0 429365418 253771776 47424 33554432000 134512640 135197378 4293956672 18446744073709551615 134542431 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20239/statm: 61956 47424 91 168 0 61787 0
Current children cumulated CPU time (s) 1579.85
Current children cumulated vsize (KiB) 247824
Child status: 10
Real time (s): 1579.89
CPU time (s): 1579.95
CPU user time (s): 1579.8
CPU system time (s): 0.146977
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 247824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1579.8
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 3091
runsolver used 2.26765 second user time and 4.92825 second system time
The end