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-3726052-1338656035/watcher-3726052-1338656035 -o /tmp/evaluation-result-3726052-1338656035/solver-3726052-1338656035 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726052-1338656035.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: 3.84 3.97 3.90 4/178 442
/proc/meminfo: memFree=28960308/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=162648 CPUtime=0 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 949 0 0 0 0 0 0 0 20 0 3 0 331727880 166551552 901 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 40662 905 196 433 0 40226 0
[pid=442/tid=443] ppid=440 vsize=163264 CPUtime=0 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 3 0 331727880 167182336 1185 33554432000 4194304 5964478 140733196958624 139984488012648 4381708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=163264 CPUtime=0 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 451 0 0 0 0 0 0 0 20 0 3 0 331727880 167182336 1189 33554432000 4194304 5964478 140733196958624 139984477521864 5136490 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0701711 s]
/proc/loadavg: 3.84 3.97 3.90 4/178 442
/proc/meminfo: memFree=28960308/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=180892 CPUtime=0.12 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 8101 0 0 0 7 5 0 0 20 0 3 0 331727880 185233408 8011 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45223 8015 204 433 0 44787 0
[pid=442/tid=443] ppid=440 vsize=180892 CPUtime=0.05 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 233 0 0 0 5 0 0 0 20 0 3 0 331727880 185233408 8019 33554432000 4194304 5964478 140733196958624 139984488011816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=180892 CPUtime=0.05 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 7132 0 0 0 0 5 0 0 20 0 3 0 331727880 185233408 8019 33554432000 4194304 5964478 140733196958624 139984477521128 5244295 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 180892
[startup+0.100447 s]
/proc/loadavg: 3.84 3.97 3.90 4/178 442
/proc/meminfo: memFree=28960308/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=181436 CPUtime=0.19 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 8612 0 0 0 13 6 0 0 20 0 3 0 331727880 185790464 8522 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45359 8522 205 433 0 44923 0
[pid=442/tid=443] ppid=440 vsize=181436 CPUtime=0.08 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 315 0 0 0 8 0 0 0 20 0 3 0 331727880 185790464 8522 33554432000 4194304 5964478 140733196958624 139984488011768 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=181436 CPUtime=0.08 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 7553 0 0 0 2 6 0 0 20 0 3 0 331727880 185790464 8522 33554432000 4194304 5964478 140733196958624 139984477521672 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 181436
[startup+0.300385 s]
/proc/loadavg: 3.84 3.97 3.90 4/178 442
/proc/meminfo: memFree=28960308/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=181576 CPUtime=0.58 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 9249 0 0 0 51 7 0 0 20 0 3 0 331727880 185933824 9159 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45394 9159 205 433 0 44958 0
[pid=442/tid=443] ppid=440 vsize=181576 CPUtime=0.28 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 744 0 0 0 28 0 0 0 20 0 3 0 331727880 185933824 9159 33554432000 4194304 5964478 140733196958624 139984488011816 5179243 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=181576 CPUtime=0.28 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 7761 0 0 0 22 6 0 0 20 0 3 0 331727880 185933824 9159 33554432000 4194304 5964478 140733196958624 139984477522152 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 181576
[startup+0.700392 s]
/proc/loadavg: 3.84 3.97 3.90 4/178 442
/proc/meminfo: memFree=28960308/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=181720 CPUtime=1.38 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 9814 0 0 0 130 8 0 0 20 0 3 0 331727880 186081280 9724 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45430 9724 205 433 0 44994 0
[pid=442/tid=443] ppid=440 vsize=181720 CPUtime=0.68 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 1282 0 0 0 66 2 0 0 20 0 3 0 331727880 186081280 9724 33554432000 4194304 5964478 140733196958624 139984488011816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=181720 CPUtime=0.68 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 7788 0 0 0 62 6 0 0 20 0 3 0 331727880 186081280 9724 33554432000 4194304 5964478 140733196958624 139984477522232 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 181720
[startup+1.5004 s]
/proc/loadavg: 3.84 3.97 3.90 5/181 445
/proc/meminfo: memFree=28921232/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=181720 CPUtime=2.98 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 10202 0 0 0 289 9 0 0 20 0 3 0 331727880 186081280 10112 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45430 10112 205 433 0 44994 0
[pid=442/tid=443] ppid=440 vsize=181720 CPUtime=1.48 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 1609 0 0 0 145 3 0 0 20 0 3 0 331727880 186081280 10112 33554432000 4194304 5964478 140733196958624 139984488011576 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=181720 CPUtime=1.48 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 7849 0 0 0 141 7 0 0 20 0 3 0 331727880 186081280 10112 33554432000 4194304 5964478 140733196958624 139984477522232 4373455 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 181720
[startup+3.10039 s]
/proc/loadavg: 3.84 3.97 3.90 5/181 445
/proc/meminfo: memFree=28917264/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=181792 CPUtime=6.18 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 11322 0 0 0 607 11 0 0 20 0 3 0 331727880 186155008 11232 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45448 11232 205 433 0 45012 0
[pid=442/tid=443] ppid=440 vsize=181792 CPUtime=3.07 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 2610 0 0 0 303 4 0 0 20 0 3 0 331727880 186155008 11232 33554432000 4194304 5964478 140733196958624 139984488011768 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=181792 CPUtime=3.08 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 7968 0 0 0 301 7 0 0 20 0 3 0 331727880 186155008 11232 33554432000 4194304 5964478 140733196958624 139984477521752 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 181792
[startup+6.30036 s]
/proc/loadavg: 3.85 3.97 3.90 5/181 445
/proc/meminfo: memFree=28906600/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=182116 CPUtime=12.58 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 14112 0 0 0 1241 17 0 0 20 0 3 0 331727880 186486784 14022 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45529 14022 205 433 0 45093 0
[pid=442/tid=443] ppid=440 vsize=182116 CPUtime=6.27 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 4008 0 0 0 620 7 0 0 20 0 3 0 331727880 186486784 14022 33554432000 4194304 5964478 140733196958624 139984488011768 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=182116 CPUtime=6.27 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 9360 0 0 0 618 9 0 0 20 0 3 0 331727880 186486784 14022 33554432000 4194304 5964478 140733196958624 139984477522232 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 182116
[startup+12.7004 s]
/proc/loadavg: 3.86 3.97 3.90 5/180 445
/proc/meminfo: memFree=28889192/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=182688 CPUtime=25.38 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 17975 0 0 0 2519 19 0 0 20 0 3 0 331727880 187072512 17885 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 45672 17885 205 433 0 45236 0
[pid=442/tid=443] ppid=440 vsize=182688 CPUtime=12.65 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 5901 0 0 0 1257 8 0 0 20 0 3 0 331727880 187072512 17885 33554432000 4194304 5964478 140733196958624 139984488011816 4399952 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=182688 CPUtime=12.65 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 11330 0 0 0 1255 10 0 0 20 0 3 0 331727880 187072512 17885 33554432000 4194304 5964478 140733196958624 139984477522040 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 182688
[startup+25.5004 s]
/proc/loadavg: 3.89 3.97 3.91 5/181 446
/proc/meminfo: memFree=28864244/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=184728 CPUtime=50.98 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 22551 0 0 0 5075 23 0 0 20 0 3 0 331727880 189161472 22461 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 46182 22462 205 433 0 45746 0
[pid=442/tid=443] ppid=440 vsize=184728 CPUtime=25.42 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 8442 0 0 0 2532 10 0 0 20 0 3 0 331727880 189161472 22462 33554432000 4194304 5964478 140733196958624 139984488011768 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=184728 CPUtime=25.42 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 13366 0 0 0 2530 12 0 0 20 0 3 0 331727880 189161472 22462 33554432000 4194304 5964478 140733196958624 139984477522040 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 184728
[startup+51.1004 s]
/proc/loadavg: 3.93 3.97 3.91 5/181 446
/proc/meminfo: memFree=28835756/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=187920 CPUtime=102.17 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 28281 0 0 0 10188 29 0 0 20 0 3 0 331727880 192430080 28191 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 46980 28191 205 433 0 46544 0
[pid=442/tid=443] ppid=440 vsize=187920 CPUtime=50.95 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 10673 0 0 0 5081 14 0 0 20 0 3 0 331727880 192430080 28191 33554432000 4194304 5964478 140733196958624 139984488011768 4390534 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=187920 CPUtime=50.95 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 16864 0 0 0 5081 14 0 0 20 0 3 0 331727880 192430080 28191 33554432000 4194304 5964478 140733196958624 139984477522232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 187920
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.91 5/181 446
/proc/meminfo: memFree=28793392/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=193460 CPUtime=204.55 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 37432 0 0 0 20416 39 0 0 20 0 3 0 331727880 198103040 37336 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 48365 37336 205 433 0 47929 0
[pid=442/tid=443] ppid=440 vsize=193460 CPUtime=102.02 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 15641 0 0 0 10181 21 0 0 20 0 3 0 331727880 198103040 37336 33554432000 4194304 5964478 140733196958624 139984488011816 4400001 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=193460 CPUtime=102.02 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 21047 0 0 0 10182 20 0 0 20 0 3 0 331727880 198103040 37336 33554432000 4194304 5964478 140733196958624 139984477522232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 193460
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 446
/proc/meminfo: memFree=28739356/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=329316 CPUtime=324.46 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 48168 0 0 0 32393 53 0 0 20 0 3 0 331727880 337219584 48162 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 82329 48162 205 433 0 81893 0
[pid=442/tid=443] ppid=440 vsize=329316 CPUtime=161.82 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 22170 0 0 0 16151 31 0 0 20 0 3 0 331727880 337219584 48162 33554432000 4194304 5964478 140733196958624 139984488011816 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=329316 CPUtime=161.84 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 25254 0 0 0 16159 25 0 0 20 0 3 0 331727880 337219584 48162 33554432000 4194304 5964478 140733196958624 139984477522232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 329316
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 446
/proc/meminfo: memFree=28698960/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=331640 CPUtime=444.44 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 56637 0 0 0 44379 65 0 0 20 0 3 0 331727880 339599360 57835 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 82910 57835 205 433 0 82474 0
[pid=442/tid=443] ppid=440 vsize=331640 CPUtime=221.67 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 27002 0 0 0 22127 40 0 0 20 0 3 0 331727880 339599360 57835 33554432000 4194304 5964478 140733196958624 139984488011768 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=331640 CPUtime=221.68 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 28891 0 0 0 22137 31 0 0 20 0 3 0 331727880 339599360 57835 33554432000 4194304 5964478 140733196958624 139984477522232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 331640
################
# More data... #
################
[pid=442/tid=444] ppid=440 vsize=338068 CPUtime=341.34 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 35583 0 0 0 34093 41 0 0 20 0 3 0 331727880 346181632 71388 33554432000 4194304 5964478 140733196958624 139984477522232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 338068
[startup+402.3 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 491
/proc/meminfo: memFree=28692128/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=405168 CPUtime=804.32 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 77470 0 0 0 80340 92 0 0 20 0 3 0 331727880 414892032 78796 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 101292 78796 205 433 0 100856 0
[pid=442/tid=443] ppid=440 vsize=405168 CPUtime=401.17 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 38607 0 0 0 40059 58 0 0 20 0 3 0 331727880 414892032 78796 33554432000 4194304 5964478 140733196958624 139984488011768 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=405168 CPUtime=401.19 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 38119 0 0 0 40073 46 0 0 20 0 3 0 331727880 414892032 78796 33554432000 4194304 5964478 140733196958624 139984477522040 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 405168
[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 515
/proc/meminfo: memFree=28644912/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=409068 CPUtime=924.3 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 81728 0 0 0 92332 98 0 0 20 0 3 0 331727880 418885632 83054 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 102267 83054 205 433 0 101831 0
[pid=442/tid=443] ppid=440 vsize=409068 CPUtime=461.01 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 40494 0 0 0 46040 61 0 0 20 0 3 0 331727880 418885632 83054 33554432000 4194304 5964478 140733196958624 139984488011768 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=409068 CPUtime=461.04 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 40490 0 0 0 46054 50 0 0 20 0 3 0 331727880 418885632 83054 33554432000 4194304 5964478 140733196958624 139984477522232 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 409068
[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 515
/proc/meminfo: memFree=28602108/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=475716 CPUtime=1044.29 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 86825 0 0 0 104322 107 0 0 20 0 3 0 331727880 487133184 88151 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 118929 88151 205 433 0 118493 0
[pid=442/tid=443] ppid=440 vsize=475716 CPUtime=520.86 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 43326 0 0 0 52020 66 0 0 20 0 3 0 331727880 487133184 88151 33554432000 4194304 5964478 140733196958624 139984488011816 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=475716 CPUtime=520.88 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 42755 0 0 0 52034 54 0 0 20 0 3 0 331727880 487133184 88151 33554432000 4194304 5964478 140733196958624 139984477522280 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 475716
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 515
/proc/meminfo: memFree=28553164/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=478056 CPUtime=1164.26 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 91567 0 0 0 116312 114 0 0 20 0 3 0 331727880 489529344 92893 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 119514 92893 205 433 0 119078 0
[pid=442/tid=443] ppid=440 vsize=478056 CPUtime=580.71 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 46117 0 0 0 57999 72 0 0 20 0 3 0 331727880 489529344 92893 33554432000 4194304 5964478 140733196958624 139984488011768 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=478056 CPUtime=580.72 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 44706 0 0 0 58015 57 0 0 20 0 3 0 331727880 489529344 92893 33554432000 4194304 5964478 140733196958624 139984477522280 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 478056
[startup+642.3 s]
/proc/loadavg: 4.04 3.99 3.92 5/181 516
/proc/meminfo: memFree=28514840/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=479664 CPUtime=1284.2 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 96120 0 0 0 128298 122 0 0 20 0 3 0 331727880 491175936 97441 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 119916 97441 205 433 0 119480 0
[pid=442/tid=443] ppid=440 vsize=479664 CPUtime=640.53 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 49651 0 0 0 63973 80 0 0 20 0 3 0 331727880 491175936 97441 33554432000 4194304 5964478 140733196958624 139984488011768 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=479664 CPUtime=640.56 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 45725 0 0 0 63997 59 0 0 20 0 3 0 331727880 491175936 97441 33554432000 4194304 5964478 140733196958624 139984477522232 4379232 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.2
Current children cumulated vsize (KiB) 479664
[startup+702.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 516
/proc/meminfo: memFree=28492084/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=545648 CPUtime=1404.17 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 97999 0 0 0 140293 124 0 0 20 0 3 0 331727880 558743552 99319 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 136412 99319 205 433 0 135976 0
[pid=442/tid=443] ppid=440 vsize=545648 CPUtime=700.36 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 51519 0 0 0 69952 84 0 0 20 0 3 0 331727880 558743552 99319 33554432000 4194304 5964478 140733196958624 139984488011816 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=545648 CPUtime=700.4 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 45736 0 0 0 69980 60 0 0 20 0 3 0 331727880 558743552 99319 33554432000 4194304 5964478 140733196958624 139984477522280 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 545648
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 516
/proc/meminfo: memFree=28454264/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=546132 CPUtime=1524.17 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 102476 0 0 0 152286 131 0 0 20 0 3 0 331727880 559239168 103796 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 136533 103796 205 433 0 136097 0
[pid=442/tid=443] ppid=440 vsize=546132 CPUtime=760.22 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 55943 0 0 0 75930 92 0 0 20 0 3 0 331727880 559239168 103796 33554432000 4194304 5964478 140733196958624 139984488011816 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=546132 CPUtime=760.25 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 45789 0 0 0 75964 61 0 0 20 0 3 0 331727880 559239168 103796 33554432000 4194304 5964478 140733196958624 139984477522280 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.17
Current children cumulated vsize (KiB) 546132
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 516
/proc/meminfo: memFree=28436544/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=546864 CPUtime=1644.14 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 103027 0 0 0 164282 132 0 0 20 0 3 0 331727880 559988736 104347 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 136716 104347 205 433 0 136280 0
[pid=442/tid=443] ppid=440 vsize=546864 CPUtime=820.06 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 56479 0 0 0 81912 94 0 0 20 0 3 0 331727880 559988736 104347 33554432000 4194304 5964478 140733196958624 139984488011816 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=546864 CPUtime=820.09 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 45804 0 0 0 81947 62 0 0 20 0 3 0 331727880 559988736 104347 33554432000 4194304 5964478 140733196958624 139984477522280 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.14
Current children cumulated vsize (KiB) 546864
[startup+882.3 s]
/proc/loadavg: 4.04 4.00 3.92 5/181 516
/proc/meminfo: memFree=28409616/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=547696 CPUtime=1764.12 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 106923 0 0 0 176273 139 0 0 20 0 3 0 331727880 560840704 108243 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 136924 108243 205 433 0 136488 0
[pid=442/tid=443] ppid=440 vsize=547696 CPUtime=879.9 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 60282 0 0 0 87889 101 0 0 20 0 3 0 331727880 560840704 108243 33554432000 4194304 5964478 140733196958624 139984488011768 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=547696 CPUtime=879.93 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 45897 0 0 0 87930 63 0 0 20 0 3 0 331727880 560840704 108243 33554432000 4194304 5964478 140733196958624 139984477522280 5143859 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 547696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 516
/proc/meminfo: memFree=28396084/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=547804 CPUtime=1800.13 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 108158 0 0 0 179872 141 0 0 20 0 3 0 331727880 560951296 109478 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 136951 109478 205 433 0 136515 0
[pid=442/tid=443] ppid=440 vsize=547804 CPUtime=897.86 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 61477 0 0 0 89683 103 0 0 20 0 3 0 331727880 560951296 109479 33554432000 4194304 5964478 140733196958624 139984488011816 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=547804 CPUtime=897.89 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 45938 0 0 0 89726 63 0 0 20 0 3 0 331727880 560951296 109479 33554432000 4194304 5964478 140733196958624 139984477522280 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 547804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 516
/proc/meminfo: memFree=28396084/32873844 swapFree=7644/7644
[pid=442] ppid=440 vsize=547804 CPUtime=1800.13 cores=0,2,4,6
/proc/442/stat : 442 (pwbo2.02) S 440 442 30509 0 -1 4202496 108158 0 0 0 179872 141 0 0 20 0 3 0 331727880 560951296 109478 33554432000 4194304 5964478 140733196958624 140733196958144 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/442/statm: 136951 109478 205 433 0 136515 0
[pid=442/tid=443] ppid=440 vsize=547804 CPUtime=897.86 cores=0,2,4,6
/proc/442/task/443/stat : 443 (pwbo2.02) R 440 442 30509 0 -1 4202560 61477 0 0 0 89683 103 0 0 20 0 3 0 331727880 560951296 109479 33554432000 4194304 5964478 140733196958624 139984488011816 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=442/tid=444] ppid=440 vsize=547804 CPUtime=897.89 cores=0,2,4,6
/proc/442/task/444/stat : 444 (pwbo2.02) R 440 442 30509 0 -1 4202560 45938 0 0 0 89726 63 0 0 20 0 3 0 331727880 560951296 109479 33554432000 4194304 5964478 140733196958624 139984477522280 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 547804
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 442 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=117252
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=691742
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.321
CPU time (s): 1800.13
CPU user time (s): 1798.72
CPU system time (s): 1.41
CPU usage (%): 199.943
Max. virtual memory (cumulated for all children) (KiB): 547804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.12
system time used= 1.69174
maximum resident set size= 437920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108160
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= 384
involuntary context switches= 3788
runsolver used 1.62975 second user time and 5.40518 second system time
The end