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-3703643-1338092313/watcher-3703643-1338092313 -o /tmp/evaluation-result-3703643-1338092313/solver-3703643-1338092313 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703643-1338092313.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.91 3.98 3.93 3/180 17385
/proc/meminfo: memFree=28708816/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=7656 CPUtime=0 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) R 17383 17385 15889 0 -1 4202496 484 0 0 0 0 0 0 0 20 0 1 0 275356148 7839744 436 33554432000 4194304 5965102 140736806335056 140737282783480 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 1914 437 169 433 0 715 0

[startup+0.0914909 s]
/proc/loadavg: 3.91 3.98 3.93 3/180 17385
/proc/meminfo: memFree=28708816/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=15592 CPUtime=0.08 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) R 17383 17385 15889 0 -1 4202496 2726 0 0 0 8 0 0 0 20 0 1 0 275356148 15966208 2612 33554432000 4194304 5965102 140736806335056 140737282783480 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 3898 2614 450 433 0 2699 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15592

[startup+0.100335 s]
/proc/loadavg: 3.91 3.98 3.93 3/180 17385
/proc/meminfo: memFree=28708816/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=16252 CPUtime=0.09 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) R 17383 17385 15889 0 -1 4202496 2950 0 0 0 9 0 0 0 20 0 1 0 275356148 16642048 2836 33554432000 4194304 5965102 140736806335056 140737282783480 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 4063 2836 479 433 0 2864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16252

[startup+0.300161 s]
/proc/loadavg: 3.91 3.98 3.93 3/180 17385
/proc/meminfo: memFree=28708816/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=183052 CPUtime=0.33 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 15068 0 0 0 28 5 0 0 20 0 3 0 275356148 187445248 14061 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 45763 14061 184 433 0 45327 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 183052

[startup+0.70017 s]
/proc/loadavg: 3.91 3.98 3.93 3/180 17385
/proc/meminfo: memFree=28708816/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=195064 CPUtime=1.09 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 24716 0 0 0 99 10 0 0 20 0 3 0 275356148 199745536 23209 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 48766 23209 203 433 0 48330 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 195064

[startup+1.50038 s]
/proc/loadavg: 3.91 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28616412/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=195064 CPUtime=2.69 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 24797 0 0 0 259 10 0 0 20 0 3 0 275356148 199745536 23290 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 48766 23290 205 433 0 48330 0
[pid=17385/tid=17387] ppid=17383 vsize=195064 CPUtime=1.25 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 7988 0 0 0 121 4 0 0 20 0 3 0 275356170 199745536 23290 33554432000 4194304 5965102 140736806335056 140447394687512 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=195064 CPUtime=1.25 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 9963 0 0 0 119 6 0 0 20 0 3 0 275356170 199745536 23290 33554432000 4194304 5965102 140736806335056 140447384197576 4410278 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 195064

[startup+3.10039 s]
/proc/loadavg: 3.91 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28615048/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=195064 CPUtime=5.89 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 24882 0 0 0 579 10 0 0 20 0 3 0 275356148 199745536 23375 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 48766 23375 205 433 0 48330 0
[pid=17385/tid=17387] ppid=17383 vsize=195064 CPUtime=2.85 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 8051 0 0 0 280 5 0 0 20 0 3 0 275356170 199745536 23375 33554432000 4194304 5965102 140736806335056 140447394687512 5143194 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=195064 CPUtime=2.85 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 9985 0 0 0 279 6 0 0 20 0 3 0 275356170 199745536 23375 33554432000 4194304 5965102 140736806335056 140447384197368 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 195064

[startup+6.30039 s]
/proc/loadavg: 3.91 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28610724/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=195064 CPUtime=12.29 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 25150 0 0 0 1218 11 0 0 20 0 3 0 275356148 199745536 23643 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 48766 23643 205 433 0 48330 0
[pid=17385/tid=17387] ppid=17383 vsize=195064 CPUtime=6.05 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 8273 0 0 0 600 5 0 0 20 0 3 0 275356170 199745536 23643 33554432000 4194304 5965102 140736806335056 140447394687512 4445814 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=195064 CPUtime=6.05 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 10031 0 0 0 599 6 0 0 20 0 3 0 275356170 199745536 23643 33554432000 4194304 5965102 140736806335056 140447384197432 4401155 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 195064

[startup+12.7004 s]
/proc/loadavg: 3.92 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28598876/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=195064 CPUtime=25.09 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 25754 0 0 0 2498 11 0 0 20 0 3 0 275356148 199745536 24247 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 48766 24247 205 433 0 48330 0
[pid=17385/tid=17387] ppid=17383 vsize=195064 CPUtime=12.45 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 8745 0 0 0 1240 5 0 0 20 0 3 0 275356170 199745536 24247 33554432000 4194304 5965102 140736806335056 140447394687512 5143165 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=195064 CPUtime=12.45 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 10163 0 0 0 1239 6 0 0 20 0 3 0 275356170 199745536 24247 33554432000 4194304 5965102 140736806335056 140447384197480 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 195064

[startup+25.5004 s]
/proc/loadavg: 3.94 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28573696/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=195064 CPUtime=50.69 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 28613 0 0 0 5053 16 0 0 20 0 3 0 275356148 199745536 27106 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 48766 27106 205 433 0 48330 0
[pid=17385/tid=17387] ppid=17383 vsize=195064 CPUtime=25.25 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 10062 0 0 0 2520 5 0 0 20 0 3 0 275356170 199745536 27106 33554432000 4194304 5965102 140736806335056 140447394687384 5131668 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=195064 CPUtime=25.25 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 11705 0 0 0 2514 11 0 0 20 0 3 0 275356170 199745536 27106 33554432000 4194304 5965102 140736806335056 140447384197432 4393903 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 195064

[startup+51.1004 s]
/proc/loadavg: 3.96 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28480028/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=260600 CPUtime=101.88 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 56190 0 0 0 10147 41 0 0 20 0 3 0 275356148 266854400 43700 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 65150 43700 206 433 0 64714 0
[pid=17385/tid=17387] ppid=17383 vsize=260600 CPUtime=50.85 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 23799 0 0 0 5077 8 0 0 20 0 3 0 275356170 266854400 43700 33554432000 4194304 5965102 140736806335056 140447394687512 5136313 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=260600 CPUtime=50.85 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 25545 0 0 0 5052 33 0 0 20 0 3 0 275356170 266854400 43700 33554432000 4194304 5965102 140736806335056 140447384197432 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 260600

[startup+102.307 s]
/proc/loadavg: 3.98 3.98 3.93 3/181 17392
/proc/meminfo: memFree=29726056/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=458832 CPUtime=204.27 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 112844 0 0 0 20333 94 0 0 20 0 3 0 275356148 469843968 78506 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 114708 78506 206 433 0 114272 0
[pid=17385/tid=17387] ppid=17383 vsize=458832 CPUtime=102.05 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 50921 0 0 0 10188 17 0 0 20 0 3 0 275356170 469843968 78506 33554432000 4194304 5965102 140736806335056 140447394687432 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=458832 CPUtime=102.06 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 55077 0 0 0 10127 79 0 0 20 0 3 0 275356170 469843968 78506 33554432000 4194304 5965102 140736806335056 140447384197432 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 458832

[startup+162.3 s]
/proc/loadavg: 3.93 3.95 3.92 5/183 17432
/proc/meminfo: memFree=29415492/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=524368 CPUtime=324.2 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 146102 0 0 0 32297 123 0 0 20 0 3 0 275356148 536952832 112517 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 131092 112517 206 433 0 130656 0
[pid=17385/tid=17387] ppid=17383 vsize=524368 CPUtime=162.03 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 57575 0 0 0 16179 24 0 0 20 0 3 0 275356170 536952832 112517 33554432000 4194304 5965102 140736806335056 140447394687512 4401107 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=524368 CPUtime=162.03 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 81681 0 0 0 16100 103 0 0 20 0 3 0 275356170 536952832 112517 33554432000 4194304 5965102 140736806335056 140447384197432 4401146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.2
Current children cumulated vsize (KiB) 524368

[startup+222.3 s]
/proc/loadavg: 3.97 3.96 3.92 5/183 17433
/proc/meminfo: memFree=29262876/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=655440 CPUtime=444.12 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 170935 0 0 0 44261 151 0 0 20 0 3 0 275356148 671170560 137306 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 163860 137306 206 433 0 163424 0
[pid=17385/tid=17387] ppid=17383 vsize=655440 CPUtime=222.03 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 68389 0 0 0 22162 41 0 0 20 0 3 0 275356170 671170560 137306 33554432000 4194304 5965102 140736806335056 140447394686968 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=655440 CPUtime=221.98 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 95700 0 0 0 22081 117 0 0 20 0 3 0 275356170 671170560 137306 33554432000 4194304 5965102 140736806335056 140447384197432 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.12
Current children cumulated vsize (KiB) 655440

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17433
/proc/meminfo: memFree=29159488/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=657336 CPUtime=564.06 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 179417 0 0 0 56235 171 0 0 20 0 3 0 275356148 673112064 145746 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 164334 145746 206 433 0 163898 0
[pid=17385/tid=17387] ppid=17383 vsize=657336 CPUtime=282.01 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 76810 0 0 0 28139 62 0 0 20 0 3 0 275356170 673112064 145746 33554432000 4194304 5965102 140736806335056 140447394686776 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=657336 CPUtime=281.97 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 95761 0 0 0 28079 118 0 0 20 0 3 0 275356170 673112064 145746 33554432000 4194304 5965102 140736806335056 140447384197192 4401559 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.06
Current children cumulated vsize (KiB) 657336

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17433
/proc/meminfo: memFree=29055976/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=723144 CPUtime=684 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 193012 0 0 0 68215 185 0 0 20 0 3 0 275356148 740499456 159305 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 180786 159305 206 433 0 180350 0
[pid=17385/tid=17387] ppid=17383 vsize=723144 CPUtime=342.01 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 77584 0 0 0 34138 63 0 0 20 0 3 0 275356170 740499456 159305 33554432000 4194304 5965102 140736806335056 140447394686776 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=723144 CPUtime=341.93 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 108582 0 0 0 34060 133 0 0 20 0 3 0 275356170 740499456 159305 33554432000 4194304 5965102 140736806335056 140447384197432 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684
Current children cumulated vsize (KiB) 723144

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17433
/proc/meminfo: memFree=28836308/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=854616 CPUtime=803.99 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 221852 0 0 0 80183 216 0 0 20 0 3 0 275356148 875126784 188762 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 213654 188763 206 433 0 213218 0
[pid=17385/tid=17387] ppid=17383 vsize=854616 CPUtime=402.01 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 78897 0 0 0 40137 64 0 0 20 0 3 0 275356170 875126784 188763 33554432000 4194304 5965102 140736806335056 140447394687160 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=854616 CPUtime=401.93 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 136110 0 0 0 40029 164 0 0 20 0 3 0 275356170 875126784 188763 33554432000 4194304 5965102 140736806335056 140447384197432 4401129 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 803.99
Current children cumulated vsize (KiB) 854616

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17433
/proc/meminfo: memFree=28708492/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=985148 CPUtime=923.96 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 250013 0 0 0 92146 250 0 0 20 0 3 0 275356148 1008791552 216587 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 246287 216588 206 433 0 245851 0
[pid=17385/tid=17387] ppid=17383 vsize=985148 CPUtime=462.01 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 82644 0 0 0 46135 66 0 0 20 0 3 0 275356170 1008791552 216588 33554432000 4194304 5965102 140736806335056 140447394687512 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=985148 CPUtime=461.93 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 160524 0 0 0 45996 197 0 0 20 0 3 0 275356170 1008791552 216588 33554432000 4194304 5965102 140736806335056 140447384197432 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 923.96
Current children cumulated vsize (KiB) 985148

[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/183 17434
/proc/meminfo: memFree=28588860/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1050960 CPUtime=1043.95 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 272189 0 0 0 104109 286 0 0 20 0 3 0 275356148 1076183040 238763 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 262740 238763 206 433 0 262304 0
[pid=17385/tid=17387] ppid=17383 vsize=1050960 CPUtime=522.01 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 82976 0 0 0 52135 66 0 0 20 0 3 0 275356170 1076183040 238763 33554432000 4194304 5965102 140736806335056 140447394687512 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1050960 CPUtime=521.93 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 182367 0 0 0 51960 233 0 0 20 0 3 0 275356170 1076183040 238763 33554432000 4194304 5965102 140736806335056 140447384197432 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1043.95
Current children cumulated vsize (KiB) 1050960

[startup+582.3 s]
/proc/loadavg: 4.05 3.99 3.92 5/183 17434
/proc/meminfo: memFree=28525588/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1116632 CPUtime=1163.92 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 284267 0 0 0 116087 305 0 0 20 0 3 0 275356148 1143431168 250841 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 279158 250841 206 433 0 278722 0
[pid=17385/tid=17387] ppid=17383 vsize=1116632 CPUtime=582.02 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 84688 0 0 0 58131 71 0 0 20 0 3 0 275356170 1143431168 250841 33554432000 4194304 5965102 140736806335056 140447394686968 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1116632 CPUtime=581.93 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 192733 0 0 0 57942 251 0 0 20 0 3 0 275356170 1143431168 250841 33554432000 4194304 5965102 140736806335056 140447384197192 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1163.92
Current children cumulated vsize (KiB) 1116632

[startup+642.3 s]
/proc/loadavg: 4.02 3.99 3.92 5/183 17434
/proc/meminfo: memFree=28443156/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1116772 CPUtime=1283.92 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 288650 0 0 0 128080 312 0 0 20 0 3 0 275356148 1143574528 255221 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 279193 255221 206 433 0 278757 0
[pid=17385/tid=17387] ppid=17383 vsize=1116772 CPUtime=642.03 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 89039 0 0 0 64125 78 0 0 20 0 3 0 275356170 1143574528 255221 33554432000 4194304 5965102 140736806335056 140447394687384 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1116772 CPUtime=641.94 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 192765 0 0 0 63942 252 0 0 20 0 3 0 275356170 1143574528 255221 33554432000 4194304 5965102 140736806335056 140447384197192 4401116 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1283.92
Current children cumulated vsize (KiB) 1116772

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/184 17437
/proc/meminfo: memFree=28338440/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1116908 CPUtime=1403.89 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 288712 0 0 0 140077 312 0 0 20 0 3 0 275356148 1143713792 255283 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 279227 255283 206 433 0 278791 0
[pid=17385/tid=17387] ppid=17383 vsize=1116908 CPUtime=702.02 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 89066 0 0 0 70123 79 0 0 20 0 3 0 275356170 1143713792 255283 33554432000 4194304 5965102 140736806335056 140447394687384 4401096 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1116908 CPUtime=701.94 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 192800 0 0 0 69941 253 0 0 20 0 3 0 275356170 1143713792 255283 33554432000 4194304 5965102 140736806335056 140447384197192 4401155 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1403.89
Current children cumulated vsize (KiB) 1116908

[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17437
/proc/meminfo: memFree=28321996/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1117044 CPUtime=1523.85 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 288849 0 0 0 152073 312 0 0 20 0 3 0 275356148 1143853056 255403 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 279261 255403 206 433 0 278825 0
[pid=17385/tid=17387] ppid=17383 vsize=1117044 CPUtime=762.03 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 89121 0 0 0 76123 80 0 0 20 0 3 0 275356170 1143853056 255403 33554432000 4194304 5965102 140736806335056 140447394687384 4401149 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1117044 CPUtime=761.91 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 192882 0 0 0 75937 254 0 0 20 0 3 0 275356170 1143853056 255403 33554432000 4194304 5965102 140736806335056 140447384197192 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1523.85
Current children cumulated vsize (KiB) 1117044

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17438
/proc/meminfo: memFree=28297720/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1117176 CPUtime=1643.78 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 292399 0 0 0 164060 318 0 0 20 0 3 0 275356148 1143988224 258919 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 279294 258919 206 433 0 278858 0
[pid=17385/tid=17387] ppid=17383 vsize=1117176 CPUtime=822.03 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 92587 0 0 0 82116 87 0 0 20 0 3 0 275356170 1143988224 258920 33554432000 4194304 5965102 140736806335056 140447394687016 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1117176 CPUtime=821.86 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 192967 0 0 0 81931 255 0 0 20 0 3 0 275356170 1143988224 258920 33554432000 4194304 5965102 140736806335056 140447384197192 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1643.78
Current children cumulated vsize (KiB) 1117176

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17438
/proc/meminfo: memFree=28216900/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1182844 CPUtime=1763.7 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 305385 0 0 0 176031 339 0 0 20 0 3 0 275356148 1211232256 272042 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 295711 272042 206 433 0 295275 0
[pid=17385/tid=17387] ppid=17383 vsize=1182844 CPUtime=882 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 105506 0 0 0 88091 109 0 0 20 0 3 0 275356170 1211232256 272042 33554432000 4194304 5965102 140736806335056 140447394686968 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1182844 CPUtime=881.85 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 193033 0 0 0 87929 256 0 0 20 0 3 0 275356170 1211232256 272042 33554432000 4194304 5965102 140736806335056 140447384197192 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1763.7
Current children cumulated vsize (KiB) 1182844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17438
/proc/meminfo: memFree=28194936/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1182976 CPUtime=1800.1 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 309008 0 0 0 179664 346 0 0 20 0 3 0 275356148 1211367424 275672 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 295744 275672 206 433 0 295308 0
[pid=17385/tid=17387] ppid=17383 vsize=1182976 CPUtime=900.2 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 109120 0 0 0 89904 116 0 0 20 0 3 0 275356170 1211367424 275672 33554432000 4194304 5965102 140736806335056 140447394686968 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1182976 CPUtime=900.05 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 193042 0 0 0 89749 256 0 0 20 0 3 0 275356170 1211367424 275672 33554432000 4194304 5965102 140736806335056 140447384197192 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1182976

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

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

[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17438
/proc/meminfo: memFree=28194936/32873844 swapFree=7372/7372
[pid=17385] ppid=17383 vsize=1182976 CPUtime=1800.1 cores=1,3,5,7
/proc/17385/stat : 17385 (pwbo2.0) S 17383 17385 15889 0 -1 4202496 309008 0 0 0 179664 346 0 0 20 0 3 0 275356148 1211367424 275672 33554432000 4194304 5965102 140736806335056 140736806334576 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17385/statm: 295744 275672 206 433 0 295308 0
[pid=17385/tid=17387] ppid=17383 vsize=1182976 CPUtime=900.2 cores=1,3,5,7
/proc/17385/task/17387/stat : 17387 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 109120 0 0 0 89904 116 0 0 20 0 3 0 275356170 1211367424 275672 33554432000 4194304 5965102 140736806335056 140447394686968 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17385/tid=17388] ppid=17383 vsize=1182976 CPUtime=900.05 cores=1,3,5,7
/proc/17385/task/17388/stat : 17388 (pwbo2.0) R 17383 17385 15889 0 -1 4202560 193042 0 0 0 89749 256 0 0 20 0 3 0 275356170 1211367424 275672 33554432000 4194304 5965102 140736806335056 140447384197192 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1182976

Child status: 0
Real time (s): 900.55
CPU time (s): 1800.55
CPU user time (s): 1796.76
CPU system time (s): 3.79342
CPU usage (%): 199.939
Max. virtual memory (cumulated for all children) (KiB): 1182976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 3.79342
maximum resident set size= 1102700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309011
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= 2365
involuntary context switches= 2250

runsolver used 2.04969 second user time and 5.80712 second system time

The end