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-3725921-1338655162/watcher-3725921-1338655162 -o /tmp/evaluation-result-3725921-1338655162/solver-3725921-1338655162 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725921-1338655162.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: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=4972 CPUtime=0 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) R 22063 22065 19474 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 331641622 5091328 357 33554432000 4194304 5964478 140733436627456 140733436625832 5139050 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 1243 357 167 433 0 645 0
[startup+0.0164229 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=5796 CPUtime=0.01 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) R 22063 22065 19474 0 -1 4202496 668 0 0 0 1 0 0 0 20 0 1 0 331641622 5935104 620 33554432000 4194304 5964478 140733436627456 140733436625832 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 1482 621 200 433 0 884 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5796
[startup+0.100167 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=0.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 6723 0 0 0 11 1 0 0 20 0 3 0 331641622 175415296 6401 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6401 201 433 0 42390 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 171304
[startup+0.300218 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=0.52 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 7103 0 0 0 51 1 0 0 20 0 3 0 331641622 175415296 6506 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6506 202 433 0 42390 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 171304
[startup+0.700213 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 22065
/proc/meminfo: memFree=27920672/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=1.32 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 7231 0 0 0 131 1 0 0 20 0 3 0 331641622 175415296 6534 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6534 202 433 0 42390 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 171304
[startup+1.50039 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22068
/proc/meminfo: memFree=27894956/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=2.91 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 7546 0 0 0 290 1 0 0 20 0 3 0 331641622 175415296 6849 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 6849 202 433 0 42390 0
[pid=22065/tid=22067] ppid=22063 vsize=171304 CPUtime=1.42 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 2511 0 0 0 142 0 0 0 20 0 3 0 331641627 175415296 6849 33554432000 4194304 5964478 140733436627456 139988452485576 5130994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171304 CPUtime=1.43 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 2976 0 0 0 143 0 0 0 20 0 3 0 331641627 175415296 6849 33554432000 4194304 5964478 140733436627456 139988441995576 4400746 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 171304
[startup+3.10037 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22068
/proc/meminfo: memFree=27891360/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=6.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 10136 0 0 0 608 4 0 0 20 0 3 0 331641622 175415296 8524 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 8524 203 433 0 42390 0
[pid=22065/tid=22067] ppid=22063 vsize=171304 CPUtime=3.02 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 4046 0 0 0 300 2 0 0 20 0 3 0 331641627 175415296 8524 33554432000 4194304 5964478 140733436627456 139988452485656 5139118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171304 CPUtime=3.02 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 4031 0 0 0 300 2 0 0 20 0 3 0 331641627 175415296 8524 33554432000 4194304 5964478 140733436627456 139988441995384 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 171304
[startup+6.30032 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22189
/proc/meminfo: memFree=28322276/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171304 CPUtime=12.51 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 15093 0 0 0 1244 7 0 0 20 0 3 0 331641622 175415296 12145 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42826 12145 203 433 0 42390 0
[pid=22065/tid=22067] ppid=22063 vsize=171304 CPUtime=6.21 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 6361 0 0 0 619 2 0 0 20 0 3 0 331641627 175415296 12146 33554432000 4194304 5964478 140733436627456 139988452485656 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171304 CPUtime=6.21 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 6674 0 0 0 617 4 0 0 20 0 3 0 331641627 175415296 12146 33554432000 4194304 5964478 140733436627456 139988441995576 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 171304
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22189
/proc/meminfo: memFree=28224960/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171788 CPUtime=25.31 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 23374 0 0 0 2520 11 0 0 20 0 3 0 331641622 175910912 20426 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42947 20426 203 433 0 42511 0
[pid=22065/tid=22067] ppid=22063 vsize=171788 CPUtime=12.59 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 9356 0 0 0 1256 3 0 0 20 0 3 0 331641627 175910912 20426 33554432000 4194304 5964478 140733436627456 139988452485656 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171788 CPUtime=12.6 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 11960 0 0 0 1252 8 0 0 20 0 3 0 331641627 175910912 20427 33554432000 4194304 5964478 140733436627456 139988441995576 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 171788
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.91 5/178 22189
/proc/meminfo: memFree=28179316/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=171920 CPUtime=50.9 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 31107 0 0 0 5074 16 0 0 20 0 3 0 331641622 176046080 28503 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 42980 28503 203 433 0 42544 0
[pid=22065/tid=22067] ppid=22063 vsize=171920 CPUtime=25.36 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 13114 0 0 0 2531 5 0 0 20 0 3 0 331641627 176046080 28503 33554432000 4194304 5964478 140733436627456 139988452484920 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=171920 CPUtime=25.36 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 15934 0 0 0 2526 10 0 0 20 0 3 0 331641627 176046080 28503 33554432000 4194304 5964478 140733436627456 139988441995576 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 171920
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.91 5/180 22193
/proc/meminfo: memFree=28122832/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=237972 CPUtime=102.06 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 43403 0 0 0 10174 32 0 0 20 0 3 0 331641622 243683328 40682 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 59493 40682 203 433 0 59057 0
[pid=22065/tid=22067] ppid=22063 vsize=237972 CPUtime=50.89 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 16982 0 0 0 5081 8 0 0 20 0 3 0 331641627 243683328 40682 33554432000 4194304 5964478 140733436627456 139988452485656 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=237972 CPUtime=50.87 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 24362 0 0 0 5064 23 0 0 20 0 3 0 331641627 243683328 40682 33554432000 4194304 5964478 140733436627456 139988441995624 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 237972
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=28056068/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=304448 CPUtime=204.43 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 56470 0 0 0 20387 56 0 0 20 0 3 0 331641622 311754752 54879 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 76112 54879 203 433 0 75676 0
[pid=22065/tid=22067] ppid=22063 vsize=304448 CPUtime=101.94 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 17137 0 0 0 10185 9 0 0 20 0 3 0 331641627 311754752 54879 33554432000 4194304 5964478 140733436627456 139988452485464 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=304448 CPUtime=101.94 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 37274 0 0 0 10146 48 0 0 20 0 3 0 331641627 311754752 54879 33554432000 4194304 5964478 140733436627456 139988441995336 4400470 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 304448
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=27961608/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=370516 CPUtime=324.4 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 79190 0 0 0 32337 103 0 0 20 0 3 0 331641622 379408384 76500 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 92629 76500 203 433 0 92193 0
[pid=22065/tid=22067] ppid=22063 vsize=370516 CPUtime=161.78 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 18546 0 0 0 16167 11 0 0 20 0 3 0 331641627 379408384 76500 33554432000 4194304 5964478 140733436627456 139988452485656 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=370516 CPUtime=161.78 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 58585 0 0 0 16083 95 0 0 20 0 3 0 331641627 379408384 76500 33554432000 4194304 5964478 140733436627456 139988441995576 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.4
Current children cumulated vsize (KiB) 370516
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=27930016/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=436908 CPUtime=444.38 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 86617 0 0 0 44329 109 0 0 20 0 3 0 331641622 447393792 83927 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 109227 83927 203 433 0 108791 0
[pid=22065/tid=22067] ppid=22063 vsize=436908 CPUtime=221.62 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 25910 0 0 0 22143 19 0 0 20 0 3 0 331641627 447393792 83927 33554432000 4194304 5964478 140733436627456 139988452484920 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=436908 CPUtime=221.62 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 58648 0 0 0 22066 96 0 0 20 0 3 0 331641627 447393792 83927 33554432000 4194304 5964478 140733436627456 139988441995336 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (KiB) 436908
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22193
/proc/meminfo: memFree=27827408/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=503624 CPUtime=564.34 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 109783 0 0 0 56280 154 0 0 20 0 3 0 331641622 515710976 107102 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 125906 107102 203 433 0 125470 0
[pid=22065/tid=22067] ppid=22063 vsize=503624 CPUtime=281.46 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 33567 0 0 0 28119 27 0 0 20 0 3 0 331641627 515710976 107102 33554432000 4194304 5964478 140733436627456 139988452485160 4388346 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=503624 CPUtime=281.44 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 74157 0 0 0 28010 134 0 0 20 0 3 0 331641627 515710976 107102 33554432000 4194304 5964478 140733436627456 139988441995576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 503624
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/179 22194
/proc/meminfo: memFree=27784284/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=503756 CPUtime=684.26 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 119122 0 0 0 68257 169 0 0 20 0 3 0 331641622 515846144 116934 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 125939 116934 203 433 0 125503 0
[pid=22065/tid=22067] ppid=22063 vsize=503756 CPUtime=341.27 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 35678 0 0 0 34098 29 0 0 20 0 3 0 331641627 515846144 116934 33554432000 4194304 5964478 140733436627456 139988452484984 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=503756 CPUtime=341.26 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81385 0 0 0 33977 149 0 0 20 0 3 0 331641627 515846144 116934 33554432000 4194304 5964478 140733436627456 139988441995576 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.26
Current children cumulated vsize (KiB) 503756
[startup+402.3 s]
/proc/loadavg: 4.09 4.03 3.92 5/179 22194
/proc/meminfo: memFree=27759140/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=569424 CPUtime=804.19 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 125313 0 0 0 80240 179 0 0 20 0 3 0 331641622 583090176 123085 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 142356 123085 203 433 0 141920 0
[pid=22065/tid=22067] ppid=22063 vsize=569424 CPUtime=401.11 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 41791 0 0 0 40071 40 0 0 20 0 3 0 331641627 583090176 123085 33554432000 4194304 5964478 140733436627456 139988452485160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=569424 CPUtime=401.05 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81463 0 0 0 39955 150 0 0 20 0 3 0 331641627 583090176 123085 33554432000 4194304 5964478 140733436627456 139988441995336 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.19
Current children cumulated vsize (KiB) 569424
[startup+462.3 s]
/proc/loadavg: 4.03 4.02 3.92 5/179 22194
/proc/meminfo: memFree=27731860/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=570268 CPUtime=924.16 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 130711 0 0 0 92230 186 0 0 20 0 3 0 331641622 583954432 128482 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 142567 128482 203 433 0 142131 0
[pid=22065/tid=22067] ppid=22063 vsize=570268 CPUtime=460.96 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 47134 0 0 0 46048 48 0 0 20 0 3 0 331641627 583954432 128482 33554432000 4194304 5964478 140733436627456 139988452484920 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=570268 CPUtime=460.9 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81518 0 0 0 45940 150 0 0 20 0 3 0 331641627 583954432 128482 33554432000 4194304 5964478 140733436627456 139988441995336 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.16
Current children cumulated vsize (KiB) 570268
[startup+522.3 s]
/proc/loadavg: 4.01 4.02 3.92 5/179 22194
/proc/meminfo: memFree=27707112/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=570584 CPUtime=1044.15 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 132630 0 0 0 104226 189 0 0 20 0 3 0 331641622 584278016 130438 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 142646 130438 203 433 0 142210 0
[pid=22065/tid=22067] ppid=22063 vsize=570584 CPUtime=520.79 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 48986 0 0 0 52029 50 0 0 20 0 3 0 331641627 584278016 130438 33554432000 4194304 5964478 140733436627456 139988452485112 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=570584 CPUtime=520.74 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 81585 0 0 0 51923 151 0 0 20 0 3 0 331641627 584278016 130438 33554432000 4194304 5964478 140733436627456 139988441995336 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.15
Current children cumulated vsize (KiB) 570584
[startup+582.3 s]
/proc/loadavg: 4.00 4.01 3.92 5/179 22194
/proc/meminfo: memFree=27656500/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=701656 CPUtime=1164.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 145337 0 0 0 116199 213 0 0 20 0 3 0 331641622 718495744 143145 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 175414 143145 203 433 0 174978 0
[pid=22065/tid=22067] ppid=22063 vsize=701656 CPUtime=580.63 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 55351 0 0 0 58001 62 0 0 20 0 3 0 331641627 718495744 143145 33554432000 4194304 5964478 140733436627456 139988452485112 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=701656 CPUtime=580.59 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 87927 0 0 0 57892 167 0 0 20 0 3 0 331641627 718495744 143145 33554432000 4194304 5964478 140733436627456 139988441995576 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.12
Current children cumulated vsize (KiB) 701656
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/180 22198
/proc/meminfo: memFree=27573136/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768140 CPUtime=1284.12 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 165344 0 0 0 128156 256 0 0 20 0 3 0 331641622 786575360 163152 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192035 163152 203 433 0 191599 0
[pid=22065/tid=22067] ppid=22063 vsize=768140 CPUtime=640.48 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 59441 0 0 0 63981 67 0 0 20 0 3 0 331641627 786575360 163152 33554432000 4194304 5964478 140733436627456 139988452484920 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768140 CPUtime=640.44 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 103844 0 0 0 63838 206 0 0 20 0 3 0 331641627 786575360 163152 33554432000 4194304 5964478 140733436627456 139988441995576 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.12
Current children cumulated vsize (KiB) 768140
[startup+702.3 s]
/proc/loadavg: 4.08 4.02 3.93 5/179 22198
/proc/meminfo: memFree=27524732/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768276 CPUtime=1404.05 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 175758 0 0 0 140127 278 0 0 20 0 3 0 331641622 786714624 173662 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192069 173662 203 433 0 191633 0
[pid=22065/tid=22067] ppid=22063 vsize=768276 CPUtime=700.31 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 60323 0 0 0 69963 68 0 0 20 0 3 0 331641627 786714624 173662 33554432000 4194304 5964478 140733436627456 139988452484920 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768276 CPUtime=700.25 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113376 0 0 0 69796 229 0 0 20 0 3 0 331641627 786714624 173662 33554432000 4194304 5964478 140733436627456 139988441995576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.05
Current children cumulated vsize (KiB) 768276
[startup+762.307 s]
/proc/loadavg: 4.06 4.03 3.93 5/179 22198
/proc/meminfo: memFree=27522404/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768476 CPUtime=1523.99 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 176086 0 0 0 152121 278 0 0 20 0 3 0 331641622 786919424 174236 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192119 174236 203 433 0 191683 0
[pid=22065/tid=22067] ppid=22063 vsize=768476 CPUtime=760.15 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 60605 0 0 0 75946 69 0 0 20 0 3 0 331641627 786919424 174236 33554432000 4194304 5964478 140733436627456 139988452484920 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768476 CPUtime=760.06 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113422 0 0 0 75776 230 0 0 20 0 3 0 331641627 786919424 174236 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.99
Current children cumulated vsize (KiB) 768476
[startup+822.3 s]
/proc/loadavg: 4.02 4.02 3.93 5/179 22198
/proc/meminfo: memFree=27503212/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=768476 CPUtime=1643.91 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 180703 0 0 0 164105 286 0 0 20 0 3 0 331641622 786919424 179092 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 192119 179092 203 433 0 191683 0
[pid=22065/tid=22067] ppid=22063 vsize=768476 CPUtime=819.96 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 65171 0 0 0 81918 78 0 0 20 0 3 0 331641627 786919424 179092 33554432000 4194304 5964478 140733436627456 139988452484920 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=768476 CPUtime=819.88 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113473 0 0 0 81757 231 0 0 20 0 3 0 331641627 786919424 179092 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.91
Current children cumulated vsize (KiB) 768476
[startup+882.3 s]
/proc/loadavg: 4.07 4.03 3.94 5/179 22198
/proc/meminfo: memFree=27480196/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=834992 CPUtime=1763.89 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 186413 0 0 0 176093 296 0 0 20 0 3 0 331641622 855031808 184862 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 208748 184862 203 433 0 208312 0
[pid=22065/tid=22067] ppid=22063 vsize=834992 CPUtime=879.79 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 70848 0 0 0 87890 89 0 0 20 0 3 0 331641627 855031808 184862 33554432000 4194304 5964478 140733436627456 139988452485160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=834992 CPUtime=879.72 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113506 0 0 0 87740 232 0 0 20 0 3 0 331641627 855031808 184862 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.89
Current children cumulated vsize (KiB) 834992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.05 4.03 3.94 5/179 22198
/proc/meminfo: memFree=27474988/32873852 swapFree=7624/7624
[pid=22065] ppid=22063 vsize=834992 CPUtime=1800.09 cores=1,3,5,7
/proc/22065/stat : 22065 (pwbo2.02) S 22063 22065 19474 0 -1 4202496 187677 0 0 0 179712 297 0 0 20 0 3 0 331641622 855031808 186126 33554432000 4194304 5964478 140733436627456 140733436626976 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22065/statm: 208748 186126 203 433 0 208312 0
[pid=22065/tid=22067] ppid=22063 vsize=834992 CPUtime=897.85 cores=1,3,5,7
/proc/22065/task/22067/stat : 22067 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 72110 0 0 0 89695 90 0 0 20 0 3 0 331641627 855031808 186126 33554432000 4194304 5964478 140733436627456 139988452485160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=834992 CPUtime=897.78 cores=1,3,5,7
/proc/22065/task/22068/stat : 22068 (pwbo2.02) R 22063 22065 19474 0 -1 4202560 113508 0 0 0 89546 232 0 0 20 0 3 0 331641627 855031808 186126 33554432000 4194304 5964478 140733436627456 139988441995336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 834992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22065 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=483501
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=253505
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.421
CPU time (s): 1800.09
CPU user time (s): 1797.12
CPU system time (s): 2.97
CPU usage (%): 199.916
Max. virtual memory (cumulated for all children) (KiB): 834992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.48
system time used= 3.25351
maximum resident set size= 744508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187678
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= 1128
involuntary context switches= 1872
runsolver used 2.42363 second user time and 5.13222 second system time
The end