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-3742936-1338790399/watcher-3742936-1338790399 -o /tmp/evaluation-result-3742936-1338790399/solver-3742936-1338790399 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742936-1338790399.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.00 2.00 2.00 3/176 32323
/proc/meminfo: memFree=25854216/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=21312 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 345165362 21823488 238 33554432000 134512640 137136520 4287186096 4287184624 134517302 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 5328 238 172 641 0 4009 0
[startup+0.0258039 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32323
/proc/meminfo: memFree=25854216/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=23108 CPUtime=0.02 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 797 0 0 0 2 0 0 0 20 0 1 0 345165362 23662592 711 33554432000 134512640 137136520 4287186096 4287184448 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 5777 711 227 641 0 4458 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23108
[startup+0.100142 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32323
/proc/meminfo: memFree=25854216/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=17856 CPUtime=0.09 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 1681 0 0 0 9 0 0 0 20 0 1 0 345165362 18284544 1595 33554432000 134512640 137136520 4287186096 4287183576 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 4464 1595 425 641 0 3145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17856
[startup+0.300202 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32323
/proc/meminfo: memFree=25854216/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=27012 CPUtime=0.29 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5099 0 0 0 29 0 0 0 20 0 1 0 345165362 27660288 4202 33554432000 134512640 137136520 4287186096 4286699372 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 6753 4202 189 641 0 6109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27012
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32323
/proc/meminfo: memFree=25854216/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=27012 CPUtime=0.68 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5099 0 0 0 68 0 0 0 20 0 1 0 345165362 27660288 4202 33554432000 134512640 137136520 4287186096 4286699372 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 6753 4202 189 641 0 6109 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27012
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32324
/proc/meminfo: memFree=25838104/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=27144 CPUtime=1.48 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5130 0 0 0 148 0 0 0 20 0 1 0 345165362 27795456 4233 33554432000 134512640 137136520 4287186096 4286698968 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27144
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32324
/proc/meminfo: memFree=25836864/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=27144 CPUtime=3.08 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5130 0 0 0 308 0 0 0 20 0 1 0 345165362 27795456 4233 33554432000 134512640 137136520 4287186096 4286699372 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27144
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32324
/proc/meminfo: memFree=25835904/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=27144 CPUtime=6.28 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5130 0 0 0 627 1 0 0 20 0 1 0 345165362 27795456 4233 33554432000 134512640 137136520 4287186096 4286699372 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27144
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32324
/proc/meminfo: memFree=25833236/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=27804 CPUtime=12.68 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5295 0 0 0 1267 1 0 0 20 0 1 0 345165362 28471296 4398 33554432000 134512640 137136520 4287186096 4286698884 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 6951 4398 189 641 0 6307 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27804
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32324
/proc/meminfo: memFree=25830668/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=27804 CPUtime=25.48 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5295 0 0 0 2547 1 0 0 20 0 1 0 345165362 28471296 4398 33554432000 134512640 137136520 4287186096 4286699372 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 6951 4398 189 641 0 6307 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27804
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32324
/proc/meminfo: memFree=25823104/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=29832 CPUtime=51.07 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 331146 0 0 0 5063 44 0 0 20 0 1 0 345165362 30547968 4875 33554432000 134512640 137136520 4287186096 4287184688 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 7458 4875 198 641 0 6814 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29832
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32324
/proc/meminfo: memFree=25809340/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=34180 CPUtime=102.27 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 971583 0 0 0 10098 129 0 0 20 0 1 0 345165362 35000320 5962 33554432000 134512640 137136520 4287186096 4287184592 136498159 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 8545 5962 198 641 0 7901 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34180
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32325
/proc/meminfo: memFree=25796320/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=38328 CPUtime=162.26 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 1698143 0 0 0 16003 223 0 0 20 0 1 0 345165362 39247872 7031 33554432000 134512640 137136520 4287186096 4287184688 134616680 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 9582 7031 198 641 0 8938 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 38328
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32325
/proc/meminfo: memFree=25772504/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=44732 CPUtime=222.25 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 2346545 0 0 0 21914 311 0 0 20 0 1 0 345165362 45805568 8633 33554432000 134512640 137136520 4287186096 4287184688 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 11183 8633 198 641 0 10539 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 44732
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32325
/proc/meminfo: memFree=25744024/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=50844 CPUtime=282.22 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 2973867 0 0 0 27836 386 0 0 20 0 1 0 345165362 52064256 10129 33554432000 134512640 137136520 4287186096 4287184688 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 12711 10129 198 641 0 12067 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 50844
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32325
/proc/meminfo: memFree=25733336/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=55484 CPUtime=342.22 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 3609344 0 0 0 33750 472 0 0 20 0 1 0 345165362 56815616 11321 33554432000 134512640 137136520 4287186096 4287184864 134573554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 13871 11321 198 641 0 13227 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 55484
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32325
/proc/meminfo: memFree=25720068/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=60292 CPUtime=402.21 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 4267161 0 0 0 39660 561 0 0 20 0 1 0 345165362 61739008 12491 33554432000 134512640 137136520 4287186096 4287184736 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 15073 12491 198 641 0 14429 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 60292
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32329
/proc/meminfo: memFree=25707416/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=64912 CPUtime=462.2 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 4855075 0 0 0 45583 637 0 0 20 0 1 0 345165362 66469888 13678 33554432000 134512640 137136520 4287186096 4287185212 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 16228 13678 198 641 0 15584 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 64912
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32329
/proc/meminfo: memFree=25696512/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=72064 CPUtime=522.2 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5451467 0 0 0 51497 723 0 0 20 0 1 0 345165362 73793536 15434 33554432000 134512640 137136520 4287186096 4286792152 134599140 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 18016 15434 198 641 0 17372 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 72064
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32329
/proc/meminfo: memFree=25676832/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=77260 CPUtime=582.19 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 5964050 0 0 0 57427 792 0 0 20 0 1 0 345165362 79114240 16765 33554432000 134512640 137136520 4287186096 4287184736 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 19315 16765 198 641 0 18671 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 77260
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26068644/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=112060 CPUtime=1062.09 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 11089911 0 0 0 104688 1521 0 0 20 0 1 0 345165362 114749440 25433 33554432000 134512640 137136520 4287186096 4287184628 134551477 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 28015 25433 198 641 0 27371 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 112060
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32383
/proc/meminfo: memFree=26058984/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=116688 CPUtime=1122.07 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 11518031 0 0 0 110615 1592 0 0 20 0 1 0 345165362 119488512 26590 33554432000 134512640 137136520 4287186096 4286792568 134598550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 29172 26590 198 641 0 28528 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 116688
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32383
/proc/meminfo: memFree=26050108/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=120472 CPUtime=1182.07 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 12163593 0 0 0 116523 1684 0 0 20 0 1 0 345165362 123363328 27536 33554432000 134512640 137136520 4287186096 4286791384 134599842 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 30118 27536 198 641 0 29474 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 120472
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32383
/proc/meminfo: memFree=26042968/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=122652 CPUtime=1242.05 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 13125727 0 0 0 122398 1807 0 0 20 0 1 0 345165362 125595648 28081 33554432000 134512640 137136520 4287186096 4287184472 136502368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 30663 28081 198 641 0 30019 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 122652
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32383
/proc/meminfo: memFree=26037668/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=126516 CPUtime=1302.05 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 14018745 0 0 0 128289 1916 0 0 20 0 1 0 345165362 129552384 28952 33554432000 134512640 137136520 4287186096 4287184624 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 31629 28952 198 641 0 30985 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 126516
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32384
/proc/meminfo: memFree=26030352/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=128508 CPUtime=1362.03 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 14723850 0 0 0 134194 2009 0 0 20 0 1 0 345165362 131592192 29577 33554432000 134512640 137136520 4287186096 4287185212 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 32127 29577 198 641 0 31483 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 128508
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32384
/proc/meminfo: memFree=26024740/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=131560 CPUtime=1422.03 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 15618814 0 0 0 140072 2131 0 0 20 0 1 0 345165362 134717440 30308 33554432000 134512640 137136520 4287186096 4286791864 134599606 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 32890 30308 198 641 0 32246 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 131560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32384
/proc/meminfo: memFree=26018656/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=134760 CPUtime=1482.01 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 16219180 0 0 0 145992 2209 0 0 20 0 1 0 345165362 137994240 31116 33554432000 134512640 137136520 4287186096 4287184688 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 33690 31116 198 641 0 33046 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 134760
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32384
/proc/meminfo: memFree=26011332/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=137484 CPUtime=1542 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 17076896 0 0 0 151879 2321 0 0 20 0 1 0 345165362 140783616 31789 33554432000 134512640 137136520 4287186096 4286791320 134599224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 34371 31789 198 641 0 33727 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 137484
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32385
/proc/meminfo: memFree=26001900/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=141292 CPUtime=1601.99 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 17781055 0 0 0 157780 2419 0 0 20 0 1 0 345165362 144683008 32695 33554432000 134512640 137136520 4287186096 4287184624 134600588 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 35323 32703 198 641 0 34679 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 141292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25995832/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=143168 CPUtime=1661.99 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 18494822 0 0 0 163684 2515 0 0 20 0 1 0 345165362 146604032 33210 33554432000 134512640 137136520 4287186096 4286792288 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 35792 33210 198 641 0 35148 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 143168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25988400/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=145648 CPUtime=1721.98 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19201050 0 0 0 169586 2612 0 0 20 0 1 0 345165362 149143552 33830 33554432000 134512640 137136520 4287186096 4286791320 134599313 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 36412 33830 198 641 0 35768 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 145648
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25982744/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=147936 CPUtime=1781.97 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19790050 0 0 0 175505 2692 0 0 20 0 1 0 345165362 151486464 34402 33554432000 134512640 137136520 4287186096 4287184752 134598069 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 36984 34402 198 641 0 36340 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 147936
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25981008/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=148784 CPUtime=1791.57 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19872759 0 0 0 176450 2707 0 0 20 0 1 0 345165362 152354816 34632 33554432000 134512640 137136520 4287186096 4287184688 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 37196 34632 198 641 0 36552 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 148784
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25979520/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=149236 CPUtime=1794.77 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19889006 0 0 0 176767 2710 0 0 20 0 1 0 345165362 152817664 34759 33554432000 134512640 137136520 4287186096 4287184688 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 37309 34759 198 641 0 36665 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 149236
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25979644/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=150260 CPUtime=1796.36 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19896613 0 0 0 176926 2710 0 0 20 0 1 0 345165362 153866240 34983 33554432000 134512640 137136520 4287186096 4287184708 134551044 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 37565 34983 198 641 0 36921 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 150260
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25979644/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=149236 CPUtime=1797.16 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19902435 0 0 0 177005 2711 0 0 20 0 1 0 345165362 152817664 34759 33554432000 134512640 137136520 4287186096 4287184688 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 37309 34759 198 641 0 36665 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 149236
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25979644/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=149492 CPUtime=1797.56 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19904345 0 0 0 177045 2711 0 0 20 0 1 0 345165362 153079808 34791 33554432000 134512640 137136520 4287186096 4286791944 134599295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 37373 34791 198 641 0 36729 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 149492
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32388
/proc/meminfo: memFree=25979644/32873648 swapFree=6864/6864
[pid=32323] ppid=32321 vsize=150516 CPUtime=1797.96 cores=1,3,5,7
/proc/32323/stat : 32323 (bsolo) R 32321 32323 30743 0 -1 4202496 19906927 0 0 0 177084 2712 0 0 20 0 1 0 345165362 154128384 35047 33554432000 134512640 137136520 4287186096 4287184628 134551107 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 37629 35047 198 641 0 36985 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 150516
Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.01
CPU user time (s): 1770.88
CPU system time (s): 27.1249
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 150516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.88
system time used= 27.1249
maximum resident set size= 140188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19907216
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= 56
involuntary context switches= 1847
runsolver used 3.21051 second user time and 9.28959 second system time
The end