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-3704453-1338095598/watcher-3704453-1338095598 -o /tmp/evaluation-result-3704453-1338095598/solver-3704453-1338095598 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704453-1338095598.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: 3.85 3.95 3.94 4/180 12281
/proc/meminfo: memFree=27661016/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=5120 CPUtime=0 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) R 12279 12281 10899 0 -1 4202496 580 0 0 0 0 0 0 0 20 0 1 0 275685171 5242880 532 33554432000 4194304 5965102 140734672246976 140734672246552 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 1280 533 173 433 0 818 0

[startup+0.0742349 s]
/proc/loadavg: 3.85 3.95 3.94 4/180 12281
/proc/meminfo: memFree=27661016/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=164500 CPUtime=0.12 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 2080 0 0 0 12 0 0 0 20 0 3 0 275685171 168448000 2005 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41125 2005 207 433 0 40689 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 164500

[startup+0.100235 s]
/proc/loadavg: 3.85 3.95 3.94 4/180 12281
/proc/meminfo: memFree=27661016/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=164500 CPUtime=0.17 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 2095 0 0 0 17 0 0 0 20 0 3 0 275685171 168448000 2020 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41125 2020 207 433 0 40689 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164500

[startup+0.300122 s]
/proc/loadavg: 3.85 3.95 3.94 4/180 12281
/proc/meminfo: memFree=27661016/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=164500 CPUtime=0.58 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 2618 0 0 0 57 1 0 0 20 0 3 0 275685171 168448000 2543 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41125 2543 207 433 0 40689 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164500

[startup+0.700136 s]
/proc/loadavg: 3.85 3.95 3.94 4/180 12281
/proc/meminfo: memFree=27661016/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=164500 CPUtime=1.37 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 3297 0 0 0 136 1 0 0 20 0 3 0 275685171 168448000 3222 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41125 3222 207 433 0 40689 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164500

[startup+1.50031 s]
/proc/loadavg: 3.85 3.95 3.94 5/183 12284
/proc/meminfo: memFree=27646128/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=164644 CPUtime=2.98 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 5126 0 0 0 294 4 0 0 20 0 3 0 275685171 168595456 5051 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41161 5051 207 433 0 40725 0
[pid=12281/tid=12283] ppid=12279 vsize=164644 CPUtime=1.47 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 2467 0 0 0 144 3 0 0 20 0 3 0 275685172 168595456 5051 33554432000 4194304 5965102 140734672246976 140693362284056 4390204 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=164644 CPUtime=1.47 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 1455 0 0 0 147 0 0 0 20 0 3 0 275685172 168595456 5051 33554432000 4194304 5965102 140734672246976 140693351795000 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164644

[startup+3.10031 s]
/proc/loadavg: 3.85 3.95 3.94 5/183 12284
/proc/meminfo: memFree=27638936/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=164788 CPUtime=6.18 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 6522 0 0 0 613 5 0 0 20 0 3 0 275685171 168742912 6447 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41197 6447 207 433 0 40761 0
[pid=12281/tid=12283] ppid=12279 vsize=164788 CPUtime=3.06 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 3273 0 0 0 302 4 0 0 20 0 3 0 275685172 168742912 6448 33554432000 4194304 5965102 140734672246976 140693362284584 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=164788 CPUtime=3.06 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 2046 0 0 0 305 1 0 0 20 0 3 0 275685172 168742912 6448 33554432000 4194304 5965102 140734672246976 140693351794520 4380432 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164788

[startup+6.30032 s]
/proc/loadavg: 3.86 3.95 3.94 5/183 12284
/proc/meminfo: memFree=27627708/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=164860 CPUtime=12.58 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 8002 0 0 0 1251 7 0 0 20 0 3 0 275685171 168816640 7891 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41215 7891 207 433 0 40779 0
[pid=12281/tid=12283] ppid=12279 vsize=164860 CPUtime=6.25 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 4099 0 0 0 620 5 0 0 20 0 3 0 275685172 168816640 7891 33554432000 4194304 5965102 140734672246976 140693362285496 4390360 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=164860 CPUtime=6.26 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 2699 0 0 0 625 1 0 0 20 0 3 0 275685172 168816640 7891 33554432000 4194304 5965102 140734672246976 140693351795000 4404759 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 164860

[startup+12.7004 s]
/proc/loadavg: 3.87 3.95 3.94 5/183 12284
/proc/meminfo: memFree=27612472/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=165272 CPUtime=25.37 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 11690 0 0 0 2524 13 0 0 20 0 3 0 275685171 169238528 11579 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41318 11579 207 433 0 40882 0
[pid=12281/tid=12283] ppid=12279 vsize=165272 CPUtime=12.64 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 6646 0 0 0 1253 11 0 0 20 0 3 0 275685172 169238528 11579 33554432000 4194304 5965102 140734672246976 140693362284056 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=165272 CPUtime=12.64 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 3840 0 0 0 1262 2 0 0 20 0 3 0 275685172 169238528 11579 33554432000 4194304 5965102 140734672246976 140693351795000 4400960 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) 165272

[startup+25.5004 s]
/proc/loadavg: 3.90 3.96 3.94 5/183 12284
/proc/meminfo: memFree=27554548/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=166440 CPUtime=50.97 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 20702 0 0 0 5074 23 0 0 20 0 3 0 275685171 170434560 20591 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 41610 20591 207 433 0 41174 0
[pid=12281/tid=12283] ppid=12279 vsize=166440 CPUtime=25.4 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 11707 0 0 0 2522 18 0 0 20 0 3 0 275685172 170434560 20591 33554432000 4194304 5965102 140734672246976 140693362284344 4401118 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=166440 CPUtime=25.41 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 7791 0 0 0 2537 4 0 0 20 0 3 0 275685172 170434560 20591 33554432000 4194304 5965102 140734672246976 140693351795048 4222304 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 166440

[startup+51.1004 s]
/proc/loadavg: 3.93 3.96 3.94 5/183 12284
/proc/meminfo: memFree=27506156/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=233224 CPUtime=102.16 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 29756 0 0 0 10186 30 0 0 20 0 3 0 275685171 238821376 29645 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 58306 29645 207 433 0 57870 0
[pid=12281/tid=12283] ppid=12279 vsize=233224 CPUtime=50.94 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 17897 0 0 0 5071 23 0 0 20 0 3 0 275685172 238821376 29645 33554432000 4194304 5965102 140734672246976 140693362284536 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=233224 CPUtime=50.94 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 10655 0 0 0 5088 6 0 0 20 0 3 0 275685172 238821376 29645 33554432000 4194304 5965102 140734672246976 140693351795000 4401146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 233224

[startup+102.307 s]
/proc/loadavg: 3.97 3.96 3.94 5/183 12285
/proc/meminfo: memFree=27455732/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=234764 CPUtime=204.56 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 41734 0 0 0 20411 45 0 0 20 0 3 0 275685171 240398336 41561 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 58691 41561 207 433 0 58255 0
[pid=12281/tid=12283] ppid=12279 vsize=234764 CPUtime=102.01 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 26571 0 0 0 10168 33 0 0 20 0 3 0 275685172 240398336 41561 33554432000 4194304 5965102 140734672246976 140693362284344 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=234764 CPUtime=102.01 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 13959 0 0 0 10188 13 0 0 20 0 3 0 275685172 240398336 41561 33554432000 4194304 5965102 140734672246976 140693351794520 4404753 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 234764

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12285
/proc/meminfo: memFree=27367596/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=367936 CPUtime=324.52 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 52447 0 0 0 32392 60 0 0 20 0 3 0 275685171 376766464 52272 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 91984 52272 207 433 0 91548 0
[pid=12281/tid=12283] ppid=12279 vsize=367936 CPUtime=161.85 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 33252 0 0 0 16144 41 0 0 20 0 3 0 275685172 376766464 52272 33554432000 4194304 5965102 140734672246976 140693362284536 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=367936 CPUtime=161.85 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 17991 0 0 0 16162 23 0 0 20 0 3 0 275685172 376766464 52272 33554432000 4194304 5965102 140734672246976 140693351794760 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 367936

[startup+222.3 s]
/proc/loadavg: 4.05 3.99 3.94 5/183 12285
/proc/meminfo: memFree=27299920/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=371108 CPUtime=444.5 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 63996 0 0 0 44374 76 0 0 20 0 3 0 275685171 380014592 63799 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 92777 63799 207 433 0 92341 0
[pid=12281/tid=12283] ppid=12279 vsize=371108 CPUtime=221.69 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 41560 0 0 0 22121 48 0 0 20 0 3 0 275685172 380014592 63799 33554432000 4194304 5965102 140734672246976 140693362284600 4481828 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=371108 CPUtime=221.69 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 21232 0 0 0 22136 33 0 0 20 0 3 0 275685172 380014592 63799 33554432000 4194304 5965102 140734672246976 140693351794760 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 371108

[startup+282.3 s]
/proc/loadavg: 4.02 3.99 3.94 5/183 12285
/proc/meminfo: memFree=27283848/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=367652 CPUtime=564.47 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 66655 0 0 0 56368 79 0 0 20 0 3 0 275685171 376475648 66059 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 91913 66059 207 433 0 91477 0
[pid=12281/tid=12283] ppid=12279 vsize=367652 CPUtime=281.53 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 43402 0 0 0 28103 50 0 0 20 0 3 0 275685172 376475648 66059 33554432000 4194304 5965102 140734672246976 140693362285496 4380272 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=367652 CPUtime=281.53 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 22049 0 0 0 28116 37 0 0 20 0 3 0 275685172 376475648 66059 33554432000 4194304 5965102 140734672246976 140693351794760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 367652

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12285
/proc/meminfo: memFree=27151264/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=368360 CPUtime=684.43 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 70674 0 0 0 68351 92 0 0 20 0 3 0 275685171 377200640 70163 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 92090 70163 207 433 0 91654 0

################
# More data... #
################

[pid=12281/tid=12284] ppid=12279 vsize=368360 CPUtime=341.36 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 26025 0 0 0 34086 50 0 0 20 0 3 0 275685172 377200640 70163 33554432000 4194304 5965102 140734672246976 140693351795000 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 368360

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12286
/proc/meminfo: memFree=27106280/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=368940 CPUtime=804.37 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 76405 0 0 0 80329 108 0 0 20 0 3 0 275685171 377794560 75849 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 92235 75849 207 433 0 91799 0
[pid=12281/tid=12283] ppid=12279 vsize=368940 CPUtime=401.18 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 43477 0 0 0 40066 52 0 0 20 0 3 0 275685172 377794560 75849 33554432000 4194304 5965102 140734672246976 140693362285496 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=368940 CPUtime=401.19 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 31724 0 0 0 40052 67 0 0 20 0 3 0 275685172 377794560 75849 33554432000 4194304 5965102 140734672246976 140693351795000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 368940

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/184 12289
/proc/meminfo: memFree=27077188/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=369504 CPUtime=924.33 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 81516 0 0 0 92320 113 0 0 20 0 3 0 275685171 378372096 81894 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 92376 81894 207 433 0 91940 0
[pid=12281/tid=12283] ppid=12279 vsize=369504 CPUtime=461.02 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 48456 0 0 0 46045 57 0 0 20 0 3 0 275685172 378372096 81894 33554432000 4194304 5965102 140734672246976 140693362284344 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=369504 CPUtime=461.02 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 31856 0 0 0 46035 67 0 0 20 0 3 0 275685172 378372096 81894 33554432000 4194304 5965102 140734672246976 140693351795032 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 369504

[startup+522.3 s]
/proc/loadavg: 4.07 4.00 3.95 5/183 12342
/proc/meminfo: memFree=27599584/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=435736 CPUtime=1044.31 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 88691 0 0 0 104308 123 0 0 20 0 3 0 275685171 446193664 89263 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 108934 89263 207 433 0 108498 0
[pid=12281/tid=12283] ppid=12279 vsize=435736 CPUtime=520.87 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 55509 0 0 0 52019 68 0 0 20 0 3 0 275685172 446193664 89263 33554432000 4194304 5965102 140734672246976 140693362284584 4401050 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=435736 CPUtime=520.86 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 31978 0 0 0 52018 68 0 0 20 0 3 0 275685172 446193664 89263 33554432000 4194304 5965102 140734672246976 140693351795032 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 435736

[startup+582.3 s]
/proc/loadavg: 4.02 4.00 3.95 5/183 12342
/proc/meminfo: memFree=27531024/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=436176 CPUtime=1164.28 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 95888 0 0 0 116295 133 0 0 20 0 3 0 275685171 446644224 96632 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 109044 96632 207 433 0 108608 0
[pid=12281/tid=12283] ppid=12279 vsize=436176 CPUtime=580.69 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 61655 0 0 0 57992 77 0 0 20 0 3 0 275685172 446644224 96632 33554432000 4194304 5965102 140734672246976 140693362284584 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=436176 CPUtime=580.7 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 33029 0 0 0 57999 71 0 0 20 0 3 0 275685172 446644224 96632 33554432000 4194304 5965102 140734672246976 140693351795000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 436176

[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/183 12342
/proc/meminfo: memFree=27481832/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=438388 CPUtime=1284.26 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 100752 0 0 0 128286 140 0 0 20 0 3 0 275685171 448909312 101488 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 109597 101488 207 433 0 109161 0
[pid=12281/tid=12283] ppid=12279 vsize=438388 CPUtime=640.54 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 65931 0 0 0 63971 83 0 0 20 0 3 0 275685172 448909312 101488 33554432000 4194304 5965102 140734672246976 140693362284344 4404407 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=438388 CPUtime=640.54 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 33617 0 0 0 63980 74 0 0 20 0 3 0 275685172 448909312 101488 33554432000 4194304 5965102 140734672246976 140693351795000 4404704 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 438388

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12343
/proc/meminfo: memFree=27420824/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=570084 CPUtime=1404.23 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 112208 0 0 0 140257 166 0 0 20 0 3 0 275685171 583766016 112917 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 142521 112917 207 433 0 142085 0
[pid=12281/tid=12283] ppid=12279 vsize=570084 CPUtime=700.38 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 72827 0 0 0 69943 95 0 0 20 0 3 0 275685172 583766016 112917 33554432000 4194304 5965102 140734672246976 140693362284344 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=570084 CPUtime=700.37 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 38177 0 0 0 69947 90 0 0 20 0 3 0 275685172 583766016 112917 33554432000 4194304 5965102 140734672246976 140693351794760 4404738 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 570084

[startup+762.307 s]
/proc/loadavg: 4.05 4.01 3.95 5/183 12343
/proc/meminfo: memFree=27379464/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=571428 CPUtime=1524.22 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 114387 0 0 0 152254 168 0 0 20 0 3 0 275685171 585142272 115096 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 142857 115096 207 433 0 142421 0
[pid=12281/tid=12283] ppid=12279 vsize=571428 CPUtime=760.23 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 74741 0 0 0 75925 98 0 0 20 0 3 0 275685172 585142272 115096 33554432000 4194304 5965102 140734672246976 140693362284344 4394002 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=571428 CPUtime=760.22 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 38442 0 0 0 75930 92 0 0 20 0 3 0 275685172 585142272 115096 33554432000 4194304 5965102 140734672246976 140693351794760 4404717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.22
Current children cumulated vsize (KiB) 571428

[startup+822.3 s]
/proc/loadavg: 4.02 4.01 3.95 5/183 12343
/proc/meminfo: memFree=27347888/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=571964 CPUtime=1644.19 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 117930 0 0 0 164246 173 0 0 20 0 3 0 275685171 585691136 118639 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 142991 118639 207 433 0 142555 0
[pid=12281/tid=12283] ppid=12279 vsize=571964 CPUtime=820.07 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 78169 0 0 0 81903 104 0 0 20 0 3 0 275685172 585691136 118639 33554432000 4194304 5965102 140734672246976 140693362284536 4392437 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=571964 CPUtime=820.06 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 38557 0 0 0 81913 93 0 0 20 0 3 0 275685172 585691136 118639 33554432000 4194304 5965102 140734672246976 140693351794760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.19
Current children cumulated vsize (KiB) 571964

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12343
/proc/meminfo: memFree=27295668/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=637776 CPUtime=1764.13 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 124866 0 0 0 176228 185 0 0 20 0 3 0 275685171 653082624 125795 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 159444 125795 207 433 0 159008 0
[pid=12281/tid=12283] ppid=12279 vsize=637776 CPUtime=879.88 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 85028 0 0 0 87871 117 0 0 20 0 3 0 275685172 653082624 125795 33554432000 4194304 5965102 140734672246976 140693362284344 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=637776 CPUtime=879.9 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 38634 0 0 0 87896 94 0 0 20 0 3 0 275685172 653082624 125795 33554432000 4194304 5965102 140734672246976 140693351794760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.13
Current children cumulated vsize (KiB) 637776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12343
/proc/meminfo: memFree=27287112/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=638584 CPUtime=1800.14 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 126276 0 0 0 179824 190 0 0 20 0 3 0 275685171 653910016 127205 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 159646 127205 207 433 0 159210 0
[pid=12281/tid=12283] ppid=12279 vsize=638584 CPUtime=897.84 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 85187 0 0 0 89667 117 0 0 20 0 3 0 275685172 653910016 127205 33554432000 4194304 5965102 140734672246976 140693362284344 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=638584 CPUtime=897.86 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 39885 0 0 0 89687 99 0 0 20 0 3 0 275685172 653910016 127205 33554432000 4194304 5965102 140734672246976 140693351795048 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 638584

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12343
/proc/meminfo: memFree=27287112/32873844 swapFree=7124/7124
[pid=12281] ppid=12279 vsize=638584 CPUtime=1800.14 cores=1,3,5,7
/proc/12281/stat : 12281 (pwbo2.0) S 12279 12281 10899 0 -1 4202496 126276 0 0 0 179824 190 0 0 20 0 3 0 275685171 653910016 127205 33554432000 4194304 5965102 140734672246976 140734672246496 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12281/statm: 159646 127205 207 433 0 159210 0
[pid=12281/tid=12283] ppid=12279 vsize=638584 CPUtime=897.84 cores=1,3,5,7
/proc/12281/task/12283/stat : 12283 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 85187 0 0 0 89667 117 0 0 20 0 3 0 275685172 653910016 127205 33554432000 4194304 5965102 140734672246976 140693362284344 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12281/tid=12284] ppid=12279 vsize=638584 CPUtime=897.86 cores=1,3,5,7
/proc/12281/task/12284/stat : 12284 (pwbo2.0) R 12279 12281 10899 0 -1 4202560 39885 0 0 0 89687 99 0 0 20 0 3 0 275685172 653910016 127205 33554432000 4194304 5965102 140734672246976 140693351795048 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 638584

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12281 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=558337
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=191666
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.321
CPU time (s): 1800.14
CPU user time (s): 1798.24
CPU system time (s): 1.9
CPU usage (%): 199.944
Max. virtual memory (cumulated for all children) (KiB): 638584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.56
system time used= 2.19167
maximum resident set size= 508832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126279
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= 372
involuntary context switches= 3651

runsolver used 1.91171 second user time and 5.86411 second system time

The end