runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466175-1307421847/watcher-3466175-1307421847 -o /tmp/evaluation-result-3466175-1307421847/solver-3466175-1307421847 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466175-1307421847.opb --verbosity=0 --format=opb
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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.04 2.00 3/458 7618
/proc/meminfo: memFree=26104592/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=7336 CPUtime=0 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 356 0 0 0 0 0 0 0 25 0 1 0 853782858 7512064 303 33554432000 4194304 6736272 140737445057664 18446744073709551615 5911648 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 1834 303 247 621 0 1204 0
[startup+0.111035 s]
/proc/loadavg: 2.06 2.04 2.00 3/458 7618
/proc/meminfo: memFree=26104592/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=18124 CPUtime=0.1 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 3082 0 0 0 10 0 0 0 25 0 1 0 853782858 18558976 3029 33554432000 4194304 6736272 140737445057664 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 4531 3030 265 621 0 3901 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18124
[startup+0.201023 s]
/proc/loadavg: 2.06 2.04 2.00 3/458 7618
/proc/meminfo: memFree=26104592/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=26756 CPUtime=0.18 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 5224 0 0 0 18 0 0 0 25 0 1 0 853782858 27398144 5171 33554432000 4194304 6736272 140737445057664 18446744073709551615 5146832 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 6689 5171 274 621 0 6059 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 26756
[startup+0.301009 s]
/proc/loadavg: 2.06 2.04 2.00 3/458 7618
/proc/meminfo: memFree=26104592/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=22548 CPUtime=0.28 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 5254 0 0 0 28 0 0 0 25 0 1 0 853782858 23089152 5200 33554432000 4194304 6736272 140737445057664 18446744073709551615 5803203 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 5637 5200 277 621 0 5007 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22548
[startup+0.700939 s]
/proc/loadavg: 2.06 2.04 2.00 3/458 7618
/proc/meminfo: memFree=26104592/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=22896 CPUtime=0.68 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 5319 0 0 0 68 0 0 0 25 0 1 0 853782858 23445504 5265 33554432000 4194304 6736272 140737445057664 18446744073709551615 5803218 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 5724 5265 286 621 0 5094 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22896
[startup+1.5008 s]
/proc/loadavg: 2.06 2.04 2.00 3/459 7619
/proc/meminfo: memFree=26084516/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=22896 CPUtime=1.48 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 5319 0 0 0 148 0 0 0 25 0 1 0 853782858 23445504 5265 33554432000 4194304 6736272 140737445057664 18446744073709551615 5806527 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 5724 5265 286 621 0 5094 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22896
[startup+3.10052 s]
/proc/loadavg: 2.05 2.03 2.00 3/459 7619
/proc/meminfo: memFree=26083400/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=33916 CPUtime=3.08 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 7508 0 0 0 308 0 0 0 25 0 1 0 853782858 34729984 7447 33554432000 4194304 6736272 140737445057664 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 8479 7447 286 621 0 7849 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33916
[startup+6.30094 s]
/proc/loadavg: 2.05 2.03 2.00 3/459 7620
/proc/meminfo: memFree=26078644/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=27012 CPUtime=6.28 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 7651 0 0 0 628 0 0 0 25 0 1 0 853782858 27660288 6313 33554432000 4194304 6736272 140737445057664 18446744073709551615 4753908 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 6753 6313 286 621 0 6123 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27012
[startup+12.7008 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 7620
/proc/meminfo: memFree=26074832/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=29928 CPUtime=12.68 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 10870 0 0 0 1267 1 0 0 25 0 1 0 853782858 30646272 7064 33554432000 4194304 6736272 140737445057664 18446744073709551615 4732864 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 7482 7064 286 621 0 6852 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29928
[startup+25.5005 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 7620
/proc/meminfo: memFree=26069132/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=25.49 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 12454 0 0 0 2547 2 0 0 25 0 1 0 853782858 42672128 8640 33554432000 4194304 6736272 140737445057664 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 8640 286 621 0 9788 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41672
[startup+51.101 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 7621
/proc/meminfo: memFree=26064636/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=51.09 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13590 0 0 0 5107 2 0 0 25 0 1 0 853782858 42672128 9772 33554432000 4194304 6736272 140737445057664 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9772 286 621 0 9788 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41672
[startup+102.301 s]
/proc/loadavg: 2.18 2.07 2.01 3/459 7622
/proc/meminfo: memFree=26063740/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=102.29 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 10227 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 41672
[startup+162.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/459 7624
/proc/meminfo: memFree=26063456/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=162.29 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 16227 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 41672
[startup+222.317 s]
/proc/loadavg: 2.04 2.05 2.01 3/459 7625
/proc/meminfo: memFree=26063432/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=222.31 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 22229 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4534996 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 41672
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 7627
/proc/meminfo: memFree=26064152/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=282.29 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 28227 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5806449 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 41672
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 7629
/proc/meminfo: memFree=26064252/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=342.29 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 34227 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4512625 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41672
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 7630
/proc/meminfo: memFree=26064228/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=402.3 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 40228 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5221904 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 41672
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 7632
/proc/meminfo: memFree=26064580/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=462.3 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 46228 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4734654 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 41672
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 7633
/proc/meminfo: memFree=26064428/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=522.3 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 52228 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 41672
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 7635
/proc/meminfo: memFree=26064152/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=582.3 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 58228 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5811878 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 41672
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.06 2.07 2.02 3/459 7643
/proc/meminfo: memFree=26063808/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=882.32 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 88230 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 41672
[startup+942.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/459 7645
/proc/meminfo: memFree=26064036/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=942.31 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 94229 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5806372 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 41672
[startup+1002.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/459 7646
/proc/meminfo: memFree=26064128/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1002.31 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 100229 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5150512 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 41672
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/459 7657
/proc/meminfo: memFree=26064484/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1062.31 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 106229 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 41672
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 7658
/proc/meminfo: memFree=26064212/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1122.31 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 112229 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5817948 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 41672
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 7660
/proc/meminfo: memFree=26063812/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1182.32 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 118230 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4534660 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 41672
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/459 7693
/proc/meminfo: memFree=25793188/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1242.32 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 124230 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5817976 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 41672
[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/459 7748
/proc/meminfo: memFree=26040924/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1302.32 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 130230 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 41672
[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/459 7777
/proc/meminfo: memFree=25792324/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1362.32 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 136230 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5803333 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 41672
[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/459 7778
/proc/meminfo: memFree=25791696/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1422.33 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 142231 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 41672
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 7780
/proc/meminfo: memFree=25791296/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1482.32 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 148230 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 41672
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 7782
/proc/meminfo: memFree=25791516/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1542.34 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 154232 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4535088 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 41672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 7783
/proc/meminfo: memFree=25791868/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1602.33 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 160231 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 41672
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/459 7785
/proc/meminfo: memFree=25791972/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1662.33 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 166231 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5222025 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 41672
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/459 7786
/proc/meminfo: memFree=25792324/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1722.33 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 172231 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 41672
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/459 7788
/proc/meminfo: memFree=25791312/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1782.33 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 178231 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5803339 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 41672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 7788
/proc/meminfo: memFree=25791188/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1800.04 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 180002 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5803361 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 41672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 7788
/proc/meminfo: memFree=25791188/32951124 swapFree=60688864/67111528
[pid=7618] ppid=7616 vsize=41672 CPUtime=1800.04 cores=1,3,5,7
/proc/7618/stat : 7618 (minisatid-gmp) R 7616 7618 7230 0 -1 4202496 13591 0 0 0 180002 2 0 0 25 0 1 0 853782858 42672128 9773 33554432000 4194304 6736272 140737445057664 18446744073709551615 5803361 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/7618/statm: 10418 9773 287 621 0 9788 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 41672
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.03
CPU system time (s): 0.026995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 41672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13596
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= 2788
runsolver used 8.18276 second user time and 18.0263 second system time
The end