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-3490605-1307771107/watcher-3490605-1307771107 -o /tmp/evaluation-result-3490605-1307771107/solver-3490605-1307771107 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490605-1307771107.opb --verbosity=0 --format=opb --randomseed=2114466370
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: 2.04 1.99 1.91 2/177 12181
/proc/meminfo: memFree=31805108/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=7700 CPUtime=0 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 429 0 0 0 0 0 0 0 25 0 1 0 888713466 7884800 381 33554432000 4194304 6720400 140736015780512 18446744073709551615 6068346 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 1925 381 231 617 0 1299 0
[startup+0.059589 s]
/proc/loadavg: 2.04 1.99 1.91 2/177 12181
/proc/meminfo: memFree=31805108/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=12436 CPUtime=0.05 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 1616 0 0 0 5 0 0 0 25 0 1 0 888713466 12734464 1568 33554432000 4194304 6720400 140736015780512 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 3109 1568 231 617 0 2483 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12436
[startup+0.100594 s]
/proc/loadavg: 2.04 1.99 1.91 2/177 12181
/proc/meminfo: memFree=31805108/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=17684 CPUtime=0.09 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 2974 0 0 0 9 0 0 0 25 0 1 0 888713466 18108416 2893 33554432000 4194304 6720400 140736015780512 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 4421 2895 245 617 0 3795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17684
[startup+0.300546 s]
/proc/loadavg: 2.04 1.99 1.91 2/177 12181
/proc/meminfo: memFree=31805108/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=32040 CPUtime=0.29 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 6983 0 0 0 29 0 0 0 25 0 1 0 888713466 32808960 6835 33554432000 4194304 6720400 140736015780512 18446744073709551615 5569890 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 8010 6835 265 617 0 7384 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32040
[startup+0.700475 s]
/proc/loadavg: 2.04 1.99 1.91 2/177 12181
/proc/meminfo: memFree=31805108/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=35024 CPUtime=0.69 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 10053 0 0 0 68 1 0 0 25 0 1 0 888713466 35864576 7764 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 8756 7764 266 617 0 8130 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35024
[startup+1.50034 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 12182
/proc/meminfo: memFree=31755772/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=62944 CPUtime=1.49 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 17809 0 0 0 147 2 0 0 25 0 1 0 888713466 64454656 13427 33554432000 4194304 6720400 140736015780512 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 15736 13428 266 617 0 15110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62944
[startup+3.10105 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 12182
/proc/meminfo: memFree=31720808/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=79036 CPUtime=3.1 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 26262 0 0 0 307 3 0 0 25 0 1 0 888713466 80932864 18474 33554432000 4194304 6720400 140736015780512 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 19759 18474 266 617 0 19133 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 79036
[startup+6.3005 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 12183
/proc/meminfo: memFree=31653364/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=97892 CPUtime=6.29 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 36349 0 0 0 625 4 0 0 25 0 1 0 888713466 100241408 23648 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 24473 23648 266 617 0 23847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97892
[startup+12.7003 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 12183
/proc/meminfo: memFree=31645004/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=97892 CPUtime=12.69 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 36588 0 0 0 1265 4 0 0 25 0 1 0 888713466 100241408 23887 33554432000 4194304 6720400 140736015780512 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 24473 23887 266 617 0 23847 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97892
[startup+25.5011 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 12183
/proc/meminfo: memFree=31590688/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=132876 CPUtime=25.49 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 40546 0 0 0 2545 4 0 0 25 0 1 0 888713466 136065024 27837 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/12181/statm: 33219 27837 266 617 0 32593 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 132876
[startup+51.1005 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 12184
/proc/meminfo: memFree=31588256/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=132876 CPUtime=51.09 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 197480 0 0 0 5085 24 0 0 25 0 1 0 888713466 136065024 28058 33554432000 4194304 6720400 140736015780512 18446744073709551615 4806006 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 33219 28058 266 617 0 32593 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 132876
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12185
/proc/meminfo: memFree=31558216/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=132876 CPUtime=102.29 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 419917 0 0 0 10177 52 0 0 25 0 1 0 888713466 136065024 32730 33554432000 4194304 6720400 140736015780512 18446744073709551615 5723018 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 33219 32730 266 617 0 32593 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 132876
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12187
/proc/meminfo: memFree=31513780/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=144800 CPUtime=162.3 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 640074 0 0 0 16149 81 0 0 25 0 1 0 888713466 148275200 35711 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 36200 35711 266 617 0 35574 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 144800
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12188
/proc/meminfo: memFree=31545712/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=144800 CPUtime=222.29 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 840207 0 0 0 22127 102 0 0 25 0 1 0 888713466 148275200 35711 33554432000 4194304 6720400 140736015780512 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 36200 35711 266 617 0 35574 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 144800
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12190
/proc/meminfo: memFree=31512804/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=144800 CPUtime=282.29 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 879180 0 0 0 28123 106 0 0 25 0 1 0 888713466 148275200 35711 33554432000 4194304 6720400 140736015780512 18446744073709551615 4411760 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 36200 35711 266 617 0 35574 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 144800
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12191
/proc/meminfo: memFree=31478408/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=144800 CPUtime=342.3 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 1207252 0 0 0 34085 145 0 0 25 0 1 0 888713466 148275200 35711 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 36200 35711 266 617 0 35574 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 144800
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12193
/proc/meminfo: memFree=31432816/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=144800 CPUtime=402.3 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 1503305 0 0 0 40047 183 0 0 25 0 1 0 888713466 148275200 35713 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 36200 35713 266 617 0 35574 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 144800
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12195
/proc/meminfo: memFree=31438852/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=194120 CPUtime=462.3 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 1810539 0 0 0 46006 224 0 0 25 0 1 0 888713466 198778880 44642 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 48530 44642 266 617 0 47904 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 194120
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12196
/proc/meminfo: memFree=31514420/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=144800 CPUtime=522.3 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 2058394 0 0 0 51972 258 0 0 25 0 1 0 888713466 148275200 35713 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 36200 35713 266 617 0 35574 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 144800
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12198
/proc/meminfo: memFree=31419980/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=163664 CPUtime=582.31 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 2342149 0 0 0 57935 296 0 0 25 0 1 0 888713466 167591936 36592 33554432000 4194304 6720400 140736015780512 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 40916 36592 266 617 0 40290 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 163664
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12204
/proc/meminfo: memFree=31430416/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=229684 CPUtime=822.31 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 3502016 0 0 0 81777 454 0 0 25 0 1 0 888713466 235196416 53400 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 57421 53400 266 617 0 56795 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 229684
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12206
/proc/meminfo: memFree=31409284/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=229684 CPUtime=882.31 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 3770081 0 0 0 87740 491 0 0 25 0 1 0 888713466 235196416 52743 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 57421 52743 266 617 0 56795 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 229684
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12207
/proc/meminfo: memFree=31430564/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=229684 CPUtime=942.31 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 4014231 0 0 0 93706 525 0 0 25 0 1 0 888713466 235196416 53533 33554432000 4194304 6720400 140736015780512 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 57421 53533 266 617 0 56795 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 229684
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12218
/proc/meminfo: memFree=31420320/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=260504 CPUtime=1002.32 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 4330740 0 0 0 99664 568 0 0 25 0 1 0 888713466 266756096 57747 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 65126 57747 266 617 0 64500 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 260504
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 12220
/proc/meminfo: memFree=31422000/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=229684 CPUtime=1062.32 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 4560537 0 0 0 105632 600 0 0 25 0 1 0 888713466 235196416 52654 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 57421 52654 266 617 0 56795 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 229684
[startup+1122.3 s]
/proc/loadavg: 2.07 2.00 1.92 3/178 12224
/proc/meminfo: memFree=31374048/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=229684 CPUtime=1122.32 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 4783137 0 0 0 111603 629 0 0 25 0 1 0 888713466 235196416 54580 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 57421 54580 266 617 0 56795 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 229684
[startup+1182.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 12226
/proc/meminfo: memFree=31462376/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=229684 CPUtime=1182.32 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 5001619 0 0 0 117573 659 0 0 25 0 1 0 888713466 235196416 54558 33554432000 4194304 6720400 140736015780512 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 57421 54558 266 617 0 56795 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 229684
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 12227
/proc/meminfo: memFree=31427728/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=248928 CPUtime=1242.32 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 5233516 0 0 0 123540 692 0 0 25 0 1 0 888713466 254902272 54233 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 62232 54233 266 617 0 61606 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 248928
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12229
/proc/meminfo: memFree=31425688/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=199608 CPUtime=1302.33 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 5537112 0 0 0 129498 735 0 0 25 0 1 0 888713466 204398592 45957 33554432000 4194304 6720400 140736015780512 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 49902 45957 266 617 0 49276 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 199608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12231
/proc/meminfo: memFree=31418828/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=279748 CPUtime=1362.32 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 5991620 0 0 0 135435 797 0 0 25 0 1 0 888713466 286461952 58703 33554432000 4194304 6720400 140736015780512 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 69937 58703 266 617 0 69311 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 279748
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12232
/proc/meminfo: memFree=31453736/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=199608 CPUtime=1422.34 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 6302717 0 0 0 141392 842 0 0 25 0 1 0 888713466 204398592 46536 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 49902 46536 266 617 0 49276 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 199608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12234
/proc/meminfo: memFree=31451944/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=248928 CPUtime=1482.32 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 6500311 0 0 0 147361 871 0 0 25 0 1 0 888713466 254902272 57218 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 62232 57218 266 617 0 61606 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 248928
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12235
/proc/meminfo: memFree=31391856/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=279748 CPUtime=1542.33 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 6691827 0 0 0 153331 902 0 0 25 0 1 0 888713466 286461952 62045 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 69937 62045 266 617 0 69311 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 279748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12237
/proc/meminfo: memFree=31385708/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=199608 CPUtime=1602.33 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 6910480 0 0 0 159300 933 0 0 25 0 1 0 888713466 204398592 48064 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 49902 48064 266 617 0 49276 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 199608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12239
/proc/meminfo: memFree=31413536/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=199608 CPUtime=1662.33 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 7112176 0 0 0 165273 960 0 0 25 0 1 0 888713466 204398592 48633 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 49902 48633 266 617 0 49276 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 199608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12240
/proc/meminfo: memFree=31395224/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=199608 CPUtime=1722.33 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 7298025 0 0 0 171241 992 0 0 25 0 1 0 888713466 204398592 49065 33554432000 4194304 6720400 140736015780512 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 49902 49065 266 617 0 49276 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 199608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12242
/proc/meminfo: memFree=31408056/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=248928 CPUtime=1782.34 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 7584142 0 0 0 177201 1033 0 0 25 0 1 0 888713466 254902272 58744 33554432000 4194304 6720400 140736015780512 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 62232 58744 266 617 0 61606 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 248928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 12243
/proc/meminfo: memFree=31579916/32951124 swapFree=67050780/67111528
[pid=12181] ppid=12179 vsize=279748 CPUtime=1800.04 cores=1,3,5,7
/proc/12181/stat : 12181 (minisatid) R 12179 12181 1779 0 -1 4202496 7649319 0 0 0 178959 1045 0 0 25 0 1 0 888713466 286461952 62090 33554432000 4194304 6720400 140736015780512 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12181/statm: 69937 62090 266 617 0 69311 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 279748
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): 1789.6
CPU system time (s): 10.4594
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 279748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.6
system time used= 10.4594
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7649324
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= 3
involuntary context switches= 20896
runsolver used 2.47062 second user time and 6.04608 second system time
The end