runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3464416-1307407477/watcher-3464416-1307407477 -o /tmp/evaluation-result-3464416-1307407477/solver-3464416-1307407477 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464416-1307407477.opb --verbosity=0 --format=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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.27 1.65 4/463 3301
/proc/meminfo: memFree=29876240/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=7556 CPUtime=0 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 461 0 0 0 0 0 0 0 22 0 1 0 852347508 7737344 410 33554432000 4194304 6539028 140733882484256 18446744073709551615 5685212 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 1889 413 236 573 0 1307 0
[startup+0.060641 s]
/proc/loadavg: 0.92 1.27 1.65 4/463 3301
/proc/meminfo: memFree=29876240/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=11724 CPUtime=0.05 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 1441 0 0 0 5 0 0 0 22 0 1 0 852347508 12005376 1355 33554432000 4194304 6539028 140733882484256 18446744073709551615 5440359 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 2931 1355 236 573 0 2349 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11724
[startup+0.100615 s]
/proc/loadavg: 0.92 1.27 1.65 4/463 3301
/proc/meminfo: memFree=29876240/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=13556 CPUtime=0.09 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 1863 0 0 0 9 0 0 0 22 0 1 0 852347508 13881344 1777 33554432000 4194304 6539028 140733882484256 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 3389 1777 236 573 0 2807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13556
[startup+0.300586 s]
/proc/loadavg: 0.92 1.27 1.65 4/463 3301
/proc/meminfo: memFree=29876240/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=45116 CPUtime=0.29 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 9844 0 0 0 28 1 0 0 23 0 1 0 852347508 46198784 9567 33554432000 4194304 6539028 140733882484256 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 11279 9569 236 573 0 10697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45116
[startup+0.700513 s]
/proc/loadavg: 0.92 1.27 1.65 4/463 3301
/proc/meminfo: memFree=29876240/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=129868 CPUtime=0.69 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 31203 0 0 0 65 4 0 0 25 0 1 0 852347508 132984832 30452 33554432000 4194304 6539028 140733882484256 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 32467 30455 251 573 0 31885 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 129868
[startup+1.50026 s]
/proc/loadavg: 0.92 1.27 1.65 4/465 3304
/proc/meminfo: memFree=29718124/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=157748 CPUtime=1.49 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 38176 0 0 0 145 4 0 0 25 0 1 0 852347508 161533952 37425 33554432000 4194304 6539028 140733882484256 18446744073709551615 4707809 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 39437 37425 261 573 0 38855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157748
[startup+3.10103 s]
/proc/loadavg: 0.92 1.27 1.65 4/465 3304
/proc/meminfo: memFree=29717000/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=157748 CPUtime=3.09 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 38184 0 0 0 305 4 0 0 25 0 1 0 852347508 161533952 37433 33554432000 4194304 6539028 140733882484256 18446744073709551615 4625692 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 39437 37433 261 573 0 38855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157748
[startup+6.30048 s]
/proc/loadavg: 1.01 1.28 1.65 5/465 3304
/proc/meminfo: memFree=29716768/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=157748 CPUtime=6.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 38196 0 0 0 625 5 0 0 25 0 1 0 852347508 161533952 37445 33554432000 4194304 6539028 140733882484256 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 39437 37445 261 573 0 38855 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 157748
[startup+12.7004 s]
/proc/loadavg: 1.09 1.29 1.65 5/465 3304
/proc/meminfo: memFree=29678356/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=202712 CPUtime=12.69 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 49718 0 0 0 1263 6 0 0 25 0 1 0 852347508 207577088 48955 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499107 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 50678 48955 271 573 0 50096 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202712
[startup+25.5011 s]
/proc/loadavg: 1.29 1.33 1.66 4/465 3305
/proc/meminfo: memFree=29636820/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=244060 CPUtime=25.49 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 128360 0 0 0 2531 18 0 0 25 0 1 0 852347508 249917440 57462 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 61015 57462 271 573 0 60433 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 244060
[startup+51.1006 s]
/proc/loadavg: 1.53 1.38 1.66 5/465 3305
/proc/meminfo: memFree=29554872/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=263672 CPUtime=51.09 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 274136 0 0 0 5071 38 0 0 25 0 1 0 852347508 270000128 61392 33554432000 4194304 6539028 140733882484256 18446744073709551615 4714768 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 65918 61392 271 573 0 65336 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 263672
[startup+102.318 s]
/proc/loadavg: 1.79 1.47 1.68 4/465 3307
/proc/meminfo: memFree=29537872/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=340472 CPUtime=102.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 614358 0 0 0 10145 85 0 0 25 0 1 0 852347508 348643328 81939 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499120 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 85118 81939 271 573 0 84536 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 340472
[startup+162.301 s]
/proc/loadavg: 1.92 1.57 1.70 5/465 3308
/proc/meminfo: memFree=29541188/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=358160 CPUtime=162.29 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 1036498 0 0 0 16088 141 0 0 25 0 1 0 852347508 366755840 83387 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499120 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 89540 83387 271 573 0 88958 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 358160
[startup+222.3 s]
/proc/loadavg: 1.97 1.64 1.71 5/465 3310
/proc/meminfo: memFree=29496380/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=393440 CPUtime=222.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 1462791 0 0 0 22028 202 0 0 25 0 1 0 852347508 402882560 92100 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 98360 92100 271 573 0 97778 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 393440
[startup+282.301 s]
/proc/loadavg: 1.99 1.70 1.73 5/465 3312
/proc/meminfo: memFree=29521024/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=395148 CPUtime=282.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 1871353 0 0 0 27973 257 0 0 25 0 1 0 852347508 404631552 88396 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 98787 88396 271 573 0 98205 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 395148
[startup+342.301 s]
/proc/loadavg: 2.12 1.79 1.75 5/465 3313
/proc/meminfo: memFree=29526312/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=410192 CPUtime=342.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 2347101 0 0 0 33908 322 0 0 25 0 1 0 852347508 420036608 86273 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 102548 86273 271 573 0 101966 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 410192
[startup+402.3 s]
/proc/loadavg: 2.10 1.84 1.77 5/465 3315
/proc/meminfo: memFree=29468728/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=366236 CPUtime=402.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 2782396 0 0 0 39845 385 0 0 25 0 1 0 852347508 375025664 83181 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499126 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 91559 83181 271 573 0 90977 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 366236
[startup+462.301 s]
/proc/loadavg: 2.03 1.86 1.78 5/465 3316
/proc/meminfo: memFree=29456404/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=371768 CPUtime=462.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 3183413 0 0 0 45788 442 0 0 25 0 1 0 852347508 380690432 84032 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499099 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 92942 84032 271 573 0 92360 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 371768
[startup+522.3 s]
/proc/loadavg: 2.01 1.89 1.79 5/465 3318
/proc/meminfo: memFree=29522456/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=377740 CPUtime=522.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 3583477 0 0 0 51731 499 0 0 25 0 1 0 852347508 386805760 87494 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 94435 87494 271 573 0 93853 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 377740
[startup+582.301 s]
/proc/loadavg: 2.00 1.90 1.81 4/465 3320
/proc/meminfo: memFree=29489568/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=430452 CPUtime=582.3 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 3984682 0 0 0 57678 552 0 0 25 0 1 0 852347508 440782848 96633 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 107613 96633 271 573 0 107031 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 430452
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.95 1.84 5/465 3326
/proc/meminfo: memFree=29450932/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=394588 CPUtime=822.31 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 5749815 0 0 0 81429 802 0 0 25 0 1 0 852347508 404058112 89263 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 98647 89263 271 573 0 98065 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 394588
[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.84 4/465 3328
/proc/meminfo: memFree=29453748/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=446004 CPUtime=882.31 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 6172555 0 0 0 87372 859 0 0 25 0 1 0 852347508 456708096 103198 33554432000 4194304 6539028 140733882484256 18446744073709551615 4625677 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 111501 103198 271 573 0 110919 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 446004
[startup+942.301 s]
/proc/loadavg: 2.19 2.00 1.86 4/465 3329
/proc/meminfo: memFree=29496236/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=449228 CPUtime=942.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 6569436 0 0 0 93318 914 0 0 25 0 1 0 852347508 460009472 96984 33554432000 4194304 6539028 140733882484256 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 112307 96985 271 573 0 111725 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 449228
[startup+1002.3 s]
/proc/loadavg: 2.14 2.02 1.87 5/465 3340
/proc/meminfo: memFree=29467228/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=450176 CPUtime=1002.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 6944187 0 0 0 99262 970 0 0 25 0 1 0 852347508 460980224 101197 33554432000 4194304 6539028 140733882484256 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 112544 101198 271 573 0 111962 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 450176
[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 1.88 4/465 3341
/proc/meminfo: memFree=29457004/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=401984 CPUtime=1062.31 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 7327718 0 0 0 105211 1020 0 0 25 0 1 0 852347508 411631616 89129 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 100496 89129 271 573 0 99914 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 401984
[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.89 4/465 3343
/proc/meminfo: memFree=29484360/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=453780 CPUtime=1122.31 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 7698862 0 0 0 111154 1077 0 0 25 0 1 0 852347508 464670720 97722 33554432000 4194304 6539028 140733882484256 18446744073709551615 4714768 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 113445 97722 271 573 0 112863 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 453780
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/465 3348
/proc/meminfo: memFree=29471684/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=455200 CPUtime=1182.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 8278754 0 0 0 117072 1160 0 0 25 0 1 0 852347508 466124800 104665 33554432000 4194304 6539028 140733882484256 18446744073709551615 5440318 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 113800 104666 271 573 0 113218 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 455200
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/465 3349
/proc/meminfo: memFree=29494408/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=405112 CPUtime=1242.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 8868227 0 0 0 122989 1243 0 0 25 0 1 0 852347508 414834688 93690 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 101278 93690 271 573 0 100696 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 405112
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 5/465 3351
/proc/meminfo: memFree=29510092/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=374860 CPUtime=1302.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 9217477 0 0 0 128940 1292 0 0 25 0 1 0 852347508 383856640 88073 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 93715 88073 271 573 0 93133 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 374860
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/465 3352
/proc/meminfo: memFree=29444444/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=375432 CPUtime=1362.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 9599625 0 0 0 134888 1344 0 0 25 0 1 0 852347508 384442368 88409 33554432000 4194304 6539028 140733882484256 18446744073709551615 4716049 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 93858 88410 271 573 0 93276 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 375432
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.91 5/465 3354
/proc/meminfo: memFree=29513472/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=375432 CPUtime=1422.34 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 9945449 0 0 0 140840 1394 0 0 25 0 1 0 852347508 384442368 87691 33554432000 4194304 6539028 140733882484256 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 93858 87691 271 573 0 93276 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 375432
[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 1.92 4/465 3357
/proc/meminfo: memFree=29491480/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=457856 CPUtime=1482.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 10358983 0 0 0 146779 1453 0 0 25 0 1 0 852347508 468844544 97556 33554432000 4194304 6539028 140733882484256 18446744073709551615 4709043 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 114464 97556 271 573 0 113882 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 457856
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 1.93 5/465 3358
/proc/meminfo: memFree=29459320/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=458236 CPUtime=1542.33 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 10702733 0 0 0 152730 1503 0 0 25 0 1 0 852347508 469233664 101108 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 114559 101108 271 573 0 113977 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 458236
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 1.94 4/465 3360
/proc/meminfo: memFree=29505524/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=409664 CPUtime=1602.33 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 11031746 0 0 0 158684 1549 0 0 25 0 1 0 852347508 419495936 94764 33554432000 4194304 6539028 140733882484256 18446744073709551615 5637989 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 102416 94764 271 573 0 101834 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 409664
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 1.94 4/465 3361
/proc/meminfo: memFree=29456008/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=460512 CPUtime=1662.32 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 11372159 0 0 0 164631 1601 0 0 25 0 1 0 852347508 471564288 102206 33554432000 4194304 6539028 140733882484256 18446744073709551615 4499126 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 115128 102206 271 573 0 114546 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 460512
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.94 5/465 3363
/proc/meminfo: memFree=29454472/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=380552 CPUtime=1722.33 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 11716451 0 0 0 170585 1648 0 0 25 0 1 0 852347508 389685248 89687 33554432000 4194304 6539028 140733882484256 18446744073709551615 4625677 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 95138 89687 271 573 0 94556 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 380552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.94 5/465 3365
/proc/meminfo: memFree=29465228/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=461460 CPUtime=1782.34 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 12222643 0 0 0 176513 1721 0 0 25 0 1 0 852347508 472535040 101503 33554432000 4194304 6539028 140733882484256 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 115365 101503 271 573 0 114783 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 461460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.94 4/465 3365
/proc/meminfo: memFree=29499304/32950928 swapFree=45617076/67111528
[pid=3301] ppid=3299 vsize=411752 CPUtime=1800.03 cores=0,2,4,6
/proc/3301/stat : 3301 (minisatid) R 3299 3301 1285 0 -1 4202496 12321070 0 0 0 178269 1734 0 0 25 0 1 0 852347508 421634048 90950 33554432000 4194304 6539028 140733882484256 18446744073709551615 4709024 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/3301/statm: 102938 90950 271 573 0 102356 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 411752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1782.71
CPU system time (s): 17.3644
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 604024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.71
system time used= 17.3644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12321073
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= 4
involuntary context switches= 1322
runsolver used 8.82566 second user time and 18.7801 second system time
The end