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-3500482-1307995980/watcher-3500482-1307995980 -o /var/tmp/evaluation-result-3500482-1307995980/solver-3500482-1307995980 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500482-1307995980.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.89 3.88 3.87 3/179 12798
/proc/meminfo: memFree=8116008/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=10128 CPUtime=0 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) R 12796 12798 11319 0 -1 4202496 451 0 0 0 0 0 0 0 25 0 1 0 989828772 10371072 403 33554432000 4194304 5714118 140735583167216 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12798/statm: 2532 404 168 372 0 283 0
[startup+0.0144549 s]
/proc/loadavg: 3.89 3.88 3.87 3/179 12798
/proc/meminfo: memFree=8116008/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=11580 CPUtime=0.01 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) R 12796 12798 11319 0 -1 4202496 837 0 0 0 1 0 0 0 25 0 1 0 989828772 11857920 789 33554432000 4194304 5714118 140735583167216 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12798/statm: 2895 790 196 372 0 646 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11580
[startup+0.100445 s]
/proc/loadavg: 3.89 3.88 3.87 3/179 12798
/proc/meminfo: memFree=8116008/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=25616 CPUtime=0.09 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) R 12796 12798 11319 0 -1 4202496 4592 0 0 0 9 0 0 0 25 0 1 0 989828772 26230784 4544 33554432000 4194304 5714118 140735583167216 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12798/statm: 6404 4545 468 372 0 4155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25616
[startup+0.30041 s]
/proc/loadavg: 3.89 3.88 3.87 3/179 12798
/proc/meminfo: memFree=8116008/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=57724 CPUtime=0.29 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) R 12796 12798 11319 0 -1 4202496 13113 0 0 0 28 1 0 0 25 0 1 0 989828772 59109376 13065 33554432000 4194304 5714118 140735583167216 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12798/statm: 14431 13065 1075 372 0 12182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57724
[startup+0.70034 s]
/proc/loadavg: 3.89 3.88 3.87 3/179 12798
/proc/meminfo: memFree=8116008/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=239740 CPUtime=0.77 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 34824 0 0 0 73 4 0 0 25 0 3 0 989828772 245493760 32867 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59935 32870 178 372 0 59560 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 239740
[startup+1.5002 s]
/proc/loadavg: 3.89 3.88 3.87 5/182 12801
/proc/meminfo: memFree=7959776/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=2.37 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 41387 0 0 0 231 6 0 0 25 0 3 0 989828772 244322304 39112 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 39112 180 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=0.87 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 13246 0 0 0 85 2 0 0 19 0 3 0 989828834 244322304 39112 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=0.87 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 802 0 0 0 87 0 0 0 19 0 3 0 989828834 244322304 39112 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 238596
[startup+3.10092 s]
/proc/loadavg: 3.89 3.88 3.87 5/182 12801
/proc/meminfo: memFree=7959404/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=5.57 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 41407 0 0 0 551 6 0 0 25 0 3 0 989828772 244322304 39132 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 39132 181 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=2.47 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 13247 0 0 0 245 2 0 0 22 0 3 0 989828834 244322304 39132 33554432000 4194304 5714118 140735583167216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=2.47 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 821 0 0 0 246 1 0 0 22 0 3 0 989828834 244322304 39132 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322808 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 238596
[startup+6.30042 s]
/proc/loadavg: 3.89 3.89 3.87 5/182 12801
/proc/meminfo: memFree=7955660/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=11.97 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 41447 0 0 0 1190 7 0 0 25 0 3 0 989828772 244322304 39172 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 39172 181 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=5.67 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 13247 0 0 0 565 2 0 0 25 0 3 0 989828834 244322304 39172 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=5.67 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 861 0 0 0 566 1 0 0 25 0 3 0 989828834 244322304 39172 33554432000 4194304 5714118 140735583167216 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 238596
[startup+12.7003 s]
/proc/loadavg: 3.90 3.89 3.87 5/182 12802
/proc/meminfo: memFree=7951576/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=24.77 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 41702 0 0 0 2469 8 0 0 25 0 3 0 989828772 244322304 39427 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 39427 181 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=12.07 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 13396 0 0 0 1204 3 0 0 25 0 3 0 989828834 244322304 39427 33554432000 4194304 5714118 140735583167216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=12.07 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 967 0 0 0 1205 2 0 0 25 0 3 0 989828834 244322304 39427 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 238596
[startup+25.5011 s]
/proc/loadavg: 3.92 3.89 3.87 5/182 12802
/proc/meminfo: memFree=7940460/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=50.37 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 42233 0 0 0 5026 11 0 0 25 0 3 0 989828772 244322304 39958 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 39958 181 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=24.87 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 13721 0 0 0 2483 4 0 0 25 0 3 0 989828834 244322304 39958 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=24.87 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 1173 0 0 0 2484 3 0 0 25 0 3 0 989828834 244322304 39958 33554432000 4194304 5714118 140735583167216 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 238596
[startup+51.1006 s]
/proc/loadavg: 3.95 3.90 3.88 5/182 12803
/proc/meminfo: memFree=7919908/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=101.57 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 43240 0 0 0 10139 18 0 0 25 0 3 0 989828772 244322304 40965 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 40965 181 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=50.47 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 14373 0 0 0 5039 8 0 0 25 0 3 0 989828834 244322304 40965 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=50.47 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 1528 0 0 0 5041 6 0 0 25 0 3 0 989828834 244322304 40965 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 238596
[startup+102.307 s]
/proc/loadavg: 3.98 3.91 3.88 5/182 12804
/proc/meminfo: memFree=7877652/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=203.99 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 45210 0 0 0 20370 29 0 0 25 0 3 0 989828772 244322304 42935 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 42935 181 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=101.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 15655 0 0 0 10153 15 0 0 25 0 3 0 989828834 244322304 42935 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200628 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=101.68 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 2216 0 0 0 10158 10 0 0 25 0 3 0 989828834 244322304 42935 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200628 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 238596
[startup+162.301 s]
/proc/loadavg: 3.99 3.92 3.89 5/182 12806
/proc/meminfo: memFree=7835696/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=238596 CPUtime=323.97 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 46109 0 0 0 32359 38 0 0 25 0 3 0 989828772 244322304 43834 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 59649 43834 182 372 0 59274 0
[pid=12798/tid=12800] ppid=12796 vsize=238596 CPUtime=161.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 15848 0 0 0 16148 20 0 0 25 0 3 0 989828834 244322304 43834 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=238596 CPUtime=161.67 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 2922 0 0 0 16152 15 0 0 25 0 3 0 989828834 244322304 43834 33554432000 4194304 5714118 140735583167216 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 323.97
Current children cumulated vsize (KiB) 238596
[startup+222.301 s]
/proc/loadavg: 3.99 3.94 3.89 5/182 12807
/proc/meminfo: memFree=7793252/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=304132 CPUtime=443.98 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 47027 0 0 0 44350 48 0 0 25 0 3 0 989828772 311431168 44752 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76033 44752 182 372 0 75658 0
[pid=12798/tid=12800] ppid=12796 vsize=304132 CPUtime=221.67 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 16766 0 0 0 22141 26 0 0 25 0 3 0 989828834 311431168 44752 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=304132 CPUtime=221.67 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 2922 0 0 0 22149 18 0 0 25 0 3 0 989828834 311431168 44752 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 443.98
Current children cumulated vsize (KiB) 304132
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 3.90 5/182 12809
/proc/meminfo: memFree=7756004/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=304132 CPUtime=563.98 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 47837 0 0 0 56339 59 0 0 25 0 3 0 989828772 311431168 45562 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76033 45562 182 372 0 75658 0
[pid=12798/tid=12800] ppid=12796 vsize=304132 CPUtime=281.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 17148 0 0 0 28135 33 0 0 25 0 3 0 989828834 311431168 45562 33554432000 4194304 5714118 140735583167216 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=304132 CPUtime=281.67 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 3350 0 0 0 28145 22 0 0 25 0 3 0 989828834 311431168 45562 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 563.98
Current children cumulated vsize (KiB) 304132
[startup+342.301 s]
/proc/loadavg: 4.05 3.97 3.91 5/182 12810
/proc/meminfo: memFree=7715532/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=304132 CPUtime=683.98 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 48363 0 0 0 68328 70 0 0 25 0 3 0 989828772 311431168 46088 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76033 46088 182 372 0 75658 0
[pid=12798/tid=12800] ppid=12796 vsize=304132 CPUtime=341.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 17618 0 0 0 34129 39 0 0 25 0 3 0 989828834 311431168 46088 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=304132 CPUtime=341.68 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 3406 0 0 0 34140 28 0 0 25 0 3 0 989828834 311431168 46088 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 683.98
Current children cumulated vsize (KiB) 304132
[startup+402.301 s]
/proc/loadavg: 4.02 3.97 3.91 5/182 12812
/proc/meminfo: memFree=7676436/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=304132 CPUtime=803.99 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 49884 0 0 0 80316 83 0 0 25 0 3 0 989828772 311431168 47609 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76033 47609 182 372 0 75658 0
[pid=12798/tid=12800] ppid=12796 vsize=304132 CPUtime=401.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 18379 0 0 0 40122 46 0 0 25 0 3 0 989828834 311431168 47609 33554432000 4194304 5714118 140735583167216 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=304132 CPUtime=401.68 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4166 0 0 0 40135 33 0 0 25 0 3 0 989828834 311431168 47609 33554432000 4194304 5714118 140735583167216 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 803.99
Current children cumulated vsize (KiB) 304132
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 12814
/proc/meminfo: memFree=7637444/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=304616 CPUtime=923.99 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 50567 0 0 0 92307 92 0 0 25 0 3 0 989828772 311926784 48292 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76154 48292 182 372 0 75779 0
[pid=12798/tid=12800] ppid=12796 vsize=304616 CPUtime=461.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 19062 0 0 0 46117 51 0 0 25 0 3 0 989828834 311926784 48292 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=304616 CPUtime=461.68 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4166 0 0 0 46131 37 0 0 25 0 3 0 989828834 311926784 48292 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 923.99
Current children cumulated vsize (KiB) 304616
[startup+522.301 s]
/proc/loadavg: 4.08 3.99 3.91 5/182 12815
/proc/meminfo: memFree=7606660/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=304616 CPUtime=1043.99 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 50567 0 0 0 104300 99 0 0 25 0 3 0 989828772 311926784 48292 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76154 48292 182 372 0 75779 0
[pid=12798/tid=12800] ppid=12796 vsize=304616 CPUtime=521.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 19062 0 0 0 52114 54 0 0 25 0 3 0 989828834 311926784 48292 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=304616 CPUtime=521.68 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4166 0 0 0 52127 41 0 0 25 0 3 0 989828834 311926784 48292 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1043.99
Current children cumulated vsize (KiB) 304616
[startup+582.301 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 12817
/proc/meminfo: memFree=7568424/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1163.99 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 51549 0 0 0 116289 110 0 0 25 0 3 0 989828772 312422400 49274 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 49274 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=581.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 19765 0 0 0 58108 60 0 0 25 0 3 0 989828834 312422400 49274 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=581.69 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4445 0 0 0 58122 47 0 0 25 0 3 0 989828834 312422400 49274 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1163.99
Current children cumulated vsize (KiB) 305100
[startup+642.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 12818
/proc/meminfo: memFree=7534160/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1284.01 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 51972 0 0 0 128279 122 0 0 25 0 3 0 989828772 312422400 49697 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 49697 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=641.69 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 20188 0 0 0 64102 67 0 0 25 0 3 0 989828834 312422400 49697 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=641.69 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4445 0 0 0 64118 51 0 0 25 0 3 0 989828834 312422400 49697 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200612 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.01
Current children cumulated vsize (KiB) 305100
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 3/178 12821
/proc/meminfo: memFree=8102684/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1404 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 51995 0 0 0 140269 131 0 0 25 0 3 0 989828772 312422400 49720 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 49720 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=701.68 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 20210 0 0 0 70097 71 0 0 25 0 3 0 989828834 312422400 49720 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=701.68 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4446 0 0 0 70112 56 0 0 25 0 3 0 989828834 312422400 49720 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404
Current children cumulated vsize (KiB) 305100
[startup+762.306 s]
/proc/loadavg: 2.73 3.62 3.79 3/174 12847
/proc/meminfo: memFree=8105568/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1524.01 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 52767 0 0 0 152258 143 0 0 25 0 3 0 989828772 312422400 50492 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 50492 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=761.7 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 20982 0 0 0 76092 78 0 0 25 0 3 0 989828834 312422400 50492 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=761.69 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4446 0 0 0 76107 62 0 0 25 0 3 0 989828834 312422400 50492 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.01
Current children cumulated vsize (KiB) 305100
[startup+822.301 s]
/proc/loadavg: 2.27 3.32 3.68 3/174 12848
/proc/meminfo: memFree=8105512/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1644 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 52812 0 0 0 164246 154 0 0 25 0 3 0 989828772 312422400 50537 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 50537 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=821.69 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 21015 0 0 0 82084 85 0 0 25 0 3 0 989828834 312422400 50537 33554432000 4194304 5714118 140735583167216 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=821.69 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4458 0 0 0 82103 66 0 0 25 0 3 0 989828834 312422400 50537 33554432000 4194304 5714118 140735583167216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644
Current children cumulated vsize (KiB) 305100
[startup+882.301 s]
/proc/loadavg: 2.10 3.08 3.57 3/174 12850
/proc/meminfo: memFree=8101224/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1764.01 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 53846 0 0 0 176232 169 0 0 25 0 3 0 989828772 312422400 51571 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 51571 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=881.7 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 22049 0 0 0 88076 94 0 0 25 0 3 0 989828834 312422400 51571 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=881.69 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4458 0 0 0 88097 72 0 0 25 0 3 0 989828834 312422400 51571 33554432000 4194304 5714118 140735583167216 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.01
Current children cumulated vsize (KiB) 305100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.301 s]
/proc/loadavg: 2.07 3.01 3.53 3/174 12850
/proc/meminfo: memFree=8101080/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1800.02 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 53889 0 0 0 179829 173 0 0 25 0 3 0 989828772 312422400 51614 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 51614 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=899.7 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 22092 0 0 0 89874 96 0 0 25 0 3 0 989828834 312422400 51614 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=899.69 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4458 0 0 0 89896 73 0 0 25 0 3 0 989828834 312422400 51614 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 305100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.301 s]
/proc/loadavg: 2.07 3.01 3.53 3/174 12850
/proc/meminfo: memFree=8101080/32950940 swapFree=67053420/67111528
[pid=12798] ppid=12796 vsize=305100 CPUtime=1800.02 cores=1,3,5,7
/proc/12798/stat : 12798 (pwbo1.1) S 12796 12798 11319 0 -1 4202496 53889 0 0 0 179829 173 0 0 25 0 3 0 989828772 312422400 51614 33554432000 4194304 5714118 140735583167216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12798/statm: 76275 51614 182 372 0 75900 0
[pid=12798/tid=12800] ppid=12796 vsize=305100 CPUtime=899.7 cores=1,3,5,7
/proc/12798/task/12800/stat : 12800 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 22092 0 0 0 89874 96 0 0 25 0 3 0 989828834 312422400 51614 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12798/tid=12801] ppid=12796 vsize=305100 CPUtime=899.69 cores=1,3,5,7
/proc/12798/task/12801/stat : 12801 (pwbo1.1) R 12796 12798 11319 0 -1 4202560 4458 0 0 0 89896 73 0 0 25 0 3 0 989828834 312422400 51614 33554432000 4194304 5714118 140735583167216 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 305100
Child status: 0
Real time (s): 900.322
CPU time (s): 1800.05
CPU user time (s): 1798.31
CPU system time (s): 1.74173
CPU usage (%): 199.934
Max. virtual memory (cumulated for all children) (KiB): 305100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 1.74173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53893
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= 293
involuntary context switches= 3315
runsolver used 1.42678 second user time and 3.2615 second system time
The end