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-3490509-1307781991/watcher-3490509-1307781991 -o /tmp/evaluation-result-3490509-1307781991/solver-3490509-1307781991 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490509-1307781991.opb --verbosity=0 --format=opb --randomseed=1504066316
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.36 1.79 1.87 3/176 8963
/proc/meminfo: memFree=31722552/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=7444 CPUtime=0 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 400 0 0 0 0 0 0 0 23 0 1 0 968429811 7622656 353 33554432000 4194304 6720400 140735252734368 18446744073709551615 4819080 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 1861 353 255 617 0 1235 0
[startup+0.0670621 s]
/proc/loadavg: 1.36 1.79 1.87 3/176 8963
/proc/meminfo: memFree=31722552/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=7592 CPUtime=0.06 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 622 0 0 0 6 0 0 0 23 0 1 0 968429811 7774208 571 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 1898 571 262 617 0 1272 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7592
[startup+0.101069 s]
/proc/loadavg: 1.36 1.79 1.87 3/176 8963
/proc/meminfo: memFree=31722552/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=7592 CPUtime=0.1 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 742 0 0 0 10 0 0 0 24 0 1 0 968429811 7774208 689 33554432000 4194304 6720400 140735252734368 18446744073709551615 4610378 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 1898 690 263 617 0 1272 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7592
[startup+0.301035 s]
/proc/loadavg: 1.36 1.79 1.87 3/176 8963
/proc/meminfo: memFree=31722552/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=6432 CPUtime=0.3 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 1759 0 0 0 30 0 0 0 25 0 1 0 968429811 6586368 807 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 1608 807 263 617 0 982 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 6432
[startup+0.700969 s]
/proc/loadavg: 1.36 1.79 1.87 3/176 8963
/proc/meminfo: memFree=31722552/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=9912 CPUtime=0.69 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 2904 0 0 0 69 0 0 0 25 0 1 0 968429811 10149888 1940 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 2478 1940 263 617 0 1852 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9912
[startup+1.50082 s]
/proc/loadavg: 1.36 1.79 1.87 4/178 8965
/proc/meminfo: memFree=31712988/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=11588 CPUtime=1.49 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 3422 0 0 0 149 0 0 0 25 0 1 0 968429811 11866112 2455 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 2897 2455 263 617 0 2271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11588
[startup+3.10039 s]
/proc/loadavg: 1.36 1.79 1.87 4/178 8965
/proc/meminfo: memFree=31707160/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=13460 CPUtime=3.09 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 3678 0 0 0 309 0 0 0 25 0 1 0 968429811 13783040 2707 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803147 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 3365 2707 263 617 0 2739 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13460
[startup+6.30094 s]
/proc/loadavg: 1.41 1.79 1.87 4/178 8965
/proc/meminfo: memFree=31701984/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=16420 CPUtime=6.29 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 4505 0 0 0 629 0 0 0 25 0 1 0 968429811 16814080 3526 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803156 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 4105 3526 263 617 0 3479 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16420
[startup+12.7008 s]
/proc/loadavg: 1.46 1.80 1.87 4/178 8965
/proc/meminfo: memFree=31696268/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=22648 CPUtime=12.69 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 6660 0 0 0 1269 0 0 0 25 0 1 0 968429811 23191552 4571 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 5662 4571 263 617 0 5036 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22648
[startup+25.5004 s]
/proc/loadavg: 1.58 1.81 1.87 4/178 8966
/proc/meminfo: memFree=31688984/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=27380 CPUtime=25.49 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 8135 0 0 0 2549 0 0 0 25 0 1 0 968429811 28037120 6015 33554432000 4194304 6720400 140735252734368 18446744073709551615 4820160 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 6845 6015 263 617 0 6219 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27380
[startup+51.1007 s]
/proc/loadavg: 1.72 1.82 1.87 4/178 8966
/proc/meminfo: memFree=31677096/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=37296 CPUtime=51.1 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 9404 0 0 0 5109 1 0 0 25 0 1 0 968429811 38191104 7248 33554432000 4194304 6720400 140735252734368 18446744073709551615 4616715 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 9324 7248 263 617 0 8698 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 37296
[startup+102.306 s]
/proc/loadavg: 1.88 1.85 1.87 4/178 8968
/proc/meminfo: memFree=31663056/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=51508 CPUtime=102.3 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 18592 0 0 0 10228 2 0 0 25 0 1 0 968429811 52744192 10637 33554432000 4194304 6720400 140735252734368 18446744073709551615 4819968 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 12877 10637 263 617 0 12251 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 51508
[startup+162.3 s]
/proc/loadavg: 1.95 1.87 1.88 4/178 8969
/proc/meminfo: memFree=31653312/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=51508 CPUtime=162.29 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 19694 0 0 0 16227 2 0 0 25 0 1 0 968429811 52744192 11734 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803288 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 12877 11734 263 617 0 12251 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 51508
[startup+222.3 s]
/proc/loadavg: 1.98 1.89 1.89 4/178 8971
/proc/meminfo: memFree=31651392/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=52504 CPUtime=222.29 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 19970 0 0 0 22227 2 0 0 25 0 1 0 968429811 53764096 12008 33554432000 4194304 6720400 140735252734368 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 13126 12008 263 617 0 12500 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 52504
[startup+282.3 s]
/proc/loadavg: 1.99 1.91 1.89 4/178 8973
/proc/meminfo: memFree=31646984/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=56856 CPUtime=282.3 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 21093 0 0 0 28228 2 0 0 25 0 1 0 968429811 58220544 13119 33554432000 4194304 6720400 140735252734368 18446744073709551615 4805837 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 14214 13119 263 617 0 13588 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 56856
[startup+342.3 s]
/proc/loadavg: 1.99 1.92 1.90 4/178 8974
/proc/meminfo: memFree=31644444/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=57924 CPUtime=342.3 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 21652 0 0 0 34228 2 0 0 25 0 1 0 968429811 59314176 13669 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 14481 13669 263 617 0 13855 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 57924
[startup+402.3 s]
/proc/loadavg: 1.99 1.93 1.90 4/178 8976
/proc/meminfo: memFree=31643380/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=58352 CPUtime=402.3 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 21806 0 0 0 40228 2 0 0 25 0 1 0 968429811 59752448 13817 33554432000 4194304 6720400 140735252734368 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 14588 13817 263 617 0 13962 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 58352
[startup+462.3 s]
/proc/loadavg: 2.13 1.98 1.92 4/178 8977
/proc/meminfo: memFree=31639848/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=58776 CPUtime=462.3 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 21914 0 0 0 46228 2 0 0 25 0 1 0 968429811 60186624 13923 33554432000 4194304 6720400 140735252734368 18446744073709551615 4616694 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 14694 13923 263 617 0 14068 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 58776
[startup+522.3 s]
/proc/loadavg: 2.05 1.98 1.92 4/178 8979
/proc/meminfo: memFree=31628752/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=60056 CPUtime=522.31 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 22492 0 0 0 52228 3 0 0 25 0 1 0 968429811 61497344 14484 33554432000 4194304 6720400 140735252734368 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 15014 14484 263 617 0 14388 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 60056
[startup+582.301 s]
/proc/loadavg: 2.02 1.98 1.92 4/178 8981
/proc/meminfo: memFree=31628060/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=60696 CPUtime=582.31 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 22655 0 0 0 58228 3 0 0 25 0 1 0 968429811 62152704 14644 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 15174 14644 263 617 0 14548 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 60696
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.98 1.92 4/178 8987
/proc/meminfo: memFree=31615248/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=822.31 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 28861 0 0 0 82227 4 0 0 25 0 1 0 968429811 93835264 17866 33554432000 4194304 6720400 140735252734368 18446744073709551615 4805576 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 17866 263 617 0 22283 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 91636
[startup+882.301 s]
/proc/loadavg: 2.00 1.98 1.92 4/178 8998
/proc/meminfo: memFree=31614780/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=882.32 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 28890 0 0 0 88228 4 0 0 25 0 1 0 968429811 93835264 17895 33554432000 4194304 6720400 140735252734368 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 17895 263 617 0 22283 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 91636
[startup+942.301 s]
/proc/loadavg: 2.00 1.98 1.92 4/178 8999
/proc/meminfo: memFree=31614692/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=942.32 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 28902 0 0 0 94228 4 0 0 25 0 1 0 968429811 93835264 17907 33554432000 4194304 6720400 140735252734368 18446744073709551615 4434237 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 17907 263 617 0 22283 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 91636
[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.92 4/178 9001
/proc/meminfo: memFree=31614380/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1002.32 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 29007 0 0 0 100228 4 0 0 25 0 1 0 968429811 93835264 18009 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803116 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 18009 263 617 0 22283 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 91636
[startup+1062.3 s]
/proc/loadavg: 2.07 2.00 1.93 4/178 9002
/proc/meminfo: memFree=31614668/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1062.32 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 29007 0 0 0 106228 4 0 0 25 0 1 0 968429811 93835264 18009 33554432000 4194304 6720400 140735252734368 18446744073709551615 4595166 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 18009 263 617 0 22283 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 91636
[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.93 4/178 9004
/proc/meminfo: memFree=31614344/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1122.32 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 29060 0 0 0 112228 4 0 0 25 0 1 0 968429811 93835264 18061 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803225 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 18061 263 617 0 22283 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 91636
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.93 4/178 9005
/proc/meminfo: memFree=31613768/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1182.32 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 29202 0 0 0 118228 4 0 0 25 0 1 0 968429811 93835264 18201 33554432000 4194304 6720400 140735252734368 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 18201 263 617 0 22283 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 91636
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9007
/proc/meminfo: memFree=31613584/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1242.33 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 29202 0 0 0 124228 5 0 0 25 0 1 0 968429811 93835264 18201 33554432000 4194304 6720400 140735252734368 18446744073709551615 4719215 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 18201 263 617 0 22283 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 91636
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9009
/proc/meminfo: memFree=31601744/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1302.33 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 32134 0 0 0 130228 5 0 0 25 0 1 0 968429811 93835264 21074 33554432000 4194304 6720400 140735252734368 18446744073709551615 4819162 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 21074 263 617 0 22283 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 91636
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9010
/proc/meminfo: memFree=31601688/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1362.33 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 32134 0 0 0 136228 5 0 0 25 0 1 0 968429811 93835264 21074 33554432000 4194304 6720400 140735252734368 18446744073709551615 4719229 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 21074 263 617 0 22283 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 91636
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9012
/proc/meminfo: memFree=31601500/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=91636 CPUtime=1422.34 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 32193 0 0 0 142229 5 0 0 25 0 1 0 968429811 93835264 21131 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803302 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 22909 21131 263 617 0 22283 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 91636
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9014
/proc/meminfo: memFree=31596468/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=99456 CPUtime=1482.34 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 33483 0 0 0 148228 6 0 0 25 0 1 0 968429811 101842944 22411 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 24864 22411 263 617 0 24238 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 99456
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9015
/proc/meminfo: memFree=31595668/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=99456 CPUtime=1542.34 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 33637 0 0 0 154228 6 0 0 25 0 1 0 968429811 101842944 22561 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803147 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 24864 22561 263 617 0 24238 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 99456
[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 1.94 4/178 9017
/proc/meminfo: memFree=31588776/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=99456 CPUtime=1602.34 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 33637 0 0 0 160228 6 0 0 25 0 1 0 968429811 101842944 22561 33554432000 4194304 6720400 140735252734368 18446744073709551615 4805715 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 24864 22561 263 617 0 24238 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 99456
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.94 4/178 9018
/proc/meminfo: memFree=31588696/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=99456 CPUtime=1662.34 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 33637 0 0 0 166228 6 0 0 25 0 1 0 968429811 101842944 22561 33554432000 4194304 6720400 140735252734368 18446744073709551615 4611728 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 24864 22561 263 617 0 24238 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 99456
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.94 4/178 9020
/proc/meminfo: memFree=31587396/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=99456 CPUtime=1722.35 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 33834 0 0 0 172229 6 0 0 25 0 1 0 968429811 101842944 22754 33554432000 4194304 6720400 140735252734368 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 24864 22754 263 617 0 24238 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 99456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/178 9022
/proc/meminfo: memFree=31586096/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=99456 CPUtime=1782.35 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 34009 0 0 0 178229 6 0 0 25 0 1 0 968429811 101842944 22926 33554432000 4194304 6720400 140735252734368 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 24864 22926 263 617 0 24238 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 99456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.94 4/178 9022
/proc/meminfo: memFree=31585580/32950928 swapFree=67051812/67111528
[pid=8963] ppid=8959 vsize=99456 CPUtime=1800.05 cores=0,2,4,6
/proc/8963/stat : 8963 (minisatid) R 8959 8963 3085 0 -1 4202496 34174 0 0 0 179999 6 0 0 25 0 1 0 968429811 101842944 23086 33554432000 4194304 6720400 140735252734368 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/8963/statm: 24864 23086 263 617 0 24238 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 99456
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.01
CPU time (s): 1800.07
CPU user time (s): 1799.99
CPU system time (s): 0.073988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 99456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34181
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= 3604
runsolver used 3.02154 second user time and 6.73298 second system time
The end