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-3500571-1307996682/watcher-3500571-1307996682 -o /tmp/evaluation-result-3500571-1307996682/solver-3500571-1307996682 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500571-1307996682.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.98 3.91 1/172 14262
/proc/meminfo: memFree=32198612/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=5192 CPUtime=0 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) R 14260 14262 13000 0 -1 4202496 547 0 0 0 0 0 0 0 18 0 1 0 911270592 5316608 499 33554432000 4194304 5714118 140734026786352 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14262/statm: 1298 499 165 372 0 415 0
[startup+0.025332 s]
/proc/loadavg: 4.00 3.98 3.91 1/172 14262
/proc/meminfo: memFree=32198612/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=6560 CPUtime=0.02 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) R 14260 14262 13000 0 -1 4202496 962 0 0 0 2 0 0 0 18 0 1 0 911270592 6717440 914 33554432000 4194304 5714118 140734026786352 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/14262/statm: 1640 914 235 372 0 757 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6560
[startup+0.100347 s]
/proc/loadavg: 4.00 3.98 3.91 1/172 14262
/proc/meminfo: memFree=32198612/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=12140 CPUtime=0.09 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) R 14260 14262 13000 0 -1 4202496 2566 0 0 0 9 0 0 0 18 0 1 0 911270592 12431360 2452 33554432000 4194304 5714118 140734026786352 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/14262/statm: 3035 2452 499 372 0 2152 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12140
[startup+0.30431 s]
/proc/loadavg: 4.00 3.98 3.91 1/172 14262
/proc/meminfo: memFree=32198612/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=164008 CPUtime=0.42 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 15286 0 0 0 36 6 0 0 18 0 3 0 911270592 167944192 14126 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 41002 14126 179 372 0 40627 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 164008
[startup+0.70123 s]
/proc/loadavg: 4.00 3.98 3.91 1/172 14262
/proc/meminfo: memFree=32198612/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=164008 CPUtime=1.21 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 16344 0 0 0 115 6 0 0 18 0 3 0 911270592 167944192 14092 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 41002 14092 180 372 0 40627 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 164008
[startup+1.50108 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=32082856/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=164008 CPUtime=2.82 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 18951 0 0 0 273 9 0 0 18 0 3 0 911270592 167944192 15224 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 41002 15224 180 372 0 40627 0
[pid=14262/tid=14277] ppid=14260 vsize=164008 CPUtime=1.33 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 5594 0 0 0 131 2 0 0 18 0 3 0 911270606 167944192 15224 33554432000 4194304 5714118 140734026786352 18446744073709551615 4355537 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=164008 CPUtime=1.33 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 9769 0 0 0 127 6 0 0 19 0 3 0 911270606 167944192 15224 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 164008
[startup+3.10078 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=32067480/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=164008 CPUtime=6.01 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 23884 0 0 0 584 17 0 0 18 0 3 0 911270592 167944192 18388 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 41002 18388 180 372 0 40627 0
[pid=14262/tid=14277] ppid=14260 vsize=164008 CPUtime=2.93 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 7944 0 0 0 290 3 0 0 21 0 3 0 911270606 167944192 18388 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=164008 CPUtime=2.93 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 12352 0 0 0 281 12 0 0 24 0 3 0 911270606 167944192 18388 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 164008
[startup+6.30115 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=32026648/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=164008 CPUtime=12.41 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 30106 0 0 0 1205 36 0 0 18 0 3 0 911270592 167944192 24610 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 41002 24610 180 372 0 40627 0
[pid=14262/tid=14277] ppid=14260 vsize=164008 CPUtime=6.13 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 10356 0 0 0 601 12 0 0 18 0 3 0 911270606 167944192 24610 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=164008 CPUtime=6.13 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 16162 0 0 0 590 23 0 0 25 0 3 0 911270606 167944192 24610 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 164008
[startup+12.701 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=31968692/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=164720 CPUtime=25.22 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 33622 0 0 0 2475 47 0 0 18 0 3 0 911270592 168673280 28126 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 41180 28126 181 372 0 40805 0
[pid=14262/tid=14277] ppid=14260 vsize=164720 CPUtime=12.53 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 11604 0 0 0 1235 18 0 0 18 0 3 0 911270606 168673280 28126 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=164720 CPUtime=12.53 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 18430 0 0 0 1225 28 0 0 25 0 3 0 911270606 168673280 28126 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 164720
[startup+25.5005 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=31897248/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=232316 CPUtime=50.81 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 42378 0 0 0 5009 72 0 0 18 0 3 0 911270592 237891584 36882 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 58079 36882 181 372 0 57704 0
[pid=14262/tid=14277] ppid=14260 vsize=232316 CPUtime=25.33 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 17085 0 0 0 2494 39 0 0 25 0 3 0 911270606 237891584 36882 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=232316 CPUtime=25.33 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 21705 0 0 0 2501 32 0 0 25 0 3 0 911270606 237891584 36882 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 232316
[startup+51.1007 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14282
/proc/meminfo: memFree=31852660/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=299828 CPUtime=102.01 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 50914 0 0 0 10092 109 0 0 18 0 3 0 911270592 307023872 45386 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 74957 45386 181 372 0 74582 0
[pid=14262/tid=14277] ppid=14260 vsize=299828 CPUtime=50.93 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 24202 0 0 0 5026 67 0 0 25 0 3 0 911270606 307023872 45386 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=299828 CPUtime=50.92 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 23124 0 0 0 5051 41 0 0 25 0 3 0 911270606 307023872 45386 33554432000 4194304 5714118 140734026786352 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 299828
[startup+102.307 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14283
/proc/meminfo: memFree=31771268/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=300072 CPUtime=204.43 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 59565 0 0 0 20280 163 0 0 18 0 3 0 911270592 307273728 53469 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 75018 53469 181 372 0 74643 0
[pid=14262/tid=14277] ppid=14260 vsize=300072 CPUtime=102.14 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 29922 0 0 0 10111 103 0 0 25 0 3 0 911270606 307273728 53469 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=300072 CPUtime=102.13 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 26055 0 0 0 10154 59 0 0 25 0 3 0 911270606 307273728 53469 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 300072
[startup+162.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14285
/proc/meminfo: memFree=31710352/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=302772 CPUtime=324.42 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 67032 0 0 0 32244 198 0 0 18 0 3 0 911270592 310038528 60936 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 75693 60936 181 372 0 75318 0
[pid=14262/tid=14277] ppid=14260 vsize=302772 CPUtime=162.13 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 30078 0 0 0 16092 121 0 0 25 0 3 0 911270606 310038528 60936 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=302772 CPUtime=162.13 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 33366 0 0 0 16137 76 0 0 25 0 3 0 911270606 310038528 60936 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (KiB) 302772
[startup+222.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14287
/proc/meminfo: memFree=31628224/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=305920 CPUtime=444.42 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 76913 0 0 0 44207 235 0 0 18 0 3 0 911270592 313262080 70697 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 76480 70697 181 372 0 76105 0
[pid=14262/tid=14277] ppid=14260 vsize=305920 CPUtime=222.14 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 34966 0 0 0 22068 146 0 0 25 0 3 0 911270606 313262080 70697 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=305920 CPUtime=222.13 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 38359 0 0 0 22125 88 0 0 25 0 3 0 911270606 313262080 70697 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 305920
[startup+282.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14288
/proc/meminfo: memFree=31573748/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=372524 CPUtime=564.43 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 83519 0 0 0 56173 270 0 0 18 0 3 0 911270592 381464576 77297 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 93131 77297 181 372 0 92756 0
[pid=14262/tid=14277] ppid=14260 vsize=372524 CPUtime=282.14 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 41352 0 0 0 28045 169 0 0 25 0 3 0 911270606 381464576 77297 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=372524 CPUtime=282.14 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 38579 0 0 0 28114 100 0 0 25 0 3 0 911270606 381464576 77297 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 372524
[startup+342.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14290
/proc/meminfo: memFree=31510976/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=373964 CPUtime=684.43 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 88793 0 0 0 68145 298 0 0 18 0 3 0 911270592 382939136 82566 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 93491 82566 181 372 0 93116 0
[pid=14262/tid=14277] ppid=14260 vsize=373964 CPUtime=342.14 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 46265 0 0 0 34023 191 0 0 25 0 3 0 911270606 382939136 82566 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=373964 CPUtime=342.14 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 38940 0 0 0 34108 106 0 0 25 0 3 0 911270606 382939136 82566 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 373964
[startup+402.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14291
/proc/meminfo: memFree=31459712/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=376492 CPUtime=804.44 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 94761 0 0 0 80110 334 0 0 18 0 3 0 911270592 385527808 88023 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 94123 88023 181 372 0 93748 0
[pid=14262/tid=14277] ppid=14260 vsize=376492 CPUtime=402.14 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 50403 0 0 0 39998 216 0 0 25 0 3 0 911270606 385527808 88023 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319796 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=376492 CPUtime=402.14 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 40770 0 0 0 40098 116 0 0 25 0 3 0 911270606 385527808 88023 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.44
Current children cumulated vsize (KiB) 376492
[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14293
/proc/meminfo: memFree=31416012/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=444212 CPUtime=924.44 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 101939 0 0 0 92073 371 0 0 18 0 3 0 911270592 454873088 95195 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 111053 95195 181 372 0 110678 0
[pid=14262/tid=14277] ppid=14260 vsize=444212 CPUtime=462.14 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 57457 0 0 0 45968 246 0 0 25 0 3 0 911270606 454873088 95195 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319366 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=444212 CPUtime=462.14 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 40894 0 0 0 46091 123 0 0 25 0 3 0 911270606 454873088 95195 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.44
Current children cumulated vsize (KiB) 444212
[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14295
/proc/meminfo: memFree=31371700/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=445332 CPUtime=1044.44 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 107498 0 0 0 104047 397 0 0 18 0 3 0 911270592 456019968 100752 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 111333 100752 181 372 0 110958 0
[pid=14262/tid=14277] ppid=14260 vsize=445332 CPUtime=522.14 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 62391 0 0 0 51947 267 0 0 18 0 3 0 911270606 456019968 100752 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=445332 CPUtime=522.14 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 41519 0 0 0 52086 128 0 0 25 0 3 0 911270606 456019968 100752 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.44
Current children cumulated vsize (KiB) 445332
[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14296
/proc/meminfo: memFree=31316232/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=514556 CPUtime=1164.45 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 114743 0 0 0 116016 429 0 0 18 0 3 0 911270592 526905344 107994 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 128639 107994 181 372 0 128264 0
[pid=14262/tid=14277] ppid=14260 vsize=514556 CPUtime=582.15 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 65481 0 0 0 57926 289 0 0 25 0 3 0 911270606 526905344 107994 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=514556 CPUtime=582.14 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 45674 0 0 0 58076 138 0 0 25 0 3 0 911270606 526905344 107994 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.45
Current children cumulated vsize (KiB) 514556
[startup+642.301 s]
/proc/loadavg: 4.04 3.99 3.92 5/182 14298
/proc/meminfo: memFree=31280716/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=515676 CPUtime=1284.46 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 121562 0 0 0 127988 458 0 0 18 0 3 0 911270592 528052224 114810 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 128919 114810 181 372 0 128544 0
[pid=14262/tid=14277] ppid=14260 vsize=515676 CPUtime=642.16 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 68568 0 0 0 63907 309 0 0 25 0 3 0 911270606 528052224 114810 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=515676 CPUtime=642.15 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 49406 0 0 0 64067 148 0 0 25 0 3 0 911270606 528052224 114810 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.46
Current children cumulated vsize (KiB) 515676
[startup+702.3 s]
/proc/loadavg: 4.02 3.99 3.92 5/182 14299
/proc/meminfo: memFree=31200940/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=585032 CPUtime=1404.46 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 132002 0 0 0 139955 491 0 0 18 0 3 0 911270592 599072768 125240 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 146258 125240 181 372 0 145883 0
[pid=14262/tid=14277] ppid=14260 vsize=585032 CPUtime=702.16 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 75003 0 0 0 69884 332 0 0 23 0 3 0 911270606 599072768 125240 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=585032 CPUtime=702.15 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 53411 0 0 0 70057 158 0 0 25 0 3 0 911270606 599072768 125240 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.46
Current children cumulated vsize (KiB) 585032
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 14301
/proc/meminfo: memFree=31141628/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=585940 CPUtime=1524.48 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 135415 0 0 0 151936 512 0 0 18 0 3 0 911270592 600002560 128651 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 146485 128651 181 372 0 146110 0
[pid=14262/tid=14277] ppid=14260 vsize=585940 CPUtime=762.17 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 75676 0 0 0 75870 347 0 0 25 0 3 0 911270606 600002560 128651 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=585940 CPUtime=762.16 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 56151 0 0 0 76052 164 0 0 25 0 3 0 911270606 600002560 128651 33554432000 4194304 5714118 140734026786352 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.48
Current children cumulated vsize (KiB) 585940
[startup+822.301 s]
/proc/loadavg: 4.08 4.01 3.93 5/182 14303
/proc/meminfo: memFree=31094708/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=588372 CPUtime=1644.47 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 140877 0 0 0 163910 537 0 0 18 0 3 0 911270592 602492928 133868 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 147093 133868 181 372 0 146718 0
[pid=14262/tid=14277] ppid=14260 vsize=588372 CPUtime=822.16 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 77697 0 0 0 81850 366 0 0 25 0 3 0 911270606 602492928 133868 33554432000 4194304 5714118 140734026786352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=588372 CPUtime=822.15 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 59592 0 0 0 82045 170 0 0 25 0 3 0 911270606 602492928 133868 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.47
Current children cumulated vsize (KiB) 588372
[startup+882.3 s]
/proc/loadavg: 4.03 4.00 3.93 5/182 14304
/proc/meminfo: memFree=31049524/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=655948 CPUtime=1764.47 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 148402 0 0 0 175877 570 0 0 18 0 3 0 911270592 671690752 141392 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 163987 141392 181 372 0 163612 0
[pid=14262/tid=14277] ppid=14260 vsize=655948 CPUtime=882.16 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 82667 0 0 0 87822 394 0 0 25 0 3 0 911270606 671690752 141392 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=655948 CPUtime=882.16 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 62147 0 0 0 88041 175 0 0 25 0 3 0 911270606 671690752 141392 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.47
Current children cumulated vsize (KiB) 655948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.02 4.00 3.93 5/182 14305
/proc/meminfo: memFree=31001516/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=721964 CPUtime=1800.09 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 157755 0 0 0 179404 605 0 0 18 0 3 0 911270592 739291136 150745 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 180491 150745 181 372 0 180116 0
[pid=14262/tid=14277] ppid=14260 vsize=721964 CPUtime=899.96 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 91412 0 0 0 89569 427 0 0 25 0 3 0 911270606 739291136 150745 33554432000 4194304 5714118 140734026786352 18446744073709551615 4324512 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=721964 CPUtime=899.96 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 62755 0 0 0 89820 176 0 0 25 0 3 0 911270606 739291136 150745 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 721964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.02 4.00 3.93 5/182 14305
/proc/meminfo: memFree=31001516/32951124 swapFree=67050540/67111528
[pid=14262] ppid=14260 vsize=721964 CPUtime=1800.09 cores=0,2,4,6
/proc/14262/stat : 14262 (pwbo1.1) S 14260 14262 13000 0 -1 4202496 157755 0 0 0 179404 605 0 0 18 0 3 0 911270592 739291136 150745 33554432000 4194304 5714118 140734026786352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14262/statm: 180491 150745 181 372 0 180116 0
[pid=14262/tid=14277] ppid=14260 vsize=721964 CPUtime=899.96 cores=0,2,4,6
/proc/14262/task/14277/stat : 14277 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 91412 0 0 0 89569 427 0 0 25 0 3 0 911270606 739291136 150745 33554432000 4194304 5714118 140734026786352 18446744073709551615 4324512 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14262/tid=14278] ppid=14260 vsize=721964 CPUtime=899.96 cores=0,2,4,6
/proc/14262/task/14278/stat : 14278 (pwbo1.1) R 14260 14262 13000 0 -1 4202560 62755 0 0 0 89820 176 0 0 25 0 3 0 911270606 739291136 150745 33554432000 4194304 5714118 140734026786352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 721964
Child status: 0
Real time (s): 900.138
CPU time (s): 1800.13
CPU user time (s): 1794.05
CPU system time (s): 6.07808
CPU usage (%): 199.984
Max. virtual memory (cumulated for all children) (KiB): 721964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.05
system time used= 6.07808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157764
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= 909
involuntary context switches= 2518
runsolver used 1.65275 second user time and 3.07753 second system time
The end