runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707605-1338198372/watcher-3707605-1338198372 -o /tmp/evaluation-result-3707605-1338198372/solver-3707605-1338198372 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707605-1338198372.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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 1.93 3/176 24299
/proc/meminfo: memFree=31424920/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=14256 CPUtime=0 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285965811 14598144 311 33554432000 134512640 137138936 4291635104 4291633632 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 3564 312 180 642 0 2125 0
[startup+0.077636 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 24299
/proc/meminfo: memFree=31424920/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=18860 CPUtime=0.07 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 1734 0 0 0 7 0 0 0 20 0 1 0 285965811 19312640 1688 33554432000 134512640 137138936 4291635104 4291633368 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 4715 1688 416 642 0 3276 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18860
[startup+0.100243 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 24299
/proc/meminfo: memFree=31424920/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=20096 CPUtime=0.09 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 2123 0 0 0 9 0 0 0 20 0 1 0 285965811 20578304 2077 33554432000 134512640 137138936 4291635104 4291633512 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 5024 2077 497 642 0 3585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20096
[startup+0.300215 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 24299
/proc/meminfo: memFree=31424920/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=33220 CPUtime=0.29 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 6636 0 0 0 28 1 0 0 20 0 1 0 285965811 34017280 5755 33554432000 134512640 137138936 4291635104 4291232864 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 8305 5756 184 642 0 7661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33220
[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 24299
/proc/meminfo: memFree=31424920/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=33484 CPUtime=0.69 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 6690 0 0 0 68 1 0 0 20 0 1 0 285965811 34287616 5809 33554432000 134512640 137138936 4291635104 4291232864 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 8371 5809 184 642 0 7727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33484
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24300
/proc/meminfo: memFree=31402204/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=33484 CPUtime=1.49 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 6691 0 0 0 148 1 0 0 20 0 1 0 285965811 34287616 5810 33554432000 134512640 137138936 4291635104 4291233052 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 8371 5810 184 642 0 7727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33484
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24300
/proc/meminfo: memFree=31401212/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=33484 CPUtime=3.09 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 6694 0 0 0 308 1 0 0 20 0 1 0 285965811 34287616 5813 33554432000 134512640 137138936 4291635104 4291232864 134542640 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 8371 5813 184 642 0 7727 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33484
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24300
/proc/meminfo: memFree=31399236/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=33484 CPUtime=6.29 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 6711 0 0 0 628 1 0 0 20 0 1 0 285965811 34287616 5830 33554432000 134512640 137138936 4291635104 4291232864 134542061 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 8371 5830 184 642 0 7727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33484
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24300
/proc/meminfo: memFree=31395408/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=33848 CPUtime=12.68 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 7247 0 0 0 1264 4 0 0 20 0 1 0 285965811 34660352 5907 33554432000 134512640 137138936 4291635104 4291633628 136520975 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 8462 5907 192 642 0 7818 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33848
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24300
/proc/meminfo: memFree=31383644/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=40388 CPUtime=25.48 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 8882 0 0 0 2542 6 0 0 20 0 1 0 285965811 41357312 7542 33554432000 134512640 137138936 4291635104 4291633528 134606670 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24299/statm: 10097 7542 192 642 0 9453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40388
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24300
/proc/meminfo: memFree=31352272/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=63800 CPUtime=51.08 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 14735 0 0 0 5099 9 0 0 20 0 1 0 285965811 65331200 13395 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 15950 13395 192 642 0 15306 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63800
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24300
/proc/meminfo: memFree=31301736/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=113136 CPUtime=102.28 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 27070 0 0 0 10214 14 0 0 20 0 1 0 285965811 115851264 25730 33554432000 134512640 137138936 4291635104 4291634208 134543437 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 28284 25730 192 642 0 27640 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 113136
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24339
/proc/meminfo: memFree=31397328/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=160332 CPUtime=162.23 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 38897 0 0 0 16204 19 0 0 20 0 1 0 285965811 164179968 37529 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 40083 37529 192 642 0 39439 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 160332
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24339
/proc/meminfo: memFree=31275340/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=202348 CPUtime=222.18 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 49449 0 0 0 22193 25 0 0 20 0 1 0 285965811 207204352 48033 33554432000 134512640 137138936 4291635104 4291634032 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 50587 48033 192 642 0 49943 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 202348
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24342
/proc/meminfo: memFree=31176368/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=244920 CPUtime=282.14 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 60121 0 0 0 28185 29 0 0 20 0 1 0 285965811 250798080 58676 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 61230 58676 192 642 0 60586 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 244920
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24342
/proc/meminfo: memFree=31112172/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=275968 CPUtime=342.12 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 67883 0 0 0 34180 32 0 0 20 0 1 0 285965811 282591232 66438 33554432000 134512640 137138936 4291635104 4291634032 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 68992 66438 192 642 0 68348 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 275968
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/177 24342
/proc/meminfo: memFree=31040404/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=307572 CPUtime=402.11 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 75792 0 0 0 40176 35 0 0 20 0 1 0 285965811 314953728 74347 33554432000 134512640 137138936 4291635104 4291634032 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 76893 74347 192 642 0 76249 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 307572
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 1.95 3/177 24343
/proc/meminfo: memFree=31000796/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=347368 CPUtime=462.1 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 85733 0 0 0 46171 39 0 0 20 0 1 0 285965811 355704832 84288 33554432000 134512640 137138936 4291635104 4291634032 134542958 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 86842 84288 192 642 0 86198 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 347368
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 1.95 3/177 24343
/proc/meminfo: memFree=30974632/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=373564 CPUtime=522.1 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 92282 0 0 0 52167 43 0 0 20 0 1 0 285965811 382529536 90837 33554432000 134512640 137138936 4291635104 4291634032 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 93391 90837 192 642 0 92747 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 373564
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 24343
/proc/meminfo: memFree=30949936/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=397952 CPUtime=582.08 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 98395 0 0 0 58161 47 0 0 20 0 1 0 285965811 407502848 96940 33554432000 134512640 137138936 4291635104 4291634032 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 99488 96940 192 642 0 98844 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 397952
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 24343
/proc/meminfo: memFree=30890940/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=427436 CPUtime=642.03 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 105808 0 0 0 64153 50 0 0 20 0 1 0 285965811 437694464 104305 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 106859 104305 192 642 0 106215 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 427436
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 24343
/proc/meminfo: memFree=30829092/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=451648 CPUtime=701.96 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 111910 0 0 0 70143 53 0 0 20 0 1 0 285965811 462487552 110359 33554432000 134512640 137138936 4291635104 4291633528 134607139 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 112912 110359 192 642 0 112268 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 451648
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24344
/proc/meminfo: memFree=30768388/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=480136 CPUtime=761.95 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 119035 0 0 0 76140 55 0 0 20 0 1 0 285965811 491659264 117481 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 120034 117481 192 642 0 119390 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 480136
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24344
/proc/meminfo: memFree=30703660/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=512164 CPUtime=821.94 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 127043 0 0 0 82135 59 0 0 20 0 1 0 285965811 524455936 125489 33554432000 134512640 137138936 4291635104 4291634032 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 128041 125489 192 642 0 127397 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 512164
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 24347
/proc/meminfo: memFree=30645992/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=538596 CPUtime=881.93 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 133651 0 0 0 88130 63 0 0 20 0 1 0 285965811 551522304 132097 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 134649 132097 192 642 0 134005 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 538596
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 24370
/proc/meminfo: memFree=30622832/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=562184 CPUtime=941.92 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 139547 0 0 0 94126 66 0 0 20 0 1 0 285965811 575676416 137993 33554432000 134512640 137138936 4291635104 4291634032 134542497 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 140546 137993 192 642 0 139902 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 562184
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24370
/proc/meminfo: memFree=30603000/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=581960 CPUtime=1001.91 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 144492 0 0 0 100123 68 0 0 20 0 1 0 285965811 595927040 142938 33554432000 134512640 137138936 4291635104 4291634032 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 145490 142938 192 642 0 144846 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 581960
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30580680/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=604372 CPUtime=1061.9 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 150096 0 0 0 106119 71 0 0 20 0 1 0 285965811 618876928 148542 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 151093 148542 192 642 0 150449 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 604372
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30558732/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=626340 CPUtime=1121.89 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 155587 0 0 0 112116 73 0 0 20 0 1 0 285965811 641372160 154033 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 156585 154033 192 642 0 155941 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 626340
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30545216/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=639800 CPUtime=1181.88 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 158952 0 0 0 118113 75 0 0 20 0 1 0 285965811 655155200 157398 33554432000 134512640 137138936 4291635104 4291634032 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 159950 157398 192 642 0 159306 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 639800
Solver just ended. Dumping a history of the last processes samples
[startup+1203.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30540008/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=644860 CPUtime=1202.68 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160217 0 0 0 120192 76 0 0 20 0 1 0 285965811 660336640 158663 33554432000 134512640 137138936 4291635104 4291634032 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161215 158663 192 642 0 160571 0
Current children cumulated CPU time (s) 1202.68
Current children cumulated vsize (KiB) 644860
[startup+1209.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30538644/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=645728 CPUtime=1209.08 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160433 0 0 0 120831 77 0 0 20 0 1 0 285965811 661225472 158879 33554432000 134512640 137138936 4291635104 4291634032 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161432 158879 192 642 0 160788 0
Current children cumulated CPU time (s) 1209.08
Current children cumulated vsize (KiB) 645728
[startup+1212.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30538148/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=646552 CPUtime=1212.28 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160640 0 0 0 121151 77 0 0 20 0 1 0 285965811 662069248 159086 33554432000 134512640 137138936 4291635104 4291634032 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161638 159086 192 642 0 160994 0
Current children cumulated CPU time (s) 1212.28
Current children cumulated vsize (KiB) 646552
[startup+1215.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30537528/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=647120 CPUtime=1215.48 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160782 0 0 0 121471 77 0 0 20 0 1 0 285965811 662650880 159228 33554432000 134512640 137138936 4291635104 4291633640 136504080 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161780 159228 192 642 0 161136 0
Current children cumulated CPU time (s) 1215.48
Current children cumulated vsize (KiB) 647120
[startup+1217.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30537280/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=647404 CPUtime=1217.08 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160853 0 0 0 121631 77 0 0 20 0 1 0 285965811 662941696 159299 33554432000 134512640 137138936 4291635104 4291634032 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161851 159299 192 642 0 161207 0
Current children cumulated CPU time (s) 1217.08
Current children cumulated vsize (KiB) 647404
[startup+1217.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30537032/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=647404 CPUtime=1217.48 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160853 0 0 0 121671 77 0 0 20 0 1 0 285965811 662941696 159299 33554432000 134512640 137138936 4291635104 4291634220 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161851 159299 192 642 0 161207 0
Current children cumulated CPU time (s) 1217.48
Current children cumulated vsize (KiB) 647404
[startup+1218.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30537032/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=647404 CPUtime=1217.68 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160853 0 0 0 121691 77 0 0 20 0 1 0 285965811 662941696 159299 33554432000 134512640 137138936 4291635104 4291634032 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161851 159299 192 642 0 161207 0
Current children cumulated CPU time (s) 1217.68
Current children cumulated vsize (KiB) 647404
[startup+1218.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24371
/proc/meminfo: memFree=30537032/32873844 swapFree=7372/7372
[pid=24299] ppid=24297 vsize=647404 CPUtime=1217.78 cores=0,2,4,6
/proc/24299/stat : 24299 (bsolo) R 24297 24299 24082 0 -1 4202496 160853 0 0 0 121701 77 0 0 20 0 1 0 285965811 662941696 159299 33554432000 134512640 137138936 4291635104 4291634032 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24299/statm: 161851 159299 192 642 0 161207 0
Current children cumulated CPU time (s) 1217.78
Current children cumulated vsize (KiB) 647404
Child status: 0
Real time (s): 1218.29
CPU time (s): 1217.87
CPU user time (s): 1217.09
CPU system time (s): 0.78788
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 647404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1217.09
system time used= 0.78788
maximum resident set size= 637200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160854
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= 217
involuntary context switches= 1366
runsolver used 1.70774 second user time and 4.97524 second system time
The end