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-3727887-1338672913/watcher-3727887-1338672913 -o /tmp/evaluation-result-3727887-1338672913/solver-3727887-1338672913 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727887-1338672913.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.08 2.02 2.01 3/177 3998
/proc/meminfo: memFree=27532300/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=31824 CPUtime=0 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) R 3996 3998 3618 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 1 0 333417230 32587776 538 33554432000 4194304 5964350 140734489435312 140734469094296 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 7956 538 173 433 0 627 0
[startup+0.0483129 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3998
/proc/meminfo: memFree=27532300/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=37720 CPUtime=0.04 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) R 3996 3998 3618 0 -1 4202496 2018 0 0 0 4 0 0 0 20 0 1 0 333417230 38625280 1970 33554432000 4194304 5964350 140734489435312 140734469094296 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 9430 1970 318 433 0 2101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 37720
[startup+0.100316 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3998
/proc/meminfo: memFree=27532300/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=42384 CPUtime=0.09 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) R 3996 3998 3618 0 -1 4202496 3385 0 0 0 9 0 0 0 20 0 1 0 333417230 43401216 3223 33554432000 4194304 5964350 140734489435312 140734469094296 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 10596 3223 487 433 0 3267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42384
[startup+0.300271 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3998
/proc/meminfo: memFree=27532300/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=53804 CPUtime=0.29 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) R 3996 3998 3618 0 -1 4202496 7056 0 0 0 29 0 0 0 20 0 1 0 333417230 55095296 6757 33554432000 4194304 5964350 140734489435312 140734469094296 5156142 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 13451 6757 1090 433 0 6122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53804
[startup+0.700273 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3998
/proc/meminfo: memFree=27532300/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=86928 CPUtime=0.69 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) R 3996 3998 3618 0 -1 4202496 16484 0 0 0 67 2 0 0 20 0 1 0 333417230 89014272 15527 33554432000 4194304 5964350 140734489435312 140734489433656 4351916 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 21732 15530 2289 433 0 14403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86928
[startup+1.50027 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 3999
/proc/meminfo: memFree=27457712/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=146960 CPUtime=1.49 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) R 3996 3998 3618 0 -1 4202496 31419 0 0 0 145 4 0 0 20 0 1 0 333417230 150487040 30627 33554432000 4194304 5964350 140734489435312 140734489433800 5081658 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 36740 30630 4249 433 0 29411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 146960
[startup+3.10018 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 3999
/proc/meminfo: memFree=27384140/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=361804 CPUtime=3.09 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 67940 0 0 0 299 10 0 0 20 0 2 0 333417230 370487296 68171 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 90451 68171 185 433 0 90015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 361804
[startup+6.30034 s]
/proc/loadavg: 2.31 2.07 2.02 3/179 4000
/proc/meminfo: memFree=27019468/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=565652 CPUtime=6.28 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 112934 0 0 0 609 19 0 0 20 0 2 0 333417230 579227648 125559 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 141413 125559 193 433 0 140977 0
[pid=3998/tid=4000] ppid=3996 vsize=565652 CPUtime=3.46 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 65646 0 0 0 334 12 0 0 20 0 2 0 333417511 579227648 125559 33554432000 4194304 5964350 140734489435312 139856263854616 4429754 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 565652
[startup+12.7003 s]
/proc/loadavg: 2.37 2.08 2.03 3/179 4000
/proc/meminfo: memFree=26983216/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=631188 CPUtime=12.68 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 118062 0 0 0 1246 22 0 0 20 0 2 0 333417230 646336512 130662 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 157797 130662 197 433 0 157361 0
[pid=3998/tid=4000] ppid=3996 vsize=631188 CPUtime=9.84 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 70774 0 0 0 970 14 0 0 20 0 2 0 333417511 646336512 130662 33554432000 4194304 5964350 140734489435312 139856263854376 4410659 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 631188
[startup+25.5011 s]
/proc/loadavg: 2.29 2.08 2.02 3/179 4000
/proc/meminfo: memFree=26917204/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=631188 CPUtime=25.47 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 132959 0 0 0 2522 25 0 0 20 0 2 0 333417230 646336512 138313 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 157797 138313 197 433 0 157361 0
[pid=3998/tid=4000] ppid=3996 vsize=631188 CPUtime=22.6 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 85671 0 0 0 2242 18 0 0 20 0 2 0 333417511 646336512 138313 33554432000 4194304 5964350 140734489435312 139856263854424 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 631188
[startup+51.1003 s]
/proc/loadavg: 2.19 2.07 2.02 3/179 4000
/proc/meminfo: memFree=26810512/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=696724 CPUtime=51.07 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 134507 0 0 0 5080 27 0 0 20 0 2 0 333417230 713445376 147048 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 174181 147048 197 433 0 173745 0
[pid=3998/tid=4000] ppid=3996 vsize=696724 CPUtime=48.14 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 87219 0 0 0 4795 19 0 0 20 0 2 0 333417511 713445376 147048 33554432000 4194304 5964350 140734489435312 139856263854616 4403477 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 696724
[startup+102.307 s]
/proc/loadavg: 2.14 2.08 2.02 3/179 4000
/proc/meminfo: memFree=26716544/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=696724 CPUtime=102.27 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 136433 0 0 0 10199 28 0 0 20 0 2 0 333417230 713445376 147561 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 174181 147561 197 433 0 173745 0
[pid=3998/tid=4000] ppid=3996 vsize=696724 CPUtime=99.2 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 89145 0 0 0 9898 22 0 0 20 0 2 0 333417511 713445376 147561 33554432000 4194304 5964350 140734489435312 139856263854616 4389084 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 696724
[startup+162.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/178 4000
/proc/meminfo: memFree=26597796/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=696724 CPUtime=162.25 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 136433 0 0 0 16197 28 0 0 20 0 2 0 333417230 713445376 147561 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 174181 147561 197 433 0 173745 0
[pid=3998/tid=4000] ppid=3996 vsize=696724 CPUtime=159.04 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 89145 0 0 0 15881 23 0 0 20 0 2 0 333417511 713445376 147561 33554432000 4194304 5964350 140734489435312 139856263854616 4389080 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 696724
[startup+222.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/179 4001
/proc/meminfo: memFree=26465256/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=696724 CPUtime=222.25 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 136438 0 0 0 22196 29 0 0 20 0 2 0 333417230 713445376 147566 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 174181 147566 197 433 0 173745 0
[pid=3998/tid=4000] ppid=3996 vsize=696724 CPUtime=218.88 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 89150 0 0 0 21864 24 0 0 20 0 2 0 333417511 713445376 147566 33554432000 4194304 5964350 140734489435312 139856263854616 4389080 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 696724
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 4001
/proc/meminfo: memFree=26309244/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=762260 CPUtime=282.24 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 146802 0 0 0 28190 34 0 0 20 0 2 0 333417230 780554240 157930 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 190565 157930 197 433 0 190129 0
[pid=3998/tid=4000] ppid=3996 vsize=762260 CPUtime=278.72 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 99514 0 0 0 27842 30 0 0 20 0 2 0 333417511 780554240 157930 33554432000 4194304 5964350 140734489435312 139856263853592 4389090 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 762260
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/180 4004
/proc/meminfo: memFree=26141300/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=762260 CPUtime=342.23 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 160204 0 0 0 34183 40 0 0 20 0 2 0 333417230 780554240 171332 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 190565 171332 197 433 0 190129 0
[pid=3998/tid=4000] ppid=3996 vsize=762260 CPUtime=338.56 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 112916 0 0 0 33819 37 0 0 20 0 2 0 333417511 780554240 171332 33554432000 4194304 5964350 140734489435312 139856263853592 4389084 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 762260
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 4004
/proc/meminfo: memFree=25958616/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=827796 CPUtime=402.22 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 172292 0 0 0 40176 46 0 0 20 0 2 0 333417230 847663104 183420 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 206949 183420 197 433 0 206513 0
[pid=3998/tid=4000] ppid=3996 vsize=827796 CPUtime=398.41 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 125004 0 0 0 39797 44 0 0 20 0 2 0 333417511 847663104 183420 33554432000 4194304 5964350 140734489435312 139856263853592 4389090 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 827796
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 4004
/proc/meminfo: memFree=25817056/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=893332 CPUtime=462.2 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 185018 0 0 0 46168 52 0 0 20 0 2 0 333417230 914771968 196146 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 223333 196146 197 433 0 222897 0
[pid=3998/tid=4000] ppid=3996 vsize=893332 CPUtime=458.25 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 137730 0 0 0 45774 51 0 0 20 0 2 0 333417511 914771968 196146 33554432000 4194304 5964350 140734489435312 139856263853592 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/172 4279
/proc/meminfo: memFree=29339668/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1548692 CPUtime=1361.87 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 337707 0 0 0 136039 148 0 0 20 0 2 0 333417230 1585860608 352268 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 387173 352268 197 433 0 386737 0
[pid=3998/tid=4000] ppid=3996 vsize=1548692 CPUtime=1355.67 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 290419 0 0 0 135407 160 0 0 20 0 2 0 333417511 1585860608 352268 33554432000 4194304 5964350 140734489435312 139856263853592 4392783 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1548692
[startup+1422.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 4280
/proc/meminfo: memFree=29297072/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1548692 CPUtime=1421.85 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 348267 0 0 0 142029 156 0 0 20 0 2 0 333417230 1585860608 362872 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 387173 362872 197 433 0 386737 0
[pid=3998/tid=4000] ppid=3996 vsize=1548692 CPUtime=1415.5 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 300979 0 0 0 141381 169 0 0 20 0 2 0 333417511 1585860608 362872 33554432000 4194304 5964350 140734489435312 139856263853592 4403637 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1548692
[startup+1482.3 s]
/proc/loadavg: 1.06 1.05 1.34 2/172 4280
/proc/meminfo: memFree=29258012/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1614228 CPUtime=1481.84 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 358303 0 0 0 148022 162 0 0 20 0 2 0 333417230 1652969472 372908 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 403557 372908 197 433 0 403121 0
[pid=3998/tid=4000] ppid=3996 vsize=1614228 CPUtime=1475.34 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 311015 0 0 0 147358 176 0 0 20 0 2 0 333417511 1652969472 372908 33554432000 4194304 5964350 140734489435312 139856263853880 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1614228
[startup+1542.31 s]
/proc/loadavg: 1.02 1.04 1.31 2/173 4283
/proc/meminfo: memFree=29226224/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1614228 CPUtime=1541.83 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 366023 0 0 0 154016 167 0 0 20 0 2 0 333417230 1652969472 380628 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 403557 380628 197 433 0 403121 0
[pid=3998/tid=4000] ppid=3996 vsize=1614228 CPUtime=1535.19 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 318735 0 0 0 153337 182 0 0 20 0 2 0 333417511 1652969472 380628 33554432000 4194304 5964350 140734489435312 139856263854120 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1614228
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/173 4306
/proc/meminfo: memFree=29191820/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1679764 CPUtime=1601.81 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 374609 0 0 0 160009 172 0 0 20 0 2 0 333417230 1720078336 389214 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 419941 389214 197 433 0 419505 0
[pid=3998/tid=4000] ppid=3996 vsize=1679764 CPUtime=1595.02 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 327321 0 0 0 159313 189 0 0 20 0 2 0 333417511 1720078336 389214 33554432000 4194304 5964350 140734489435312 139856263854072 4389080 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1679764
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/172 4306
/proc/meminfo: memFree=29161200/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1679764 CPUtime=1661.81 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 382198 0 0 0 166003 178 0 0 20 0 2 0 333417230 1720078336 396802 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 419941 396802 197 433 0 419505 0
[pid=3998/tid=4000] ppid=3996 vsize=1679764 CPUtime=1654.86 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 334910 0 0 0 165291 195 0 0 20 0 2 0 333417511 1720078336 396802 33554432000 4194304 5964350 140734489435312 139856263853880 4403637 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1679764
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 4307
/proc/meminfo: memFree=29134912/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1721.8 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 388705 0 0 0 171999 181 0 0 20 0 2 0 333417230 1787187200 403302 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 403302 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1714.7 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 341417 0 0 0 171271 199 0 0 20 0 2 0 333417511 1787187200 403302 33554432000 4194304 5964350 140734489435312 139856263854072 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1745300
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/172 4307
/proc/meminfo: memFree=29104904/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1781.78 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 396250 0 0 0 177991 187 0 0 20 0 2 0 333417230 1787187200 410847 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 410847 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1774.54 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 348962 0 0 0 177249 205 0 0 20 0 2 0 333417511 1787187200 410847 33554432000 4194304 5964350 140734489435312 139856263854120 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1745300
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 1.00 1.01 1.23 2/172 4307
/proc/meminfo: memFree=29098580/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1791.49 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 397739 0 0 0 178961 188 0 0 20 0 2 0 333417230 1787187200 412336 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 412336 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1784.22 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 350451 0 0 0 178214 208 0 0 20 0 2 0 333417511 1787187200 412336 33554432000 4194304 5964350 140734489435312 139856263854120 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 1745300
[startup+1795.2 s]
/proc/loadavg: 1.00 1.01 1.23 2/172 4307
/proc/meminfo: memFree=29096844/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1794.69 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 398100 0 0 0 179281 188 0 0 20 0 2 0 333417230 1787187200 412697 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 412697 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1787.42 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 350812 0 0 0 178534 208 0 0 20 0 2 0 333417511 1787187200 412697 33554432000 4194304 5964350 140734489435312 139856263854072 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 1745300
[startup+1798.4 s]
/proc/loadavg: 1.00 1.01 1.23 2/172 4307
/proc/meminfo: memFree=29095852/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1797.89 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 398518 0 0 0 179600 189 0 0 20 0 2 0 333417230 1787187200 413115 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 413115 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1790.6 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 351230 0 0 0 178852 208 0 0 20 0 2 0 333417511 1787187200 413115 33554432000 4194304 5964350 140734489435312 139856263854072 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 1745300
[startup+1799.2 s]
/proc/loadavg: 1.00 1.01 1.23 2/172 4307
/proc/meminfo: memFree=29095232/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1798.69 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 398585 0 0 0 179680 189 0 0 20 0 2 0 333417230 1787187200 413182 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 413182 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1791.4 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 351297 0 0 0 178932 208 0 0 20 0 2 0 333417511 1787187200 413182 33554432000 4194304 5964350 140734489435312 139856263854072 4388188 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 1745300
[startup+1799.6 s]
/proc/loadavg: 1.00 1.01 1.23 2/172 4307
/proc/meminfo: memFree=29094736/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1799.09 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 398634 0 0 0 179720 189 0 0 20 0 2 0 333417230 1787187200 413231 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 413231 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1791.8 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 351346 0 0 0 178972 208 0 0 20 0 2 0 333417511 1787187200 413231 33554432000 4194304 5964350 140734489435312 139856263854072 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 1745300
[startup+1800 s]
/proc/loadavg: 1.00 1.01 1.23 2/172 4307
/proc/meminfo: memFree=29094736/32873648 swapFree=6860/6860
[pid=3998] ppid=3996 vsize=1745300 CPUtime=1799.48 cores=0,2,4,6
/proc/3998/stat : 3998 (wbo1.72) S 3996 3998 3618 0 -1 4202496 398664 0 0 0 179759 189 0 0 20 0 2 0 333417230 1787187200 413261 33554432000 4194304 5964350 140734489435312 140734489434832 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3998/statm: 436325 413261 197 433 0 435889 0
[pid=3998/tid=4000] ppid=3996 vsize=1745300 CPUtime=1792.2 cores=0,2,4,6
/proc/3998/task/4000/stat : 4000 (wbo1.72) R 3996 3998 3618 0 -1 4202560 351376 0 0 0 179012 208 0 0 20 0 2 0 333417511 1787187200 413261 33554432000 4194304 5964350 140734489435312 139856263854072 4392627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 1745300
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3998 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=862443
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=194666
# CPU time returned by wait4() is 1795.06
# while last known CPU time is 1799.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.03
CPU time (s): 1799.48
CPU user time (s): 1797.59
CPU system time (s): 1.89
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1745300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.86
system time used= 2.19467
maximum resident set size= 1653056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398667
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= 338
involuntary context switches= 2529
runsolver used 7.71883 second user time and 14.8767 second system time
The end