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 /var/tmp/evaluation-result-3500132-1307991476/watcher-3500132-1307991476 -o /var/tmp/evaluation-result-3500132-1307991476/solver-3500132-1307991476 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500132-1307991476.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.99 3.67 3/179 16417
/proc/meminfo: memFree=29326368/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=2440 CPUtime=0 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) R 16415 16417 15608 0 -1 4202496 388 0 0 0 0 0 0 0 25 0 1 0 910746437 2498560 340 33554432000 4194304 5714118 140735270676896 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/16417/statm: 610 341 170 372 0 217 0
[startup+0.0635159 s]
/proc/loadavg: 4.01 3.99 3.67 3/179 16417
/proc/meminfo: memFree=29326368/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=135300 CPUtime=0.11 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 1072 0 0 0 10 1 0 0 25 0 3 0 910746437 138547200 1006 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 33825 1007 181 372 0 33450 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 135300
[startup+0.100504 s]
/proc/loadavg: 4.01 3.99 3.67 3/179 16417
/proc/meminfo: memFree=29326368/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=135300 CPUtime=0.19 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 1293 0 0 0 18 1 0 0 25 0 3 0 910746437 138547200 1210 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 33825 1210 181 372 0 33450 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135300
[startup+0.300469 s]
/proc/loadavg: 4.01 3.99 3.67 3/179 16417
/proc/meminfo: memFree=29326368/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=135300 CPUtime=0.58 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 2527 0 0 0 56 2 0 0 25 0 3 0 910746437 138547200 2256 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 33825 2257 181 372 0 33450 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 135300
[startup+0.700398 s]
/proc/loadavg: 4.01 3.99 3.67 3/179 16417
/proc/meminfo: memFree=29326368/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=135432 CPUtime=1.38 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 5502 0 0 0 133 5 0 0 25 0 3 0 910746437 138682368 4141 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 33858 4141 181 372 0 33483 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135432
[startup+1.50026 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 16420
/proc/meminfo: memFree=29306156/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=135836 CPUtime=2.98 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 11666 0 0 0 279 19 0 0 25 0 3 0 910746437 139096064 6593 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 33959 6593 181 372 0 33584 0
[pid=16417/tid=16419] ppid=16415 vsize=135836 CPUtime=1.48 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 8382 0 0 0 136 12 0 0 25 0 3 0 910746437 139096064 6593 33554432000 4194304 5714118 140735270676896 18446744073709551615 4973002 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=135836 CPUtime=1.48 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 2809 0 0 0 142 6 0 0 19 0 3 0 910746437 139096064 6593 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135836
[startup+3.10097 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 16420
/proc/meminfo: memFree=29295784/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=136436 CPUtime=6.18 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 15197 0 0 0 583 35 0 0 25 0 3 0 910746437 139710464 8443 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 34109 8443 182 372 0 33734 0
[pid=16417/tid=16419] ppid=16415 vsize=136436 CPUtime=3.08 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 11453 0 0 0 285 23 0 0 25 0 3 0 910746437 139710464 8443 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=136436 CPUtime=3.08 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 3269 0 0 0 297 11 0 0 24 0 3 0 910746437 139710464 8443 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 136436
[startup+6.3004 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 16420
/proc/meminfo: memFree=29284816/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=137628 CPUtime=12.58 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 16614 0 0 0 1203 55 0 0 25 0 3 0 910746437 140931072 9860 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 34407 9860 182 372 0 34032 0
[pid=16417/tid=16419] ppid=16415 vsize=137628 CPUtime=6.28 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 11962 0 0 0 596 32 0 0 25 0 3 0 910746437 140931072 9860 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=137628 CPUtime=6.29 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 4177 0 0 0 606 23 0 0 25 0 3 0 910746437 140931072 9860 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 137628
[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 16420
/proc/meminfo: memFree=29269336/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=140820 CPUtime=25.39 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 18243 0 0 0 2454 85 0 0 25 0 3 0 910746437 144199680 11361 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 35205 11361 182 372 0 34830 0
[pid=16417/tid=16419] ppid=16415 vsize=140820 CPUtime=12.68 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 12800 0 0 0 1226 42 0 0 25 0 3 0 910746437 144199680 11361 33554432000 4194304 5714118 140735270676896 18446744073709551615 4319372 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=140820 CPUtime=12.68 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 4968 0 0 0 1226 42 0 0 25 0 3 0 910746437 144199680 11361 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 140820
[startup+25.501 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 16421
/proc/meminfo: memFree=29240976/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=142712 CPUtime=50.99 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 22004 0 0 0 4958 141 0 0 25 0 3 0 910746437 146137088 15114 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 35678 15114 182 372 0 35303 0
[pid=16417/tid=16419] ppid=16415 vsize=142712 CPUtime=25.49 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 14586 0 0 0 2487 62 0 0 25 0 3 0 910746437 146137088 15114 33554432000 4194304 5714118 140735270676896 18446744073709551615 4322955 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=142712 CPUtime=25.48 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 6943 0 0 0 2470 78 0 0 25 0 3 0 910746437 146137088 15114 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 142712
[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 16421
/proc/meminfo: memFree=29198844/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=142944 CPUtime=102.18 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 26624 0 0 0 9966 252 0 0 25 0 3 0 910746437 146374656 18932 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 35736 18932 182 372 0 35361 0
[pid=16417/tid=16419] ppid=16415 vsize=142944 CPUtime=51.09 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 18537 0 0 0 5006 103 0 0 25 0 3 0 910746437 146374656 18932 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=142944 CPUtime=51.09 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 7612 0 0 0 4960 149 0 0 25 0 3 0 910746437 146374656 18932 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 142944
[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.70 5/182 16423
/proc/meminfo: memFree=29136668/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=147868 CPUtime=204.6 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 30225 0 0 0 20039 421 0 0 25 0 3 0 910746437 151416832 21933 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 36967 21933 182 372 0 36592 0
[pid=16417/tid=16419] ppid=16415 vsize=147868 CPUtime=102.29 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 20391 0 0 0 10070 159 0 0 25 0 3 0 910746437 151416832 21933 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=147868 CPUtime=102.3 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 9359 0 0 0 9968 262 0 0 25 0 3 0 910746437 151416832 21933 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 147868
[startup+162.301 s]
/proc/loadavg: 3.88 3.96 3.71 5/182 16465
/proc/meminfo: memFree=29953968/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=215568 CPUtime=324.59 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 38269 0 0 0 31855 604 0 0 25 0 3 0 910746437 220741632 29977 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 53892 29977 182 372 0 53517 0
[pid=16417/tid=16419] ppid=16415 vsize=215568 CPUtime=162.28 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 27978 0 0 0 16020 208 0 0 25 0 3 0 910746437 220741632 29977 33554432000 4194304 5714118 140735270676896 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=215568 CPUtime=162.29 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 9816 0 0 0 15834 395 0 0 25 0 3 0 910746437 220741632 29977 33554432000 4194304 5714118 140735270676896 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 215568
[startup+222.301 s]
/proc/loadavg: 3.96 3.96 3.73 5/182 16476
/proc/meminfo: memFree=29858028/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=218276 CPUtime=444.59 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 49357 0 0 0 43707 752 0 0 25 0 3 0 910746437 223514624 40790 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 54569 40790 182 372 0 54194 0
[pid=16417/tid=16419] ppid=16415 vsize=218276 CPUtime=222.29 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 36200 0 0 0 21968 261 0 0 25 0 3 0 910746437 223514624 40790 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=218276 CPUtime=222.28 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 12682 0 0 0 21738 490 0 0 25 0 3 0 910746437 223514624 40790 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 218276
[startup+282.3 s]
/proc/loadavg: 4.04 3.98 3.74 5/182 16478
/proc/meminfo: memFree=29815320/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=285800 CPUtime=564.59 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 58696 0 0 0 55567 892 0 0 25 0 3 0 910746437 292659200 48996 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 71450 48996 182 372 0 71075 0
[pid=16417/tid=16419] ppid=16415 vsize=285800 CPUtime=282.29 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 43519 0 0 0 27916 313 0 0 25 0 3 0 910746437 292659200 48996 33554432000 4194304 5714118 140735270676896 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=285800 CPUtime=282.28 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 14702 0 0 0 27649 579 0 0 25 0 3 0 910746437 292659200 48996 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 285800
[startup+342.301 s]
/proc/loadavg: 4.01 3.98 3.76 5/182 16479
/proc/meminfo: memFree=29749792/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=287272 CPUtime=684.6 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 70619 0 0 0 67441 1019 0 0 25 0 3 0 910746437 294166528 60338 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 71818 60338 182 372 0 71443 0
[pid=16417/tid=16419] ppid=16415 vsize=287272 CPUtime=342.29 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 53560 0 0 0 33870 359 0 0 25 0 3 0 910746437 294166528 60338 33554432000 4194304 5714118 140735270676896 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=287272 CPUtime=342.29 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 16584 0 0 0 33570 659 0 0 25 0 3 0 910746437 294166528 60338 33554432000 4194304 5714118 140735270676896 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 287272
[startup+402.301 s]
/proc/loadavg: 4.00 3.98 3.77 5/182 16484
/proc/meminfo: memFree=29705080/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=287508 CPUtime=804.6 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 71204 0 0 0 79346 1114 0 0 25 0 3 0 910746437 294408192 60726 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 71877 60726 182 372 0 71502 0
[pid=16417/tid=16419] ppid=16415 vsize=287508 CPUtime=402.29 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 53622 0 0 0 39839 390 0 0 25 0 3 0 910746437 294408192 60726 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=287508 CPUtime=402.29 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 17107 0 0 0 39506 723 0 0 25 0 3 0 910746437 294408192 60726 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 287508
[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.78 5/182 16485
/proc/meminfo: memFree=29671876/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=289048 CPUtime=924.6 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 72905 0 0 0 91217 1243 0 0 25 0 3 0 910746437 295985152 61949 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 72262 61949 182 372 0 71887 0
[pid=16417/tid=16419] ppid=16415 vsize=289048 CPUtime=462.29 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 53734 0 0 0 45795 434 0 0 25 0 3 0 910746437 295985152 61949 33554432000 4194304 5714118 140735270676896 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=289048 CPUtime=462.29 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 18696 0 0 0 45421 808 0 0 25 0 3 0 910746437 295985152 61949 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 289048
[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.79 5/182 16487
/proc/meminfo: memFree=29617900/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=289704 CPUtime=1044.61 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 75502 0 0 0 103103 1358 0 0 25 0 3 0 910746437 296656896 63735 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 72426 63735 182 372 0 72051 0
[pid=16417/tid=16419] ppid=16415 vsize=289704 CPUtime=522.29 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 53764 0 0 0 51756 473 0 0 25 0 3 0 910746437 296656896 63735 33554432000 4194304 5714118 140735270676896 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=289704 CPUtime=522.29 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 21263 0 0 0 51345 884 0 0 25 0 3 0 910746437 296656896 63735 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 289704
[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.80 5/182 16489
/proc/meminfo: memFree=29614508/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=291620 CPUtime=1164.61 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 75925 0 0 0 114997 1464 0 0 25 0 3 0 910746437 298618880 64158 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 72905 64158 182 372 0 72530 0
[pid=16417/tid=16419] ppid=16415 vsize=291620 CPUtime=582.3 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 53810 0 0 0 57729 501 0 0 25 0 3 0 910746437 298618880 64158 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=291620 CPUtime=582.3 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 21640 0 0 0 57267 963 0 0 25 0 3 0 910746437 298618880 64158 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 291620
[startup+642.301 s]
/proc/loadavg: 4.00 3.98 3.81 5/182 16490
/proc/meminfo: memFree=29611228/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=292500 CPUtime=1284.62 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 76159 0 0 0 126903 1559 0 0 25 0 3 0 910746437 299520000 64392 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 73125 64392 182 372 0 72750 0
[pid=16417/tid=16419] ppid=16415 vsize=292500 CPUtime=642.3 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 53856 0 0 0 63707 523 0 0 25 0 3 0 910746437 299520000 64392 33554432000 4194304 5714118 140735270676896 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=292500 CPUtime=642.3 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 21828 0 0 0 63195 1035 0 0 25 0 3 0 910746437 299520000 64392 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 292500
[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.82 5/182 16492
/proc/meminfo: memFree=29592196/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=292996 CPUtime=1404.62 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 78493 0 0 0 138799 1663 0 0 25 0 3 0 910746437 300027904 66726 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 73249 66726 182 372 0 72874 0
[pid=16417/tid=16419] ppid=16415 vsize=292996 CPUtime=702.3 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 56082 0 0 0 69676 554 0 0 25 0 3 0 910746437 300027904 66726 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=292996 CPUtime=702.29 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 21936 0 0 0 69121 1108 0 0 25 0 3 0 910746437 300027904 66726 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 292996
[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.83 5/182 16493
/proc/meminfo: memFree=29557688/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=358960 CPUtime=1524.63 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 82977 0 0 0 150693 1770 0 0 25 0 3 0 910746437 367575040 71192 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 89740 71192 182 372 0 89365 0
[pid=16417/tid=16419] ppid=16415 vsize=358960 CPUtime=762.31 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 60454 0 0 0 75648 583 0 0 25 0 3 0 910746437 367575040 71192 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=358960 CPUtime=762.31 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 22048 0 0 0 75044 1187 0 0 25 0 3 0 910746437 367575040 71192 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 358960
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.83 5/182 16495
/proc/meminfo: memFree=29518948/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=361272 CPUtime=1644.62 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 93648 0 0 0 162563 1899 0 0 25 0 3 0 910746437 369942528 79898 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 90318 79898 182 372 0 89943 0
[pid=16417/tid=16419] ppid=16415 vsize=361272 CPUtime=822.3 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 68165 0 0 0 81606 624 0 0 25 0 3 0 910746437 369942528 79898 33554432000 4194304 5714118 140735270676896 18446744073709551615 4323202 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=361272 CPUtime=822.3 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 25008 0 0 0 80955 1275 0 0 25 0 3 0 910746437 369942528 79898 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 361272
[startup+882.3 s]
/proc/loadavg: 4.03 4.00 3.85 5/182 16497
/proc/meminfo: memFree=29510844/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=361912 CPUtime=1764.63 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 96178 0 0 0 174440 2023 0 0 25 0 3 0 910746437 370597888 82317 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 90478 82317 182 372 0 90103 0
[pid=16417/tid=16419] ppid=16415 vsize=361912 CPUtime=882.3 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 70263 0 0 0 87572 658 0 0 25 0 3 0 910746437 370597888 82317 33554432000 4194304 5714118 140735270676896 18446744073709551615 4311806 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=361912 CPUtime=882.31 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 25440 0 0 0 86867 1364 0 0 25 0 3 0 910746437 370597888 82317 33554432000 4194304 5714118 140735270676896 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 361912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 16497
/proc/meminfo: memFree=29502512/32950928 swapFree=67048888/67111528
[pid=16417] ppid=16415 vsize=361912 CPUtime=1800.03 cores=1,3,5,7
/proc/16417/stat : 16417 (pwbo1.1) S 16415 16417 15608 0 -1 4202496 98205 0 0 0 177941 2062 0 0 25 0 3 0 910746437 370597888 84269 33554432000 4194304 5714118 140735270676896 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/16417/statm: 90478 84269 182 372 0 90103 0
[pid=16417/tid=16419] ppid=16415 vsize=361912 CPUtime=900.01 cores=1,3,5,7
/proc/16417/task/16419/stat : 16419 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 72215 0 0 0 89332 669 0 0 25 0 3 0 910746437 370597888 84269 33554432000 4194304 5714118 140735270676896 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16417/tid=16420] ppid=16415 vsize=361912 CPUtime=900.01 cores=1,3,5,7
/proc/16417/task/16420/stat : 16420 (pwbo1.1) R 16415 16417 15608 0 -1 4202560 25515 0 0 0 88609 1392 0 0 25 0 3 0 910746437 370597888 84269 33554432000 4194304 5714118 140735270676896 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 361912
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.028
CPU time (s): 1800.07
CPU user time (s): 1779.43
CPU system time (s): 20.6399
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 361912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.43
system time used= 20.6399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98212
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= 241
involuntary context switches= 13122
runsolver used 1.23581 second user time and 3.04654 second system time
The end