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-3728202-1338671384/watcher-3728202-1338671384 -o /tmp/evaluation-result-3728202-1338671384/solver-3728202-1338671384 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728202-1338671384.wbo
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.05 2.01 1.92 3/177 25435
/proc/meminfo: memFree=31684700/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=83848 CPUtime=0 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 910 0 0 0 0 0 0 0 20 0 2 0 333267011 85860352 1370 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 20962 1370 191 433 0 20526 0
[pid=25435/tid=25436] ppid=25433 vsize=83848 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 2 0 333267011 85860352 1370 33554432000 4194304 5964350 140734602876656 140734420828504 4381913 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[startup+0.0177569 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 25435
/proc/meminfo: memFree=31684700/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=83848 CPUtime=0.01 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 957 0 0 0 1 0 0 0 20 0 2 0 333267011 85860352 1417 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 20962 1417 192 433 0 20526 0
[pid=25435/tid=25436] ppid=25433 vsize=83848 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 186 0 0 0 0 0 0 0 20 0 2 0 333267011 85860352 1417 33554432000 4194304 5964350 140734602876656 140734420828504 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83848
[startup+0.100291 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 25435
/proc/meminfo: memFree=31684700/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=83848 CPUtime=0.09 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 1206 0 0 0 9 0 0 0 20 0 2 0 333267011 85860352 1666 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 20962 1667 193 433 0 20526 0
[pid=25435/tid=25436] ppid=25433 vsize=83848 CPUtime=0.08 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 436 0 0 0 8 0 0 0 20 0 2 0 333267011 85860352 1667 33554432000 4194304 5964350 140734602876656 140734420828504 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83848
[startup+0.300249 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 25435
/proc/meminfo: memFree=31684700/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=83848 CPUtime=0.29 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 1719 0 0 0 29 0 0 0 20 0 2 0 333267011 85860352 2179 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 20962 2180 193 433 0 20526 0
[pid=25435/tid=25436] ppid=25433 vsize=83848 CPUtime=0.28 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 949 0 0 0 28 0 0 0 20 0 2 0 333267011 85860352 2180 33554432000 4194304 5964350 140734602876656 140734420828504 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83848
[startup+0.70025 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 25435
/proc/meminfo: memFree=31684700/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=83848 CPUtime=0.69 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 2680 0 0 0 69 0 0 0 20 0 2 0 333267011 85860352 3140 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 20962 3140 193 433 0 20526 0
[pid=25435/tid=25436] ppid=25433 vsize=83848 CPUtime=0.68 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 1910 0 0 0 68 0 0 0 20 0 2 0 333267011 85860352 3141 33554432000 4194304 5964350 140734602876656 140400402626552 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83848
[startup+1.50026 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 25437
/proc/meminfo: memFree=31664888/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=83848 CPUtime=1.48 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 4279 0 0 0 148 0 0 0 20 0 2 0 333267011 85860352 4739 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 20962 4739 193 433 0 20526 0
[pid=25435/tid=25436] ppid=25433 vsize=83848 CPUtime=1.48 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 3508 0 0 0 148 0 0 0 20 0 2 0 333267011 85860352 4739 33554432000 4194304 5964350 140734602876656 140400402626600 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83848
[startup+3.10026 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 25437
/proc/meminfo: memFree=31654636/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=83992 CPUtime=3.09 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 5620 0 0 0 308 1 0 0 20 0 2 0 333267011 86007808 6080 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 20998 6080 193 433 0 20562 0
[pid=25435/tid=25436] ppid=25433 vsize=83992 CPUtime=3.08 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 4849 0 0 0 307 1 0 0 20 0 2 0 333267011 86007808 6080 33554432000 4194304 5964350 140734602876656 140400402626552 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83992
[startup+6.30028 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 25437
/proc/meminfo: memFree=31642732/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=84064 CPUtime=6.29 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 8244 0 0 0 627 2 0 0 20 0 2 0 333267011 86081536 8704 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 21016 8704 193 433 0 20580 0
[pid=25435/tid=25436] ppid=25433 vsize=84064 CPUtime=6.28 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 7473 0 0 0 626 2 0 0 20 0 2 0 333267011 86081536 8704 33554432000 4194304 5964350 140734602876656 140400402626600 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84064
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 25437
/proc/meminfo: memFree=31619760/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=84064 CPUtime=12.69 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 11601 0 0 0 1266 3 0 0 20 0 2 0 333267011 86081536 12061 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 21016 12061 193 433 0 20580 0
[pid=25435/tid=25436] ppid=25433 vsize=84064 CPUtime=12.69 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 10830 0 0 0 1265 4 0 0 20 0 2 0 333267011 86081536 12061 33554432000 4194304 5964350 140734602876656 140400402626600 4381949 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84064
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 1.92 3/180 25440
/proc/meminfo: memFree=31599504/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=84172 CPUtime=25.48 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 15287 0 0 0 2543 5 0 0 20 0 2 0 333267011 86192128 15742 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 21043 15742 193 433 0 20607 0
[pid=25435/tid=25436] ppid=25433 vsize=84172 CPUtime=25.47 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 14516 0 0 0 2542 5 0 0 20 0 2 0 333267011 86192128 15742 33554432000 4194304 5964350 140734602876656 140400402626552 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84172
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 1.93 3/180 25440
/proc/meminfo: memFree=31557228/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=149868 CPUtime=51.05 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 23564 0 0 0 5098 7 0 0 20 0 2 0 333267011 153464832 24019 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 37467 24019 193 433 0 37031 0
[pid=25435/tid=25436] ppid=25433 vsize=149868 CPUtime=51.06 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 22793 0 0 0 5098 8 0 0 20 0 2 0 333267011 153464832 24019 33554432000 4194304 5964350 140734602876656 140400402626360 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 149868
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 25440
/proc/meminfo: memFree=31483408/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=215644 CPUtime=102.24 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 38042 0 0 0 10212 12 0 0 20 0 2 0 333267011 220819456 39202 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 53911 39202 193 433 0 53475 0
[pid=25435/tid=25436] ppid=25433 vsize=215644 CPUtime=102.26 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 37271 0 0 0 10212 14 0 0 20 0 2 0 333267011 220819456 39202 33554432000 4194304 5964350 140734602876656 140400402626552 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 215644
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 25440
/proc/meminfo: memFree=31429148/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=215788 CPUtime=162.19 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 48757 0 0 0 16203 16 0 0 20 0 2 0 333267011 220966912 50027 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 53947 50027 193 433 0 53511 0
[pid=25435/tid=25436] ppid=25433 vsize=215788 CPUtime=162.21 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 47986 0 0 0 16202 19 0 0 20 0 2 0 333267011 220966912 50027 33554432000 4194304 5964350 140734602876656 140400402626552 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 215788
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 25441
/proc/meminfo: memFree=31405720/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=281324 CPUtime=222.17 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 50975 0 0 0 22200 17 0 0 20 0 2 0 333267011 288075776 52288 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 70331 52288 193 433 0 69895 0
[pid=25435/tid=25436] ppid=25433 vsize=281324 CPUtime=222.2 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 50204 0 0 0 22199 21 0 0 20 0 2 0 333267011 288075776 52288 33554432000 4194304 5964350 140734602876656 140400402626552 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 281324
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 25441
/proc/meminfo: memFree=31389396/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=282044 CPUtime=282.17 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 51522 0 0 0 28199 18 0 0 20 0 2 0 333267011 288813056 52835 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 70511 52835 193 433 0 70075 0
[pid=25435/tid=25436] ppid=25433 vsize=282044 CPUtime=282.19 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 50751 0 0 0 28196 23 0 0 20 0 2 0 333267011 288813056 52835 33554432000 4194304 5964350 140734602876656 140400402626360 4399901 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 282044
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 25441
/proc/meminfo: memFree=31347712/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=282908 CPUtime=342.16 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 59789 0 0 0 34194 22 0 0 20 0 2 0 333267011 289697792 61133 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 70727 61133 193 433 0 70291 0
[pid=25435/tid=25436] ppid=25433 vsize=282908 CPUtime=342.19 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 59018 0 0 0 34191 28 0 0 20 0 2 0 333267011 289697792 61133 33554432000 4194304 5964350 140734602876656 140400402626552 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 282908
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 25441
/proc/meminfo: memFree=31311504/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=283772 CPUtime=402.14 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 66169 0 0 0 40189 25 0 0 20 0 2 0 333267011 290582528 67513 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 148851 0 0 0 130115 96 0 0 20 0 2 0 333267011 649793536 151142 33554432000 4194304 5964350 140734602876656 140400402626552 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 634564
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 25450
/proc/meminfo: memFree=30887656/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=701664 CPUtime=1361.91 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 162913 0 0 0 136104 87 0 0 20 0 2 0 333267011 718503936 164433 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 175416 164433 193 433 0 174980 0
[pid=25435/tid=25436] ppid=25433 vsize=701664 CPUtime=1362.1 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 162142 0 0 0 136102 108 0 0 20 0 2 0 333267011 718503936 164433 33554432000 4194304 5964350 140734602876656 140400402626552 4400342 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 701664
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 25451
/proc/meminfo: memFree=30823832/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769104 CPUtime=1421.91 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 174949 0 0 0 142092 99 0 0 20 0 2 0 333267011 787562496 176469 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192276 176469 193 433 0 191840 0
[pid=25435/tid=25436] ppid=25433 vsize=769104 CPUtime=1422.1 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 174178 0 0 0 142089 121 0 0 20 0 2 0 333267011 787562496 176469 33554432000 4194304 5964350 140734602876656 140400402626552 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 769104
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 25451
/proc/meminfo: memFree=30814284/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769104 CPUtime=1481.89 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176635 0 0 0 148089 100 0 0 20 0 2 0 333267011 787562496 178154 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192276 178154 193 433 0 191840 0
[pid=25435/tid=25436] ppid=25433 vsize=769104 CPUtime=1482.09 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 175864 0 0 0 148086 123 0 0 20 0 2 0 333267011 787562496 178154 33554432000 4194304 5964350 140734602876656 140400402626552 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 769104
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/179 25451
/proc/meminfo: memFree=30808104/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1541.85 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176757 0 0 0 154085 100 0 0 20 0 2 0 333267011 787910656 178251 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178251 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1542.06 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 175986 0 0 0 154082 124 0 0 20 0 2 0 333267011 787910656 178251 33554432000 4194304 5964350 140734602876656 140400402626600 4381597 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 769444
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/179 25451
/proc/meminfo: memFree=30796404/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1601.82 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176773 0 0 0 160082 100 0 0 20 0 2 0 333267011 787910656 178254 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178254 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1602.05 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176002 0 0 0 160080 125 0 0 20 0 2 0 333267011 787910656 178254 33554432000 4194304 5964350 140734602876656 140400402626600 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 769444
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 25451
/proc/meminfo: memFree=30787436/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1661.8 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176787 0 0 0 166080 100 0 0 20 0 2 0 333267011 787910656 178276 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178276 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1662.04 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176016 0 0 0 166078 126 0 0 20 0 2 0 333267011 787910656 178276 33554432000 4194304 5964350 140734602876656 140400402626600 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 769444
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/179 25491
/proc/meminfo: memFree=30856668/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1721.8 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176788 0 0 0 172080 100 0 0 20 0 2 0 333267011 787910656 178277 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178277 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1722.04 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176017 0 0 0 172077 127 0 0 20 0 2 0 333267011 787910656 178277 33554432000 4194304 5964350 140734602876656 140400402626600 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 769444
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 25491
/proc/meminfo: memFree=30680648/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1781.77 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176816 0 0 0 178077 100 0 0 20 0 2 0 333267011 787910656 178291 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178291 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1782.02 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176045 0 0 0 178074 128 0 0 20 0 2 0 333267011 787910656 178291 33554432000 4194304 5964350 140734602876656 140400402626600 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 769444
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25491
/proc/meminfo: memFree=30656840/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1791.38 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176821 0 0 0 179038 100 0 0 20 0 2 0 333267011 787910656 178296 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178296 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1791.62 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176050 0 0 0 179034 128 0 0 20 0 2 0 333267011 787910656 178296 33554432000 4194304 5964350 140734602876656 140400402626600 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 769444
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25491
/proc/meminfo: memFree=30649524/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1794.58 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176822 0 0 0 179358 100 0 0 20 0 2 0 333267011 787910656 178297 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178297 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1794.82 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176051 0 0 0 179354 128 0 0 20 0 2 0 333267011 787910656 178297 33554432000 4194304 5964350 140734602876656 140400402626600 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 769444
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25491
/proc/meminfo: memFree=30646548/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1797.77 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176826 0 0 0 179677 100 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178301 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1798.02 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176055 0 0 0 179674 128 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140400402626600 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 769444
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25491
/proc/meminfo: memFree=30645060/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1798.57 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176826 0 0 0 179757 100 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178301 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1798.82 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176055 0 0 0 179754 128 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140400402626600 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 769444
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25491
/proc/meminfo: memFree=30643572/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1798.98 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176826 0 0 0 179798 100 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178301 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1799.22 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176055 0 0 0 179794 128 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140400402626600 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 769444
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25491
/proc/meminfo: memFree=30643572/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1799.37 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176826 0 0 0 179837 100 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178301 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1799.62 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176055 0 0 0 179834 128 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140400402626600 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 769444
[startup+1800 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25491
/proc/meminfo: memFree=30643572/32873844 swapFree=7116/7116
[pid=25435] ppid=25433 vsize=769444 CPUtime=1799.47 cores=1,3,5,7
/proc/25435/stat : 25435 (wbo1.72) S 25433 25435 25000 0 -1 4202496 176826 0 0 0 179847 100 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140734602876176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 192361 178301 193 433 0 191925 0
[pid=25435/tid=25436] ppid=25433 vsize=769444 CPUtime=1799.72 cores=1,3,5,7
/proc/25435/task/25436/stat : 25436 (wbo1.72) R 25433 25435 25000 0 -1 4202560 176055 0 0 0 179844 128 0 0 20 0 2 0 333267011 787910656 178301 33554432000 4194304 5964350 140734602876656 140400402626600 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 769444
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.74
CPU user time (s): 1798.45
CPU system time (s): 1.2958
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 769444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 1.2958
maximum resident set size= 713216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176829
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= 281
involuntary context switches= 1850
runsolver used 3.02454 second user time and 8.80066 second system time
The end