runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490660-1307762140/watcher-3490660-1307762140 -o /tmp/evaluation-result-3490660-1307762140/solver-3490660-1307762140 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490660-1307762140.opb --verbosity=0 --format=opb --randomseed=600992041
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: 1.91 1.97 1.97 3/177 19020
/proc/meminfo: memFree=31146716/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=7868 CPUtime=0 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 470 0 0 0 0 0 0 0 25 0 1 0 620405269 8056832 422 33554432000 4194304 6720400 140736360775488 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 1967 422 231 617 0 1341 0
[startup+0.078883 s]
/proc/loadavg: 1.91 1.97 1.97 3/177 19020
/proc/meminfo: memFree=31146716/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=10196 CPUtime=0.07 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 1281 0 0 0 7 0 0 0 25 0 1 0 620405269 10440704 1229 33554432000 4194304 6720400 140736360775488 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 2549 1229 257 617 0 1923 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10196
[startup+0.100877 s]
/proc/loadavg: 1.91 1.97 1.97 3/177 19020
/proc/meminfo: memFree=31146716/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=10196 CPUtime=0.09 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 1415 0 0 0 9 0 0 0 25 0 1 0 620405269 10440704 1363 33554432000 4194304 6720400 140736360775488 18446744073709551615 4813203 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 2549 1364 257 617 0 1923 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10196
[startup+0.300843 s]
/proc/loadavg: 1.91 1.97 1.97 3/177 19020
/proc/meminfo: memFree=31146716/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=12916 CPUtime=0.29 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 2563 0 0 0 29 0 0 0 25 0 1 0 620405269 13225984 2509 33554432000 4194304 6720400 140736360775488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 3229 2510 265 617 0 2603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12916
[startup+0.700776 s]
/proc/loadavg: 1.91 1.97 1.97 3/177 19020
/proc/meminfo: memFree=31146716/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=24604 CPUtime=0.69 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 4804 0 0 0 69 0 0 0 25 0 1 0 620405269 25194496 4746 33554432000 4194304 6720400 140736360775488 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 6151 4746 265 617 0 5525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24604
[startup+1.50066 s]
/proc/loadavg: 1.91 1.97 1.97 3/178 19021
/proc/meminfo: memFree=31122404/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=55416 CPUtime=1.49 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 9147 0 0 0 148 1 0 0 25 0 1 0 620405269 56745984 9086 33554432000 4194304 6720400 140736360775488 18446744073709551615 4715089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 13854 9086 265 617 0 13228 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55416
[startup+3.10038 s]
/proc/loadavg: 1.91 1.97 1.97 3/178 19021
/proc/meminfo: memFree=31097480/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=86500 CPUtime=3.09 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 18156 0 0 0 307 2 0 0 25 0 1 0 620405269 88576000 18090 33554432000 4194304 6720400 140736360775488 18446744073709551615 4433895 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 21625 18090 265 617 0 20999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86500
[startup+6.30082 s]
/proc/loadavg: 1.92 1.97 1.97 3/178 19021
/proc/meminfo: memFree=31026056/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=218460 CPUtime=6.29 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 35293 0 0 0 624 5 0 0 25 0 1 0 620405269 223703040 35212 33554432000 4194304 6720400 140736360775488 18446744073709551615 4431744 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 54615 35212 265 617 0 53989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218460
[startup+12.7007 s]
/proc/loadavg: 1.93 1.97 1.97 3/178 19021
/proc/meminfo: memFree=31008904/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=87948 CPUtime=12.69 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 90729 0 0 0 1256 13 0 0 25 0 1 0 620405269 90058752 14386 33554432000 4194304 6720400 140736360775488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 21987 14386 265 617 0 21361 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87948
[startup+25.5004 s]
/proc/loadavg: 1.94 1.97 1.97 3/178 19022
/proc/meminfo: memFree=31012104/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=221148 CPUtime=25.49 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 186381 0 0 0 2522 27 0 0 25 0 1 0 620405269 226455552 35367 33554432000 4194304 6720400 140736360775488 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 55287 35368 265 617 0 54661 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 221148
[startup+51.1009 s]
/proc/loadavg: 1.96 1.97 1.97 3/178 19023
/proc/meminfo: memFree=31045252/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=142904 CPUtime=51.09 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 393686 0 0 0 5054 55 0 0 25 0 1 0 620405269 146333696 28889 33554432000 4194304 6720400 140736360775488 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 35726 28889 265 617 0 35100 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 142904
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.97 3/178 19024
/proc/meminfo: memFree=31036784/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=151076 CPUtime=102.29 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 799517 0 0 0 10114 115 0 0 25 0 1 0 620405269 154701824 28120 33554432000 4194304 6720400 140736360775488 18446744073709551615 4432252 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 37769 28120 265 617 0 37143 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 151076
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19025
/proc/meminfo: memFree=30917824/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=370036 CPUtime=162.29 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 1243700 0 0 0 16054 175 0 0 25 0 1 0 620405269 378916864 61208 33554432000 4194304 6720400 140736360775488 18446744073709551615 4816974 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 92509 61209 265 617 0 91883 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 370036
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19027
/proc/meminfo: memFree=30964024/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=242724 CPUtime=222.3 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 1688001 0 0 0 21988 242 0 0 25 0 1 0 620405269 248549376 46764 33554432000 4194304 6720400 140736360775488 18446744073709551615 4432274 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 60681 46764 265 617 0 60055 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 242724
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19029
/proc/meminfo: memFree=31012716/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=165944 CPUtime=282.3 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 2114421 0 0 0 27927 303 0 0 25 0 1 0 620405269 169926656 38025 33554432000 4194304 6720400 140736360775488 18446744073709551615 4811706 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 41486 38025 265 617 0 40860 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 165944
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19030
/proc/meminfo: memFree=30874156/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=383216 CPUtime=342.3 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 2526643 0 0 0 33868 362 0 0 25 0 1 0 620405269 392413184 69784 33554432000 4194304 6720400 140736360775488 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 95804 69784 265 617 0 95178 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 383216
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19032
/proc/meminfo: memFree=30820064/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=387452 CPUtime=402.3 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 2932581 0 0 0 39810 420 0 0 25 0 1 0 620405269 396750848 86468 33554432000 4194304 6720400 140736360775488 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 96863 86468 265 617 0 96237 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 387452
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19033
/proc/meminfo: memFree=30998208/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=180052 CPUtime=462.3 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 3309834 0 0 0 45751 479 0 0 25 0 1 0 620405269 184373248 39435 33554432000 4194304 6720400 140736360775488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 45013 39435 265 617 0 44387 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 180052
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19035
/proc/meminfo: memFree=30795552/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=396556 CPUtime=522.3 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 3700599 0 0 0 51690 540 0 0 25 0 1 0 620405269 406073344 92805 33554432000 4194304 6720400 140736360775488 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 99139 92807 265 617 0 98513 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 396556
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19037
/proc/meminfo: memFree=30880444/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=399996 CPUtime=582.3 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 4106344 0 0 0 57625 605 0 0 25 0 1 0 620405269 409595904 69302 33554432000 4194304 6720400 140736360775488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 99999 69302 265 617 0 99373 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 399996
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 19043
/proc/meminfo: memFree=30779712/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=415204 CPUtime=822.31 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 5667943 0 0 0 81394 837 0 0 25 0 1 0 620405269 425168896 95423 33554432000 4194304 6720400 140736360775488 18446744073709551615 4817062 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 103801 95424 265 617 0 103175 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 415204
[startup+882.3 s]
/proc/loadavg: 2.05 1.99 1.98 3/178 19045
/proc/meminfo: memFree=30708744/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=631668 CPUtime=882.31 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 6059139 0 0 0 87337 894 0 0 25 0 1 0 620405269 646828032 110478 33554432000 4194304 6720400 140736360775488 18446744073709551615 5734156 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 157917 110478 265 617 0 157291 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 631668
[startup+942.301 s]
/proc/loadavg: 2.02 1.99 1.98 3/178 19046
/proc/meminfo: memFree=30889268/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=287156 CPUtime=942.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 6452506 0 0 0 93278 954 0 0 25 0 1 0 620405269 294047744 68815 33554432000 4194304 6720400 140736360775488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 71789 68815 265 617 0 71163 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 287156
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/178 19048
/proc/meminfo: memFree=30991900/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=207216 CPUtime=1002.31 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 6839335 0 0 0 99219 1012 0 0 25 0 1 0 620405269 212189184 40461 33554432000 4194304 6720400 140736360775488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 51804 40461 265 617 0 51178 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 207216
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/178 19049
/proc/meminfo: memFree=30745472/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=637680 CPUtime=1062.31 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 7214372 0 0 0 105160 1071 0 0 25 0 1 0 620405269 652984320 105147 33554432000 4194304 6720400 140736360775488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 159420 105147 265 617 0 158794 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 637680
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/178 19051
/proc/meminfo: memFree=30923620/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=292856 CPUtime=1122.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 7601441 0 0 0 111101 1131 0 0 25 0 1 0 620405269 299884544 58026 33554432000 4194304 6720400 140736360775488 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 73214 58026 265 617 0 72588 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 292856
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/178 19053
/proc/meminfo: memFree=30716004/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=641612 CPUtime=1182.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 7975548 0 0 0 117047 1185 0 0 25 0 1 0 620405269 657010688 112948 33554432000 4194304 6720400 140736360775488 18446744073709551615 4812068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 160403 112948 265 617 0 159777 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 641612
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/178 19054
/proc/meminfo: memFree=30864504/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=429760 CPUtime=1242.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 8365033 0 0 0 122987 1245 0 0 25 0 1 0 620405269 440074240 73073 33554432000 4194304 6720400 140736360775488 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 107440 73073 265 617 0 106814 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 429760
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/178 19095
/proc/meminfo: memFree=31585844/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=648488 CPUtime=1302.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 8729568 0 0 0 128929 1303 0 0 25 0 1 0 620405269 664051712 109334 33554432000 4194304 6720400 140736360775488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 162122 109334 265 617 0 161496 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 648488
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/178 19096
/proc/meminfo: memFree=31556160/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=650788 CPUtime=1362.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 9100344 0 0 0 134873 1359 0 0 25 0 1 0 620405269 666406912 114744 33554432000 4194304 6720400 140736360775488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 162697 114744 265 617 0 162071 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 650788
[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 1.98 3/178 19098
/proc/meminfo: memFree=31506900/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=652064 CPUtime=1422.33 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 9471385 0 0 0 140816 1417 0 0 25 0 1 0 620405269 667713536 123173 33554432000 4194304 6720400 140736360775488 18446744073709551615 4714522 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 163016 123173 265 617 0 162390 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 652064
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.98 3/178 19100
/proc/meminfo: memFree=31821192/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=224084 CPUtime=1482.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 9862416 0 0 0 146755 1477 0 0 25 0 1 0 620405269 229462016 46875 33554432000 4194304 6720400 140736360775488 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 56021 46875 265 617 0 55395 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 224084
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 19101
/proc/meminfo: memFree=31680660/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=438692 CPUtime=1542.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 10239744 0 0 0 152698 1534 0 0 25 0 1 0 620405269 449220608 79267 33554432000 4194304 6720400 140736360775488 18446744073709551615 4820717 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 109673 79267 265 617 0 109047 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 438692
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19103
/proc/meminfo: memFree=31598044/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=441456 CPUtime=1602.32 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 10615997 0 0 0 158643 1589 0 0 25 0 1 0 620405269 452050944 98906 33554432000 4194304 6720400 140736360775488 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 110364 98906 265 617 0 109738 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 441456
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19104
/proc/meminfo: memFree=31427008/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=658948 CPUtime=1662.33 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 10990180 0 0 0 164592 1641 0 0 25 0 1 0 620405269 674762752 135588 33554432000 4194304 6720400 140736360775488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 164737 135588 265 617 0 164111 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 658948
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19106
/proc/meminfo: memFree=31776276/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=233268 CPUtime=1722.33 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 11380484 0 0 0 170534 1699 0 0 25 0 1 0 620405269 238866432 53737 33554432000 4194304 6720400 140736360775488 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 58317 53737 265 617 0 57691 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 233268
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19108
/proc/meminfo: memFree=31674428/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=317068 CPUtime=1782.33 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 11754435 0 0 0 176478 1755 0 0 25 0 1 0 620405269 324677632 76508 33554432000 4194304 6720400 140736360775488 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 79267 76508 265 617 0 78641 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 317068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19108
/proc/meminfo: memFree=31627288/32951124 swapFree=67055708/67111528
[pid=19020] ppid=19018 vsize=450480 CPUtime=1800.04 cores=0,2,4,6
/proc/19020/stat : 19020 (minisatid) R 19018 19020 17032 0 -1 4202496 11869328 0 0 0 178233 1771 0 0 25 0 1 0 620405269 461291520 85971 33554432000 4194304 6720400 140736360775488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/19020/statm: 112620 85971 265 617 0 111994 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 450480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1782.33
CPU system time (s): 17.7293
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 745388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.33
system time used= 17.7293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11869335
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= 5
involuntary context switches= 1346
runsolver used 2.65959 second user time and 5.53016 second system time
The end