runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462827-1307183618/watcher-3462827-1307183618 -o /tmp/evaluation-result-3462827-1307183618/solver-3462827-1307183618 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462827-1307183618.opb
running on 4 cores: 1,3,5,7
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.01 2.03 2.00 2/514 15581
/proc/meminfo: memFree=18158304/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=11704 CPUtime=0 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 484 0 0 0 0 0 0 0 25 0 1 0 908592624 11984896 438 33554432000 134512640 137138936 4292547536 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 2926 438 179 642 0 2262 0
[startup+0.0494241 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 15581
/proc/meminfo: memFree=18158304/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=13996 CPUtime=0.04 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 1130 0 0 0 4 0 0 0 25 0 1 0 908592624 14331904 1064 33554432000 134512640 137138936 4292547536 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 3499 1064 185 642 0 2855 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13996
[startup+0.100415 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 15581
/proc/meminfo: memFree=18158304/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=13996 CPUtime=0.09 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 1130 0 0 0 9 0 0 0 25 0 1 0 908592624 14331904 1064 33554432000 134512640 137138936 4292547536 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 3499 1064 185 642 0 2855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13996
[startup+0.300381 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 15581
/proc/meminfo: memFree=18158304/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=13996 CPUtime=0.29 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 1130 0 0 0 29 0 0 0 25 0 1 0 908592624 14331904 1064 33554432000 134512640 137138936 4292547536 18446744073709551615 134566401 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 3499 1064 185 642 0 2855 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13996
[startup+0.700311 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 15581
/proc/meminfo: memFree=18158304/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=13996 CPUtime=0.69 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 1131 0 0 0 69 0 0 0 25 0 1 0 908592624 14331904 1065 33554432000 134512640 137138936 4292547536 18446744073709551615 134542103 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 3499 1065 185 642 0 2855 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13996
[startup+1.50017 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 15583
/proc/meminfo: memFree=18153688/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=13996 CPUtime=1.49 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 1131 0 0 0 149 0 0 0 25 0 1 0 908592624 14331904 1065 33554432000 134512640 137138936 4292547536 18446744073709551615 136502651 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 3499 1065 185 642 0 2855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13996
[startup+3.10089 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 15583
/proc/meminfo: memFree=18152944/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=13996 CPUtime=3.09 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 1131 0 0 0 309 0 0 0 25 0 1 0 908592624 14331904 1065 33554432000 134512640 137138936 4292547536 18446744073709551615 136500286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 3499 1065 185 642 0 2855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13996
[startup+6.30033 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 15583
/proc/meminfo: memFree=18152820/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=13996 CPUtime=6.29 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 1131 0 0 0 629 0 0 0 25 0 1 0 908592624 14331904 1065 33554432000 134512640 137138936 4292547536 18446744073709551615 134542106 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 3499 1065 185 642 0 2855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13996
[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 15583
/proc/meminfo: memFree=18133620/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=34748 CPUtime=12.69 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 6576 0 0 0 1265 4 0 0 25 0 1 0 908592624 35581952 6254 33554432000 134512640 137138936 4292547536 18446744073709551615 136504446 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 8687 6254 192 642 0 8043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34748
[startup+25.501 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 15583
/proc/meminfo: memFree=18100888/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=66212 CPUtime=25.49 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 14456 0 0 0 2542 7 0 0 25 0 1 0 908592624 67801088 14134 33554432000 134512640 137138936 4292547536 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 16553 14134 192 642 0 15909 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66212
[startup+51.1005 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 15584
/proc/meminfo: memFree=18065008/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=102332 CPUtime=51.09 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 23472 0 0 0 5097 12 0 0 25 0 1 0 908592624 104787968 23150 33554432000 134512640 137138936 4292547536 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 25583 23150 192 642 0 24939 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102332
[startup+102.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15585
/proc/meminfo: memFree=18015868/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=149608 CPUtime=102.31 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 35292 0 0 0 10214 17 0 0 25 0 1 0 908592624 153198592 34970 33554432000 134512640 137138936 4292547536 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 37402 34970 192 642 0 36758 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 149608
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15587
/proc/meminfo: memFree=17968820/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=196692 CPUtime=162.29 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 47078 0 0 0 16206 23 0 0 25 0 1 0 908592624 201412608 46756 33554432000 134512640 137138936 4292547536 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 49173 46756 192 642 0 48529 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 196692
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15588
/proc/meminfo: memFree=17944972/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=220648 CPUtime=222.3 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 53180 0 0 0 22200 30 0 0 25 0 1 0 908592624 225943552 52734 33554432000 134512640 137138936 4292547536 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 55162 52734 192 642 0 54518 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 220648
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 15590
/proc/meminfo: memFree=17944684/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=220648 CPUtime=282.3 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 53180 0 0 0 28194 36 0 0 25 0 1 0 908592624 225943552 52734 33554432000 134512640 137138936 4292547536 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 55162 52734 192 642 0 54518 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 220648
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 15622
/proc/meminfo: memFree=18921224/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=220648 CPUtime=342.3 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 53180 0 0 0 34189 41 0 0 25 0 1 0 908592624 225943552 52734 33554432000 134512640 137138936 4292547536 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 55162 52734 192 642 0 54518 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 220648
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/515 15623
/proc/meminfo: memFree=18645676/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=221992 CPUtime=402.3 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 53515 0 0 0 40185 45 0 0 25 0 1 0 908592624 227319808 53069 33554432000 134512640 137138936 4292547536 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 55498 53069 192 642 0 54854 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 221992
[startup+462.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/515 15625
/proc/meminfo: memFree=18362424/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=250628 CPUtime=462.31 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 60658 0 0 0 46179 52 0 0 25 0 1 0 908592624 256643072 60212 33554432000 134512640 137138936 4292547536 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 62657 60212 192 642 0 62013 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 250628
[startup+522.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/515 15626
/proc/meminfo: memFree=18280164/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=276820 CPUtime=522.31 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 67218 0 0 0 52174 57 0 0 25 0 1 0 908592624 283463680 66772 33554432000 134512640 137138936 4292547536 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 69205 66772 192 642 0 68561 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 276820
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 15628
/proc/meminfo: memFree=18214284/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=301328 CPUtime=582.31 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 73333 0 0 0 58169 62 0 0 25 0 1 0 908592624 308559872 72887 33554432000 134512640 137138936 4292547536 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 75332 72887 192 642 0 74688 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 301328
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=17711360/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=461668 CPUtime=1062.31 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 113418 0 0 0 106137 94 0 0 25 0 1 0 908592624 472748032 112972 33554432000 134512640 137138936 4292547536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 115417 112972 192 642 0 114773 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 461668
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/515 15642
/proc/meminfo: memFree=17694584/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=478136 CPUtime=1122.31 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 117540 0 0 0 112134 97 0 0 25 0 1 0 908592624 489611264 117094 33554432000 134512640 137138936 4292547536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 119534 117094 192 642 0 118890 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 478136
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15644
/proc/meminfo: memFree=17680412/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=492248 CPUtime=1182.31 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 121063 0 0 0 118132 99 0 0 25 0 1 0 908592624 504061952 120617 33554432000 134512640 137138936 4292547536 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 123062 120617 192 642 0 122418 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 492248
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 15646
/proc/meminfo: memFree=17666484/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=504564 CPUtime=1242.32 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 124172 0 0 0 124129 103 0 0 25 0 1 0 908592624 516673536 123726 33554432000 134512640 137138936 4292547536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 126141 123726 192 642 0 125497 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 504564
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15647
/proc/meminfo: memFree=17655416/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=517132 CPUtime=1302.32 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 127314 0 0 0 130127 105 0 0 25 0 1 0 908592624 529543168 126868 33554432000 134512640 137138936 4292547536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 129283 126868 192 642 0 128639 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 517132
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15649
/proc/meminfo: memFree=17643968/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=528688 CPUtime=1362.32 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 130173 0 0 0 136123 109 0 0 25 0 1 0 908592624 541376512 129727 33554432000 134512640 137138936 4292547536 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 132172 129727 192 642 0 131528 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 528688
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15650
/proc/meminfo: memFree=17632268/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=540392 CPUtime=1422.34 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 133112 0 0 0 142121 113 0 0 25 0 1 0 908592624 553361408 132666 33554432000 134512640 137138936 4292547536 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 135098 132666 192 642 0 134454 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 540392
[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 15652
/proc/meminfo: memFree=17621196/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=550660 CPUtime=1482.33 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 135683 0 0 0 148117 116 0 0 25 0 1 0 908592624 563875840 135237 33554432000 134512640 137138936 4292547536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 137665 135237 192 642 0 137021 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 550660
[startup+1542.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/515 15654
/proc/meminfo: memFree=17610368/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=560608 CPUtime=1542.32 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 138168 0 0 0 154113 119 0 0 25 0 1 0 908592624 574062592 137722 33554432000 134512640 137138936 4292547536 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 140152 137722 192 642 0 139508 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 560608
[startup+1602.3 s]
/proc/loadavg: 2.24 2.09 2.02 3/515 15655
/proc/meminfo: memFree=17598932/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=572888 CPUtime=1602.33 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 141248 0 0 0 160110 123 0 0 25 0 1 0 908592624 586637312 140802 33554432000 134512640 137138936 4292547536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 143222 140802 192 642 0 142578 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 572888
[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/515 15666
/proc/meminfo: memFree=17587060/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=585000 CPUtime=1662.33 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 144264 0 0 0 166108 125 0 0 25 0 1 0 908592624 599040000 143818 33554432000 134512640 137138936 4292547536 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 146250 143818 192 642 0 145606 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 585000
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/515 15667
/proc/meminfo: memFree=17575624/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=596416 CPUtime=1722.33 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 147105 0 0 0 172106 127 0 0 25 0 1 0 908592624 610729984 146659 33554432000 134512640 137138936 4292547536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 149104 146659 192 642 0 148460 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 596416
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15669
/proc/meminfo: memFree=17562688/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=608064 CPUtime=1782.34 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 150047 0 0 0 178103 131 0 0 25 0 1 0 908592624 622657536 149601 33554432000 134512640 137138936 4292547536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 152016 149601 192 642 0 151372 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 608064
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15669
/proc/meminfo: memFree=17562068/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=608792 CPUtime=1785.54 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 150201 0 0 0 178423 131 0 0 25 0 1 0 908592624 623403008 149755 33554432000 134512640 137138936 4292547536 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 152198 149755 192 642 0 151554 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 608792
[startup+1791.92 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15669
/proc/meminfo: memFree=17561936/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=609948 CPUtime=1791.95 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 150519 0 0 0 179064 131 0 0 25 0 1 0 908592624 624586752 150073 33554432000 134512640 137138936 4292547536 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 152487 150073 192 642 0 151843 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 609948
[startup+1795.1 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15669
/proc/meminfo: memFree=17561192/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=610816 CPUtime=1795.14 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 150705 0 0 0 179383 131 0 0 25 0 1 0 908592624 625475584 150259 33554432000 134512640 137138936 4292547536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 152704 150259 192 642 0 152060 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 610816
[startup+1796.7 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15669
/proc/meminfo: memFree=17561068/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=611116 CPUtime=1796.73 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 150780 0 0 0 179542 131 0 0 25 0 1 0 908592624 625782784 150334 33554432000 134512640 137138936 4292547536 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 152779 150334 192 642 0 152135 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 611116
[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15669
/proc/meminfo: memFree=17560324/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=611248 CPUtime=1797.53 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 150825 0 0 0 179622 131 0 0 25 0 1 0 908592624 625917952 150379 33554432000 134512640 137138936 4292547536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 152812 150379 192 642 0 152168 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 611248
[startup+1797.9 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 15669
/proc/meminfo: memFree=17560324/32950940 swapFree=67111364/67111528
[pid=15581] ppid=15579 vsize=611248 CPUtime=1797.93 cores=1,3,5,7
/proc/15581/stat : 15581 (bsolo) R 15579 15581 13684 0 -1 4202496 150844 0 0 0 179662 131 0 0 25 0 1 0 908592624 625917952 150398 33554432000 134512640 137138936 4292547536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15581/statm: 152812 150398 192 642 0 152168 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 611248
Child status: 0
Real time (s): 1798
CPU time (s): 1798.04
CPU user time (s): 1796.7
CPU system time (s): 1.3438
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 611248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 1.3438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150845
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= 5
involuntary context switches= 1114
runsolver used 9.29959 second user time and 21.5447 second system time
The end