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-3703754-1338094607/watcher-3703754-1338094607 -o /tmp/evaluation-result-3703754-1338094607/solver-3703754-1338094607 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703754-1338094607.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: 4.02 4.00 3.92 4/180 17810
/proc/meminfo: memFree=29812352/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=163384 CPUtime=0 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 1297 0 0 0 0 0 0 0 20 0 3 0 275585477 167305216 1247 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 40846 1248 206 433 0 40410 0
[pid=17810/tid=17811] ppid=17808 vsize=163384 CPUtime=0 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 3 0 275585477 167305216 1253 33554432000 4194304 5965102 140735685160144 139986817563496 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=163576 CPUtime=0 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 506 0 0 0 0 0 0 0 20 0 3 0 275585477 167501824 1253 33554432000 4194304 5965102 140735685160144 139986807072872 5249226 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0855541 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17810
/proc/meminfo: memFree=29812352/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=181424 CPUtime=0.16 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 9472 0 0 0 14 2 0 0 20 0 3 0 275585477 185778176 9347 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 45356 9352 207 433 0 44920 0
[pid=17810/tid=17811] ppid=17808 vsize=181424 CPUtime=0.07 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 255 0 0 0 7 0 0 0 20 0 3 0 275585477 185778176 9359 33554432000 4194304 5965102 140735685160144 139986817562664 4383297 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=181692 CPUtime=0.07 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 8480 0 0 0 5 2 0 0 20 0 3 0 275585477 186052608 9365 33554432000 4194304 5965102 140735685160144 139986807072168 5249226 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 181424
[startup+0.100442 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17810
/proc/meminfo: memFree=29812352/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=189580 CPUtime=0.19 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 10914 0 0 0 17 2 0 0 20 0 3 0 275585477 194129920 10789 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47395 10794 207 433 0 46959 0
[pid=17810/tid=17811] ppid=17808 vsize=189580 CPUtime=0.08 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 292 0 0 0 8 0 0 0 20 0 3 0 275585477 194129920 10795 33554432000 4194304 5965102 140735685160144 139986817562552 4401015 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=189580 CPUtime=0.08 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 9879 0 0 0 6 2 0 0 20 0 3 0 275585477 194129920 10801 33554432000 4194304 5965102 140735685160144 139986807072472 4396446 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 189580
[startup+0.300337 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17810
/proc/meminfo: memFree=29812352/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=190568 CPUtime=0.58 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 12579 0 0 0 56 2 0 0 20 0 3 0 275585477 195141632 12454 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47642 12454 207 433 0 47206 0
[pid=17810/tid=17811] ppid=17808 vsize=190568 CPUtime=0.28 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 712 0 0 0 28 0 0 0 20 0 3 0 275585477 195141632 12454 33554432000 4194304 5965102 140735685160144 139986817562424 4404757 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=190568 CPUtime=0.28 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 11112 0 0 0 25 3 0 0 20 0 3 0 275585477 195141632 12454 33554432000 4194304 5965102 140735685160144 139986807073000 4374456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 190568
[startup+0.700348 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17810
/proc/meminfo: memFree=29812352/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=190712 CPUtime=1.38 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 13266 0 0 0 136 2 0 0 20 0 3 0 275585477 195289088 13141 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47678 13141 207 433 0 47242 0
[pid=17810/tid=17811] ppid=17808 vsize=190712 CPUtime=0.68 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 1331 0 0 0 68 0 0 0 20 0 3 0 275585477 195289088 13141 33554432000 4194304 5965102 140735685160144 139986817562424 4390169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=190712 CPUtime=0.68 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 11180 0 0 0 65 3 0 0 20 0 3 0 275585477 195289088 13142 33554432000 4194304 5965102 140735685160144 139986807073000 4401173 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 190712
[startup+1.50036 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17813
/proc/meminfo: memFree=29759728/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=190712 CPUtime=2.99 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 13697 0 0 0 296 3 0 0 20 0 3 0 275585477 195289088 13572 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47678 13572 208 433 0 47242 0
[pid=17810/tid=17811] ppid=17808 vsize=190712 CPUtime=1.48 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 1727 0 0 0 148 0 0 0 20 0 3 0 275585477 195289088 13572 33554432000 4194304 5965102 140735685160144 139986817562424 4401026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=190712 CPUtime=1.48 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 11215 0 0 0 145 3 0 0 20 0 3 0 275585477 195289088 13572 33554432000 4194304 5965102 140735685160144 139986807073080 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 190712
[startup+3.10035 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17813
/proc/meminfo: memFree=29756380/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=190784 CPUtime=6.18 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 14596 0 0 0 615 3 0 0 20 0 3 0 275585477 195362816 14471 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47696 14471 208 433 0 47260 0
[pid=17810/tid=17811] ppid=17808 vsize=190784 CPUtime=3.08 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 2547 0 0 0 307 1 0 0 20 0 3 0 275585477 195362816 14471 33554432000 4194304 5965102 140735685160144 139986817562616 4401123 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=190784 CPUtime=3.08 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 11294 0 0 0 305 3 0 0 20 0 3 0 275585477 195362816 14471 33554432000 4194304 5965102 140735685160144 139986807072856 4400972 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 190784
[startup+6.30041 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17813
/proc/meminfo: memFree=29750304/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=190892 CPUtime=12.58 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 16259 0 0 0 1253 5 0 0 20 0 3 0 275585477 195473408 16134 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47723 16134 208 433 0 47287 0
[pid=17810/tid=17811] ppid=17808 vsize=190892 CPUtime=6.28 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 4110 0 0 0 625 3 0 0 20 0 3 0 275585477 195473408 16134 33554432000 4194304 5965102 140735685160144 139986817562664 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=190892 CPUtime=6.28 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 11394 0 0 0 625 3 0 0 20 0 3 0 275585477 195473408 16134 33554432000 4194304 5965102 140735685160144 139986807072952 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 190892
[startup+12.7004 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17813
/proc/meminfo: memFree=29739144/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=191052 CPUtime=25.38 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 18787 0 0 0 2530 8 0 0 20 0 3 0 275585477 195637248 18662 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47763 18663 208 433 0 47327 0
[pid=17810/tid=17811] ppid=17808 vsize=191052 CPUtime=12.68 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 6464 0 0 0 1262 6 0 0 20 0 3 0 275585477 195637248 18663 33554432000 4194304 5965102 140735685160144 139986817562616 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=191052 CPUtime=12.68 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 11569 0 0 0 1265 3 0 0 20 0 3 0 275585477 195637248 18663 33554432000 4194304 5965102 140735685160144 139986807073080 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 191052
[startup+25.5004 s]
/proc/loadavg: 4.01 4.00 3.92 5/183 17813
/proc/meminfo: memFree=29718296/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=191520 CPUtime=50.98 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 23330 0 0 0 5081 17 0 0 20 0 3 0 275585477 196116480 23205 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 47880 23205 208 433 0 47444 0
[pid=17810/tid=17811] ppid=17808 vsize=191520 CPUtime=25.49 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 8978 0 0 0 2536 13 0 0 20 0 3 0 275585477 196116480 23205 33554432000 4194304 5965102 140735685160144 139986817562664 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=191520 CPUtime=25.48 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 13597 0 0 0 2543 5 0 0 20 0 3 0 275585477 196116480 23205 33554432000 4194304 5965102 140735685160144 139986807072888 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 191520
[startup+51.1004 s]
/proc/loadavg: 4.07 4.01 3.93 5/183 17814
/proc/meminfo: memFree=29679656/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=192736 CPUtime=102.17 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 29260 0 0 0 10191 26 0 0 20 0 3 0 275585477 197361664 29135 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 48184 29135 208 433 0 47748 0
[pid=17810/tid=17811] ppid=17808 vsize=192736 CPUtime=51.08 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 11207 0 0 0 5090 18 0 0 20 0 3 0 275585477 197361664 29135 33554432000 4194304 5965102 140735685160144 139986817562424 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=192736 CPUtime=51.08 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 17298 0 0 0 5099 9 0 0 20 0 3 0 275585477 197361664 29135 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 192736
[startup+102.307 s]
/proc/loadavg: 4.02 4.01 3.93 5/183 17814
/proc/meminfo: memFree=29630924/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=196192 CPUtime=204.57 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 37531 0 0 0 20413 44 0 0 20 0 3 0 275585477 200900608 37406 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 49048 37406 208 433 0 48612 0
[pid=17810/tid=17811] ppid=17808 vsize=196192 CPUtime=102.29 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 16223 0 0 0 10196 33 0 0 20 0 3 0 275585477 200900608 37406 33554432000 4194304 5965102 140735685160144 139986817562616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=196192 CPUtime=102.29 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 20553 0 0 0 10215 14 0 0 20 0 3 0 275585477 200900608 37406 33554432000 4194304 5965102 140735685160144 139986807073080 5134596 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 196192
[startup+162.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/183 17814
/proc/meminfo: memFree=29584200/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=266336 CPUtime=324.51 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 46020 0 0 0 32388 63 0 0 20 0 3 0 275585477 272728064 45888 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 66584 45888 208 433 0 66148 0
[pid=17810/tid=17811] ppid=17808 vsize=266336 CPUtime=162.27 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 22117 0 0 0 16176 51 0 0 20 0 3 0 275585477 272728064 45888 33554432000 4194304 5965102 140735685160144 139986817562616 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=266336 CPUtime=162.29 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 23148 0 0 0 16211 18 0 0 20 0 3 0 275585477 272728064 45888 33554432000 4194304 5965102 140735685160144 139986807073128 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 266336
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/184 17817
/proc/meminfo: memFree=29546028/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=335432 CPUtime=444.46 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 51489 0 0 0 44367 79 0 0 20 0 3 0 275585477 343482368 51364 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 83858 51364 208 433 0 83422 0
[pid=17810/tid=17811] ppid=17808 vsize=335432 CPUtime=222.24 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 25359 0 0 0 22160 64 0 0 20 0 3 0 275585477 343482368 51364 33554432000 4194304 5965102 140735685160144 139986817562616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=335432 CPUtime=222.28 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 25375 0 0 0 22205 23 0 0 20 0 3 0 275585477 343482368 51364 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 335432
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/184 17840
/proc/meminfo: memFree=29497128/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=337376 CPUtime=564.43 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 56853 0 0 0 56349 94 0 0 20 0 3 0 275585477 345473024 58495 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 84344 58495 208 433 0 83908 0
[pid=17810/tid=17811] ppid=17808 vsize=337376 CPUtime=282.24 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 29722 0 0 0 28146 78 0 0 20 0 3 0 275585477 345473024 58495 33554432000 4194304 5965102 140735685160144 139986817562616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=337376 CPUtime=282.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 26376 0 0 0 28202 25 0 0 20 0 3 0 275585477 345473024 58495 33554432000 4194304 5965102 140735685160144 139986807072952 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 337376
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17840
/proc/meminfo: memFree=29463264/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=338060 CPUtime=684.41 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 59555 0 0 0 68340 101 0 0 20 0 3 0 275585477 346173440 61197 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 84515 61197 208 433 0 84079 0
[pid=17810/tid=17811] ppid=17808 vsize=338060 CPUtime=342.24 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 32410 0 0 0 34138 86 0 0 20 0 3 0 275585477 346173440 61197 33554432000 4194304 5965102 140735685160144 139986817562616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=338060 CPUtime=342.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 26390 0 0 0 34201 26 0 0 20 0 3 0 275585477 346173440 61197 33554432000 4194304 5965102 140735685160144 139986807073128 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 338060
[startup+402.3 s]
/proc/loadavg: 4.06 4.01 3.93 5/183 17841
/proc/meminfo: memFree=29443796/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=404780 CPUtime=804.39 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 62491 0 0 0 80329 110 0 0 20 0 3 0 275585477 414494720 64133 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 101195 64133 208 433 0 100759 0
[pid=17810/tid=17811] ppid=17808 vsize=404780 CPUtime=402.24 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 35183 0 0 0 40128 96 0 0 20 0 3 0 275585477 414494720 64133 33554432000 4194304 5965102 140735685160144 139986817562664 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=404780 CPUtime=402.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 26553 0 0 0 40199 28 0 0 20 0 3 0 275585477 414494720 64133 33554432000 4194304 5965102 140735685160144 139986807073128 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 404780
[startup+462.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/183 17841
/proc/meminfo: memFree=29399080/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=406452 CPUtime=924.36 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 68473 0 0 0 92309 127 0 0 20 0 3 0 275585477 416206848 70114 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 101613 70114 208 433 0 101177 0
[pid=17810/tid=17811] ppid=17808 vsize=406452 CPUtime=462.24 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 40084 0 0 0 46112 112 0 0 20 0 3 0 275585477 416206848 70114 33554432000 4194304 5965102 140735685160144 139986817562616 4390433 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=406452 CPUtime=462.28 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 27634 0 0 0 46197 31 0 0 20 0 3 0 275585477 416206848 70114 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.36
Current children cumulated vsize (KiB) 406452
[startup+522.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/183 17882
/proc/meminfo: memFree=29740084/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=408140 CPUtime=1044.33 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 71893 0 0 0 104298 135 0 0 20 0 3 0 275585477 417935360 73538 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 102035 73538 208 433 0 101599 0
[pid=17810/tid=17811] ppid=17808 vsize=408140 CPUtime=522.24 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 41697 0 0 0 52107 117 0 0 20 0 3 0 275585477 417935360 73538 33554432000 4194304 5965102 140735685160144 139986817562616 4400972 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=408140 CPUtime=522.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 29441 0 0 0 52193 34 0 0 20 0 3 0 275585477 417935360 73538 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 408140
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17882
/proc/meminfo: memFree=29692756/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=410368 CPUtime=1164.29 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 77039 0 0 0 116280 149 0 0 20 0 3 0 275585477 420216832 78665 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 102592 78665 208 433 0 102156 0
[pid=17810/tid=17811] ppid=17808 vsize=410368 CPUtime=582.22 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 45045 0 0 0 58094 128 0 0 20 0 3 0 275585477 420216832 78665 33554432000 4194304 5965102 140735685160144 139986817562616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=410368 CPUtime=582.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 31239 0 0 0 58188 39 0 0 20 0 3 0 275585477 420216832 78665 33554432000 4194304 5965102 140735685160144 139986807072888 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.29
Current children cumulated vsize (KiB) 410368
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17962
/proc/meminfo: memFree=29677532/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=411212 CPUtime=1284.28 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 79761 0 0 0 128273 155 0 0 20 0 3 0 275585477 421081088 81387 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 102803 81387 208 433 0 102367 0
[pid=17810/tid=17811] ppid=17808 vsize=411212 CPUtime=642.22 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 46247 0 0 0 64090 132 0 0 20 0 3 0 275585477 421081088 81387 33554432000 4194304 5965102 140735685160144 139986817562616 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=411212 CPUtime=642.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 32759 0 0 0 64185 42 0 0 20 0 3 0 275585477 421081088 81387 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.28
Current children cumulated vsize (KiB) 411212
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17963
/proc/meminfo: memFree=29638120/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=414104 CPUtime=1404.25 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 83527 0 0 0 140261 164 0 0 20 0 3 0 275585477 424042496 85150 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 103526 85150 208 433 0 103090 0
[pid=17810/tid=17811] ppid=17808 vsize=414104 CPUtime=702.21 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 48438 0 0 0 70082 139 0 0 20 0 3 0 275585477 424042496 85150 33554432000 4194304 5965102 140735685160144 139986817562616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=414104 CPUtime=702.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 34334 0 0 0 70181 46 0 0 20 0 3 0 275585477 424042496 85150 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.25
Current children cumulated vsize (KiB) 414104
[startup+762.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17963
/proc/meminfo: memFree=29598548/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=480800 CPUtime=1524.24 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 89538 0 0 0 152243 181 0 0 20 0 3 0 275585477 492339200 91173 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 120200 91173 208 433 0 119764 0
[pid=17810/tid=17811] ppid=17808 vsize=480800 CPUtime=762.22 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 52947 0 0 0 76068 154 0 0 20 0 3 0 275585477 492339200 91173 33554432000 4194304 5965102 140735685160144 139986817562664 4401146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=480800 CPUtime=762.28 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 35836 0 0 0 76178 50 0 0 20 0 3 0 275585477 492339200 91173 33554432000 4194304 5965102 140735685160144 139986807073128 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.24
Current children cumulated vsize (KiB) 480800
[startup+822.3 s]
/proc/loadavg: 4.04 4.01 3.94 5/184 17966
/proc/meminfo: memFree=29575724/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=481448 CPUtime=1644.2 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 92193 0 0 0 164233 187 0 0 20 0 3 0 275585477 493002752 93828 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 120362 93828 208 433 0 119926 0
[pid=17810/tid=17811] ppid=17808 vsize=481448 CPUtime=822.21 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 54220 0 0 0 82062 159 0 0 20 0 3 0 275585477 493002752 93828 33554432000 4194304 5965102 140735685160144 139986817562616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=481448 CPUtime=822.27 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 37218 0 0 0 82174 53 0 0 20 0 3 0 275585477 493002752 93828 33554432000 4194304 5965102 140735685160144 139986807073128 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 481448
[startup+882.307 s]
/proc/loadavg: 4.01 4.01 3.94 5/183 17966
/proc/meminfo: memFree=29540188/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=482652 CPUtime=1764.2 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 97469 0 0 0 176220 200 0 0 20 0 3 0 275585477 494235648 99104 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 120663 99104 208 433 0 120227 0
[pid=17810/tid=17811] ppid=17808 vsize=482652 CPUtime=882.22 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 58144 0 0 0 88051 171 0 0 20 0 3 0 275585477 494235648 99104 33554432000 4194304 5965102 140735685160144 139986817562616 4392822 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=482652 CPUtime=882.28 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 38570 0 0 0 88171 57 0 0 20 0 3 0 275585477 494235648 99104 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.2
Current children cumulated vsize (KiB) 482652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.01 4.01 3.94 5/183 17966
/proc/meminfo: memFree=29533588/32873844 swapFree=7372/7372
[pid=17810] ppid=17808 vsize=483192 CPUtime=1800.19 cores=1,3,5,7
/proc/17810/stat : 17810 (pwbo2.0) S 17808 17810 15889 0 -1 4202496 97870 0 0 0 179818 201 0 0 20 0 3 0 275585477 494788608 99505 33554432000 4194304 5965102 140735685160144 140735685159664 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17810/statm: 120798 99505 208 433 0 120362 0
[pid=17810/tid=17811] ppid=17808 vsize=483192 CPUtime=900.22 cores=1,3,5,7
/proc/17810/task/17811/stat : 17811 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 58165 0 0 0 89851 171 0 0 20 0 3 0 275585477 494788608 99505 33554432000 4194304 5965102 140735685160144 139986817562664 4401026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17810/tid=17812] ppid=17808 vsize=483192 CPUtime=900.28 cores=1,3,5,7
/proc/17810/task/17812/stat : 17812 (pwbo2.0) R 17808 17810 15889 0 -1 4202560 38950 0 0 0 89971 57 0 0 20 0 3 0 275585477 494788608 99505 33554432000 4194304 5965102 140735685160144 139986807073080 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 483192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.323
CPU time (s): 1800.56
CPU user time (s): 1798.25
CPU system time (s): 2.31065
CPU usage (%): 199.99
Max. virtual memory (cumulated for all children) (KiB): 483192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.25
system time used= 2.31065
maximum resident set size= 398028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97872
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= 415
involuntary context switches= 1872
runsolver used 2.52362 second user time and 5.46217 second system time
The end