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-3703585-1338087073/watcher-3703585-1338087073 -o /tmp/evaluation-result-3703585-1338087073/solver-3703585-1338087073 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703585-1338087073.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: 1.18 1.89 2.05 3/175 20178
/proc/meminfo: memFree=28413168/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=6032 CPUtime=0 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) R 20174 20178 20135 0 -1 4202496 765 0 0 0 0 0 0 0 20 0 1 0 274832732 6176768 706 33554432000 4194304 5965102 140736628279136 140735004386984 4296686 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 1508 719 167 433 0 1072 0
[startup+0.028848 s]
/proc/loadavg: 1.18 1.89 2.05 3/175 20178
/proc/meminfo: memFree=28413168/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=165904 CPUtime=0.04 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 2648 0 0 0 4 0 0 0 20 0 3 0 274832732 169885696 2540 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41476 2540 203 433 0 41040 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 165904
[startup+0.10019 s]
/proc/loadavg: 1.18 1.89 2.05 3/175 20178
/proc/meminfo: memFree=28413168/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=165904 CPUtime=0.18 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 3212 0 0 0 18 0 0 0 20 0 3 0 274832732 169885696 3104 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41476 3105 205 433 0 41040 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 165904
[startup+0.300142 s]
/proc/loadavg: 1.18 1.89 2.05 3/175 20178
/proc/meminfo: memFree=28413168/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=165904 CPUtime=0.58 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 3744 0 0 0 57 1 0 0 20 0 3 0 274832732 169885696 3636 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41476 3636 205 433 0 41040 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 165904
[startup+0.700153 s]
/proc/loadavg: 1.18 1.89 2.05 3/175 20178
/proc/meminfo: memFree=28413168/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=165904 CPUtime=1.38 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 4408 0 0 0 137 1 0 0 20 0 3 0 274832732 169885696 4300 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41476 4300 205 433 0 41040 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 165904
[startup+1.50031 s]
/proc/loadavg: 1.18 1.89 2.05 6/181 20184
/proc/meminfo: memFree=28377152/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=166048 CPUtime=2.98 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 5760 0 0 0 297 1 0 0 20 0 3 0 274832732 170033152 5652 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41512 5652 205 433 0 41076 0
[pid=20178/tid=20181] ppid=20174 vsize=166048 CPUtime=1.47 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 2448 0 0 0 147 0 0 0 20 0 3 0 274832733 170033152 5652 33554432000 4194304 5965102 140736628279136 140462556932088 4380159 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=166048 CPUtime=1.48 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 2394 0 0 0 148 0 0 0 20 0 3 0 274832733 170033152 5652 33554432000 4194304 5965102 140736628279136 140462546442552 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 166048
[startup+3.10032 s]
/proc/loadavg: 1.18 1.89 2.05 6/181 20184
/proc/meminfo: memFree=28362364/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=166192 CPUtime=6.18 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 7931 0 0 0 616 2 0 0 20 0 3 0 274832732 170180608 7823 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41548 7823 205 433 0 41112 0
[pid=20178/tid=20181] ppid=20174 vsize=166192 CPUtime=3.07 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 3271 0 0 0 306 1 0 0 20 0 3 0 274832733 170180608 7823 33554432000 4194304 5965102 140736628279136 140462556932136 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=166192 CPUtime=3.08 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 3742 0 0 0 307 1 0 0 20 0 3 0 274832733 170180608 7823 33554432000 4194304 5965102 140736628279136 140462546442552 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 166192
[startup+6.30032 s]
/proc/loadavg: 1.41 1.93 2.06 6/181 20184
/proc/meminfo: memFree=28331860/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=166336 CPUtime=12.57 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 10696 0 0 0 1255 2 0 0 20 0 3 0 274832732 170328064 10850 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41584 10850 205 433 0 41148 0
[pid=20178/tid=20181] ppid=20174 vsize=166336 CPUtime=6.27 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 5184 0 0 0 625 2 0 0 20 0 3 0 274832733 170328064 10850 33554432000 4194304 5965102 140736628279136 140462556932088 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=166336 CPUtime=6.28 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 4594 0 0 0 626 2 0 0 20 0 3 0 274832733 170328064 10850 33554432000 4194304 5965102 140736628279136 140462546442696 4400910 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 166336
[startup+12.7003 s]
/proc/loadavg: 1.61 1.96 2.07 6/181 20184
/proc/meminfo: memFree=28299800/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=166732 CPUtime=25.37 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 13606 0 0 0 2533 4 0 0 20 0 3 0 274832732 170733568 13760 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41683 13760 205 433 0 41247 0
[pid=20178/tid=20181] ppid=20174 vsize=166732 CPUtime=12.67 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 7902 0 0 0 1264 3 0 0 20 0 3 0 274832733 170733568 13760 33554432000 4194304 5965102 140736628279136 140462556931896 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=166732 CPUtime=12.68 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 4786 0 0 0 1266 2 0 0 20 0 3 0 274832733 170733568 13760 33554432000 4194304 5965102 140736628279136 140462546442552 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 166732
[startup+25.5003 s]
/proc/loadavg: 2.14 2.06 2.10 6/181 20184
/proc/meminfo: memFree=28230288/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=166388 CPUtime=50.95 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 23840 0 0 0 5085 10 0 0 20 0 3 0 274832732 170381312 23861 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41597 23861 205 433 0 41161 0
[pid=20178/tid=20181] ppid=20174 vsize=166388 CPUtime=25.45 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 11794 0 0 0 2540 5 0 0 20 0 3 0 274832733 170381312 23861 33554432000 4194304 5965102 140736628279136 140462556933048 4390204 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=166388 CPUtime=25.47 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 11128 0 0 0 2541 6 0 0 20 0 3 0 274832733 170381312 23861 33554432000 4194304 5965102 140736628279136 140462546442600 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 166388
[startup+51.1003 s]
/proc/loadavg: 2.77 2.21 2.15 6/181 20184
/proc/meminfo: memFree=28172100/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=166388 CPUtime=102.12 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 29408 0 0 0 10199 13 0 0 20 0 3 0 274832732 170381312 29421 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 41597 29421 205 433 0 41161 0
[pid=20178/tid=20181] ppid=20174 vsize=166388 CPUtime=51.05 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 14309 0 0 0 5098 7 0 0 20 0 3 0 274832733 170381312 29421 33554432000 4194304 5965102 140736628279136 140462556932088 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=166388 CPUtime=51.06 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 14181 0 0 0 5098 8 0 0 20 0 3 0 274832733 170381312 29421 33554432000 4194304 5965102 140736628279136 140462546442552 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 166388
[startup+102.307 s]
/proc/loadavg: 3.47 2.49 2.24 6/180 20184
/proc/meminfo: memFree=28013032/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=297700 CPUtime=204.51 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 39212 0 0 0 20433 18 0 0 20 0 3 0 274832732 304844800 40416 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 74425 40416 205 433 0 73989 0
[pid=20178/tid=20181] ppid=20174 vsize=297700 CPUtime=102.26 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 19439 0 0 0 10216 10 0 0 20 0 3 0 274832733 304844800 40416 33554432000 4194304 5965102 140736628279136 140462556932632 4401516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=297700 CPUtime=102.25 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 18855 0 0 0 10214 11 0 0 20 0 3 0 274832733 304844800 40416 33554432000 4194304 5965102 140736628279136 140462546442552 4400894 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 297700
[startup+162.3 s]
/proc/loadavg: 3.80 2.76 2.35 6/181 20185
/proc/meminfo: memFree=27851576/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=298060 CPUtime=324.48 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 61025 0 0 0 32412 36 0 0 20 0 3 0 274832732 305213440 62229 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 74515 62229 205 433 0 74079 0
[pid=20178/tid=20181] ppid=20174 vsize=298060 CPUtime=162.26 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 30530 0 0 0 16205 21 0 0 20 0 3 0 274832733 305213440 62229 33554432000 4194304 5965102 140736628279136 140462556932088 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=298060 CPUtime=162.25 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 29577 0 0 0 16205 20 0 0 20 0 3 0 274832733 305213440 62229 33554432000 4194304 5965102 140736628279136 140462546442552 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 298060
[startup+222.3 s]
/proc/loadavg: 3.93 2.98 2.45 6/181 20185
/proc/meminfo: memFree=27745212/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=429672 CPUtime=444.45 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 82499 0 0 0 44390 55 0 0 20 0 3 0 274832732 439984128 83703 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 107418 83703 205 433 0 106982 0
[pid=20178/tid=20181] ppid=20174 vsize=429672 CPUtime=222.26 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 34924 0 0 0 22201 25 0 0 20 0 3 0 274832733 439984128 83703 33554432000 4194304 5965102 140736628279136 140462556932136 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=429672 CPUtime=222.25 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 46657 0 0 0 22188 37 0 0 20 0 3 0 274832733 439984128 83703 33554432000 4194304 5965102 140736628279136 140462546442552 4401713 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 429672
[startup+282.3 s]
/proc/loadavg: 3.97 3.16 2.55 6/181 20185
/proc/meminfo: memFree=27671044/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=430756 CPUtime=564.43 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 93691 0 0 0 56372 71 0 0 20 0 3 0 274832732 441094144 94897 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 107689 94897 205 433 0 107253 0
[pid=20178/tid=20181] ppid=20174 vsize=430756 CPUtime=282.26 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 44206 0 0 0 28187 39 0 0 20 0 3 0 274832733 441094144 94897 33554432000 4194304 5965102 140736628279136 140462556932088 4393995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=430756 CPUtime=282.23 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 48567 0 0 0 28182 41 0 0 20 0 3 0 274832733 441094144 94897 33554432000 4194304 5965102 140736628279136 140462546442552 4400955 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) 430756
[startup+342.3 s]
/proc/loadavg: 3.99 3.31 2.63 6/181 20185
/proc/meminfo: memFree=27518056/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=562636 CPUtime=684.36 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 118812 0 0 0 68339 97 0 0 20 0 3 0 274832732 576139264 120158 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 140659 120158 205 433 0 140223 0
[pid=20178/tid=20181] ppid=20174 vsize=562636 CPUtime=342.26 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 53597 0 0 0 34176 50 0 0 20 0 3 0 274832733 576139264 120158 33554432000 4194304 5965102 140736628279136 140462556931896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=562636 CPUtime=342.2 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 64297 0 0 0 34162 58 0 0 20 0 3 0 274832733 576139264 120158 33554432000 4194304 5965102 140736628279136 140462546442552 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 562636
[startup+402.3 s]
/proc/loadavg: 3.99 3.43 2.72 6/181 20185
/proc/meminfo: memFree=27455756/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=562636 CPUtime=804.31 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 126367 0 0 0 80323 108 0 0 20 0 3 0 274832732 576139264 128077 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 140659 128077 205 433 0 140223 0
[pid=20178/tid=20181] ppid=20174 vsize=562636 CPUtime=402.24 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 61152 0 0 0 40161 63 0 0 20 0 3 0 274832733 576139264 128077 33554432000 4194304 5965102 140736628279136 140462556931896 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=562636 CPUtime=402.2 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 64297 0 0 0 40161 59 0 0 20 0 3 0 274832733 576139264 128077 33554432000 4194304 5965102 140736628279136 140462546442552 4394002 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.31
Current children cumulated vsize (KiB) 562636
[startup+462.3 s]
/proc/loadavg: 3.99 3.54 2.79 6/181 20186
/proc/meminfo: memFree=27338576/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=628172 CPUtime=924.26 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 132276 0 0 0 92306 120 0 0 20 0 3 0 274832732 643248128 134172 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 157043 134172 205 433 0 156607 0
[pid=20178/tid=20181] ppid=20174 vsize=628172 CPUtime=462.2 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 67020 0 0 0 46145 75 0 0 20 0 3 0 274832733 643248128 134172 33554432000 4194304 5965102 140736628279136 140462556932088 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=628172 CPUtime=462.21 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 64338 0 0 0 46161 60 0 0 20 0 3 0 274832733 643248128 134172 33554432000 4194304 5965102 140736628279136 140462546442552 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (KiB) 628172
[startup+522.3 s]
/proc/loadavg: 3.99 3.62 2.87 6/181 20186
/proc/meminfo: memFree=27270756/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=694248 CPUtime=1044.24 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 141084 0 0 0 104294 130 0 0 20 0 3 0 274832732 710909952 142974 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 173562 142974 205 433 0 173126 0
[pid=20178/tid=20181] ppid=20174 vsize=694248 CPUtime=522.21 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 70989 0 0 0 52142 79 0 0 20 0 3 0 274832733 710909952 142974 33554432000 4194304 5965102 140736628279136 140462556931896 4401530 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=694248 CPUtime=522.2 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 69177 0 0 0 52154 66 0 0 20 0 3 0 274832733 710909952 142974 33554432000 4194304 5965102 140736628279136 140462546442552 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 694248
[startup+582.3 s]
/proc/loadavg: 3.99 3.68 2.93 6/182 20189
/proc/meminfo: memFree=27213620/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=759784 CPUtime=1164.22 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 151317 0 0 0 116275 147 0 0 20 0 3 0 274832732 778018816 153197 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 189946 153197 205 433 0 189510 0
[pid=20178/tid=20181] ppid=20174 vsize=759784 CPUtime=582.21 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 81222 0 0 0 58124 97 0 0 20 0 3 0 274832733 778018816 153197 33554432000 4194304 5965102 140736628279136 140462556932088 4379856 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=759784 CPUtime=582.21 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 69177 0 0 0 58154 67 0 0 20 0 3 0 274832733 778018816 153197 33554432000 4194304 5965102 140736628279136 140462546442552 4401155 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (KiB) 759784
[startup+642.3 s]
/proc/loadavg: 3.99 3.74 3.00 6/182 20212
/proc/meminfo: memFree=27168932/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=759784 CPUtime=1284.21 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 153416 0 0 0 128272 149 0 0 20 0 3 0 274832732 778018816 155294 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 189946 155294 205 433 0 189510 0
[pid=20178/tid=20181] ppid=20174 vsize=759784 CPUtime=642.22 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 83321 0 0 0 64121 101 0 0 20 0 3 0 274832733 778018816 155294 33554432000 4194304 5965102 140736628279136 140462556932136 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=759784 CPUtime=642.22 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 69177 0 0 0 64154 68 0 0 20 0 3 0 274832733 778018816 155294 33554432000 4194304 5965102 140736628279136 140462546442552 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.21
Current children cumulated vsize (KiB) 759784
[startup+702.3 s]
/proc/loadavg: 4.03 3.80 3.06 6/181 20212
/proc/meminfo: memFree=27148844/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=759784 CPUtime=1404.18 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 158662 0 0 0 140261 157 0 0 20 0 3 0 274832732 778018816 160540 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 189946 160540 205 433 0 189510 0
[pid=20178/tid=20181] ppid=20174 vsize=759784 CPUtime=702.22 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 85204 0 0 0 70115 107 0 0 20 0 3 0 274832733 778018816 160540 33554432000 4194304 5965102 140736628279136 140462556932088 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=759784 CPUtime=702.21 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 72540 0 0 0 70149 72 0 0 20 0 3 0 274832733 778018816 160540 33554432000 4194304 5965102 140736628279136 140462546442360 4401107 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 759784
[startup+762.307 s]
/proc/loadavg: 4.04 3.85 3.12 6/181 20213
/proc/meminfo: memFree=27068616/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=825320 CPUtime=1524.17 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 178351 0 0 0 152234 183 0 0 20 0 3 0 274832732 845127680 180228 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 206330 180228 205 433 0 205894 0
[pid=20178/tid=20181] ppid=20174 vsize=825320 CPUtime=762.23 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 93199 0 0 0 76103 120 0 0 20 0 3 0 274832733 845127680 180228 33554432000 4194304 5965102 140736628279136 140462556932088 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=825320 CPUtime=762.22 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 84234 0 0 0 76135 87 0 0 20 0 3 0 274832733 845127680 180228 33554432000 4194304 5965102 140736628279136 140462546442552 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.17
Current children cumulated vsize (KiB) 825320
[startup+822.3 s]
/proc/loadavg: 4.05 3.89 3.18 6/181 20213
/proc/meminfo: memFree=26994840/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=825320 CPUtime=1644.15 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 181381 0 0 0 164226 189 0 0 20 0 3 0 274832732 845127680 183258 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 206330 183258 205 433 0 205894 0
[pid=20178/tid=20181] ppid=20174 vsize=825320 CPUtime=822.22 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 96229 0 0 0 82096 126 0 0 20 0 3 0 274832733 845127680 183258 33554432000 4194304 5965102 140736628279136 140462556932088 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=825320 CPUtime=822.22 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 84234 0 0 0 82134 88 0 0 20 0 3 0 274832733 845127680 183258 33554432000 4194304 5965102 140736628279136 140462546442552 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.15
Current children cumulated vsize (KiB) 825320
[startup+882.3 s]
/proc/loadavg: 4.05 3.92 3.23 6/181 20213
/proc/meminfo: memFree=26889656/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=893752 CPUtime=1764.12 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 188525 0 0 0 176215 197 0 0 20 0 3 0 274832732 915202048 190321 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 223438 190321 205 433 0 223002 0
[pid=20178/tid=20181] ppid=20174 vsize=893752 CPUtime=882.22 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 103360 0 0 0 88087 135 0 0 20 0 3 0 274832733 915202048 190321 33554432000 4194304 5965102 140736628279136 140462556932088 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=893752 CPUtime=882.21 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 84247 0 0 0 88132 89 0 0 20 0 3 0 274832733 915202048 190321 33554432000 4194304 5965102 140736628279136 140462546442552 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 893752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.04 3.92 3.25 6/181 20213
/proc/meminfo: memFree=26863212/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=893752 CPUtime=1800.1 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 188908 0 0 0 179813 197 0 0 20 0 3 0 274832732 915202048 190691 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 223438 190691 205 433 0 223002 0
[pid=20178/tid=20181] ppid=20174 vsize=893752 CPUtime=900.23 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 103727 0 0 0 89887 136 0 0 20 0 3 0 274832733 915202048 190691 33554432000 4194304 5965102 140736628279136 140462556931896 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=893752 CPUtime=900.21 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 84263 0 0 0 89932 89 0 0 20 0 3 0 274832733 915202048 190691 33554432000 4194304 5965102 140736628279136 140462546442552 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 893752
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.04 3.92 3.25 6/181 20213
/proc/meminfo: memFree=26863212/32873648 swapFree=7104/7104
[pid=20178] ppid=20174 vsize=893752 CPUtime=1800.1 cores=1,3,5,7
/proc/20178/stat : 20178 (pwbo2.0) S 20174 20178 20135 0 -1 4202496 188908 0 0 0 179813 197 0 0 20 0 3 0 274832732 915202048 190691 33554432000 4194304 5965102 140736628279136 140736628278656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20178/statm: 223438 190691 205 433 0 223002 0
[pid=20178/tid=20181] ppid=20174 vsize=893752 CPUtime=900.23 cores=1,3,5,7
/proc/20178/task/20181/stat : 20181 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 103727 0 0 0 89887 136 0 0 20 0 3 0 274832733 915202048 190691 33554432000 4194304 5965102 140736628279136 140462556931896 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20178/tid=20182] ppid=20174 vsize=893752 CPUtime=900.21 cores=1,3,5,7
/proc/20178/task/20182/stat : 20182 (pwbo2.0) R 20174 20178 20135 0 -1 4202560 84263 0 0 0 89932 89 0 0 20 0 3 0 274832733 915202048 190691 33554432000 4194304 5965102 140736628279136 140462546442552 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 893752
Child status: 0
Real time (s): 900.332
CPU time (s): 1800.49
CPU user time (s): 1798.2
CPU system time (s): 2.29065
CPU usage (%): 199.981
Max. virtual memory (cumulated for all children) (KiB): 893752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 2.29065
maximum resident set size= 762776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188911
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= 528
involuntary context switches= 1942
runsolver used 1.86372 second user time and 5.11222 second system time
The end