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-3500423-1307995011/watcher-3500423-1307995011 -o /var/tmp/evaluation-result-3500423-1307995011/solver-3500423-1307995011 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500423-1307995011.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.00 4.00 3.91 3/179 32009
/proc/meminfo: memFree=4322796/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=5988 CPUtime=0 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) R 32007 32009 30934 0 -1 4202496 592 0 0 0 0 0 0 0 25 0 1 0 911102065 6131712 544 33554432000 4194304 5714118 140735972981200 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/32009/statm: 1497 544 165 372 0 445 0
[startup+0.0759631 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 32009
/proc/meminfo: memFree=4322796/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=7044 CPUtime=0.07 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) R 32007 32009 30934 0 -1 4202496 1095 0 0 0 7 0 0 0 25 0 1 0 911102065 7213056 1047 33554432000 4194304 5714118 140735972981200 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/32009/statm: 1761 1047 415 372 0 709 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7044
[startup+0.100959 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 32009
/proc/meminfo: memFree=4322796/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=7440 CPUtime=0.09 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) R 32007 32009 30934 0 -1 4202496 1293 0 0 0 9 0 0 0 25 0 1 0 911102065 7618560 1245 33554432000 4194304 5714118 140735972981200 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/32009/statm: 1860 1245 505 372 0 808 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7440
[startup+0.300893 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 32009
/proc/meminfo: memFree=4322796/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=158240 CPUtime=0.38 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 11836 0 0 0 35 3 0 0 25 0 3 0 911102065 162037760 11032 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 39560 11032 180 372 0 39185 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 158240
[startup+0.700822 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 32009
/proc/meminfo: memFree=4322796/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=158540 CPUtime=1.17 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 12551 0 0 0 111 6 0 0 25 0 3 0 911102065 162344960 11615 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 39635 11615 181 372 0 39260 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 158540
[startup+1.50071 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32012
/proc/meminfo: memFree=4272960/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=158540 CPUtime=2.77 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 14156 0 0 0 265 12 0 0 25 0 3 0 911102065 162344960 13220 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 39635 13220 181 372 0 39260 0
[pid=32009/tid=32011] ppid=32007 vsize=158540 CPUtime=1.29 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 2386 0 0 0 122 7 0 0 19 0 3 0 911102084 162344960 13220 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=158540 CPUtime=1.27 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 9690 0 0 0 123 4 0 0 19 0 3 0 911102084 162344960 13220 33554432000 4194304 5714118 140735972981200 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 158540
[startup+3.10043 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32012
/proc/meminfo: memFree=4264652/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=158540 CPUtime=5.97 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 16745 0 0 0 578 19 0 0 25 0 3 0 911102065 162344960 15809 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 39635 15809 181 372 0 39260 0
[pid=32009/tid=32011] ppid=32007 vsize=158540 CPUtime=2.89 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 3374 0 0 0 277 12 0 0 23 0 3 0 911102084 162344960 15809 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=158540 CPUtime=2.87 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 11291 0 0 0 281 6 0 0 24 0 3 0 911102084 162344960 15809 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319896 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 158540
[startup+6.30086 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32012
/proc/meminfo: memFree=4245060/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=158540 CPUtime=12.37 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 22025 0 0 0 1201 36 0 0 25 0 3 0 911102065 162344960 21089 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 39635 21089 182 372 0 39260 0
[pid=32009/tid=32011] ppid=32007 vsize=158540 CPUtime=6.09 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 5080 0 0 0 584 25 0 0 25 0 3 0 911102084 162344960 21089 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=158540 CPUtime=6.07 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 14865 0 0 0 597 10 0 0 25 0 3 0 911102084 162344960 21089 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 158540
[startup+12.7007 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32012
/proc/meminfo: memFree=4183656/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=224292 CPUtime=25.16 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 36578 0 0 0 2450 66 0 0 25 0 3 0 911102065 229675008 35642 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 56073 35642 182 372 0 55698 0
[pid=32009/tid=32011] ppid=32007 vsize=224292 CPUtime=12.49 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 9956 0 0 0 1206 43 0 0 21 0 3 0 911102084 229675008 35642 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=224292 CPUtime=12.47 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 24542 0 0 0 1225 22 0 0 25 0 3 0 911102084 229675008 35642 33554432000 4194304 5714118 140735972981200 18446744073709551615 4323251 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 224292
[startup+25.5005 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32013
/proc/meminfo: memFree=4076668/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=355472 CPUtime=50.75 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 62991 0 0 0 4963 112 0 0 25 0 3 0 911102065 364003328 62055 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 88868 62055 182 372 0 88493 0
[pid=32009/tid=32011] ppid=32007 vsize=355472 CPUtime=25.28 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 19286 0 0 0 2458 70 0 0 25 0 3 0 911102084 364003328 62055 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=355472 CPUtime=25.27 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 41625 0 0 0 2486 41 0 0 25 0 3 0 911102084 364003328 62055 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 355472
[startup+51.1009 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32013
/proc/meminfo: memFree=3928128/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=487160 CPUtime=101.94 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 99916 0 0 0 10012 182 0 0 25 0 3 0 911102065 498851840 98980 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 121790 98980 182 372 0 121415 0
[pid=32009/tid=32011] ppid=32007 vsize=487160 CPUtime=50.88 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 24781 0 0 0 4979 109 0 0 25 0 3 0 911102084 498851840 98980 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=487160 CPUtime=50.86 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 73055 0 0 0 5013 73 0 0 25 0 3 0 911102084 498851840 98980 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 487160
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32015
/proc/meminfo: memFree=3691116/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=749664 CPUtime=204.34 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 158498 0 0 0 20136 298 0 0 25 0 3 0 911102065 767655936 157562 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 187416 157562 182 372 0 187041 0
[pid=32009/tid=32011] ppid=32007 vsize=749664 CPUtime=102.08 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 35866 0 0 0 10041 167 0 0 25 0 3 0 911102084 767655936 157562 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=749664 CPUtime=102.06 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 120552 0 0 0 10075 131 0 0 25 0 3 0 911102084 767655936 157562 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.34
Current children cumulated vsize (KiB) 749664
[startup+162.3 s]
/proc/loadavg: 4.06 4.02 3.92 5/182 32016
/proc/meminfo: memFree=3412964/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=947068 CPUtime=324.32 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 217734 0 0 0 32011 421 0 0 25 0 3 0 911102065 969797632 216798 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 236767 216798 182 372 0 236392 0
[pid=32009/tid=32011] ppid=32007 vsize=947068 CPUtime=162.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 46501 0 0 0 15975 232 0 0 25 0 3 0 911102084 969797632 216798 33554432000 4194304 5714118 140735972981200 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=947068 CPUtime=162.05 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 169153 0 0 0 16016 189 0 0 25 0 3 0 911102084 969797632 216798 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.32
Current children cumulated vsize (KiB) 947068
[startup+222.301 s]
/proc/loadavg: 4.02 4.01 3.92 5/182 32018
/proc/meminfo: memFree=3183640/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=1144860 CPUtime=444.33 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 272381 0 0 0 43889 544 0 0 25 0 3 0 911102065 1172336640 271410 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 286215 271410 182 372 0 285840 0
[pid=32009/tid=32011] ppid=32007 vsize=1144860 CPUtime=222.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 48783 0 0 0 21919 288 0 0 25 0 3 0 911102084 1172336640 271410 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=1144860 CPUtime=222.05 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 221518 0 0 0 21950 255 0 0 25 0 3 0 911102084 1172336640 271410 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 1144860
[startup+282.301 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 32069
/proc/meminfo: memFree=3101872/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=1406680 CPUtime=564.31 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 342255 0 0 0 55760 671 0 0 25 0 3 0 911102065 1440440320 340280 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 351670 340280 182 372 0 351295 0
[pid=32009/tid=32011] ppid=32007 vsize=1406680 CPUtime=282.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63539 0 0 0 27848 359 0 0 25 0 3 0 911102084 1440440320 340280 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=1406680 CPUtime=282.04 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 276636 0 0 0 27892 312 0 0 25 0 3 0 911102084 1440440320 340280 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.31
Current children cumulated vsize (KiB) 1406680
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32071
/proc/meminfo: memFree=2861300/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=1603444 CPUtime=684.32 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 387297 0 0 0 67659 773 0 0 25 0 3 0 911102065 1641926656 385322 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 400861 385322 182 372 0 400486 0
[pid=32009/tid=32011] ppid=32007 vsize=1603444 CPUtime=342.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63551 0 0 0 33787 420 0 0 25 0 3 0 911102084 1641926656 385322 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=1603444 CPUtime=342.04 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 321666 0 0 0 33852 352 0 0 25 0 3 0 911102084 1641926656 385322 33554432000 4194304 5714118 140735972981200 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (KiB) 1603444
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32073
/proc/meminfo: memFree=2621924/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=1801536 CPUtime=804.32 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 435040 0 0 0 79538 894 0 0 25 0 3 0 911102065 1844772864 433065 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 450384 433065 182 372 0 450009 0
[pid=32009/tid=32011] ppid=32007 vsize=1801536 CPUtime=402.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63570 0 0 0 39731 476 0 0 25 0 3 0 911102084 1844772864 433065 33554432000 4194304 5714118 140735972981200 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=1801536 CPUtime=402.04 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 369390 0 0 0 39787 417 0 0 25 0 3 0 911102084 1844772864 433065 33554432000 4194304 5714118 140735972981200 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 1801536
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32077
/proc/meminfo: memFree=2423480/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=1932608 CPUtime=924.32 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 473024 0 0 0 91429 1003 0 0 25 0 3 0 911102065 1978990592 471049 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 483152 471049 182 372 0 482777 0
[pid=32009/tid=32011] ppid=32007 vsize=1932608 CPUtime=462.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63590 0 0 0 45677 530 0 0 25 0 3 0 911102084 1978990592 471049 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=1932608 CPUtime=462.05 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 407354 0 0 0 45732 473 0 0 25 0 3 0 911102084 1978990592 471049 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 1932608
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32079
/proc/meminfo: memFree=2261060/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2063816 CPUtime=1044.32 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 503383 0 0 0 103338 1094 0 0 25 0 3 0 911102065 2113347584 501408 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 515954 501408 182 372 0 515579 0
[pid=32009/tid=32011] ppid=32007 vsize=2063816 CPUtime=522.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63600 0 0 0 51632 575 0 0 25 0 3 0 911102084 2113347584 501408 33554432000 4194304 5714118 140735972981200 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2063816 CPUtime=522.05 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 437703 0 0 0 51686 519 0 0 25 0 3 0 911102084 2113347584 501408 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 2063816
[startup+582.301 s]
/proc/loadavg: 4.06 4.01 3.93 5/182 32080
/proc/meminfo: memFree=2090416/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2195304 CPUtime=1164.33 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 535942 0 0 0 115231 1202 0 0 25 0 3 0 911102065 2247991296 533967 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 548826 533967 182 372 0 548451 0
[pid=32009/tid=32011] ppid=32007 vsize=2195304 CPUtime=582.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63627 0 0 0 57570 637 0 0 25 0 3 0 911102084 2247991296 533967 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2195304 CPUtime=582.05 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 470235 0 0 0 57642 563 0 0 25 0 3 0 911102084 2247991296 533967 33554432000 4194304 5714118 140735972981200 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.33
Current children cumulated vsize (KiB) 2195304
[startup+642.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 32082
/proc/meminfo: memFree=1920996/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2326572 CPUtime=1284.34 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 568862 0 0 0 127138 1296 0 0 25 0 3 0 911102065 2382409728 566887 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 581643 566887 182 372 0 581268 0
[pid=32009/tid=32011] ppid=32007 vsize=2326572 CPUtime=642.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63676 0 0 0 63525 682 0 0 25 0 3 0 911102084 2382409728 566887 33554432000 4194304 5714118 140735972981200 18446744073709551615 4311828 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2326572 CPUtime=642.06 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 503106 0 0 0 63593 613 0 0 25 0 3 0 911102084 2382409728 566887 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.34
Current children cumulated vsize (KiB) 2326572
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 32084
/proc/meminfo: memFree=1789352/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2392308 CPUtime=1404.33 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 592655 0 0 0 139027 1406 0 0 25 0 3 0 911102065 2449723392 590680 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 598077 590680 182 372 0 597702 0
[pid=32009/tid=32011] ppid=32007 vsize=2392308 CPUtime=702.08 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63689 0 0 0 69453 755 0 0 25 0 3 0 911102084 2449723392 590680 33554432000 4194304 5714118 140735972981200 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2392308 CPUtime=702.06 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 526886 0 0 0 69555 651 0 0 25 0 3 0 911102084 2449723392 590680 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.33
Current children cumulated vsize (KiB) 2392308
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 32085
/proc/meminfo: memFree=1673536/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2523744 CPUtime=1524.35 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 611889 0 0 0 150927 1508 0 0 25 0 3 0 911102065 2584313856 609914 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 630936 609914 182 372 0 630561 0
[pid=32009/tid=32011] ppid=32007 vsize=2523744 CPUtime=762.08 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63689 0 0 0 75391 817 0 0 25 0 3 0 911102084 2584313856 609914 33554432000 4194304 5714118 140735972981200 18446744073709551615 4311863 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2523744 CPUtime=762.06 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 546120 0 0 0 75516 690 0 0 25 0 3 0 911102084 2584313856 609914 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.35
Current children cumulated vsize (KiB) 2523744
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 32087
/proc/meminfo: memFree=1642288/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2523744 CPUtime=1644.34 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 611891 0 0 0 162851 1583 0 0 25 0 3 0 911102065 2584313856 609916 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 630936 609916 182 372 0 630561 0
[pid=32009/tid=32011] ppid=32007 vsize=2523744 CPUtime=822.07 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 63689 0 0 0 81334 873 0 0 25 0 3 0 911102084 2584313856 609916 33554432000 4194304 5714118 140735972981200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2523744 CPUtime=822.06 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 546122 0 0 0 81497 709 0 0 25 0 3 0 911102084 2584313856 609916 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.34
Current children cumulated vsize (KiB) 2523744
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 32088
/proc/meminfo: memFree=1570416/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2589280 CPUtime=1764.34 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 621292 0 0 0 174763 1671 0 0 25 0 3 0 911102065 2651422720 619317 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 647320 619317 182 372 0 646945 0
[pid=32009/tid=32011] ppid=32007 vsize=2589280 CPUtime=882.08 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 73059 0 0 0 87256 952 0 0 25 0 3 0 911102084 2651422720 619317 33554432000 4194304 5714118 140735972981200 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2589280 CPUtime=882.05 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 546153 0 0 0 87487 718 0 0 25 0 3 0 911102084 2651422720 619317 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.34
Current children cumulated vsize (KiB) 2589280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.201 s]
/proc/loadavg: 4.08 4.02 3.93 5/182 32089
/proc/meminfo: memFree=1556160/32951124 swapFree=67052292/67111528
[pid=32009] ppid=32007 vsize=2589620 CPUtime=1800.15 cores=1,3,5,7
/proc/32009/stat : 32009 (pwbo1.1) S 32007 32009 30934 0 -1 4202496 622211 0 0 0 178326 1689 0 0 25 0 3 0 911102065 2651770880 620236 33554432000 4194304 5714118 140735972981200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32009/statm: 647405 620236 182 372 0 647030 0
[pid=32009/tid=32011] ppid=32007 vsize=2589620 CPUtime=899.99 cores=1,3,5,7
/proc/32009/task/32011/stat : 32011 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 73910 0 0 0 89031 968 0 0 25 0 3 0 911102084 2651770880 620236 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=32009/tid=32012] ppid=32007 vsize=2589620 CPUtime=899.97 cores=1,3,5,7
/proc/32009/task/32012/stat : 32012 (pwbo1.1) R 32007 32009 30934 0 -1 4202560 546221 0 0 0 89276 721 0 0 25 0 3 0 911102084 2651770880 620236 33554432000 4194304 5714118 140735972981200 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 2589620
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.311
CPU time (s): 1800.27
CPU user time (s): 1783.28
CPU system time (s): 16.9924
CPU usage (%): 199.961
Max. virtual memory (cumulated for all children) (KiB): 2589620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.28
system time used= 16.9924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622217
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= 1207
involuntary context switches= 11046
runsolver used 1.48677 second user time and 3.38549 second system time
The end