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-3704021-1338097246/watcher-3704021-1338097246 -o /tmp/evaluation-result-3704021-1338097246/solver-3704021-1338097246 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704021-1338097246.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.84 3.96 3.91 4/181 18704
/proc/meminfo: memFree=29409128/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) R 18702 18704 15889 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 1 0 275849353 4583424 364 33554432000 4194304 5965102 140734056081984 140733211690520 4344854 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 1119 364 171 433 0 648 0
[startup+0.046239 s]
/proc/loadavg: 3.84 3.96 3.91 4/181 18704
/proc/meminfo: memFree=29409128/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166012 CPUtime=0.07 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 2905 0 0 0 6 1 0 0 20 0 3 0 275849353 169996288 2823 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41503 2824 203 433 0 41067 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 166012
[startup+0.100201 s]
/proc/loadavg: 3.84 3.96 3.91 4/181 18704
/proc/meminfo: memFree=29409128/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166012 CPUtime=0.18 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 2936 0 0 0 17 1 0 0 20 0 3 0 275849353 169996288 2854 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41503 2854 204 433 0 41067 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 166012
[startup+0.300131 s]
/proc/loadavg: 3.84 3.96 3.91 4/181 18704
/proc/meminfo: memFree=29409128/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166012 CPUtime=0.57 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 3150 0 0 0 56 1 0 0 20 0 3 0 275849353 169996288 3066 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41503 3066 205 433 0 41067 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 166012
[startup+0.700152 s]
/proc/loadavg: 3.84 3.96 3.91 4/181 18704
/proc/meminfo: memFree=29409128/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166012 CPUtime=1.37 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 3898 0 0 0 136 1 0 0 20 0 3 0 275849353 169996288 3735 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41503 3735 206 433 0 41067 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 166012
[startup+1.50027 s]
/proc/loadavg: 3.84 3.96 3.91 5/184 18707
/proc/meminfo: memFree=29392992/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166156 CPUtime=2.97 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 5427 0 0 0 293 4 0 0 20 0 3 0 275849353 170143744 5257 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41539 5258 206 433 0 41103 0
[pid=18704/tid=18706] ppid=18702 vsize=166156 CPUtime=1.47 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 1957 0 0 0 147 0 0 0 20 0 3 0 275849354 170143744 5258 33554432000 4194304 5965102 140734056081984 139920886122488 5244967 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=166156 CPUtime=1.47 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 2428 0 0 0 144 3 0 0 20 0 3 0 275849354 170143744 5258 33554432000 4194304 5965102 140734056081984 139920875632952 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 166156
[startup+3.10028 s]
/proc/loadavg: 3.84 3.96 3.91 5/184 18707
/proc/meminfo: memFree=29383956/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166228 CPUtime=6.17 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 7715 0 0 0 609 8 0 0 20 0 3 0 275849353 170217472 7545 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41557 7545 206 433 0 41121 0
[pid=18704/tid=18706] ppid=18702 vsize=166228 CPUtime=3.07 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 2823 0 0 0 307 0 0 0 20 0 3 0 275849354 170217472 7545 33554432000 4194304 5965102 140734056081984 139920886122536 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=166228 CPUtime=3.07 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 3849 0 0 0 300 7 0 0 20 0 3 0 275849354 170217472 7545 33554432000 4194304 5965102 140734056081984 139920875632952 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 166228
[startup+6.3003 s]
/proc/loadavg: 3.85 3.96 3.91 5/184 18707
/proc/meminfo: memFree=29364968/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166336 CPUtime=12.56 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 11449 0 0 0 1242 14 0 0 20 0 3 0 275849353 170328064 11116 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41584 11116 206 433 0 41148 0
[pid=18704/tid=18706] ppid=18702 vsize=166336 CPUtime=6.27 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 3957 0 0 0 625 2 0 0 20 0 3 0 275849354 170328064 11116 33554432000 4194304 5965102 140734056081984 139920886123032 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=166336 CPUtime=6.27 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 6449 0 0 0 613 14 0 0 20 0 3 0 275849354 170328064 11116 33554432000 4194304 5965102 140734056081984 139920875632952 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 166336
[startup+12.7003 s]
/proc/loadavg: 3.86 3.96 3.91 5/184 18707
/proc/meminfo: memFree=29351220/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166496 CPUtime=25.36 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 15024 0 0 0 2513 23 0 0 20 0 3 0 275849353 170491904 14691 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41624 14691 206 433 0 41188 0
[pid=18704/tid=18706] ppid=18702 vsize=166496 CPUtime=12.67 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 4722 0 0 0 1265 2 0 0 20 0 3 0 275849354 170491904 14691 33554432000 4194304 5965102 140734056081984 139920886122296 4401207 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=166496 CPUtime=12.67 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 9259 0 0 0 1245 22 0 0 20 0 3 0 275849354 170491904 14691 33554432000 4194304 5965102 140734056081984 139920875633000 4389305 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166496
[startup+25.5003 s]
/proc/loadavg: 3.89 3.96 3.91 5/183 18707
/proc/meminfo: memFree=29323832/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=166820 CPUtime=50.96 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 20699 0 0 0 5070 26 0 0 20 0 3 0 275849353 170823680 20366 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 41705 20366 206 433 0 41269 0
[pid=18704/tid=18706] ppid=18702 vsize=166820 CPUtime=25.46 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 9733 0 0 0 2542 4 0 0 20 0 3 0 275849354 170823680 20366 33554432000 4194304 5965102 140734056081984 139920886122488 4401582 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=166820 CPUtime=25.47 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 9923 0 0 0 2524 23 0 0 20 0 3 0 275849354 170823680 20366 33554432000 4194304 5965102 140734056081984 139920875632952 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 166820
[startup+51.1003 s]
/proc/loadavg: 3.93 3.96 3.91 5/183 18707
/proc/meminfo: memFree=29269396/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=232404 CPUtime=102.15 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 33413 0 0 0 10173 42 0 0 20 0 3 0 275849353 237981696 33003 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 58101 33003 206 433 0 57665 0
[pid=18704/tid=18706] ppid=18702 vsize=232404 CPUtime=51.06 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 10911 0 0 0 5102 4 0 0 20 0 3 0 275849354 237981696 33003 33554432000 4194304 5965102 140734056081984 139920886123448 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=232404 CPUtime=51.07 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 21459 0 0 0 5068 39 0 0 20 0 3 0 275849354 237981696 33003 33554432000 4194304 5965102 140734056081984 139920875632952 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 232404
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.91 5/183 18707
/proc/meminfo: memFree=29195028/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=299292 CPUtime=204.54 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 48810 0 0 0 20391 63 0 0 20 0 3 0 275849353 306475008 48399 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 74823 48399 206 433 0 74387 0
[pid=18704/tid=18706] ppid=18702 vsize=299292 CPUtime=102.26 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 18095 0 0 0 10213 13 0 0 20 0 3 0 275849354 306475008 48399 33554432000 4194304 5965102 140734056081984 139920886122536 4393922 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=299292 CPUtime=102.27 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 29672 0 0 0 10173 54 0 0 20 0 3 0 275849354 306475008 48399 33554432000 4194304 5965102 140734056081984 139920875633000 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 299292
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 18749
/proc/meminfo: memFree=29741060/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=364516 CPUtime=324.47 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 65367 0 0 0 32371 76 0 0 20 0 3 0 275849353 373264384 65184 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 91129 65184 206 433 0 90693 0
[pid=18704/tid=18706] ppid=18702 vsize=364516 CPUtime=162.23 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 21099 0 0 0 16207 16 0 0 20 0 3 0 275849354 373264384 65184 33554432000 4194304 5965102 140734056081984 139920886122296 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=364516 CPUtime=162.26 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 43225 0 0 0 16160 66 0 0 20 0 3 0 275849354 373264384 65184 33554432000 4194304 5965102 140734056081984 139920875632952 4401559 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 364516
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 18749
/proc/meminfo: memFree=29639408/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=365188 CPUtime=444.4 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 78178 0 0 0 44350 90 0 0 20 0 3 0 275849353 373952512 77956 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 91297 77956 206 433 0 90861 0
[pid=18704/tid=18706] ppid=18702 vsize=365188 CPUtime=222.22 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 30401 0 0 0 22195 27 0 0 20 0 3 0 275849354 373952512 77956 33554432000 4194304 5965102 140734056081984 139920886122296 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=365188 CPUtime=222.22 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 46734 0 0 0 22152 70 0 0 20 0 3 0 275849354 373952512 77956 33554432000 4194304 5965102 140734056081984 139920875632712 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.4
Current children cumulated vsize (KiB) 365188
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 18749
/proc/meminfo: memFree=29479384/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=496536 CPUtime=564.35 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 104582 0 0 0 56293 142 0 0 20 0 3 0 275849353 508452864 105630 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 124134 105630 206 433 0 123698 0
[pid=18704/tid=18706] ppid=18702 vsize=496536 CPUtime=282.22 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 38008 0 0 0 28185 37 0 0 20 0 3 0 275849354 508452864 105630 33554432000 4194304 5965102 140734056081984 139920886122488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=496536 CPUtime=282.18 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 65531 0 0 0 28104 114 0 0 20 0 3 0 275849354 508452864 105630 33554432000 4194304 5965102 140734056081984 139920875633000 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.35
Current children cumulated vsize (KiB) 496536
[startup+342.3 s]
/proc/loadavg: 4.04 3.99 3.92 5/183 18749
/proc/meminfo: memFree=29381080/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=564264 CPUtime=684.32 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 120243 0 0 0 68260 172 0 0 20 0 3 0 275849353 577806336 121290 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 141066 121290 206 433 0 140630 0
[pid=18704/tid=18706] ppid=18702 vsize=564264 CPUtime=342.22 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 41843 0 0 0 34180 42 0 0 20 0 3 0 275849354 577806336 121290 33554432000 4194304 5965102 140734056081984 139920886122296 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=564264 CPUtime=342.18 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 77357 0 0 0 34077 141 0 0 20 0 3 0 275849354 577806336 121290 33554432000 4194304 5965102 140734056081984 139920875632712 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (KiB) 564264
[startup+402.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/183 18749
/proc/meminfo: memFree=29336552/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=564404 CPUtime=804.29 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 124677 0 0 0 80250 179 0 0 20 0 3 0 275849353 577949696 125809 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 141101 125809 206 433 0 140665 0
[pid=18704/tid=18706] ppid=18702 vsize=564404 CPUtime=402.22 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 46203 0 0 0 40172 50 0 0 20 0 3 0 275849354 577949696 125809 33554432000 4194304 5965102 140734056081984 139920886122488 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=564404 CPUtime=402.17 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 77431 0 0 0 40075 142 0 0 20 0 3 0 275849354 577949696 125809 33554432000 4194304 5965102 140734056081984 139920875632712 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 564404
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 18750
/proc/meminfo: memFree=29289708/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=630272 CPUtime=924.22 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 132170 0 0 0 92230 192 0 0 20 0 3 0 275849353 645398528 133323 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 157568 133323 206 433 0 157132 0
[pid=18704/tid=18706] ppid=18702 vsize=630272 CPUtime=462.22 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 52242 0 0 0 46161 61 0 0 20 0 3 0 275849354 645398528 133323 33554432000 4194304 5965102 140734056081984 139920886122296 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=630272 CPUtime=462.12 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 78885 0 0 0 46065 147 0 0 20 0 3 0 275849354 645398528 133323 33554432000 4194304 5965102 140734056081984 139920875632952 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.22
Current children cumulated vsize (KiB) 630272
[startup+522.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/183 18750
/proc/meminfo: memFree=29192172/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=695808 CPUtime=1044.14 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 155706 0 0 0 104181 233 0 0 20 0 3 0 275849353 712507392 157258 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 173952 157258 206 433 0 173516 0
[pid=18704/tid=18706] ppid=18702 vsize=695808 CPUtime=522.17 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 59266 0 0 0 52149 68 0 0 20 0 3 0 275849354 712507392 157258 33554432000 4194304 5965102 140734056081984 139920886122536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=695808 CPUtime=522.11 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 95397 0 0 0 52030 181 0 0 20 0 3 0 275849354 712507392 157258 33554432000 4194304 5965102 140734056081984 139920875632952 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (KiB) 695808
[startup+582.3 s]
/proc/loadavg: 4.05 4.01 3.93 5/184 18753
/proc/meminfo: memFree=29106256/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=827024 CPUtime=1164.06 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 176396 0 0 0 116137 269 0 0 20 0 3 0 275849353 846872576 177972 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 206756 177972 206 433 0 206320 0
[pid=18704/tid=18706] ppid=18702 vsize=827024 CPUtime=582.15 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 68245 0 0 0 58136 79 0 0 20 0 3 0 275849354 846872576 177972 33554432000 4194304 5965102 140734056081984 139920886122488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=827024 CPUtime=582.07 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 107108 0 0 0 57999 208 0 0 20 0 3 0 275849354 846872576 177972 33554432000 4194304 5965102 140734056081984 139920875632760 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.06
Current children cumulated vsize (KiB) 827024
[startup+642.3 s]
/proc/loadavg: 4.05 4.02 3.93 5/183 18753
/proc/meminfo: memFree=29078736/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=827160 CPUtime=1284.05 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 180489 0 0 0 128128 277 0 0 20 0 3 0 275849353 847011840 182064 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 206790 182064 206 433 0 206354 0
[pid=18704/tid=18706] ppid=18702 vsize=827160 CPUtime=642.16 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 72296 0 0 0 64128 88 0 0 20 0 3 0 275849354 847011840 182064 33554432000 4194304 5965102 140734056081984 139920886122488 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=827160 CPUtime=642.07 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 107150 0 0 0 63998 209 0 0 20 0 3 0 275849354 847011840 182064 33554432000 4194304 5965102 140734056081984 139920875632712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.05
Current children cumulated vsize (KiB) 827160
[startup+702.3 s]
/proc/loadavg: 4.02 4.02 3.93 5/183 18753
/proc/meminfo: memFree=29058896/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=827836 CPUtime=1404.02 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 185415 0 0 0 140116 286 0 0 20 0 3 0 275849353 847704064 186987 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 206959 186987 206 433 0 206523 0
[pid=18704/tid=18706] ppid=18702 vsize=827836 CPUtime=702.15 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 77199 0 0 0 70118 97 0 0 20 0 3 0 275849354 847704064 186987 33554432000 4194304 5965102 140734056081984 139920886122296 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=827836 CPUtime=702.06 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 107173 0 0 0 69996 210 0 0 20 0 3 0 275849354 847704064 186987 33554432000 4194304 5965102 140734056081984 139920875632712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.02
Current children cumulated vsize (KiB) 827836
[startup+762.307 s]
/proc/loadavg: 4.05 4.03 3.94 5/182 18753
/proc/meminfo: memFree=29039788/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=893372 CPUtime=1524.01 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 189765 0 0 0 152109 292 0 0 20 0 3 0 275849353 914812928 191336 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 223343 191336 206 433 0 222907 0
[pid=18704/tid=18706] ppid=18702 vsize=893372 CPUtime=762.16 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 81549 0 0 0 76111 105 0 0 20 0 3 0 275849354 914812928 191336 33554432000 4194304 5965102 140734056081984 139920886122536 4401046 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=893372 CPUtime=762.07 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 107173 0 0 0 75996 211 0 0 20 0 3 0 275849354 914812928 191336 33554432000 4194304 5965102 140734056081984 139920875632712 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.01
Current children cumulated vsize (KiB) 893372
[startup+822.3 s]
/proc/loadavg: 4.07 4.03 3.94 5/183 18754
/proc/meminfo: memFree=29027268/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=893372 CPUtime=1643.99 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 190140 0 0 0 164106 293 0 0 20 0 3 0 275849353 914812928 191710 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 223343 191710 206 433 0 222907 0
[pid=18704/tid=18706] ppid=18702 vsize=893372 CPUtime=822.16 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 81916 0 0 0 82110 106 0 0 20 0 3 0 275849354 914812928 191710 33554432000 4194304 5965102 140734056081984 139920886122296 4401475 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=893372 CPUtime=822.06 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 107181 0 0 0 81994 212 0 0 20 0 3 0 275849354 914812928 191710 33554432000 4194304 5965102 140734056081984 139920875632712 4391289 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.99
Current children cumulated vsize (KiB) 893372
[startup+882.3 s]
/proc/loadavg: 4.02 4.03 3.94 5/183 18754
/proc/meminfo: memFree=28978524/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=893520 CPUtime=1763.96 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 192713 0 0 0 176099 297 0 0 20 0 3 0 275849353 914964480 194289 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 223380 194289 206 433 0 222944 0
[pid=18704/tid=18706] ppid=18702 vsize=893520 CPUtime=882.15 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 84458 0 0 0 88104 111 0 0 20 0 3 0 275849354 914964480 194289 33554432000 4194304 5965102 140734056081984 139920886122296 4401026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=893520 CPUtime=882.06 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 107212 0 0 0 87993 213 0 0 20 0 3 0 275849354 914964480 194289 33554432000 4194304 5965102 140734056081984 139920875632712 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.96
Current children cumulated vsize (KiB) 893520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.02 4.02 3.94 5/183 18754
/proc/meminfo: memFree=28967968/32873844 swapFree=7372/7372
[pid=18704] ppid=18702 vsize=893520 CPUtime=1800.16 cores=0,2,4,6
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 15889 0 -1 4202496 193782 0 0 0 179717 299 0 0 20 0 3 0 275849353 914964480 195433 33554432000 4194304 5965102 140734056081984 140734056081504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18704/statm: 223380 195433 206 433 0 222944 0
[pid=18704/tid=18706] ppid=18702 vsize=893520 CPUtime=900.25 cores=0,2,4,6
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 85522 0 0 0 89912 113 0 0 20 0 3 0 275849354 914964480 195433 33554432000 4194304 5965102 140734056081984 139920886122296 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=893520 CPUtime=900.17 cores=0,2,4,6
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 15889 0 -1 4202560 107217 0 0 0 89804 213 0 0 20 0 3 0 275849354 914964480 195433 33554432000 4194304 5965102 140734056081984 139920875632712 4400966 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 893520
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.431
CPU time (s): 1800.49
CPU user time (s): 1797.19
CPU system time (s): 3.3015
CPU usage (%): 199.959
Max. virtual memory (cumulated for all children) (KiB): 893520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.19
system time used= 3.3015
maximum resident set size= 781744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193785
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= 646
involuntary context switches= 2371
runsolver used 2.03369 second user time and 4.82227 second system time
The end