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-3712539-1338195143/watcher-3712539-1338195143 -o /tmp/evaluation-result-3712539-1338195143/solver-3712539-1338195143 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712539-1338195143.wbo 

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: 0.93 1.03 1.34 3/173 14555
/proc/meminfo: memFree=31444032/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=5336 CPUtime=0 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) R 14551 14555 14514 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 285639761 5464064 560 33554432000 4194304 5964478 140737026452704 140734760691736 4395513 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 1334 561 162 433 0 881 0

[startup+0.079894 s]
/proc/loadavg: 0.93 1.03 1.34 3/173 14555
/proc/meminfo: memFree=31444032/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=176160 CPUtime=0.13 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 7646 0 0 0 11 2 0 0 20 0 3 0 285639761 180387840 7520 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 44040 7520 205 433 0 43604 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 176160

[startup+0.100215 s]
/proc/loadavg: 0.93 1.03 1.34 3/173 14555
/proc/meminfo: memFree=31444032/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=182264 CPUtime=0.18 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 9470 0 0 0 15 3 0 0 20 0 3 0 285639761 186638336 9344 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 45566 9344 205 433 0 45130 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 182264

[startup+0.300178 s]
/proc/loadavg: 0.93 1.03 1.34 3/173 14555
/proc/meminfo: memFree=31444032/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=182792 CPUtime=0.57 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 10332 0 0 0 54 3 0 0 20 0 3 0 285639761 187179008 10206 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 45698 10206 206 433 0 45262 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 182792

[startup+0.700159 s]
/proc/loadavg: 0.93 1.03 1.34 3/173 14555
/proc/meminfo: memFree=31444032/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=182792 CPUtime=1.37 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 11776 0 0 0 133 4 0 0 20 0 3 0 285639761 187179008 11650 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 45698 11650 206 433 0 45262 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 182792

[startup+1.50023 s]
/proc/loadavg: 0.93 1.03 1.34 5/181 14563
/proc/meminfo: memFree=31370860/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=182792 CPUtime=2.96 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 14440 0 0 0 291 5 0 0 20 0 3 0 285639761 187179008 14314 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 45698 14314 206 433 0 45262 0
[pid=14555/tid=14560] ppid=14551 vsize=182792 CPUtime=1.47 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 3280 0 0 0 145 2 0 0 20 0 3 0 285639762 187179008 14314 33554432000 4194304 5964478 140737026452704 140227102185464 4382013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=182792 CPUtime=1.46 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 9867 0 0 0 142 4 0 0 20 0 3 0 285639762 187179008 14314 33554432000 4194304 5964478 140737026452704 140227091695736 4381944 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 182792

[startup+3.10023 s]
/proc/loadavg: 0.93 1.03 1.34 5/181 14563
/proc/meminfo: memFree=31341732/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=182936 CPUtime=6.17 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 19517 0 0 0 610 7 0 0 20 0 3 0 285639761 187326464 19391 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 45734 19391 206 433 0 45298 0
[pid=14555/tid=14560] ppid=14551 vsize=182936 CPUtime=3.06 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 5900 0 0 0 304 2 0 0 20 0 3 0 285639762 187326464 19391 33554432000 4194304 5964478 140737026452704 140227102185272 4388513 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=182936 CPUtime=3.06 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 12324 0 0 0 302 4 0 0 20 0 3 0 285639762 187326464 19391 33554432000 4194304 5964478 140737026452704 140227091695928 4388276 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 182936

[startup+6.30024 s]
/proc/loadavg: 1.17 1.08 1.35 5/181 14563
/proc/meminfo: memFree=31289112/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=183152 CPUtime=12.56 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 25607 0 0 0 1248 8 0 0 20 0 3 0 285639761 187547648 25481 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 45788 25481 206 433 0 45352 0
[pid=14555/tid=14560] ppid=14551 vsize=183152 CPUtime=6.25 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 7768 0 0 0 623 2 0 0 20 0 3 0 285639762 187547648 25481 33554432000 4194304 5964478 140737026452704 140227102185464 4382013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=183152 CPUtime=6.25 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 16546 0 0 0 620 5 0 0 20 0 3 0 285639762 187547648 25481 33554432000 4194304 5964478 140737026452704 140227091695928 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 183152

[startup+12.7003 s]
/proc/loadavg: 1.40 1.13 1.37 5/181 14563
/proc/meminfo: memFree=31219736/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=248868 CPUtime=25.36 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 35757 0 0 0 2524 12 0 0 20 0 3 0 285639761 254840832 35631 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 62217 35631 206 433 0 61781 0
[pid=14555/tid=14560] ppid=14551 vsize=248868 CPUtime=12.64 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 10736 0 0 0 1261 3 0 0 20 0 3 0 285639762 254840832 35631 33554432000 4194304 5964478 140737026452704 140227102185512 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=248868 CPUtime=12.63 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 23728 0 0 0 1255 8 0 0 20 0 3 0 285639762 254840832 35631 33554432000 4194304 5964478 140737026452704 140227091695928 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 248868

[startup+25.5003 s]
/proc/loadavg: 1.97 1.27 1.41 5/181 14563
/proc/meminfo: memFree=31086892/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=314804 CPUtime=50.96 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 55206 0 0 0 5076 20 0 0 20 0 3 0 285639761 322359296 55299 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 78701 55299 206 433 0 78265 0
[pid=14555/tid=14560] ppid=14551 vsize=314804 CPUtime=25.4 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 17359 0 0 0 2534 6 0 0 20 0 3 0 285639762 322359296 55299 33554432000 4194304 5964478 140737026452704 140227102185464 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=314804 CPUtime=25.4 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 36554 0 0 0 2528 12 0 0 20 0 3 0 285639762 322359296 55299 33554432000 4194304 5964478 140737026452704 140227091695928 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 314804

[startup+51.1003 s]
/proc/loadavg: 2.66 1.49 1.47 5/181 14563
/proc/meminfo: memFree=30821236/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=446504 CPUtime=102.12 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 89285 0 0 0 10178 34 0 0 20 0 3 0 285639761 457220096 89368 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 111626 89368 206 433 0 111190 0
[pid=14555/tid=14560] ppid=14551 vsize=446504 CPUtime=50.93 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 29758 0 0 0 5081 12 0 0 20 0 3 0 285639762 457220096 89368 33554432000 4194304 5964478 140737026452704 140227102185464 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=446504 CPUtime=50.91 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 58234 0 0 0 5069 22 0 0 20 0 3 0 285639762 457220096 89368 33554432000 4194304 5964478 140737026452704 140227091695928 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 446504

[startup+102.307 s]
/proc/loadavg: 3.42 1.87 1.60 5/181 14563
/proc/meminfo: memFree=30365900/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=709704 CPUtime=204.5 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 144335 0 0 0 20390 60 0 0 20 0 3 0 285639761 726736896 144673 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 177426 144673 206 433 0 176990 0
[pid=14555/tid=14560] ppid=14551 vsize=709704 CPUtime=101.99 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 49615 0 0 0 10177 22 0 0 20 0 3 0 285639762 726736896 144673 33554432000 4194304 5964478 140737026452704 140227102185464 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=709704 CPUtime=101.96 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 93427 0 0 0 10157 39 0 0 20 0 3 0 285639762 726736896 144673 33554432000 4194304 5964478 140737026452704 140227091695928 4381958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 709704

[startup+162.3 s]
/proc/loadavg: 3.78 2.26 1.75 5/180 14563
/proc/meminfo: memFree=30085604/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=842484 CPUtime=324.43 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 196779 0 0 0 32357 86 0 0 20 0 3 0 285639761 862703616 198800 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 210621 198800 206 433 0 210185 0
[pid=14555/tid=14560] ppid=14551 vsize=842484 CPUtime=161.8 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 63561 0 0 0 16151 29 0 0 20 0 3 0 285639762 862703616 198800 33554432000 4194304 5964478 140737026452704 140227102185464 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=842484 CPUtime=161.79 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 131925 0 0 0 16118 61 0 0 20 0 3 0 285639762 862703616 198800 33554432000 4194304 5964478 140737026452704 140227091695928 4400093 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 842484

[startup+222.3 s]
/proc/loadavg: 3.92 2.57 1.89 5/181 14564
/proc/meminfo: memFree=29920092/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1039380 CPUtime=444.42 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 233249 0 0 0 44336 106 0 0 20 0 3 0 285639761 1064325120 235270 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 259845 235270 206 433 0 259409 0
[pid=14555/tid=14560] ppid=14551 vsize=1039380 CPUtime=221.65 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 67756 0 0 0 22134 31 0 0 20 0 3 0 285639762 1064325120 235270 33554432000 4194304 5964478 140737026452704 140227102185464 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1039380 CPUtime=221.64 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 164200 0 0 0 22084 80 0 0 20 0 3 0 285639762 1064325120 235270 33554432000 4194304 5964478 140737026452704 140227091695928 4400612 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 1039380

[startup+282.3 s]
/proc/loadavg: 3.97 2.83 2.02 5/181 14564
/proc/meminfo: memFree=29640748/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1171456 CPUtime=564.39 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 274740 0 0 0 56310 129 0 0 20 0 3 0 285639761 1199570944 276761 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 292864 276761 206 433 0 292428 0
[pid=14555/tid=14560] ppid=14551 vsize=1171456 CPUtime=281.49 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 80267 0 0 0 28111 38 0 0 20 0 3 0 285639762 1199570944 276761 33554432000 4194304 5964478 140737026452704 140227102185464 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1171456 CPUtime=281.48 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 193180 0 0 0 28050 98 0 0 20 0 3 0 285639762 1199570944 276761 33554432000 4194304 5964478 140737026452704 140227091695976 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 1171456

[startup+342.3 s]
/proc/loadavg: 3.99 3.04 2.14 5/181 14564
/proc/meminfo: memFree=29436300/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1370352 CPUtime=684.37 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 317692 0 0 0 68280 157 0 0 20 0 3 0 285639761 1403240448 319713 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 342588 319713 206 433 0 342152 0

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

[pid=14555/tid=14561] ppid=14551 vsize=1370352 CPUtime=341.33 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 219853 0 0 0 34019 114 0 0 20 0 3 0 285639762 1403240448 319713 33554432000 4194304 5964478 140737026452704 140227091695976 4400526 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 1370352

[startup+402.3 s]
/proc/loadavg: 3.99 3.21 2.25 5/181 14564
/proc/meminfo: memFree=29273024/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1502964 CPUtime=804.35 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 344011 0 0 0 80262 173 0 0 20 0 3 0 285639761 1539035136 346032 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 375741 346032 206 433 0 375305 0
[pid=14555/tid=14560] ppid=14551 vsize=1502964 CPUtime=401.17 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 103187 0 0 0 40059 58 0 0 20 0 3 0 285639762 1539035136 346032 33554432000 4194304 5964478 140737026452704 140227102185464 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1502964 CPUtime=401.17 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 239531 0 0 0 39991 126 0 0 20 0 3 0 285639762 1539035136 346032 33554432000 4194304 5964478 140737026452704 140227091695976 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 1502964

[startup+462.3 s]
/proc/loadavg: 3.99 3.35 2.36 5/182 14567
/proc/meminfo: memFree=29174804/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1569116 CPUtime=924.34 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 361380 0 0 0 92249 185 0 0 20 0 3 0 285639761 1606774784 362770 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 392279 362770 206 433 0 391843 0
[pid=14555/tid=14560] ppid=14551 vsize=1569116 CPUtime=461.01 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 103205 0 0 0 46043 58 0 0 20 0 3 0 285639762 1606774784 362770 33554432000 4194304 5964478 140737026452704 140227102185496 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1569116 CPUtime=461.02 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 256882 0 0 0 45964 138 0 0 20 0 3 0 285639762 1606774784 362770 33554432000 4194304 5964478 140737026452704 140227091695928 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 1569116

[startup+522.3 s]
/proc/loadavg: 3.99 3.47 2.46 5/182 14590
/proc/meminfo: memFree=28982552/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1569116 CPUtime=1044.32 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 371235 0 0 0 104237 195 0 0 20 0 3 0 285639761 1606774784 372625 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 392279 372625 206 433 0 391843 0
[pid=14555/tid=14560] ppid=14551 vsize=1569116 CPUtime=520.86 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 113043 0 0 0 52016 70 0 0 20 0 3 0 285639762 1606774784 372625 33554432000 4194304 5964478 140737026452704 140227102185464 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1569116 CPUtime=520.87 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 256899 0 0 0 51948 139 0 0 20 0 3 0 285639762 1606774784 372625 33554432000 4194304 5964478 140737026452704 140227091695928 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 1569116

[startup+582.3 s]
/proc/loadavg: 3.99 3.56 2.55 5/181 14590
/proc/meminfo: memFree=28770804/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1701268 CPUtime=1164.27 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 390763 0 0 0 116217 210 0 0 20 0 3 0 285639761 1742098432 392306 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 425317 392306 206 433 0 424881 0
[pid=14555/tid=14560] ppid=14551 vsize=1701268 CPUtime=580.67 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 132557 0 0 0 57982 85 0 0 20 0 3 0 285639762 1742098432 392306 33554432000 4194304 5964478 140737026452704 140227102185464 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1701268 CPUtime=580.71 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 256913 0 0 0 57931 140 0 0 20 0 3 0 285639762 1742098432 392306 33554432000 4194304 5964478 140737026452704 140227091695928 4400053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 1701268

[startup+642.3 s]
/proc/loadavg: 3.99 3.64 2.64 5/181 14590
/proc/meminfo: memFree=28613448/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1701416 CPUtime=1284.25 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 390854 0 0 0 128215 210 0 0 20 0 3 0 285639761 1742249984 392497 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 425354 392497 206 433 0 424918 0
[pid=14555/tid=14560] ppid=14551 vsize=1701416 CPUtime=640.52 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 132558 0 0 0 63966 86 0 0 20 0 3 0 285639762 1742249984 392497 33554432000 4194304 5964478 140737026452704 140227102185464 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1701416 CPUtime=640.54 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 257003 0 0 0 63913 141 0 0 20 0 3 0 285639762 1742249984 392497 33554432000 4194304 5964478 140737026452704 140227091695688 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 1701416

[startup+702.3 s]
/proc/loadavg: 3.99 3.70 2.72 5/181 14590
/proc/meminfo: memFree=28612360/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1701416 CPUtime=1404.19 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 390900 0 0 0 140209 210 0 0 20 0 3 0 285639761 1742249984 392663 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 425354 392663 206 433 0 424918 0
[pid=14555/tid=14560] ppid=14551 vsize=1701416 CPUtime=700.35 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 132573 0 0 0 69948 87 0 0 20 0 3 0 285639762 1742249984 392663 33554432000 4194304 5964478 140737026452704 140227102185464 4382013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1701416 CPUtime=700.37 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 257034 0 0 0 69895 142 0 0 20 0 3 0 285639762 1742249984 392663 33554432000 4194304 5964478 140737026452704 140227091695688 4399922 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.19
Current children cumulated vsize (KiB) 1701416

[startup+762.307 s]
/proc/loadavg: 4.08 3.78 2.81 5/181 14590
/proc/meminfo: memFree=28611276/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1701952 CPUtime=1524.16 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 391070 0 0 0 152206 210 0 0 20 0 3 0 285639761 1742798848 392934 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 425488 392934 206 433 0 425052 0
[pid=14555/tid=14560] ppid=14551 vsize=1701952 CPUtime=760.19 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 132589 0 0 0 75931 88 0 0 20 0 3 0 285639762 1742798848 392934 33554432000 4194304 5964478 140737026452704 140227102185464 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1701952 CPUtime=760.21 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 257188 0 0 0 75878 143 0 0 20 0 3 0 285639762 1742798848 392934 33554432000 4194304 5964478 140737026452704 140227091695688 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 1701952

[startup+822.3 s]
/proc/loadavg: 4.03 3.82 2.88 5/181 14591
/proc/meminfo: memFree=28609940/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1701952 CPUtime=1644.12 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 391124 0 0 0 164202 210 0 0 20 0 3 0 285639761 1742798848 393219 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 425488 393219 206 433 0 425052 0
[pid=14555/tid=14560] ppid=14551 vsize=1701952 CPUtime=820.01 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 132606 0 0 0 81912 89 0 0 20 0 3 0 285639762 1742798848 393219 33554432000 4194304 5964478 140737026452704 140227102185464 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1701952 CPUtime=820.05 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 257225 0 0 0 81861 144 0 0 20 0 3 0 285639762 1742798848 393219 33554432000 4194304 5964478 140737026452704 140227091695688 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 1701952

[startup+882.3 s]
/proc/loadavg: 4.01 3.85 2.95 5/181 14591
/proc/meminfo: memFree=28541892/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1768520 CPUtime=1764.08 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 408022 0 0 0 176185 223 0 0 20 0 3 0 285639761 1810964480 410261 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 442130 410261 206 433 0 441694 0
[pid=14555/tid=14560] ppid=14551 vsize=1768520 CPUtime=879.85 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 149426 0 0 0 87881 104 0 0 20 0 3 0 285639762 1810964480 410261 33554432000 4194304 5964478 140737026452704 140227102185464 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1768520 CPUtime=879.87 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 257303 0 0 0 87842 145 0 0 20 0 3 0 285639762 1810964480 410261 33554432000 4194304 5964478 140737026452704 140227091695688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.08
Current children cumulated vsize (KiB) 1768520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.01 3.86 2.97 5/181 14591
/proc/meminfo: memFree=28524332/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1769024 CPUtime=1800.08 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 412328 0 0 0 179783 225 0 0 20 0 3 0 285639761 1811480576 414603 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 442256 414603 206 433 0 441820 0
[pid=14555/tid=14560] ppid=14551 vsize=1769024 CPUtime=897.81 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 153680 0 0 0 89676 105 0 0 20 0 3 0 285639762 1811480576 414603 33554432000 4194304 5964478 140737026452704 140227102185464 4403574 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1769024 CPUtime=897.82 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 257355 0 0 0 89637 145 0 0 20 0 3 0 285639762 1811480576 414603 33554432000 4194304 5964478 140737026452704 140227091695736 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1769024

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.01 3.86 2.97 5/181 14591
/proc/meminfo: memFree=28524332/32873648 swapFree=7116/7116
[pid=14555] ppid=14551 vsize=1769024 CPUtime=1800.08 cores=0,2,4,6
/proc/14555/stat : 14555 (pwbo2.01) S 14551 14555 14514 0 -1 4202496 412328 0 0 0 179783 225 0 0 20 0 3 0 285639761 1811480576 414603 33554432000 4194304 5964478 140737026452704 140737026452224 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14555/statm: 442256 414603 206 433 0 441820 0
[pid=14555/tid=14560] ppid=14551 vsize=1769024 CPUtime=897.81 cores=0,2,4,6
/proc/14555/task/14560/stat : 14560 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 153680 0 0 0 89676 105 0 0 20 0 3 0 285639762 1811480576 414603 33554432000 4194304 5964478 140737026452704 140227102185464 4403574 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=14555/tid=14561] ppid=14551 vsize=1769024 CPUtime=897.82 cores=0,2,4,6
/proc/14555/task/14561/stat : 14561 (pwbo2.01) R 14551 14555 14514 0 -1 4202560 257355 0 0 0 89637 145 0 0 20 0 3 0 285639762 1811480576 414603 33554432000 4194304 5964478 140737026452704 140227091695736 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1769024

Child status: 0

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

Real time (s): 900.369
CPU time (s): 1800.08
CPU user time (s): 1797.83
CPU system time (s): 2.25
CPU usage (%): 199.927
Max. virtual memory (cumulated for all children) (KiB): 1769024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.15
system time used= 2.58261
maximum resident set size= 1658416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412329
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= 1252
involuntary context switches= 1984

runsolver used 1.58076 second user time and 5.33519 second system time

The end