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-3725963-1338656968/watcher-3725963-1338656968 -o /tmp/evaluation-result-3725963-1338656968/solver-3725963-1338656968 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725963-1338656968.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.91 4/178 18274
/proc/meminfo: memFree=26827876/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=4768 CPUtime=0 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) R 18272 18274 15996 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 331825361 4882432 396 33554432000 4194304 5964478 140733857536512 140735917636712 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 1192 396 167 433 0 677 0
[startup+0.0129041 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18274
/proc/meminfo: memFree=26827876/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=5828 CPUtime=0.01 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) R 18272 18274 15996 0 -1 4202496 717 0 0 0 1 0 0 0 20 0 1 0 331825361 5967872 669 33554432000 4194304 5964478 140733857536512 140735917636712 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 1457 676 184 433 0 942 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5828
[startup+0.100158 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18274
/proc/meminfo: memFree=26827876/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=166968 CPUtime=0.15 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 2698 0 0 0 15 0 0 0 20 0 3 0 331825361 170975232 2570 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41742 2570 193 433 0 41306 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 166968
[startup+0.30012 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18274
/proc/meminfo: memFree=26827876/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167224 CPUtime=0.55 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 2966 0 0 0 55 0 0 0 20 0 3 0 331825361 171237376 2838 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41806 2838 204 433 0 41370 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 167224
[startup+0.700122 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18274
/proc/meminfo: memFree=26827876/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167224 CPUtime=1.36 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 3171 0 0 0 135 1 0 0 20 0 3 0 331825361 171237376 3043 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41806 3043 204 433 0 41370 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 167224
[startup+1.50025 s]
/proc/loadavg: 3.84 3.97 3.91 5/181 18277
/proc/meminfo: memFree=26815460/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167224 CPUtime=2.96 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 3552 0 0 0 295 1 0 0 20 0 3 0 331825361 171237376 3424 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41806 3424 204 433 0 41370 0
[pid=18274/tid=18276] ppid=18272 vsize=167224 CPUtime=1.45 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 1046 0 0 0 145 0 0 0 20 0 3 0 331825364 171237376 3424 33554432000 4194304 5964478 140733857536512 140335505901560 4403376 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167224 CPUtime=1.45 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 530 0 0 0 145 0 0 0 20 0 3 0 331825364 171237376 3424 33554432000 4194304 5964478 140733857536512 140335495411832 4400435 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 167224
[startup+3.10026 s]
/proc/loadavg: 3.84 3.97 3.91 5/181 18277
/proc/meminfo: memFree=26812840/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167224 CPUtime=6.15 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 4107 0 0 0 614 1 0 0 20 0 3 0 331825361 171237376 3979 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41806 3979 204 433 0 41370 0
[pid=18274/tid=18276] ppid=18272 vsize=167224 CPUtime=3.04 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 1449 0 0 0 304 0 0 0 20 0 3 0 331825364 171237376 3979 33554432000 4194304 5964478 140733857536512 140335505901608 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167224 CPUtime=3.04 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 682 0 0 0 304 0 0 0 20 0 3 0 331825364 171237376 3979 33554432000 4194304 5964478 140733857536512 140335495411960 4222352 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 167224
[startup+6.30028 s]
/proc/loadavg: 3.85 3.97 3.91 5/181 18277
/proc/meminfo: memFree=26808756/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167368 CPUtime=12.55 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 4688 0 0 0 1253 2 0 0 20 0 3 0 331825361 171384832 4560 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41842 4560 204 433 0 41406 0
[pid=18274/tid=18276] ppid=18272 vsize=167368 CPUtime=6.23 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 1869 0 0 0 623 0 0 0 20 0 3 0 331825364 171384832 4560 33554432000 4194304 5964478 140733857536512 140335505901560 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167368 CPUtime=6.24 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 843 0 0 0 623 1 0 0 20 0 3 0 331825364 171384832 4560 33554432000 4194304 5964478 140733857536512 140335495412072 4403698 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 167368
[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.91 5/181 18277
/proc/meminfo: memFree=26803172/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167656 CPUtime=25.35 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 5891 0 0 0 2531 4 0 0 20 0 3 0 331825361 171679744 5763 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41914 5763 204 433 0 41478 0
[pid=18274/tid=18276] ppid=18272 vsize=167656 CPUtime=12.61 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 2563 0 0 0 1261 0 0 0 20 0 3 0 331825364 171679744 5763 33554432000 4194304 5964478 140733857536512 140335505901608 4403721 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167656 CPUtime=12.62 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 1352 0 0 0 1259 3 0 0 20 0 3 0 331825364 171679744 5763 33554432000 4194304 5964478 140733857536512 140335495411832 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 167656
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.91 5/180 18277
/proc/meminfo: memFree=26797852/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167440 CPUtime=50.95 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 6819 0 0 0 5090 5 0 0 20 0 3 0 331825361 171458560 6639 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41860 6639 206 433 0 41424 0
[pid=18274/tid=18276] ppid=18272 vsize=167440 CPUtime=25.38 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 3260 0 0 0 2537 1 0 0 20 0 3 0 331825364 171458560 6639 33554432000 4194304 5964478 140733857536512 140335505902520 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167440 CPUtime=25.38 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 1583 0 0 0 2535 3 0 0 20 0 3 0 331825364 171458560 6639 33554432000 4194304 5964478 140733857536512 140335495411832 4403717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 167440
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.91 5/182 18281
/proc/meminfo: memFree=26788760/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167548 CPUtime=102.14 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 8571 0 0 0 10207 7 0 0 20 0 3 0 331825361 171569152 8391 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41887 8391 206 433 0 41451 0
[pid=18274/tid=18276] ppid=18272 vsize=167548 CPUtime=50.91 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 3579 0 0 0 5090 1 0 0 20 0 3 0 331825364 171569152 8391 33554432000 4194304 5964478 140733857536512 140335505901880 4403432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167548 CPUtime=50.92 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 3016 0 0 0 5088 4 0 0 20 0 3 0 331825364 171569152 8391 33554432000 4194304 5964478 140733857536512 140335495412024 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 167548
[startup+102.307 s]
/proc/loadavg: 4.05 3.99 3.91 5/181 18281
/proc/meminfo: memFree=26756208/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167708 CPUtime=204.53 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 13226 0 0 0 20431 22 0 0 20 0 3 0 331825361 171732992 12949 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41927 12949 206 433 0 41491 0
[pid=18274/tid=18276] ppid=18272 vsize=167708 CPUtime=101.99 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 6683 0 0 0 10186 13 0 0 20 0 3 0 331825364 171732992 12949 33554432000 4194304 5964478 140733857536512 140335505901472 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167708 CPUtime=101.99 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 4567 0 0 0 10189 10 0 0 20 0 3 0 331825364 171732992 12949 33554432000 4194304 5964478 140733857536512 140335495411832 4411571 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 167708
[startup+162.3 s]
/proc/loadavg: 4.02 3.99 3.91 5/181 18281
/proc/meminfo: memFree=26727520/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167708 CPUtime=324.48 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 15283 0 0 0 32419 29 0 0 20 0 3 0 331825361 171732992 15177 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41927 15177 206 433 0 41491 0
[pid=18274/tid=18276] ppid=18272 vsize=167708 CPUtime=161.81 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 8250 0 0 0 16162 19 0 0 20 0 3 0 331825364 171732992 15177 33554432000 4194304 5964478 140733857536512 140335505901880 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167708 CPUtime=161.82 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 5057 0 0 0 16169 13 0 0 20 0 3 0 331825364 171732992 15177 33554432000 4194304 5964478 140733857536512 140335495411936 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 167708
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18281
/proc/meminfo: memFree=26706944/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167948 CPUtime=444.47 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 16483 0 0 0 44415 32 0 0 20 0 3 0 331825361 171978752 18088 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41987 18088 206 433 0 41551 0
[pid=18274/tid=18276] ppid=18272 vsize=167948 CPUtime=221.66 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 8841 0 0 0 22145 21 0 0 20 0 3 0 331825364 171978752 18088 33554432000 4194304 5964478 140733857536512 140335505901608 4403698 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167948 CPUtime=221.66 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 5666 0 0 0 22150 16 0 0 20 0 3 0 331825364 171978752 18088 33554432000 4194304 5964478 140733857536512 140335495412024 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 167948
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18281
/proc/meminfo: memFree=26685356/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=167948 CPUtime=564.45 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 18125 0 0 0 56412 33 0 0 20 0 3 0 331825361 171978752 19730 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 41987 19730 206 433 0 41551 0
[pid=18274/tid=18276] ppid=18272 vsize=167948 CPUtime=281.5 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 10445 0 0 0 28128 22 0 0 20 0 3 0 331825364 171978752 19730 33554432000 4194304 5964478 140733857536512 140335505901664 4222314 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=167948 CPUtime=281.5 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 5704 0 0 0 28133 17 0 0 20 0 3 0 331825364 171978752 19730 33554432000 4194304 5964478 140733857536512 140335495411832 4403692 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 167948
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18282
/proc/meminfo: memFree=26678908/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=168672 CPUtime=684.43 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 18576 0 0 0 68409 34 0 0 20 0 3 0 331825361 172720128 20181 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 42168 20181 206 433 0 41732 0
[pid=18274/tid=18276] ppid=18272 vsize=168672 CPUtime=341.35 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 10893 0 0 0 34110 25 0 0 20 0 3 0 331825364 172720128 20181 33554432000 4194304 5964478 140733857536512 140335505901560 4400069 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=168672 CPUtime=341.35 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 5707 0 0 0 34117 18 0 0 20 0 3 0 331825364 172720128 20181 33554432000 4194304 5964478 140733857536512 140335495411832 4400542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 168672
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18363
/proc/meminfo: memFree=26914856/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=168672 CPUtime=804.39 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 25544 0 0 0 80396 43 0 0 20 0 3 0 331825361 172720128 27227 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 42168 27227 206 433 0 41732 0
[pid=18274/tid=18276] ppid=18272 vsize=168672 CPUtime=401.18 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 15882 0 0 0 40086 32 0 0 20 0 3 0 331825364 172720128 27227 33554432000 4194304 5964478 140733857536512 140335505901560 4403727 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=168672 CPUtime=401.18 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 7686 0 0 0 40096 22 0 0 20 0 3 0 331825364 172720128 27227 33554432000 4194304 5964478 140733857536512 140335495411832 4403717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 168672
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18363
/proc/meminfo: memFree=26819188/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=233484 CPUtime=924.37 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 28334 0 0 0 92393 44 0 0 20 0 3 0 331825361 239087616 29861 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58371 29861 206 433 0 57935 0
[pid=18274/tid=18276] ppid=18272 vsize=233484 CPUtime=461.03 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 18583 0 0 0 46069 34 0 0 20 0 3 0 331825364 239087616 29861 33554432000 4194304 5964478 140733857536512 140335505902520 4403698 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=233484 CPUtime=461.03 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 7775 0 0 0 46079 24 0 0 20 0 3 0 331825364 239087616 29861 33554432000 4194304 5964478 140733857536512 140335495411832 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.37
Current children cumulated vsize (KiB) 233484
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18363
/proc/meminfo: memFree=26739856/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=233844 CPUtime=1044.36 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 30493 0 0 0 104390 46 0 0 20 0 3 0 331825361 239456256 32020 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58461 32020 206 433 0 58025 0
[pid=18274/tid=18276] ppid=18272 vsize=233844 CPUtime=520.88 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 18583 0 0 0 52054 34 0 0 20 0 3 0 331825364 239456256 32020 33554432000 4194304 5964478 140733857536512 140335505901664 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=233844 CPUtime=520.87 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 9934 0 0 0 52061 26 0 0 20 0 3 0 331825364 239456256 32020 33554432000 4194304 5964478 140733857536512 140335495411936 4399964 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.36
Current children cumulated vsize (KiB) 233844
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18363
/proc/meminfo: memFree=26650964/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=233844 CPUtime=1164.34 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 30574 0 0 0 116388 46 0 0 20 0 3 0 331825361 239456256 32101 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58461 32101 206 433 0 58025 0
[pid=18274/tid=18276] ppid=18272 vsize=233844 CPUtime=580.72 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 18583 0 0 0 58037 35 0 0 20 0 3 0 331825364 239456256 32101 33554432000 4194304 5964478 140733857536512 140335505901664 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=233844 CPUtime=580.71 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 10015 0 0 0 58044 27 0 0 20 0 3 0 331825364 239456256 32101 33554432000 4194304 5964478 140733857536512 140335495411832 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.34
Current children cumulated vsize (KiB) 233844
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18367
/proc/meminfo: memFree=26576012/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=233844 CPUtime=1284.32 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 31644 0 0 0 128385 47 0 0 20 0 3 0 331825361 239456256 33347 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58461 33347 206 433 0 58025 0
[pid=18274/tid=18276] ppid=18272 vsize=233844 CPUtime=640.57 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 18588 0 0 0 64021 36 0 0 20 0 3 0 331825364 239456256 33347 33554432000 4194304 5964478 140733857536512 140335505901664 4403727 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=233844 CPUtime=640.56 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 11080 0 0 0 64027 29 0 0 20 0 3 0 331825364 239456256 33347 33554432000 4194304 5964478 140733857536512 140335495411832 4400024 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.32
Current children cumulated vsize (KiB) 233844
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18367
/proc/meminfo: memFree=26488996/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=234928 CPUtime=1404.3 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 33981 0 0 0 140380 50 0 0 20 0 3 0 331825361 240566272 35683 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58732 35683 206 433 0 58296 0
[pid=18274/tid=18276] ppid=18272 vsize=234928 CPUtime=700.41 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 20847 0 0 0 70002 39 0 0 20 0 3 0 331825364 240566272 35683 33554432000 4194304 5964478 140733857536512 140335505901368 4403717 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=234928 CPUtime=700.39 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 11158 0 0 0 70009 30 0 0 20 0 3 0 331825364 240566272 35683 33554432000 4194304 5964478 140733857536512 140335495411936 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.3
Current children cumulated vsize (KiB) 234928
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18367
/proc/meminfo: memFree=26413012/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=234928 CPUtime=1524.29 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 36599 0 0 0 152376 53 0 0 20 0 3 0 331825361 240566272 38301 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58732 38301 206 433 0 58296 0
[pid=18274/tid=18276] ppid=18272 vsize=234928 CPUtime=760.26 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 23427 0 0 0 75983 43 0 0 20 0 3 0 331825364 240566272 38301 33554432000 4194304 5964478 140733857536512 140335505901560 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=234928 CPUtime=760.24 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 11196 0 0 0 75993 31 0 0 20 0 3 0 331825364 240566272 38301 33554432000 4194304 5964478 140733857536512 140335495411832 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.29
Current children cumulated vsize (KiB) 234928
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18367
/proc/meminfo: memFree=26330768/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=234928 CPUtime=1644.26 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 40889 0 0 0 164368 58 0 0 20 0 3 0 331825361 240566272 42590 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58732 42590 206 433 0 58296 0
[pid=18274/tid=18276] ppid=18272 vsize=234928 CPUtime=820.1 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 26760 0 0 0 81962 48 0 0 20 0 3 0 331825364 240566272 42590 33554432000 4194304 5964478 140733857536512 140335505901368 4403717 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=234928 CPUtime=820.08 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 12153 0 0 0 81975 33 0 0 20 0 3 0 331825364 240566272 42590 33554432000 4194304 5964478 140733857536512 140335495411896 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.26
Current children cumulated vsize (KiB) 234928
[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18367
/proc/meminfo: memFree=26299596/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=234928 CPUtime=1764.24 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 44214 0 0 0 176363 61 0 0 20 0 3 0 331825361 240566272 45915 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58732 45915 206 433 0 58296 0
[pid=18274/tid=18276] ppid=18272 vsize=234928 CPUtime=879.95 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 30085 0 0 0 87942 53 0 0 20 0 3 0 331825364 240566272 45915 33554432000 4194304 5964478 140733857536512 140335505901560 4400076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=234928 CPUtime=879.92 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 12153 0 0 0 87958 34 0 0 20 0 3 0 331825364 240566272 45915 33554432000 4194304 5964478 140733857536512 140335495411936 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.24
Current children cumulated vsize (KiB) 234928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 18367
/proc/meminfo: memFree=26292652/32873844 swapFree=7628/7628
[pid=18274] ppid=18272 vsize=233844 CPUtime=1800.05 cores=0,2,4,6
/proc/18274/stat : 18274 (pwbo2.02) S 18272 18274 15996 0 -1 4202496 44462 0 0 0 179944 61 0 0 20 0 3 0 331825361 239456256 45913 33554432000 4194304 5964478 140733857536512 140733857536032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 58461 45913 206 433 0 58025 0
[pid=18274/tid=18276] ppid=18272 vsize=233844 CPUtime=897.81 cores=0,2,4,6
/proc/18274/task/18276/stat : 18276 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 30333 0 0 0 89728 53 0 0 20 0 3 0 331825364 239456256 45913 33554432000 4194304 5964478 140733857536512 140335505902520 4222474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18274/tid=18277] ppid=18272 vsize=233844 CPUtime=897.78 cores=0,2,4,6
/proc/18274/task/18277/stat : 18277 (pwbo2.02) R 18272 18274 15996 0 -1 4202560 12153 0 0 0 89744 34 0 0 20 0 3 0 331825364 239456256 45913 33554432000 4194304 5964478 140733857536512 140335495411936 4403717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 233844
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 18274 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=774152
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=894863
# CPU time returned by wait4() is 1795.67
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.216
CPU time (s): 1800.05
CPU user time (s): 1799.44
CPU system time (s): 0.61
CPU usage (%): 199.958
Max. virtual memory (cumulated for all children) (KiB): 234928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.77
system time used= 0.894863
maximum resident set size= 184652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44463
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= 112
involuntary context switches= 2008
runsolver used 1.85072 second user time and 5.09722 second system time
The end