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-3726378-1338667536/watcher-3726378-1338667536 -o /tmp/evaluation-result-3726378-1338667536/solver-3726378-1338667536 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726378-1338667536.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 23761
/proc/meminfo: memFree=28061804/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=32996 CPUtime=0 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) R 23757 23761 23718 0 -1 4202496 670 0 0 0 0 0 0 0 20 0 1 0 332820667 33787904 623 33554432000 4194304 5964478 140734680559600 140736909500568 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 8249 625 169 433 0 921 0
[startup+0.0593549 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 23761
/proc/meminfo: memFree=28061804/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=44100 CPUtime=0.04 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) R 23757 23761 23718 0 -1 4202496 3236 0 0 0 4 0 0 0 20 0 1 0 332820667 45158400 3156 33554432000 4194304 5964478 140734680559600 140734680557688 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 11025 3156 320 433 0 3697 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 44100
[startup+0.100322 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 23761
/proc/meminfo: memFree=28061804/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=48436 CPUtime=0.09 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) R 23757 23761 23718 0 -1 4202496 4686 0 0 0 8 1 0 0 20 0 1 0 332820667 49598464 4557 33554432000 4194304 5964478 140734680559600 140734680557688 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 12109 4558 431 433 0 4781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48436
[startup+0.300274 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 23761
/proc/meminfo: memFree=28061804/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=69468 CPUtime=0.28 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) R 23757 23761 23718 0 -1 4202496 10501 0 0 0 27 1 0 0 20 0 1 0 332820667 71135232 10105 33554432000 4194304 5964478 140734680559600 140734680557688 5136420 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 17367 10105 959 433 0 10039 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 69468
[startup+0.700266 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 23761
/proc/meminfo: memFree=28061804/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=114876 CPUtime=0.69 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) R 23757 23761 23718 0 -1 4202496 22336 0 0 0 66 3 0 0 20 0 1 0 332820667 117633024 21411 33554432000 4194304 5964478 140734680559600 140734680557688 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 28719 21412 1937 433 0 21391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114876
[startup+1.50027 s]
/proc/loadavg: 1.84 1.97 1.99 4/177 23763
/proc/meminfo: memFree=27835012/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=208076 CPUtime=1.48 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) R 23757 23761 23718 0 -1 4202496 44387 0 0 0 141 7 0 0 20 0 1 0 332820667 213069824 43423 33554432000 4194304 5964478 140734680559600 140734680558232 4352418 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 52019 43425 3589 433 0 44691 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 208076
[startup+3.10028 s]
/proc/loadavg: 1.84 1.97 1.99 4/177 23763
/proc/meminfo: memFree=27533148/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=323640 CPUtime=3.09 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) R 23757 23761 23718 0 -1 4202496 72441 0 0 0 296 13 0 0 20 0 1 0 332820667 331407360 74483 33554432000 4194304 5964478 140734680559600 140734680557976 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 80910 74483 6427 433 0 73582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 323640
[startup+6.30039 s]
/proc/loadavg: 1.93 1.98 1.99 6/181 23767
/proc/meminfo: memFree=26654856/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=824136 CPUtime=9.02 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 164981 0 0 0 864 38 0 0 20 0 3 0 332820667 843915264 178192 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 206034 178192 196 433 0 205598 0
[pid=23761/tid=23766] ppid=23757 vsize=824136 CPUtime=2.77 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 62777 0 0 0 260 17 0 0 20 0 3 0 332821014 843915264 178192 33554432000 4194304 5964478 140734680559600 139843720399208 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=824136 CPUtime=2.73 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 24219 0 0 0 267 6 0 0 20 0 3 0 332821014 843915264 178192 33554432000 4194304 5964478 140734680559600 139843709909224 4399946 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 824136
[startup+12.7003 s]
/proc/loadavg: 2.10 2.02 2.01 6/181 23767
/proc/meminfo: memFree=26520200/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=889672 CPUtime=21.84 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 166475 0 0 0 2144 40 0 0 20 0 3 0 332820667 911024128 190928 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 222418 190928 198 433 0 221982 0
[pid=23761/tid=23766] ppid=23757 vsize=889672 CPUtime=9.16 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 63826 0 0 0 898 18 0 0 20 0 3 0 332821014 911024128 190928 33554432000 4194304 5964478 140734680559600 139843720399192 4392851 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=889672 CPUtime=9.12 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 24664 0 0 0 905 7 0 0 20 0 3 0 332821014 911024128 190928 33554432000 4194304 5964478 140734680559600 139843709909304 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 21.84
Current children cumulated vsize (KiB) 889672
[startup+25.5003 s]
/proc/loadavg: 2.52 2.11 2.04 6/181 23767
/proc/meminfo: memFree=26540996/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=889672 CPUtime=47.41 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 169687 0 0 0 4700 41 0 0 20 0 3 0 332820667 911024128 186219 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 222418 186219 198 433 0 221982 0
[pid=23761/tid=23766] ppid=23757 vsize=889672 CPUtime=21.92 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 66901 0 0 0 2173 19 0 0 20 0 3 0 332821014 911024128 186219 33554432000 4194304 5964478 140734680559600 139843720399688 4390859 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=889672 CPUtime=21.88 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 24801 0 0 0 2181 7 0 0 20 0 3 0 332821014 911024128 186219 33554432000 4194304 5964478 140734680559600 139843709909304 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 47.41
Current children cumulated vsize (KiB) 889672
[startup+51.1004 s]
/proc/loadavg: 3.02 2.26 2.09 6/181 23768
/proc/meminfo: memFree=26478720/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=98.6 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 176429 0 0 0 9816 44 0 0 20 0 3 0 332820667 978132992 198170 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 198170 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=47.44 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 73260 0 0 0 4722 22 0 0 20 0 3 0 332821014 978132992 198170 33554432000 4194304 5964478 140734680559600 139843720399144 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=47.41 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 25184 0 0 0 4734 7 0 0 20 0 3 0 332821014 978132992 198170 33554432000 4194304 5964478 140734680559600 139843709908824 4389110 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (KiB) 955208
[startup+102.3 s]
/proc/loadavg: 3.57 2.53 2.19 6/181 23768
/proc/meminfo: memFree=26466672/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=200.97 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 187485 0 0 0 20048 49 0 0 20 0 3 0 332820667 978132992 202430 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 202430 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=98.51 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 83585 0 0 0 9824 27 0 0 20 0 3 0 332821014 978132992 202430 33554432000 4194304 5964478 140734680559600 139843720399192 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=98.47 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 25915 0 0 0 9837 10 0 0 20 0 3 0 332821014 978132992 202430 33554432000 4194304 5964478 140734680559600 139843709909304 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 200.97
Current children cumulated vsize (KiB) 955208
[startup+162.3 s]
/proc/loadavg: 3.84 2.80 2.30 6/180 23768
/proc/meminfo: memFree=26404216/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=320.97 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 188188 0 0 0 32046 51 0 0 20 0 3 0 332820667 978132992 204146 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 204146 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=158.36 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 83589 0 0 0 15808 28 0 0 20 0 3 0 332821014 978132992 204146 33554432000 4194304 5964478 140734680559600 139843720399192 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=158.32 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 26614 0 0 0 15820 12 0 0 20 0 3 0 332821014 978132992 204146 33554432000 4194304 5964478 140734680559600 139843709909304 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 320.97
Current children cumulated vsize (KiB) 955208
[startup+222.3 s]
/proc/loadavg: 3.94 3.01 2.40 6/181 23769
/proc/meminfo: memFree=26393688/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=440.93 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 189400 0 0 0 44040 53 0 0 20 0 3 0 332820667 978132992 205355 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 205355 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=218.2 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 83593 0 0 0 21791 29 0 0 20 0 3 0 332821014 978132992 205355 33554432000 4194304 5964478 140734680559600 139843720399192 4389110 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=218.16 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 27822 0 0 0 21801 15 0 0 20 0 3 0 332821014 978132992 205355 33554432000 4194304 5964478 140734680559600 139843709909304 4392863 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 440.93
Current children cumulated vsize (KiB) 955208
[startup+282.307 s]
/proc/loadavg: 3.98 3.19 2.50 6/182 23772
/proc/meminfo: memFree=26401284/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=889672 CPUtime=560.91 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 190006 0 0 0 56037 54 0 0 20 0 3 0 332820667 911024128 196083 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 222418 196083 198 433 0 221982 0
[pid=23761/tid=23766] ppid=23757 vsize=889672 CPUtime=278.04 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 83600 0 0 0 27774 30 0 0 20 0 3 0 332821014 911024128 196083 33554432000 4194304 5964478 140734680559600 139843720399688 4403698 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=889672 CPUtime=278.02 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 28421 0 0 0 27784 18 0 0 20 0 3 0 332821014 911024128 196083 33554432000 4194304 5964478 140734680559600 139843709909304 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 560.91
Current children cumulated vsize (KiB) 889672
[startup+342.3 s]
/proc/loadavg: 3.99 3.33 2.59 6/180 23772
/proc/meminfo: memFree=26345744/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=680.87 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 195442 0 0 0 68029 58 0 0 20 0 3 0 332820667 978132992 209421 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 209421 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=337.88 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 88403 0 0 0 33755 33 0 0 20 0 3 0 332821014 978132992 209421 33554432000 4194304 5964478 140734680559600 139843720399384 4392773 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=337.85 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 29054 0 0 0 33765 20 0 0 20 0 3 0 332821014 978132992 209421 33554432000 4194304 5964478 140734680559600 139843709909208 4382019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 680.87
Current children cumulated vsize (KiB) 955208
[startup+402.3 s]
/proc/loadavg: 3.99 3.45 2.67 6/181 23773
/proc/meminfo: memFree=26331996/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=800.84 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 202683 0 0 0 80022 62 0 0 20 0 3 0 332820667 978132992 211719 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 211719 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=397.71 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 94763 0 0 0 39735 36 0 0 20 0 3 0 332821014 978132992 211719 33554432000 4194304 5964478 140734680559600 139843720399192 4403677 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=397.7 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 29935 0 0 0 39747 23 0 0 20 0 3 0 332821014 978132992 211719 33554432000 4194304 5964478 140734680559600 139843709909304 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 800.84
Current children cumulated vsize (KiB) 955208
[startup+462.3 s]
/proc/loadavg: 3.99 3.55 2.75 6/181 23773
/proc/meminfo: memFree=26338572/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=920.83 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 203645 0 0 0 92018 65 0 0 20 0 3 0 332820667 978132992 212777 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 212777 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=457.56 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 94763 0 0 0 45720 36 0 0 20 0 3 0 332821014 978132992 212777 33554432000 4194304 5964478 140734680559600 139843720399192 4392863 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=457.55 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 30897 0 0 0 45730 25 0 0 20 0 3 0 332821014 978132992 212777 33554432000 4194304 5964478 140734680559600 139843709909304 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 920.83
Current children cumulated vsize (KiB) 955208
[startup+522.3 s]
/proc/loadavg: 3.99 3.63 2.83 6/181 23773
/proc/meminfo: memFree=26320172/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=1040.8 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 205803 0 0 0 104013 67 0 0 20 0 3 0 332820667 978132992 215679 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 215679 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=517.41 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 94764 0 0 0 51704 37 0 0 20 0 3 0 332821014 978132992 215679 33554432000 4194304 5964478 140734680559600 139843720399192 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=517.39 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 33054 0 0 0 51710 29 0 0 20 0 3 0 332821014 978132992 215679 33554432000 4194304 5964478 140734680559600 139843709909304 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1040.8
Current children cumulated vsize (KiB) 955208
[startup+582.3 s]
/proc/loadavg: 3.99 3.69 2.90 6/181 23773
/proc/meminfo: memFree=26296688/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=1160.78 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 206774 0 0 0 116009 69 0 0 20 0 3 0 332820667 978132992 216650 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 216650 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=577.25 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 94764 0 0 0 57687 38 0 0 20 0 3 0 332821014 978132992 216650 33554432000 4194304 5964478 140734680559600 139843720398752 4392707 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=577.24 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 34025 0 0 0 57692 32 0 0 20 0 3 0 332821014 978132992 216650 33554432000 4194304 5964478 140734680559600 139843709909304 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1160.78
Current children cumulated vsize (KiB) 955208
[startup+642.3 s]
/proc/loadavg: 3.99 3.75 2.96 6/181 23773
/proc/meminfo: memFree=26285508/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=1280.77 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 207565 0 0 0 128006 71 0 0 20 0 3 0 332820667 978132992 217441 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 217441 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=637.1 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 94764 0 0 0 63671 39 0 0 20 0 3 0 332821014 978132992 217441 33554432000 4194304 5964478 140734680559600 139843720398752 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=637.09 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 34816 0 0 0 63674 35 0 0 20 0 3 0 332821014 978132992 217441 33554432000 4194304 5964478 140734680559600 139843709909304 4389147 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1280.77
Current children cumulated vsize (KiB) 955208
[startup+702.3 s]
/proc/loadavg: 3.99 3.79 3.03 6/181 23774
/proc/meminfo: memFree=26265636/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=1400.75 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 208691 0 0 0 140003 72 0 0 20 0 3 0 332820667 978132992 221633 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 221633 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=696.95 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 95098 0 0 0 69655 40 0 0 20 0 3 0 332821014 978132992 221633 33554432000 4194304 5964478 140734680559600 139843720399192 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=696.93 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 35608 0 0 0 69656 37 0 0 20 0 3 0 332821014 978132992 221633 33554432000 4194304 5964478 140734680559600 139843709909304 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1400.75
Current children cumulated vsize (KiB) 955208
[startup+762.3 s]
/proc/loadavg: 3.99 3.83 3.09 6/181 23774
/proc/meminfo: memFree=26258476/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=1520.73 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 209741 0 0 0 151998 75 0 0 20 0 3 0 332820667 978132992 222683 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 222683 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=756.79 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 95098 0 0 0 75638 41 0 0 20 0 3 0 332821014 978132992 222683 33554432000 4194304 5964478 140734680559600 139843720399192 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=756.78 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 36658 0 0 0 75638 40 0 0 20 0 3 0 332821014 978132992 222683 33554432000 4194304 5964478 140734680559600 139843709909304 4403332 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1520.73
Current children cumulated vsize (KiB) 955208
[startup+822.3 s]
/proc/loadavg: 4.15 3.89 3.15 6/181 23774
/proc/meminfo: memFree=26236900/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=955208 CPUtime=1640.72 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 210747 0 0 0 163996 76 0 0 20 0 3 0 332820667 978132992 223689 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 238802 223689 198 433 0 238366 0
[pid=23761/tid=23766] ppid=23757 vsize=955208 CPUtime=816.65 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 95098 0 0 0 81623 42 0 0 20 0 3 0 332821014 978132992 223689 33554432000 4194304 5964478 140734680559600 139843720399192 4403301 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=955208 CPUtime=816.63 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 37664 0 0 0 81620 43 0 0 20 0 3 0 332821014 978132992 223689 33554432000 4194304 5964478 140734680559600 139843709908824 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1640.72
Current children cumulated vsize (KiB) 955208
[startup+882.3 s]
/proc/loadavg: 4.06 3.91 3.20 6/182 23777
/proc/meminfo: memFree=26231528/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=1020744 CPUtime=1760.7 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 211416 0 0 0 175992 78 0 0 20 0 3 0 332820667 1045241856 224358 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 255186 224358 198 433 0 254750 0
[pid=23761/tid=23766] ppid=23757 vsize=1020744 CPUtime=876.49 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 95098 0 0 0 87606 43 0 0 20 0 3 0 332821014 1045241856 224358 33554432000 4194304 5964478 140734680559600 139843720399192 4403717 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=1020744 CPUtime=876.47 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 38333 0 0 0 87602 45 0 0 20 0 3 0 332821014 1045241856 224358 33554432000 4194304 5964478 140734680559600 139843709909304 4399839 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1760.7
Current children cumulated vsize (KiB) 1020744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902 s]
/proc/loadavg: 4.04 3.91 3.22 3/179 23778
/proc/meminfo: memFree=27162548/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=1020744 CPUtime=1800.1 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 211606 0 0 0 179932 78 0 0 20 0 3 0 332820667 1045241856 224548 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 255186 224548 198 433 0 254750 0
[pid=23761/tid=23766] ppid=23757 vsize=1020744 CPUtime=896.14 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 95098 0 0 0 89571 43 0 0 20 0 3 0 332821014 1045241856 224548 33554432000 4194304 5964478 140734680559600 139843720399192 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=1020744 CPUtime=896.13 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 38523 0 0 0 89567 46 0 0 20 0 3 0 332821014 1045241856 224548 33554432000 4194304 5964478 140734680559600 139843709909304 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1020744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+902 s]
/proc/loadavg: 4.04 3.91 3.22 3/179 23778
/proc/meminfo: memFree=27162548/32873844 swapFree=7128/7128
[pid=23761] ppid=23757 vsize=1020744 CPUtime=1800.1 cores=1,3,5,7
/proc/23761/stat : 23761 (pwbo2.02) S 23757 23761 23718 0 -1 4202496 211606 0 0 0 179932 78 0 0 20 0 3 0 332820667 1045241856 224548 33554432000 4194304 5964478 140734680559600 140734680559120 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23761/statm: 255186 224548 198 433 0 254750 0
[pid=23761/tid=23766] ppid=23757 vsize=1020744 CPUtime=896.14 cores=1,3,5,7
/proc/23761/task/23766/stat : 23766 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 95098 0 0 0 89571 43 0 0 20 0 3 0 332821014 1045241856 224548 33554432000 4194304 5964478 140734680559600 139843720399192 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23761/tid=23767] ppid=23757 vsize=1020744 CPUtime=896.13 cores=1,3,5,7
/proc/23761/task/23767/stat : 23767 (pwbo2.02) R 23757 23761 23718 0 -1 4202560 38523 0 0 0 89567 46 0 0 20 0 3 0 332821014 1045241856 224548 33554432000 4194304 5964478 140734680559600 139843709909304 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1020744
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23761 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=720161
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=72836
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 902.025
CPU time (s): 1800.1
CPU user time (s): 1799.32
CPU system time (s): 0.78
CPU usage (%): 199.562
Max. virtual memory (cumulated for all children) (KiB): 1020744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.07284
maximum resident set size= 898196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211607
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= 8202
involuntary context switches= 1937
runsolver used 1.89071 second user time and 5.44517 second system time
The end