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-3712746-1338205622/watcher-3712746-1338205622 -o /tmp/evaluation-result-3712746-1338205622/solver-3712746-1338205622 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712746-1338205622.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: 4.00 4.00 4.00 4/178 22816
/proc/meminfo: memFree=29903968/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=4432 CPUtime=0 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) R 22814 22816 20249 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 1 0 286686721 4538368 366 33554432000 4194304 5964478 140735552551952 140735552550200 4344407 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 1108 366 167 433 0 648 0
[startup+0.09763 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22816
/proc/meminfo: memFree=29903968/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=164272 CPUtime=0.16 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 3854 0 0 0 16 0 0 0 20 0 3 0 286686721 168214528 2574 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 41068 2475 198 433 0 40632 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 164272
[startup+0.100226 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22816
/proc/meminfo: memFree=29903968/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=164272 CPUtime=0.17 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 3862 0 0 0 17 0 0 0 20 0 3 0 286686721 168214528 2483 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 41068 2483 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300145 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22816
/proc/meminfo: memFree=29903968/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=164272 CPUtime=0.57 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 5388 0 0 0 56 1 0 0 20 0 3 0 286686721 168214528 3505 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 41068 3505 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.70016 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22816
/proc/meminfo: memFree=29903968/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=164272 CPUtime=1.37 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 7461 0 0 0 136 1 0 0 20 0 3 0 286686721 168214528 4777 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 41068 4777 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272
[startup+1.50036 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22819
/proc/meminfo: memFree=29879144/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=164272 CPUtime=2.96 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 9949 0 0 0 294 2 0 0 20 0 3 0 286686721 168214528 6595 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 41068 6595 198 433 0 40632 0
[pid=22816/tid=22818] ppid=22814 vsize=164272 CPUtime=1.46 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 3577 0 0 0 144 2 0 0 20 0 3 0 286686722 168214528 6595 33554432000 4194304 5964478 140735552551952 140671824275448 4388212 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=164272 CPUtime=1.47 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 5281 0 0 0 147 0 0 0 20 0 3 0 286686722 168214528 6595 33554432000 4194304 5964478 140735552551952 140671813786264 4389094 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272
[startup+3.10035 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22819
/proc/meminfo: memFree=29866248/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=164272 CPUtime=6.17 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 13764 0 0 0 609 8 0 0 20 0 3 0 286686721 168214528 10196 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 41068 10196 198 433 0 40632 0
[pid=22816/tid=22818] ppid=22814 vsize=164272 CPUtime=3.06 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 6698 0 0 0 299 7 0 0 20 0 3 0 286686722 168214528 10196 33554432000 4194304 5964478 140735552551952 140671824275496 4378976 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=164272 CPUtime=3.06 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 5975 0 0 0 306 0 0 0 20 0 3 0 286686722 168214528 10196 33554432000 4194304 5964478 140735552551952 140671813786024 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164272
[startup+6.30037 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22819
/proc/meminfo: memFree=29817996/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=164272 CPUtime=12.56 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 22096 0 0 0 1246 10 0 0 20 0 3 0 286686721 168214528 18324 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 41068 18324 198 433 0 40632 0
[pid=22816/tid=22818] ppid=22814 vsize=164272 CPUtime=6.25 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 14444 0 0 0 615 10 0 0 20 0 3 0 286686722 168214528 18324 33554432000 4194304 5964478 140735552551952 140671824275448 4400073 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=164272 CPUtime=6.26 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 6561 0 0 0 626 0 0 0 20 0 3 0 286686722 168214528 18324 33554432000 4194304 5964478 140735552551952 140671813786120 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164272
[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22819
/proc/meminfo: memFree=29753020/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=229808 CPUtime=25.37 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 32730 0 0 0 2521 16 0 0 20 0 3 0 286686721 235323392 28756 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 57452 28756 198 433 0 57016 0
[pid=22816/tid=22818] ppid=22814 vsize=229808 CPUtime=12.63 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 24415 0 0 0 1248 15 0 0 20 0 3 0 286686722 235323392 28756 33554432000 4194304 5964478 140735552551952 140671824275448 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=229808 CPUtime=12.64 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 7224 0 0 0 1264 0 0 0 20 0 3 0 286686722 235323392 28756 33554432000 4194304 5964478 140735552551952 140671813786120 4403701 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 229808
[startup+25.5004 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22820
/proc/meminfo: memFree=29663476/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=295880 CPUtime=50.96 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 45723 0 0 0 5064 32 0 0 20 0 3 0 286686721 302981120 41648 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 73970 41648 198 433 0 73534 0
[pid=22816/tid=22818] ppid=22814 vsize=295880 CPUtime=25.4 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 35558 0 0 0 2509 31 0 0 20 0 3 0 286686722 302981120 41648 33554432000 4194304 5964478 140735552551952 140671824275496 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=295880 CPUtime=25.41 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 9074 0 0 0 2540 1 0 0 20 0 3 0 286686722 302981120 41648 33554432000 4194304 5964478 140735552551952 140671813785672 4399994 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 295880
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22820
/proc/meminfo: memFree=29455108/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=428596 CPUtime=102.15 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 77439 0 0 0 10160 55 0 0 20 0 3 0 286686721 438882304 73364 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 107149 73364 198 433 0 106713 0
[pid=22816/tid=22818] ppid=22814 vsize=428596 CPUtime=50.93 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 52810 0 0 0 5045 48 0 0 20 0 3 0 286686722 438882304 73364 33554432000 4194304 5964478 140735552551952 140671824275360 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=428596 CPUtime=50.94 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 23538 0 0 0 5088 6 0 0 20 0 3 0 286686722 438882304 73364 33554432000 4194304 5964478 140735552551952 140671813785912 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 428596
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22820
/proc/meminfo: memFree=29104604/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=562840 CPUtime=204.55 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 121470 0 0 0 20355 100 0 0 20 0 3 0 286686721 576348160 117395 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 140710 117395 198 433 0 140274 0
[pid=22816/tid=22818] ppid=22814 vsize=562840 CPUtime=102.01 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 77057 0 0 0 10116 85 0 0 20 0 3 0 286686722 576348160 117395 33554432000 4194304 5964478 140735552551952 140671824275448 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=562840 CPUtime=102.02 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 43322 0 0 0 10186 16 0 0 20 0 3 0 286686722 576348160 117395 33554432000 4194304 5964478 140735552551952 140671813785672 4403701 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 562840
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22820
/proc/meminfo: memFree=28955352/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=629268 CPUtime=324.51 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 139105 0 0 0 32339 112 0 0 20 0 3 0 286686721 644370432 135030 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 157317 135030 198 433 0 156881 0
[pid=22816/tid=22818] ppid=22814 vsize=629268 CPUtime=161.85 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 81531 0 0 0 16093 92 0 0 20 0 3 0 286686722 644370432 135030 33554432000 4194304 5964478 140735552551952 140671824275360 4391678 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=629268 CPUtime=161.86 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 56483 0 0 0 16163 23 0 0 20 0 3 0 286686722 644370432 135030 33554432000 4194304 5964478 140735552551952 140671813785672 4391389 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 629268
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 22823
/proc/meminfo: memFree=28805828/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=826024 CPUtime=444.45 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 176602 0 0 0 44296 149 0 0 20 0 3 0 286686721 845848576 172846 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 206506 172846 198 433 0 206070 0
[pid=22816/tid=22818] ppid=22814 vsize=826024 CPUtime=221.68 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 118618 0 0 0 22038 130 0 0 20 0 3 0 286686722 845848576 172846 33554432000 4194304 5964478 140735552551952 140671824275448 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=826024 CPUtime=221.67 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 56893 0 0 0 22143 24 0 0 20 0 3 0 286686722 845848576 172846 33554432000 4194304 5964478 140735552551952 140671813785912 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 826024
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22823
/proc/meminfo: memFree=28542860/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1023948 CPUtime=564.38 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 228500 0 0 0 56239 199 0 0 20 0 3 0 286686721 1048522752 224740 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 255987 224740 198 433 0 255551 0
[pid=22816/tid=22818] ppid=22814 vsize=1023948 CPUtime=281.48 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 153386 0 0 0 27975 173 0 0 20 0 3 0 286686722 1048522752 224740 33554432000 4194304 5964478 140735552551952 140671824275448 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1023948 CPUtime=281.51 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 74023 0 0 0 28118 33 0 0 20 0 3 0 286686722 1048522752 224740 33554432000 4194304 5964478 140735552551952 140671813785912 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 1023948
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/180 22824
/proc/meminfo: memFree=28458576/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1089940 CPUtime=684.3 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 249480 0 0 0 68212 218 0 0 20 0 3 0 286686721 1116098560 245627 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 272485 245627 198 433 0 272049 0
[pid=22816/tid=22818] ppid=22814 vsize=1089940 CPUtime=341.31 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 168822 0 0 0 33940 191 0 0 20 0 3 0 286686722 1116098560 245627 33554432000 4194304 5964478 140735552551952 140671824275360 4400073 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1089940 CPUtime=341.33 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 79567 0 0 0 34097 36 0 0 20 0 3 0 286686722 1116098560 245627 33554432000 4194304 5964478 140735552551952 140671813785672 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.3
Current children cumulated vsize (KiB) 1089940
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=28422272/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1090768 CPUtime=804.23 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 255759 0 0 0 80202 221 0 0 20 0 3 0 286686721 1116946432 251868 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 272692 251868 198 433 0 272256 0
[pid=22816/tid=22818] ppid=22814 vsize=1090768 CPUtime=401.11 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 168885 0 0 0 39919 192 0 0 20 0 3 0 286686722 1116946432 251868 33554432000 4194304 5964478 140735552551952 140671824275360 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1090768 CPUtime=401.17 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 85783 0 0 0 40076 41 0 0 20 0 3 0 286686722 1116946432 251868 33554432000 4194304 5964478 140735552551952 140671813786016 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.23
Current children cumulated vsize (KiB) 1090768
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=28195124/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1222716 CPUtime=924.17 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 287806 0 0 0 92172 245 0 0 20 0 3 0 286686721 1252061184 283853 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 305679 283853 198 433 0 305243 0
[pid=22816/tid=22818] ppid=22814 vsize=1222716 CPUtime=460.94 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 182618 0 0 0 45886 208 0 0 20 0 3 0 286686722 1252061184 283853 33554432000 4194304 5964478 140735552551952 140671824275448 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1222716 CPUtime=460.99 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 104097 0 0 0 46049 50 0 0 20 0 3 0 286686722 1252061184 283853 33554432000 4194304 5964478 140735552551952 140671813785944 4403701 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.17
Current children cumulated vsize (KiB) 1222716
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27841776/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1354328 CPUtime=1044.14 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 332004 0 0 0 104102 312 0 0 20 0 3 0 286686721 1386831872 328847 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 338582 328847 198 433 0 338146 0
[pid=22816/tid=22818] ppid=22814 vsize=1354328 CPUtime=520.77 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 226784 0 0 0 51801 276 0 0 20 0 3 0 286686722 1386831872 328847 33554432000 4194304 5964478 140735552551952 140671824275448 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1354328 CPUtime=520.83 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 104129 0 0 0 52033 50 0 0 20 0 3 0 286686722 1386831872 328847 33554432000 4194304 5964478 140735552551952 140671813786016 4403682 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (KiB) 1354328
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27584628/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1486688 CPUtime=1164.12 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 362959 0 0 0 116062 350 0 0 20 0 3 0 286686721 1522368512 359802 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 371672 359802 198 433 0 371236 0
[pid=22816/tid=22818] ppid=22814 vsize=1486688 CPUtime=580.61 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 257636 0 0 0 57746 315 0 0 20 0 3 0 286686722 1522368512 359802 33554432000 4194304 5964478 140735552551952 140671824275448 4400081 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1486688 CPUtime=580.68 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 104232 0 0 0 58017 51 0 0 20 0 3 0 286686722 1522368512 359802 33554432000 4194304 5964478 140735552551952 140671813785672 4220672 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) 1486688
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22866
/proc/meminfo: memFree=29483468/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1617900 CPUtime=1284.08 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 396202 0 0 0 128023 385 0 0 20 0 3 0 286686721 1656729600 393152 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 404475 393152 198 433 0 404039 0
[pid=22816/tid=22818] ppid=22814 vsize=1617900 CPUtime=640.44 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 290826 0 0 0 63693 351 0 0 20 0 3 0 286686722 1656729600 393152 33554432000 4194304 5964478 140735552551952 140671824275448 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1617900 CPUtime=640.53 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 104285 0 0 0 64001 52 0 0 20 0 3 0 286686722 1656729600 393152 33554432000 4194304 5964478 140735552551952 140671813785672 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.08
Current children cumulated vsize (KiB) 1617900
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22866
/proc/meminfo: memFree=29269908/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1816168 CPUtime=1404.01 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 437782 0 0 0 139976 425 0 0 20 0 3 0 286686721 1859756032 434732 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 454042 434732 198 433 0 453606 0
[pid=22816/tid=22818] ppid=22814 vsize=1816168 CPUtime=700.24 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 318813 0 0 0 69639 385 0 0 20 0 3 0 286686722 1859756032 434732 33554432000 4194304 5964478 140735552551952 140671824275448 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1816168 CPUtime=700.36 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 117878 0 0 0 69977 59 0 0 20 0 3 0 286686722 1859756032 434732 33554432000 4194304 5964478 140735552551952 140671813785944 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.01
Current children cumulated vsize (KiB) 1816168
[startup+762.307 s]
/proc/loadavg: 4.07 4.02 4.00 5/181 22866
/proc/meminfo: memFree=29137752/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1947480 CPUtime=1523.97 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 464081 0 0 0 151943 454 0 0 20 0 3 0 286686721 1994219520 461058 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 486870 461058 198 433 0 486434 0
[pid=22816/tid=22818] ppid=22814 vsize=1947480 CPUtime=760.06 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 335707 0 0 0 75595 411 0 0 20 0 3 0 286686722 1994219520 461058 33554432000 4194304 5964478 140735552551952 140671824275448 4399980 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1947480 CPUtime=760.22 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 127283 0 0 0 75957 65 0 0 20 0 3 0 286686722 1994219520 461058 33554432000 4194304 5964478 140735552551952 140671813785912 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.97
Current children cumulated vsize (KiB) 1947480
[startup+822.3 s]
/proc/loadavg: 4.02 4.01 4.00 5/182 22909
/proc/meminfo: memFree=28579532/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=1948664 CPUtime=1643.9 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 471205 0 0 0 163932 458 0 0 20 0 3 0 286686721 1995431936 468159 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 487166 468159 198 433 0 486730 0
[pid=22816/tid=22818] ppid=22814 vsize=1948664 CPUtime=819.87 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 335756 0 0 0 81575 412 0 0 20 0 3 0 286686722 1995431936 468159 33554432000 4194304 5964478 140735552551952 140671824275360 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=1948664 CPUtime=820.05 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 134358 0 0 0 81935 70 0 0 20 0 3 0 286686722 1995431936 468159 33554432000 4194304 5964478 140735552551952 140671813785912 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.9
Current children cumulated vsize (KiB) 1948664
[startup+882.3 s]
/proc/loadavg: 4.01 4.00 4.00 5/182 22932
/proc/meminfo: memFree=28458288/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=2014412 CPUtime=1763.83 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 489257 0 0 0 175916 467 0 0 20 0 3 0 286686721 2062757888 486174 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 503603 486174 198 433 0 503167 0
[pid=22816/tid=22818] ppid=22814 vsize=2014412 CPUtime=879.7 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 335782 0 0 0 87557 413 0 0 20 0 3 0 286686722 2062757888 486174 33554432000 4194304 5964478 140735552551952 140671824275360 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=2014412 CPUtime=879.86 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 152384 0 0 0 87906 80 0 0 20 0 3 0 286686722 2062757888 486174 33554432000 4194304 5964478 140735552551952 140671813786016 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.83
Current children cumulated vsize (KiB) 2014412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22932
/proc/meminfo: memFree=28446352/32873844 swapFree=6080/6080
[pid=22816] ppid=22814 vsize=2014912 CPUtime=1800.04 cores=1,3,5,7
/proc/22816/stat : 22816 (pwbo2.01) S 22814 22816 20249 0 -1 4202496 489353 0 0 0 179537 467 0 0 20 0 3 0 286686721 2063269888 486275 33554432000 4194304 5964478 140735552551952 140735552551472 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22816/statm: 503728 486275 198 433 0 503292 0
[pid=22816/tid=22818] ppid=22814 vsize=2014912 CPUtime=897.75 cores=1,3,5,7
/proc/22816/task/22818/stat : 22818 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 335790 0 0 0 89362 413 0 0 20 0 3 0 286686722 2063269888 486275 33554432000 4194304 5964478 140735552551952 140671824275360 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22816/tid=22819] ppid=22814 vsize=2014912 CPUtime=897.93 cores=1,3,5,7
/proc/22816/task/22819/stat : 22819 (pwbo2.01) R 22814 22816 20249 0 -1 4202560 152472 0 0 0 89713 80 0 0 20 0 3 0 286686722 2063269888 486275 33554432000 4194304 5964478 140735552551952 140671813785672 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2014912
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 22816 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=776760
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=30235
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.49
CPU time (s): 1800.04
CPU user time (s): 1795.37
CPU system time (s): 4.67
CPU usage (%): 199.896
Max. virtual memory (cumulated for all children) (KiB): 2014912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.78
system time used= 5.03024
maximum resident set size= 1945104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489354
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= 860
involuntary context switches= 2495
runsolver used 2.23166 second user time and 5.11522 second system time
The end