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-3725929-1338654562/watcher-3725929-1338654562 -o /tmp/evaluation-result-3725929-1338654562/solver-3725929-1338654562 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725929-1338654562.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=5696 CPUtime=0 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) R 3967 3969 2131 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 331580971 5832704 380 33554432000 4194304 5964478 140733447316224 140734844771432 4348995 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 1424 381 167 433 0 646 0
[startup+0.022299 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=7316 CPUtime=0.01 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) R 3967 3969 2131 0 -1 4202496 855 0 0 0 1 0 0 0 20 0 1 0 331580971 7491584 807 33554432000 4194304 5964478 140733447316224 140734844771432 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 1829 809 219 433 0 1051 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7316
[startup+0.100257 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=14480 CPUtime=0.09 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) R 3967 3969 2131 0 -1 4202496 2948 0 0 0 9 0 0 0 20 0 1 0 331580971 14827520 2834 33554432000 4194304 5964478 140733447316224 140734844771432 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 3620 2835 482 433 0 2842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14480
[startup+0.300205 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=0.49 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12255 0 0 0 46 3 0 0 20 0 3 0 331580971 182583296 11563 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 11563 201 433 0 44140 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 178304
[startup+0.700178 s]
/proc/loadavg: 4.00 3.99 3.83 4/179 3969
/proc/meminfo: memFree=28349928/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=1.29 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12288 0 0 0 126 3 0 0 20 0 3 0 331580971 182583296 11596 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 11596 202 433 0 44140 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 178304
[startup+1.5003 s]
/proc/loadavg: 4.00 3.99 3.83 5/182 3972
/proc/meminfo: memFree=28302916/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=2.88 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12396 0 0 0 285 3 0 0 20 0 3 0 331580971 182583296 11704 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 11704 202 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=1.37 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 3826 0 0 0 136 1 0 0 20 0 3 0 331580981 182583296 11704 33554432000 4194304 5964478 140733447316224 139766057462216 5130994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=1.38 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 5019 0 0 0 136 2 0 0 20 0 3 0 331580981 182583296 11704 33554432000 4194304 5964478 140733447316224 139766046972216 4403343 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 178304
[startup+3.1003 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 3973
/proc/meminfo: memFree=28300544/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=6.08 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 12716 0 0 0 604 4 0 0 20 0 3 0 331580971 182583296 12024 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 12024 202 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=2.97 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 4048 0 0 0 295 2 0 0 20 0 3 0 331580981 182583296 12024 33554432000 4194304 5964478 140733447316224 139766057462296 5139166 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=2.98 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 5117 0 0 0 296 2 0 0 20 0 3 0 331580981 182583296 12024 33554432000 4194304 5964478 140733447316224 139766046972152 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 178304
[startup+6.30027 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 3973
/proc/meminfo: memFree=28290228/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=12.48 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 14194 0 0 0 1242 6 0 0 20 0 3 0 331580971 182583296 13502 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 13502 202 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=6.17 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 4683 0 0 0 614 3 0 0 20 0 3 0 331580981 182583296 13502 33554432000 4194304 5964478 140733447316224 139766057462216 5139118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=6.17 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 5960 0 0 0 615 2 0 0 20 0 3 0 331580981 182583296 13502 33554432000 4194304 5964478 140733447316224 139766046972024 4399932 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 178304
[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 3973
/proc/meminfo: memFree=28262708/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=178304 CPUtime=25.28 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 23426 0 0 0 2517 11 0 0 20 0 3 0 331580971 182583296 19371 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 44576 19371 203 433 0 44140 0
[pid=3969/tid=3971] ppid=3967 vsize=178304 CPUtime=12.57 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 9386 0 0 0 1252 5 0 0 20 0 3 0 331580981 182583296 19371 33554432000 4194304 5964478 140733447316224 139766057462296 5139166 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=178304 CPUtime=12.57 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 10489 0 0 0 1252 5 0 0 20 0 3 0 331580981 182583296 19371 33554432000 4194304 5964478 140733447316224 139766046972264 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 178304
[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.84 5/183 3973
/proc/meminfo: memFree=28209552/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=244564 CPUtime=50.87 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 40643 0 0 0 5065 22 0 0 20 0 3 0 331580971 250433536 30861 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 61141 30861 203 433 0 60705 0
[pid=3969/tid=3971] ppid=3967 vsize=244564 CPUtime=25.37 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 18821 0 0 0 2526 11 0 0 20 0 3 0 331580981 250433536 30861 33554432000 4194304 5964478 140733447316224 139766057461800 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=244564 CPUtime=25.37 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 18271 0 0 0 2526 11 0 0 20 0 3 0 331580981 250433536 30861 33554432000 4194304 5964478 140733447316224 139766046972216 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 244564
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.84 5/184 3976
/proc/meminfo: memFree=28135012/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=245648 CPUtime=102.06 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 59451 0 0 0 10164 42 0 0 20 0 3 0 331580971 251543552 49669 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 61412 49669 203 433 0 60976 0
[pid=3969/tid=3971] ppid=3967 vsize=245648 CPUtime=50.97 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 24855 0 0 0 5074 23 0 0 20 0 3 0 331580981 251543552 49669 33554432000 4194304 5964478 140733447316224 139766057461352 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=245648 CPUtime=50.97 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 31045 0 0 0 5078 19 0 0 20 0 3 0 331580981 251543552 49669 33554432000 4194304 5964478 140733447316224 139766046972216 4399870 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 245648
[startup+102.307 s]
/proc/loadavg: 4.05 4.00 3.85 5/183 3976
/proc/meminfo: memFree=28010512/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=443332 CPUtime=204.45 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 88993 0 0 0 20379 66 0 0 20 0 3 0 331580971 453971968 79553 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 110833 79553 203 433 0 110397 0
[pid=3969/tid=3971] ppid=3967 vsize=443332 CPUtime=102.18 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 30695 0 0 0 10188 30 0 0 20 0 3 0 331580981 453971968 79553 33554432000 4194304 5964478 140733447316224 139766057461800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=443332 CPUtime=102.17 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 54747 0 0 0 10178 39 0 0 20 0 3 0 331580981 453971968 79553 33554432000 4194304 5964478 140733447316224 139766046972216 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 443332
[startup+162.3 s]
/proc/loadavg: 4.02 4.00 3.85 5/183 3976
/proc/meminfo: memFree=27964536/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=442740 CPUtime=324.38 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 96264 0 0 0 32365 73 0 0 20 0 3 0 331580971 453365760 86600 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 110685 86600 203 433 0 110249 0
[pid=3969/tid=3971] ppid=3967 vsize=442740 CPUtime=162.17 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 34529 0 0 0 16181 36 0 0 20 0 3 0 331580981 453365760 86600 33554432000 4194304 5964478 140733447316224 139766057462296 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=442740 CPUtime=162.13 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 58184 0 0 0 16170 43 0 0 20 0 3 0 331580981 453365760 86600 33554432000 4194304 5964478 140733447316224 139766046971976 4400083 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.38
Current children cumulated vsize (KiB) 442740
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/183 3976
/proc/meminfo: memFree=27826740/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=508692 CPUtime=444.33 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 118973 0 0 0 44339 94 0 0 20 0 3 0 331580971 520900608 109325 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 127173 109325 203 433 0 126737 0
[pid=3969/tid=3971] ppid=3967 vsize=508692 CPUtime=222.15 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 38150 0 0 0 22173 42 0 0 20 0 3 0 331580981 520900608 109325 33554432000 4194304 5964478 140733447316224 139766057461560 4399932 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=508692 CPUtime=222.11 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 77272 0 0 0 22152 59 0 0 20 0 3 0 331580981 520900608 109325 33554432000 4194304 5964478 140733447316224 139766046972216 4400018 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 508692
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/183 3976
/proc/meminfo: memFree=27626508/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=705608 CPUtime=564.28 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 149965 0 0 0 56311 117 0 0 20 0 3 0 331580971 722542592 140289 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 176402 140289 203 433 0 175966 0
[pid=3969/tid=3971] ppid=3967 vsize=705608 CPUtime=282.14 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 42312 0 0 0 28167 47 0 0 20 0 3 0 331580981 722542592 140289 33554432000 4194304 5964478 140733447316224 139766057461752 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=705608 CPUtime=282.08 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 104102 0 0 0 28129 79 0 0 20 0 3 0 331580981 722542592 140289 33554432000 4194304 5964478 140733447316224 139766046972216 4400519 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.28
Current children cumulated vsize (KiB) 705608
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/184 3978
/proc/meminfo: memFree=27420716/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=773996 CPUtime=684.25 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 181791 0 0 0 68276 149 0 0 20 0 3 0 331580971 792571904 173109 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 193499 173109 203 433 0 193063 0
[pid=3969/tid=3971] ppid=3967 vsize=773996 CPUtime=342.12 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 52664 0 0 0 34150 62 0 0 20 0 3 0 331580981 792571904 173109 33554432000 4194304 5964478 140733447316224 139766057461800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=773996 CPUtime=342.08 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 125576 0 0 0 34110 98 0 0 20 0 3 0 331580981 792571904 173109 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.25
Current children cumulated vsize (KiB) 773996
[startup+402.3 s]
/proc/loadavg: 3.89 3.98 3.87 5/183 4019
/proc/meminfo: memFree=28140808/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=839956 CPUtime=804.23 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 202661 0 0 0 80255 168 0 0 20 0 3 0 331580971 860114944 193979 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 209989 193979 203 433 0 209553 0
[pid=3969/tid=3971] ppid=3967 vsize=839956 CPUtime=402.12 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 53485 0 0 0 40148 64 0 0 20 0 3 0 331580981 860114944 193979 33554432000 4194304 5964478 140733447316224 139766057461560 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=839956 CPUtime=402.08 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 145625 0 0 0 40090 118 0 0 20 0 3 0 331580981 860114944 193979 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.23
Current children cumulated vsize (KiB) 839956
[startup+462.3 s]
/proc/loadavg: 3.96 3.98 3.88 5/183 4019
/proc/meminfo: memFree=27856840/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1036696 CPUtime=924.18 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 229732 0 0 0 92222 196 0 0 20 0 3 0 331580971 1061576704 221076 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259174 221076 203 433 0 258738 0
[pid=3969/tid=3971] ppid=3967 vsize=1036696 CPUtime=462.12 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 58292 0 0 0 46141 71 0 0 20 0 3 0 331580981 1061576704 221076 33554432000 4194304 5964478 140733447316224 139766057461512 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1036696 CPUtime=462.05 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 167889 0 0 0 46065 140 0 0 20 0 3 0 331580981 1061576704 221076 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.18
Current children cumulated vsize (KiB) 1036696
[startup+522.3 s]
/proc/loadavg: 3.98 3.98 3.88 5/183 4019
/proc/meminfo: memFree=27701496/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1036900 CPUtime=1044.14 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 241413 0 0 0 104203 211 0 0 20 0 3 0 331580971 1061785600 232734 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259225 232734 203 433 0 258789 0
[pid=3969/tid=3971] ppid=3967 vsize=1036900 CPUtime=522.11 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 65398 0 0 0 52130 81 0 0 20 0 3 0 331580981 1061785600 232734 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1036900 CPUtime=522.02 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172464 0 0 0 52057 145 0 0 20 0 3 0 331580981 1061785600 232734 33554432000 4194304 5964478 140733447316224 139766046972216 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (KiB) 1036900
[startup+582.3 s]
/proc/loadavg: 3.99 3.98 3.89 5/183 4019
/proc/meminfo: memFree=27575912/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1037040 CPUtime=1164.08 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 246521 0 0 0 116187 221 0 0 20 0 3 0 331580971 1061928960 238227 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259260 238227 203 433 0 258824 0
[pid=3969/tid=3971] ppid=3967 vsize=1037040 CPUtime=582.09 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 70455 0 0 0 58117 92 0 0 20 0 3 0 331580981 1061928960 238227 33554432000 4194304 5964478 140733447316224 139766057461560 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1037040 CPUtime=582.01 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172515 0 0 0 58055 146 0 0 20 0 3 0 331580981 1061928960 238227 33554432000 4194304 5964478 140733447316224 139766046971976 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.08
Current children cumulated vsize (KiB) 1037040
[startup+642.3 s]
/proc/loadavg: 3.99 3.98 3.90 5/184 4023
/proc/meminfo: memFree=27490124/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1038204 CPUtime=1284.04 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 249145 0 0 0 128180 224 0 0 20 0 3 0 331580971 1063120896 240813 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259551 240813 203 433 0 259115 0
[pid=3969/tid=3971] ppid=3967 vsize=1038204 CPUtime=642.09 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 72955 0 0 0 64113 96 0 0 20 0 3 0 331580981 1063120896 240813 33554432000 4194304 5964478 140733447316224 139766057461560 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1038204 CPUtime=641.99 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172639 0 0 0 64052 147 0 0 20 0 3 0 331580981 1063120896 240813 33554432000 4194304 5964478 140733447316224 139766046971976 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.04
Current children cumulated vsize (KiB) 1038204
[startup+702.3 s]
/proc/loadavg: 3.99 3.98 3.90 5/183 4023
/proc/meminfo: memFree=27461464/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1038204 CPUtime=1404 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 249605 0 0 0 140176 224 0 0 20 0 3 0 331580971 1063120896 241261 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259551 241261 203 433 0 259115 0
[pid=3969/tid=3971] ppid=3967 vsize=1038204 CPUtime=702.08 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 73384 0 0 0 70111 97 0 0 20 0 3 0 331580981 1063120896 241261 33554432000 4194304 5964478 140733447316224 139766057461560 4400109 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1038204 CPUtime=701.97 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172670 0 0 0 70049 148 0 0 20 0 3 0 331580981 1063120896 241261 33554432000 4194304 5964478 140733447316224 139766046971976 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404
Current children cumulated vsize (KiB) 1038204
[startup+762.307 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27452004/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1038656 CPUtime=1523.99 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 250325 0 0 0 152173 226 0 0 20 0 3 0 331580971 1063583744 241962 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 259664 241962 203 433 0 259228 0
[pid=3969/tid=3971] ppid=3967 vsize=1038656 CPUtime=762.09 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 74006 0 0 0 76109 100 0 0 20 0 3 0 331580981 1063583744 241962 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1038656 CPUtime=761.97 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 172768 0 0 0 76048 149 0 0 20 0 3 0 331580981 1063583744 241962 33554432000 4194304 5964478 140733447316224 139766046971976 4403343 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1523.99
Current children cumulated vsize (KiB) 1038656
[startup+822.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27329224/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1169728 CPUtime=1643.94 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 277673 0 0 0 164144 250 0 0 20 0 3 0 331580971 1197801472 269381 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 292432 269381 203 433 0 291996 0
[pid=3969/tid=3971] ppid=3967 vsize=1169728 CPUtime=822.07 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 79506 0 0 0 82100 107 0 0 20 0 3 0 331580981 1197801472 269381 33554432000 4194304 5964478 140733447316224 139766057461800 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1169728 CPUtime=821.96 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 194616 0 0 0 82028 168 0 0 20 0 3 0 331580981 1197801472 269381 33554432000 4194304 5964478 140733447316224 139766046972216 4400069 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1643.94
Current children cumulated vsize (KiB) 1169728
[startup+882.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27223328/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1235440 CPUtime=1763.93 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 303891 0 0 0 176118 275 0 0 20 0 3 0 331580971 1265090560 295599 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 308860 295599 203 433 0 308424 0
[pid=3969/tid=3971] ppid=3967 vsize=1235440 CPUtime=882.07 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 85462 0 0 0 88089 118 0 0 20 0 3 0 331580981 1265090560 295599 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1235440 CPUtime=881.96 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 214878 0 0 0 88013 183 0 0 20 0 3 0 331580981 1265090560 295599 33554432000 4194304 5964478 140733447316224 139766046972216 4400067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1763.93
Current children cumulated vsize (KiB) 1235440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 4023
/proc/meminfo: memFree=27191024/32873844 swapFree=7380/7380
[pid=3969] ppid=3967 vsize=1302192 CPUtime=1800.13 cores=0,2,4,6
/proc/3969/stat : 3969 (pwbo2.02) S 3967 3969 2131 0 -1 4202496 311765 0 0 0 179732 281 0 0 20 0 3 0 331580971 1333444608 303586 33554432000 4194304 5964478 140733447316224 140733447315744 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 325548 303586 203 433 0 325112 0
[pid=3969/tid=3971] ppid=3967 vsize=1302192 CPUtime=900.18 cores=0,2,4,6
/proc/3969/task/3971/stat : 3971 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 86514 0 0 0 89898 120 0 0 20 0 3 0 331580981 1333444608 303586 33554432000 4194304 5964478 140733447316224 139766057461752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=1302192 CPUtime=900.07 cores=0,2,4,6
/proc/3969/task/3972/stat : 3972 (pwbo2.02) R 3967 3969 2131 0 -1 4202560 221700 0 0 0 89819 188 0 0 20 0 3 0 331580981 1333444608 303586 33554432000 4194304 5964478 140733447316224 139766046972216 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1302192
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.442
CPU time (s): 1800.41
CPU user time (s): 1797.28
CPU system time (s): 3.13452
CPU usage (%): 199.947
Max. virtual memory (cumulated for all children) (KiB): 1302192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.28
system time used= 3.13452
maximum resident set size= 1214360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311769
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= 1507
involuntary context switches= 2468
runsolver used 1.9427 second user time and 4.94425 second system time
The end