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-3743365-1338797475/watcher-3743365-1338797475 -o /tmp/evaluation-result-3743365-1338797475/solver-3743365-1338797475 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743365-1338797475.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.01 2.01 2.00 3/176 3760
/proc/meminfo: memFree=26915116/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=38784 CPUtime=0 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 398 0 0 0 0 0 0 0 20 0 1 0 345873616 39714816 351 33554432000 134512640 137136520 4287285440 4287283792 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 9696 352 190 641 0 2160 0
[startup+0.0697041 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3760
/proc/meminfo: memFree=26915116/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=41932 CPUtime=0.06 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 1405 0 0 0 6 0 0 0 20 0 1 0 345873616 42938368 1318 33554432000 134512640 137136520 4287285440 4287283968 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 10483 1318 373 641 0 2947 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41932
[startup+0.100278 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3760
/proc/meminfo: memFree=26915116/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=43172 CPUtime=0.09 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 1805 0 0 0 9 0 0 0 20 0 1 0 345873616 44208128 1718 33554432000 134512640 137136520 4287285440 4287283672 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 10793 1719 459 641 0 3257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43172
[startup+0.300261 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3760
/proc/meminfo: memFree=26915116/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=49868 CPUtime=0.29 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 4094 0 0 0 29 0 0 0 20 0 1 0 345873616 51064832 3879 33554432000 134512640 137136520 4287285440 4287283968 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 12467 3879 987 641 0 4931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49868
[startup+0.700285 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3760
/proc/meminfo: memFree=26915116/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=63004 CPUtime=0.69 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 8611 0 0 0 68 1 0 0 20 0 1 0 345873616 64516096 8142 33554432000 134512640 137136520 4287285440 4287283968 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 15751 8143 1965 641 0 8215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63004
[startup+1.50029 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3761
/proc/meminfo: memFree=26880156/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=89932 CPUtime=1.48 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 17515 0 0 0 146 2 0 0 20 0 1 0 345873616 92090368 16540 33554432000 134512640 137136520 4287285440 4287283720 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 22483 16541 3649 641 0 14947 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 89932
[startup+3.10022 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3761
/proc/meminfo: memFree=26845036/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=122040 CPUtime=3.09 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 28144 0 0 0 305 4 0 0 20 0 1 0 345873616 124968960 27180 33554432000 134512640 137136520 4287285440 4287283968 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 30510 27180 6363 641 0 22974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122040
[startup+6.30024 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3761
/proc/meminfo: memFree=26753452/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=175392 CPUtime=6.29 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 45894 0 0 0 622 7 0 0 20 0 1 0 345873616 179601408 40479 33554432000 134512640 137136520 4287285440 4282473200 134543603 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 43848 40479 189 641 0 43204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175392
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3761
/proc/meminfo: memFree=26753872/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=175392 CPUtime=12.69 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 45895 0 0 0 1262 7 0 0 20 0 1 0 345873616 179601408 40480 33554432000 134512640 137136520 4287285440 4282472984 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 43848 40480 189 641 0 43204 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175392
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3761
/proc/meminfo: memFree=26754260/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=175392 CPUtime=25.49 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 45895 0 0 0 2542 7 0 0 20 0 1 0 345873616 179601408 40480 33554432000 134512640 137136520 4287285440 4282473200 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 43848 40480 189 641 0 43204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175392
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3761
/proc/meminfo: memFree=26754260/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=175524 CPUtime=51.08 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 45902 0 0 0 5101 7 0 0 20 0 1 0 345873616 179736576 40487 33554432000 134512640 137136520 4287285440 4282473424 134563134 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 43881 40487 189 641 0 43237 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175524
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3762
/proc/meminfo: memFree=26753528/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=175524 CPUtime=102.28 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 45903 0 0 0 10220 8 0 0 20 0 1 0 345873616 179736576 40488 33554432000 134512640 137136520 4287285440 4282473424 134563037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 43881 40488 189 641 0 43237 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175524
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3762
/proc/meminfo: memFree=26753580/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=175524 CPUtime=162.24 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 45927 0 0 0 16215 9 0 0 20 0 1 0 345873616 179736576 40489 33554432000 134512640 137136520 4287285440 4282472984 136502143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 43881 40489 189 641 0 43237 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 175524
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3762
/proc/meminfo: memFree=26728400/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=192676 CPUtime=222.24 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 825004 0 0 0 21946 278 0 0 20 0 1 0 345873616 197300224 46528 33554432000 134512640 137136520 4287285440 4287284368 134543621 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 48169 46528 198 641 0 47525 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 192676
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3762
/proc/meminfo: memFree=26723872/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=195816 CPUtime=282.22 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 1225953 0 0 0 27862 360 0 0 20 0 1 0 345873616 200515584 47313 33554432000 134512640 137136520 4287285440 4287284000 134615365 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 48954 47313 198 641 0 48310 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 195816
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3762
/proc/meminfo: memFree=26722200/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=198628 CPUtime=342.22 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 1569884 0 0 0 33792 430 0 0 20 0 1 0 345873616 203395072 47653 33554432000 134512640 137136520 4287285440 4287283968 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 49657 47668 198 641 0 49013 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 198628
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3763
/proc/meminfo: memFree=26719408/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=192680 CPUtime=402.2 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 2191956 0 0 0 39674 546 0 0 20 0 1 0 345873616 197304320 46529 33554432000 134512640 137136520 4287285440 4287284152 136502855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 48170 46529 198 641 0 47526 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 192680
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3763
/proc/meminfo: memFree=26722244/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=197232 CPUtime=462.19 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 2819033 0 0 0 45551 668 0 0 20 0 1 0 345873616 201965568 47635 33554432000 134512640 137136520 4287285440 4287283880 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 49308 47635 198 641 0 48664 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 197232
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3763
/proc/meminfo: memFree=26722496/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=197968 CPUtime=522.18 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 3468596 0 0 0 51420 798 0 0 20 0 1 0 345873616 202719232 47819 33554432000 134512640 137136520 4287285440 4287284064 134554213 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 49492 47819 198 641 0 48848 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 197968
[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 3766
/proc/meminfo: memFree=26715232/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=196008 CPUtime=582.17 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 4034082 0 0 0 57301 916 0 0 20 0 1 0 345873616 200712192 47361 33554432000 134512640 137136520 4287285440 4287284032 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 49002 47361 198 641 0 48358 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 196008
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26736656/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=210384 CPUtime=1062.1 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 7312349 0 0 0 104619 1591 0 0 20 0 1 0 345873616 215433216 50955 33554432000 134512640 137136520 4287285440 4287284032 134616686 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 52596 50955 198 641 0 51952 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 210384
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3816
/proc/meminfo: memFree=26733864/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=209704 CPUtime=1122.09 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 7615962 0 0 0 110554 1655 0 0 20 0 1 0 345873616 214736896 50784 33554432000 134512640 137136520 4287285440 4287257728 134600775 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 52426 50784 198 641 0 51782 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 209704
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3819
/proc/meminfo: memFree=26727140/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=215216 CPUtime=1182.08 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 7859866 0 0 0 116505 1703 0 0 20 0 1 0 345873616 220381184 52163 33554432000 134512640 137136520 4287285440 4286594020 136498219 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 53804 52163 198 641 0 53160 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 215216
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3819
/proc/meminfo: memFree=26723520/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=217536 CPUtime=1242.07 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 8347540 0 0 0 122407 1800 0 0 20 0 1 0 345873616 222756864 52711 33554432000 134512640 137136520 4287285440 4287284032 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 54384 52711 198 641 0 53740 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 217536
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3820
/proc/meminfo: memFree=26723016/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=216652 CPUtime=1302.05 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 8851192 0 0 0 128301 1904 0 0 20 0 1 0 345873616 221851648 52522 33554432000 134512640 137136520 4287285440 4287284368 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 54163 52522 198 641 0 53519 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 216652
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3820
/proc/meminfo: memFree=26714768/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=221780 CPUtime=1362.05 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 9210314 0 0 0 134224 1981 0 0 20 0 1 0 345873616 227102720 53804 33554432000 134512640 137136520 4287285440 4287284032 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55445 53804 198 641 0 54801 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 221780
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3820
/proc/meminfo: memFree=26710300/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=222832 CPUtime=1422.05 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 9658221 0 0 0 140129 2076 0 0 20 0 1 0 345873616 228179968 54067 33554432000 134512640 137136520 4287285440 4287284128 134607060 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55708 54067 198 641 0 55064 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 222832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3820
/proc/meminfo: memFree=26714340/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=223204 CPUtime=1482.03 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 10096442 0 0 0 146039 2164 0 0 20 0 1 0 345873616 228560896 54160 33554432000 134512640 137136520 4287285440 4287284140 136518911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55801 54160 198 641 0 55157 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 223204
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3820
/proc/meminfo: memFree=26708820/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=223760 CPUtime=1542.03 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 10543405 0 0 0 151949 2254 0 0 20 0 1 0 345873616 229130240 54298 33554432000 134512640 137136520 4287285440 4286591264 134607179 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55940 54298 198 641 0 55296 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 223760
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3820
/proc/meminfo: memFree=26712112/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=221256 CPUtime=1602.01 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 10819895 0 0 0 157889 2312 0 0 20 0 1 0 345873616 226566144 53673 33554432000 134512640 137136520 4287285440 4287284368 134543618 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55314 53673 198 641 0 54670 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 221256
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3821
/proc/meminfo: memFree=26708072/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=226560 CPUtime=1662.01 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11053490 0 0 0 163840 2361 0 0 20 0 1 0 345873616 231997440 54967 33554432000 134512640 137136520 4287285440 4287283972 134552030 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 56640 54967 198 641 0 55996 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 226560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3821
/proc/meminfo: memFree=26703324/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=225708 CPUtime=1721.99 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11262613 0 0 0 169794 2405 0 0 20 0 1 0 345873616 231124992 54786 33554432000 134512640 137136520 4287285440 4287284208 134574206 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 56427 54786 198 641 0 55783 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 225708
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 3824
/proc/meminfo: memFree=26703572/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=225712 CPUtime=1781.99 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11414740 0 0 0 175758 2441 0 0 20 0 1 0 345873616 231129088 54786 33554432000 134512640 137136520 4287285440 4287284208 134574450 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 56428 54786 198 641 0 55784 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 225712
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 3824
/proc/meminfo: memFree=26706060/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=222576 CPUtime=1791.69 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11451959 0 0 0 176720 2449 0 0 20 0 1 0 345873616 227917824 54003 33554432000 134512640 137136520 4287285440 4287284152 136502148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55644 54003 198 641 0 55000 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 222576
[startup+1795.2 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 3824
/proc/meminfo: memFree=26703580/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=225712 CPUtime=1794.89 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11461269 0 0 0 177038 2451 0 0 20 0 1 0 345873616 231129088 54787 33554432000 134512640 137136520 4287285440 4287284032 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 56428 54787 198 641 0 55784 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 225712
[startup+1796.8 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 3824
/proc/meminfo: memFree=26703208/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=222576 CPUtime=1796.48 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11463999 0 0 0 177197 2451 0 0 20 0 1 0 345873616 227917824 54003 33554432000 134512640 137136520 4287285440 4287284368 134543846 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55644 54003 198 641 0 55000 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (KiB) 222576
[startup+1797.6 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 3824
/proc/meminfo: memFree=26705752/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=225712 CPUtime=1797.28 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11468781 0 0 0 177276 2452 0 0 20 0 1 0 345873616 231129088 54787 33554432000 134512640 137136520 4287285440 4286590756 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 56428 54787 198 641 0 55784 0
Current children cumulated CPU time (s) 1797.28
Current children cumulated vsize (KiB) 225712
[startup+1798 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 3824
/proc/meminfo: memFree=26705752/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=222576 CPUtime=1797.68 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11471028 0 0 0 177315 2453 0 0 20 0 1 0 345873616 227917824 54003 33554432000 134512640 137136520 4287285440 4287284368 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 55644 54003 198 641 0 55000 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 222576
[startup+1798.4 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 3824
/proc/meminfo: memFree=26705752/32873648 swapFree=6860/6860
[pid=3760] ppid=3758 vsize=226392 CPUtime=1798.08 cores=0,2,4,6
/proc/3760/stat : 3760 (bsolo) R 3758 3760 2050 0 -1 4202496 11474038 0 0 0 177355 2453 0 0 20 0 1 0 345873616 231825408 54957 33554432000 134512640 137136520 4287285440 4287283836 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 56598 54957 198 641 0 55954 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 226392
Child status: 0
Real time (s): 1798.41
CPU time (s): 1798.1
CPU user time (s): 1773.56
CPU system time (s): 24.5403
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 227856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.56
system time used= 24.5403
maximum resident set size= 221164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11474039
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= 48
involuntary context switches= 1902
runsolver used 3.12252 second user time and 7.41887 second system time
The end