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-3703639-1338091591/watcher-3703639-1338091591 -o /tmp/evaluation-result-3703639-1338091591/solver-3703639-1338091591 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703639-1338091591.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=7240 CPUtime=0 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) R 20639 20641 20135 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 275284560 7413760 423 33554432000 4194304 5965102 140734390655504 140734390653256 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 1810 423 168 433 0 717 0
[startup+0.00764201 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=7388 CPUtime=0 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) R 20639 20641 20135 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 275284560 7565312 472 33554432000 4194304 5965102 140734390655504 140734390653256 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 1847 472 174 433 0 754 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7388
[startup+0.100235 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=15880 CPUtime=0.09 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) R 20639 20641 20135 0 -1 4202496 2996 0 0 0 9 0 0 0 20 0 1 0 275284560 16261120 2882 33554432000 4194304 5965102 140734390655504 140734390653592 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 3970 2885 486 433 0 2877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15880
[startup+0.300161 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=194344 CPUtime=0.36 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 19455 0 0 0 31 5 0 0 20 0 3 0 275284560 199008256 18339 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48586 18343 201 433 0 48150 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 194344
[startup+0.700188 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=1.17 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 22054 0 0 0 111 6 0 0 20 0 3 0 275284560 197898240 20720 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 20720 204 433 0 47879 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 193260
[startup+1.50025 s]
/proc/loadavg: 3.76 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28279248/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=2.77 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 22111 0 0 0 271 6 0 0 20 0 3 0 275284560 197898240 20777 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 20777 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=1.28 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 6998 0 0 0 125 3 0 0 20 0 3 0 275284580 197898240 20777 33554432000 4194304 5965102 140734390655504 140115842816536 4396510 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=1.29 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9061 0 0 0 126 3 0 0 20 0 3 0 275284580 197898240 20777 33554432000 4194304 5965102 140734390655504 140115832325976 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 193260
[startup+3.10026 s]
/proc/loadavg: 3.76 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28276960/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=5.96 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 25007 0 0 0 590 6 0 0 20 0 3 0 275284560 197898240 21069 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 21069 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=2.88 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9852 0 0 0 284 4 0 0 20 0 3 0 275284580 197898240 21069 33554432000 4194304 5965102 140734390655504 140115842816536 5139774 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=2.89 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9103 0 0 0 286 3 0 0 20 0 3 0 275284580 197898240 21069 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 193260
[startup+6.3003 s]
/proc/loadavg: 3.78 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28270672/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=12.36 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 33977 0 0 0 1228 8 0 0 20 0 3 0 275284560 197898240 21215 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 21215 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=6.08 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 18728 0 0 0 602 6 0 0 20 0 3 0 275284580 197898240 21215 33554432000 4194304 5965102 140734390655504 140115842816536 4446080 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=6.09 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9197 0 0 0 606 3 0 0 20 0 3 0 275284580 197898240 21215 33554432000 4194304 5965102 140734390655504 140115832326392 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 193260
[startup+12.7002 s]
/proc/loadavg: 3.80 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28239720/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=25.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 35284 0 0 0 2506 9 0 0 20 0 3 0 275284560 197898240 22522 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 22522 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=12.48 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 19451 0 0 0 1242 6 0 0 20 0 3 0 275284580 197898240 22522 33554432000 4194304 5965102 140734390655504 140115842816456 5131557 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=12.49 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9781 0 0 0 1245 4 0 0 20 0 3 0 275284580 197898240 22522 33554432000 4194304 5965102 140734390655504 140115832326264 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 193260
[startup+25.5003 s]
/proc/loadavg: 3.84 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28151424/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=50.74 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 51831 0 0 0 5057 17 0 0 20 0 3 0 275284560 197898240 31119 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 31119 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=25.28 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 29710 0 0 0 2519 9 0 0 20 0 3 0 275284580 197898240 31119 33554432000 4194304 5965102 140734390655504 140115842816536 5134981 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=25.27 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 16069 0 0 0 2518 9 0 0 20 0 3 0 275284580 197898240 31119 33554432000 4194304 5965102 140734390655504 140115832326456 4401559 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 193260
[startup+51.1004 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 20677
/proc/meminfo: memFree=28040768/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=258796 CPUtime=101.9 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 74304 0 0 0 10159 31 0 0 20 0 3 0 275284560 265007104 48099 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 64699 48099 206 433 0 64263 0
[pid=20641/tid=20664] ppid=20639 vsize=258796 CPUtime=50.86 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 38397 0 0 0 5075 11 0 0 20 0 3 0 275284580 265007104 48099 33554432000 4194304 5965102 140734390655504 140115842816408 5134981 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=258796 CPUtime=50.86 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 29855 0 0 0 5065 21 0 0 20 0 3 0 275284580 265007104 48099 33554432000 4194304 5965102 140734390655504 140115832326456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 258796
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 20677
/proc/meminfo: memFree=27764180/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=457028 CPUtime=204.27 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 115055 0 0 0 20365 62 0 0 20 0 3 0 275284560 467996672 84831 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 114257 84831 206 433 0 113821 0
[pid=20641/tid=20664] ppid=20639 vsize=457028 CPUtime=102.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 54142 0 0 0 10188 19 0 0 20 0 3 0 275284580 467996672 84831 33554432000 4194304 5965102 140734390655504 140115842816040 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=457028 CPUtime=102.04 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 54861 0 0 0 10159 45 0 0 20 0 3 0 275284580 467996672 84831 33554432000 4194304 5965102 140734390655504 140115832326456 4401041 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 457028
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 20678
/proc/meminfo: memFree=27537212/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=588100 CPUtime=324.2 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 148992 0 0 0 32319 101 0 0 20 0 3 0 275284560 602214400 119421 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 147025 119421 206 433 0 146589 0
[pid=20641/tid=20664] ppid=20639 vsize=588100 CPUtime=162.06 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 62763 0 0 0 16180 26 0 0 20 0 3 0 275284580 602214400 119421 33554432000 4194304 5965102 140734390655504 140115842816040 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=588100 CPUtime=162.01 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 80177 0 0 0 16121 80 0 0 20 0 3 0 275284580 602214400 119421 33554432000 4194304 5965102 140734390655504 140115832326456 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.2
Current children cumulated vsize (KiB) 588100
[startup+222.3 s]
/proc/loadavg: 4.07 3.99 3.92 5/182 20681
/proc/meminfo: memFree=27382000/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=719980 CPUtime=444.19 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 179317 0 0 0 44287 132 0 0 20 0 3 0 275284560 737259520 149464 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 179995 149464 206 433 0 179559 0
[pid=20641/tid=20664] ppid=20639 vsize=719980 CPUtime=222.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 69215 0 0 0 22177 30 0 0 20 0 3 0 275284580 737259520 149464 33554432000 4194304 5965102 140734390655504 140115842816952 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=719980 CPUtime=222.01 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 104050 0 0 0 22092 109 0 0 20 0 3 0 275284580 737259520 149464 33554432000 4194304 5965102 140734390655504 140115832326456 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.19
Current children cumulated vsize (KiB) 719980
[startup+282.3 s]
/proc/loadavg: 4.03 3.99 3.92 5/181 20681
/proc/meminfo: memFree=27188232/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=785912 CPUtime=564.17 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 203531 0 0 0 56259 158 0 0 20 0 3 0 275284560 804773888 173678 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 196478 173678 206 433 0 196042 0
[pid=20641/tid=20664] ppid=20639 vsize=785912 CPUtime=282.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 75204 0 0 0 28170 37 0 0 20 0 3 0 275284580 804773888 173678 33554432000 4194304 5965102 140734390655504 140115842815800 4401486 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=785912 CPUtime=282.01 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 122275 0 0 0 28071 130 0 0 20 0 3 0 275284580 804773888 173678 33554432000 4194304 5965102 140734390655504 140115832326456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.17
Current children cumulated vsize (KiB) 785912
[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 20681
/proc/meminfo: memFree=26974360/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=851716 CPUtime=684.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 223209 0 0 0 68236 179 0 0 20 0 3 0 275284560 872157184 193356 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 212929 193356 206 433 0 212493 0
[pid=20641/tid=20664] ppid=20639 vsize=851716 CPUtime=342.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 76813 0 0 0 34169 38 0 0 20 0 3 0 275284580 872157184 193356 33554432000 4194304 5965102 140734390655504 140115842815800 4401118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=851716 CPUtime=342.02 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140344 0 0 0 34050 152 0 0 20 0 3 0 275284580 872157184 193356 33554432000 4194304 5965102 140734390655504 140115832326216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.15
Current children cumulated vsize (KiB) 851716
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20681
/proc/meminfo: memFree=26832784/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=917384 CPUtime=804.13 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 226659 0 0 0 80231 182 0 0 20 0 3 0 275284560 939401216 196801 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 229346 196801 206 433 0 228910 0
[pid=20641/tid=20664] ppid=20639 vsize=917384 CPUtime=402.08 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 80235 0 0 0 40166 42 0 0 20 0 3 0 275284580 939401216 196801 33554432000 4194304 5965102 140734390655504 140115842815800 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=917384 CPUtime=402.02 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140372 0 0 0 40049 153 0 0 20 0 3 0 275284580 939401216 196801 33554432000 4194304 5965102 140734390655504 140115832326216 4401129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.13
Current children cumulated vsize (KiB) 917384
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/180 20681
/proc/meminfo: memFree=26708188/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=917520 CPUtime=924.11 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 232027 0 0 0 92220 191 0 0 20 0 3 0 275284560 939540480 202170 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 229380 202170 206 433 0 228944 0
[pid=20641/tid=20664] ppid=20639 vsize=917520 CPUtime=462.08 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 85550 0 0 0 46157 51 0 0 20 0 3 0 275284580 939540480 202170 33554432000 4194304 5965102 140734390655504 140115842815992 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=917520 CPUtime=462.02 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140425 0 0 0 46048 154 0 0 20 0 3 0 275284580 939540480 202170 33554432000 4194304 5965102 140734390655504 140115832326216 4401591 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (KiB) 917520
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26594392/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=917672 CPUtime=1044.05 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 237193 0 0 0 104209 196 0 0 20 0 3 0 275284560 939696128 207874 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 229418 207875 206 433 0 228982 0
[pid=20641/tid=20664] ppid=20639 vsize=917672 CPUtime=522.06 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 90631 0 0 0 52149 57 0 0 20 0 3 0 275284580 939696128 207875 33554432000 4194304 5965102 140734390655504 140115842815992 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=917672 CPUtime=522 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140511 0 0 0 52046 154 0 0 20 0 3 0 275284580 939696128 207875 33554432000 4194304 5965102 140734390655504 140115832326216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.05
Current children cumulated vsize (KiB) 917672
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26530228/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=985772 CPUtime=1164.01 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 246244 0 0 0 116198 203 0 0 20 0 3 0 275284560 1009430528 216844 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 246443 216844 206 433 0 246007 0
[pid=20641/tid=20664] ppid=20639 vsize=985772 CPUtime=582.06 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 99470 0 0 0 58142 64 0 0 20 0 3 0 275284580 1009430528 216844 33554432000 4194304 5965102 140734390655504 140115842815992 4380160 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=985772 CPUtime=581.97 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140722 0 0 0 58041 156 0 0 20 0 3 0 275284580 1009430528 216844 33554432000 4194304 5965102 140734390655504 140115832326456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.01
Current children cumulated vsize (KiB) 985772
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26523660/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=983476 CPUtime=1283.96 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 247100 0 0 0 128193 203 0 0 20 0 3 0 275284560 1007079424 212932 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 245869 212932 206 433 0 245433 0
[pid=20641/tid=20664] ppid=20639 vsize=983476 CPUtime=642.05 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100277 0 0 0 64140 65 0 0 20 0 3 0 275284580 1007079424 212932 33554432000 4194304 5965102 140734390655504 140115842816840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=983476 CPUtime=641.96 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140771 0 0 0 64039 157 0 0 20 0 3 0 275284580 1007079424 212932 33554432000 4194304 5965102 140734390655504 140115832326216 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.96
Current children cumulated vsize (KiB) 983476
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26519764/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=983616 CPUtime=1403.88 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 247238 0 0 0 140185 203 0 0 20 0 3 0 275284560 1007222784 213024 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 245904 213024 206 433 0 245468 0
[pid=20641/tid=20664] ppid=20639 vsize=983616 CPUtime=702.04 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100333 0 0 0 70138 66 0 0 20 0 3 0 275284580 1007222784 213024 33554432000 4194304 5965102 140734390655504 140115842816840 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=983616 CPUtime=701.91 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140853 0 0 0 70033 158 0 0 20 0 3 0 275284580 1007222784 213024 33554432000 4194304 5965102 140734390655504 140115832326216 4389285 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.88
Current children cumulated vsize (KiB) 983616
[startup+762.307 s]
/proc/loadavg: 4.03 4.00 3.93 5/181 20682
/proc/meminfo: memFree=26506544/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=983752 CPUtime=1523.83 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 247398 0 0 0 152180 203 0 0 20 0 3 0 275284560 1007362048 213137 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 245938 213137 206 433 0 245502 0
[pid=20641/tid=20664] ppid=20639 vsize=983752 CPUtime=762.05 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100394 0 0 0 76138 67 0 0 20 0 3 0 275284580 1007362048 213137 33554432000 4194304 5965102 140734390655504 140115842816840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=983752 CPUtime=761.88 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140952 0 0 0 76029 159 0 0 20 0 3 0 275284580 1007362048 213137 33554432000 4194304 5965102 140734390655504 140115832326216 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.83
Current children cumulated vsize (KiB) 983752
[startup+822.3 s]
/proc/loadavg: 4.08 4.02 3.93 5/182 20686
/proc/meminfo: memFree=26429296/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1049584 CPUtime=1643.77 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 260670 0 0 0 164158 219 0 0 20 0 3 0 275284560 1074774016 226371 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 262396 226371 206 433 0 261960 0
[pid=20641/tid=20664] ppid=20639 vsize=1049584 CPUtime=822.02 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100456 0 0 0 82134 68 0 0 20 0 3 0 275284580 1074774016 226371 33554432000 4194304 5965102 140734390655504 140115842816840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1049584 CPUtime=821.86 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 154162 0 0 0 82010 176 0 0 20 0 3 0 275284580 1074774016 226371 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.77
Current children cumulated vsize (KiB) 1049584
[startup+882.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/181 20686
/proc/meminfo: memFree=26314132/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1115120 CPUtime=1763.74 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 282579 0 0 0 176120 254 0 0 20 0 3 0 275284560 1141882880 248274 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 278780 248274 206 433 0 278344 0
[pid=20641/tid=20664] ppid=20639 vsize=1115120 CPUtime=882.02 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100486 0 0 0 88133 69 0 0 20 0 3 0 275284580 1141882880 248274 33554432000 4194304 5965102 140734390655504 140115842816840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1115120 CPUtime=881.87 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 176041 0 0 0 87975 212 0 0 20 0 3 0 275284580 1141882880 248274 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.74
Current children cumulated vsize (KiB) 1115120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.5 s]
/proc/loadavg: 4.02 4.01 3.93 5/181 20686
/proc/meminfo: memFree=26285116/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1115268 CPUtime=1800.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 287941 0 0 0 179755 260 0 0 20 0 3 0 275284560 1142034432 253636 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 278817 253636 206 433 0 278381 0
[pid=20641/tid=20664] ppid=20639 vsize=1115268 CPUtime=900.23 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100499 0 0 0 89954 69 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115842816840 4401556 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1115268 CPUtime=900.07 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 181390 0 0 0 89789 218 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1115268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.5 s]
/proc/loadavg: 4.02 4.01 3.93 5/181 20686
/proc/meminfo: memFree=26285116/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1115268 CPUtime=1800.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 287941 0 0 0 179755 260 0 0 20 0 3 0 275284560 1142034432 253636 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 278817 253636 206 433 0 278381 0
[pid=20641/tid=20664] ppid=20639 vsize=1115268 CPUtime=900.23 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100499 0 0 0 89954 69 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115842816840 4401556 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1115268 CPUtime=900.07 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 181390 0 0 0 89789 218 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1115268
Child status: 0
Real time (s): 900.529
CPU time (s): 1800.55
CPU user time (s): 1797.63
CPU system time (s): 2.91556
CPU usage (%): 199.944
Max. virtual memory (cumulated for all children) (KiB): 1115268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.63
system time used= 2.91556
maximum resident set size= 1014560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287945
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= 2144
involuntary context switches= 1866
runsolver used 1.89971 second user time and 5.06523 second system time
The end