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-3491535-1307789982/watcher-3491535-1307789982 -o /tmp/evaluation-result-3491535-1307789982/solver-3491535-1307789982 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491535-1307789982.opb --verbosity=0 --format=opb --randomseed=55627213
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.92 1.98 1.95 3/177 14691
/proc/meminfo: memFree=31484576/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=7312 CPUtime=0 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 352 0 0 0 0 0 0 0 24 0 1 0 890596288 7487488 305 33554432000 4194304 6720400 140734234535984 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 1828 305 230 617 0 1202 0
[startup+0.0588401 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 14691
/proc/meminfo: memFree=31484576/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=10264 CPUtime=0.05 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 1094 0 0 0 5 0 0 0 24 0 1 0 890596288 10510336 1047 33554432000 4194304 6720400 140734234535984 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 2566 1047 230 617 0 1940 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10264
[startup+0.100842 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 14691
/proc/meminfo: memFree=31484576/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=12568 CPUtime=0.09 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 1666 0 0 0 9 0 0 0 24 0 1 0 890596288 12869632 1619 33554432000 4194304 6720400 140734234535984 18446744073709551615 4408297 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 3142 1620 230 617 0 2516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12568
[startup+0.300809 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 14691
/proc/meminfo: memFree=31484576/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=23428 CPUtime=0.29 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 4378 0 0 0 29 0 0 0 25 0 1 0 890596288 23990272 4331 33554432000 4194304 6720400 140734234535984 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 5857 4332 230 617 0 5231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23428
[startup+0.700703 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 14691
/proc/meminfo: memFree=31484576/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=45288 CPUtime=0.69 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 9809 0 0 0 68 1 0 0 25 0 1 0 890596288 46374912 9762 33554432000 4194304 6720400 140734234535984 18446744073709551615 4322586 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 11322 9763 230 617 0 10696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45288
[startup+1.50056 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 14692
/proc/meminfo: memFree=31429916/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=88676 CPUtime=1.49 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 20629 0 0 0 146 3 0 0 25 0 1 0 890596288 90804224 20582 33554432000 4194304 6720400 140734234535984 18446744073709551615 5511024 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 22169 20583 230 617 0 21543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88676
[startup+3.10031 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 14692
/proc/meminfo: memFree=31371100/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=172148 CPUtime=3.09 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 41479 0 0 0 303 6 0 0 25 0 1 0 890596288 176279552 41432 33554432000 4194304 6720400 140734234535984 18446744073709551615 5208373 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 43037 41433 230 617 0 42411 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172148
[startup+6.30074 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 14692
/proc/meminfo: memFree=31200236/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=337564 CPUtime=6.29 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 82972 0 0 0 616 13 0 0 25 0 1 0 890596288 345665536 82717 33554432000 4194304 6720400 140734234535984 18446744073709551615 5203184 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 84391 82718 230 617 0 83765 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 337564
[startup+12.7006 s]
/proc/loadavg: 1.94 1.98 1.95 3/178 14693
/proc/meminfo: memFree=30664452/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=939512 CPUtime=12.69 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 235959 0 0 0 1236 33 0 0 25 0 1 0 890596288 962060288 231623 33554432000 4194304 6720400 140734234535984 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 234878 231625 245 617 0 234252 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 939512
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.95 3/178 14693
/proc/meminfo: memFree=29308500/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2210876 CPUtime=25.49 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 551628 0 0 0 2480 69 0 0 25 0 1 0 890596288 2263937024 543191 33554432000 4194304 6720400 140734234535984 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 552719 543191 264 617 0 552093 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2210876
[startup+51.1009 s]
/proc/loadavg: 1.97 1.98 1.95 3/178 14694
/proc/meminfo: memFree=29308384/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2210876 CPUtime=51.09 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 551654 0 0 0 5040 69 0 0 25 0 1 0 890596288 2263937024 543213 33554432000 4194304 6720400 140734234535984 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 552719 543213 264 617 0 552093 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2210876
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 14704
/proc/meminfo: memFree=29308208/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=102.3 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 551682 0 0 0 10161 69 0 0 25 0 1 0 890596288 2259476480 543148 33554432000 4194304 6720400 140734234535984 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543148 264 617 0 551004 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2206520
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 14706
/proc/meminfo: memFree=29308420/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=162.29 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 551688 0 0 0 16160 69 0 0 25 0 1 0 890596288 2259476480 543154 33554432000 4194304 6720400 140734234535984 18446744073709551615 5517929 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543154 264 617 0 551004 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2206520
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 14707
/proc/meminfo: memFree=29308504/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=222.29 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 551694 0 0 0 22160 69 0 0 25 0 1 0 890596288 2259476480 543160 33554432000 4194304 6720400 140734234535984 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543160 264 617 0 551004 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2206520
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 1.96 3/178 14711
/proc/meminfo: memFree=29308460/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=282.3 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 551702 0 0 0 28160 70 0 0 25 0 1 0 890596288 2259476480 543168 33554432000 4194304 6720400 140734234535984 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543168 264 617 0 551004 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2206520
[startup+342.301 s]
/proc/loadavg: 2.02 2.00 1.96 3/178 14713
/proc/meminfo: memFree=29308164/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=342.3 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 551961 0 0 0 34160 70 0 0 25 0 1 0 890596288 2259476480 543412 33554432000 4194304 6720400 140734234535984 18446744073709551615 4803317 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543412 264 617 0 551004 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2206520
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14715
/proc/meminfo: memFree=29307872/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=402.3 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552037 0 0 0 40160 70 0 0 25 0 1 0 890596288 2259476480 543480 33554432000 4194304 6720400 140734234535984 18446744073709551615 4819093 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543480 264 617 0 551004 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2206520
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 14717
/proc/meminfo: memFree=29307464/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=462.3 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552054 0 0 0 46160 70 0 0 25 0 1 0 890596288 2259476480 543495 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630356 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543495 264 617 0 551004 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2206520
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 14718
/proc/meminfo: memFree=29307420/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=522.3 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552054 0 0 0 52160 70 0 0 25 0 1 0 890596288 2259476480 543495 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543495 264 617 0 551004 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2206520
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 14720
/proc/meminfo: memFree=29307508/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=582.3 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552060 0 0 0 58160 70 0 0 25 0 1 0 890596288 2259476480 543500 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630214 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543500 264 617 0 551004 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2206520
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14726
/proc/meminfo: memFree=29306856/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=822.31 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552140 0 0 0 82161 70 0 0 25 0 1 0 890596288 2259476480 543578 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543578 264 617 0 551004 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2206520
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14728
/proc/meminfo: memFree=29306924/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=882.31 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552151 0 0 0 88160 71 0 0 25 0 1 0 890596288 2259476480 543586 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543586 264 617 0 551004 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2206520
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14729
/proc/meminfo: memFree=29306508/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=942.31 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552171 0 0 0 94160 71 0 0 25 0 1 0 890596288 2259476480 543605 33554432000 4194304 6720400 140734234535984 18446744073709551615 4621637 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543605 264 617 0 551004 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2206520
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14731
/proc/meminfo: memFree=29306072/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1002.31 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552177 0 0 0 100160 71 0 0 25 0 1 0 890596288 2259476480 543610 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630637 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543610 264 617 0 551004 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2206520
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 14772
/proc/meminfo: memFree=29281884/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1062.32 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552179 0 0 0 106161 71 0 0 25 0 1 0 890596288 2259476480 543612 33554432000 4194304 6720400 140734234535984 18446744073709551615 4621615 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543612 264 617 0 551004 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2206520
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 14773
/proc/meminfo: memFree=29281780/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1122.32 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552183 0 0 0 112161 71 0 0 25 0 1 0 890596288 2259476480 543616 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630274 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543616 264 617 0 551004 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2206520
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14775
/proc/meminfo: memFree=29281496/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1182.32 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552183 0 0 0 118161 71 0 0 25 0 1 0 890596288 2259476480 543616 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543616 264 617 0 551004 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2206520
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14776
/proc/meminfo: memFree=29280812/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1242.32 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552183 0 0 0 124161 71 0 0 25 0 1 0 890596288 2259476480 543616 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630640 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543616 264 617 0 551004 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2206520
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14778
/proc/meminfo: memFree=29280632/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1302.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552183 0 0 0 130162 71 0 0 25 0 1 0 890596288 2259476480 543616 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630499 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543616 264 617 0 551004 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2206520
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14780
/proc/meminfo: memFree=29278480/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1362.32 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552183 0 0 0 136161 71 0 0 25 0 1 0 890596288 2259476480 543616 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630649 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543616 264 617 0 551004 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2206520
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14781
/proc/meminfo: memFree=29278440/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1422.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552184 0 0 0 142162 71 0 0 25 0 1 0 890596288 2259476480 543617 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543617 264 617 0 551004 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2206520
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 14783
/proc/meminfo: memFree=29278276/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1482.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552188 0 0 0 148161 72 0 0 25 0 1 0 890596288 2259476480 543620 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630158 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543620 264 617 0 551004 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2206520
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 14784
/proc/meminfo: memFree=29278464/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1542.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552198 0 0 0 154161 72 0 0 25 0 1 0 890596288 2259476480 543629 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630371 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543629 264 617 0 551004 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2206520
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/178 14786
/proc/meminfo: memFree=29275212/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1602.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552198 0 0 0 160161 72 0 0 25 0 1 0 890596288 2259476480 543629 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543629 264 617 0 551004 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2206520
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 14788
/proc/meminfo: memFree=29275276/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1662.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552199 0 0 0 166161 72 0 0 25 0 1 0 890596288 2259476480 543630 33554432000 4194304 6720400 140734234535984 18446744073709551615 4621615 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543630 264 617 0 551004 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2206520
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 14789
/proc/meminfo: memFree=29275236/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1722.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552199 0 0 0 172161 72 0 0 25 0 1 0 890596288 2259476480 543630 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543630 264 617 0 551004 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2206520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 14791
/proc/meminfo: memFree=29274936/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1782.33 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552199 0 0 0 178161 72 0 0 25 0 1 0 890596288 2259476480 543630 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630274 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543630 264 617 0 551004 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2206520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 14791
/proc/meminfo: memFree=29274796/32951124 swapFree=67056676/67111528
[pid=14691] ppid=14689 vsize=2206520 CPUtime=1800.04 cores=0,2,4,6
/proc/14691/stat : 14691 (minisatid) R 14689 14691 13755 0 -1 4202496 552199 0 0 0 179932 72 0 0 25 0 1 0 890596288 2259476480 543630 33554432000 4194304 6720400 140734234535984 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/14691/statm: 551630 543630 264 617 0 551004 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2206520
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.1
CPU time (s): 1800.14
CPU user time (s): 1799.32
CPU system time (s): 0.811876
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2210876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.811876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552206
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= 3584
runsolver used 2.67859 second user time and 5.52116 second system time
The end