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-3464772-1307390588/watcher-3464772-1307390588 -o /tmp/evaluation-result-3464772-1307390588/solver-3464772-1307390588 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464772-1307390588.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: 1.97 2.03 2.00 2/505 31689
/proc/meminfo: memFree=30150636/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=8688 CPUtime=0.01 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 752 0 0 0 1 0 0 0 23 0 1 0 850661402 8896512 702 33554432000 4194304 6539028 140737132071392 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2172 703 236 573 0 1590 0
[startup+0.0873991 s]
/proc/loadavg: 1.97 2.03 2.00 2/505 31689
/proc/meminfo: memFree=30150636/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=11664 CPUtime=0.08 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 1538 0 0 0 8 0 0 0 23 0 1 0 850661402 11943936 1482 33554432000 4194304 6539028 140737132071392 18446744073709551615 4626304 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2916 1482 269 573 0 2334 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11664
[startup+0.100407 s]
/proc/loadavg: 1.97 2.03 2.00 2/505 31689
/proc/meminfo: memFree=30150636/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=11668 CPUtime=0.09 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 1543 0 0 0 9 0 0 0 23 0 1 0 850661402 11948032 1487 33554432000 4194304 6539028 140737132071392 18446744073709551615 4716032 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2917 1487 270 573 0 2335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11668
[startup+0.30036 s]
/proc/loadavg: 1.97 2.03 2.00 2/505 31689
/proc/meminfo: memFree=30150636/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=11772 CPUtime=0.29 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 2206 0 0 0 29 0 0 0 25 0 1 0 850661402 12054528 2149 33554432000 4194304 6539028 140737132071392 18446744073709551615 4701536 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2943 2150 270 573 0 2361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11772
[startup+0.700288 s]
/proc/loadavg: 1.97 2.03 2.00 2/505 31689
/proc/meminfo: memFree=30150636/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=19016 CPUtime=0.69 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 4043 0 0 0 69 0 0 0 25 0 1 0 850661402 19472384 3983 33554432000 4194304 6539028 140737132071392 18446744073709551615 4617536 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4754 3983 270 573 0 4172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19016
[startup+1.50015 s]
/proc/loadavg: 1.97 2.03 2.00 3/506 31690
/proc/meminfo: memFree=30129336/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=14720 CPUtime=1.49 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 8252 0 0 0 149 0 0 0 25 0 1 0 850661402 15073280 2815 33554432000 4194304 6539028 140737132071392 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3680 2815 271 573 0 3098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14720
[startup+3.10087 s]
/proc/loadavg: 1.97 2.03 2.00 3/506 31690
/proc/meminfo: memFree=30127600/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=37964 CPUtime=3.09 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 16963 0 0 0 307 2 0 0 25 0 1 0 850661402 38875136 7034 33554432000 4194304 6539028 140737132071392 18446744073709551615 5684921 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 9491 7055 271 573 0 8909 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37964
[startup+6.3003 s]
/proc/loadavg: 1.97 2.03 2.00 3/506 31690
/proc/meminfo: memFree=30116636/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=37964 CPUtime=6.29 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 18258 0 0 0 627 2 0 0 25 0 1 0 850661402 38875136 8328 33554432000 4194304 6539028 140737132071392 18446744073709551615 4714064 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 9491 8328 271 573 0 8909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37964
[startup+12.7002 s]
/proc/loadavg: 1.97 2.03 2.00 3/506 31690
/proc/meminfo: memFree=30107592/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68312 CPUtime=12.69 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 20371 0 0 0 1267 2 0 0 25 0 1 0 850661402 69951488 10436 33554432000 4194304 6539028 140737132071392 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17078 10436 271 573 0 16496 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68312
[startup+25.5009 s]
/proc/loadavg: 1.98 2.03 2.00 3/506 31693
/proc/meminfo: memFree=30105492/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68312 CPUtime=25.49 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 20925 0 0 0 2547 2 0 0 25 0 1 0 850661402 69951488 10989 33554432000 4194304 6539028 140737132071392 18446744073709551615 4698740 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17078 10989 271 573 0 16496 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68312
[startup+51.1004 s]
/proc/loadavg: 1.98 2.03 2.00 3/506 31694
/proc/meminfo: memFree=30105440/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68312 CPUtime=51.09 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 20925 0 0 0 5107 2 0 0 25 0 1 0 850661402 69951488 10989 33554432000 4194304 6539028 140737132071392 18446744073709551615 4700443 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17078 10989 271 573 0 16496 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 68312
[startup+102.318 s]
/proc/loadavg: 1.99 2.02 2.00 3/506 31696
/proc/meminfo: memFree=30100964/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68312 CPUtime=102.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 60731 0 0 0 10224 7 0 0 25 0 1 0 850661402 69951488 12032 33554432000 4194304 6539028 140737132071392 18446744073709551615 4499096 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17078 12032 271 573 0 16496 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 68312
[startup+162.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/506 31697
/proc/meminfo: memFree=30081428/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68312 CPUtime=162.29 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 82265 0 0 0 16219 10 0 0 25 0 1 0 850661402 69951488 16700 33554432000 4194304 6539028 140737132071392 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17078 16700 271 573 0 16496 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 68312
[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/506 31699
/proc/meminfo: memFree=30090564/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68288 CPUtime=222.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 161103 0 0 0 22209 21 0 0 25 0 1 0 850661402 69926912 14527 33554432000 4194304 6539028 140737132071392 18446744073709551615 4707350 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17072 14527 271 573 0 16490 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 68288
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/506 31701
/proc/meminfo: memFree=30081092/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68288 CPUtime=282.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 204270 0 0 0 28204 26 0 0 25 0 1 0 850661402 69926912 16704 33554432000 4194304 6539028 140737132071392 18446744073709551615 4701890 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17072 16704 271 573 0 16490 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 68288
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/506 31702
/proc/meminfo: memFree=30080276/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=68288 CPUtime=342.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 297450 0 0 0 34192 38 0 0 25 0 1 0 850661402 69926912 16704 33554432000 4194304 6539028 140737132071392 18446744073709551615 4704185 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 17072 16704 271 573 0 16490 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 68288
[startup+402.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/506 31867
/proc/meminfo: memFree=30047484/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=79820 CPUtime=402.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 547847 0 0 0 40161 69 0 0 25 0 1 0 850661402 81735680 19577 33554432000 4194304 6539028 140737132071392 18446744073709551615 4709418 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 19955 19577 271 573 0 19373 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 79820
[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/506 31868
/proc/meminfo: memFree=30048504/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=129140 CPUtime=462.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 832165 0 0 0 46125 105 0 0 25 0 1 0 850661402 132239360 28683 33554432000 4194304 6539028 140737132071392 18446744073709551615 4283093 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 32285 28684 271 573 0 31703 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 129140
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 31870
/proc/meminfo: memFree=29930684/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=79820 CPUtime=522.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 1120040 0 0 0 52085 145 0 0 25 0 1 0 850661402 81735680 19577 33554432000 4194304 6539028 140737132071392 18446744073709551615 4701585 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 19955 19577 271 573 0 19373 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 79820
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 31872
/proc/meminfo: memFree=29937588/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=79820 CPUtime=582.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 1361799 0 0 0 58052 178 0 0 25 0 1 0 850661402 81735680 19577 33554432000 4194304 6539028 140737132071392 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 19955 19577 271 573 0 19373 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 79820
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/506 31878
/proc/meminfo: memFree=29965324/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=98700 CPUtime=822.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 2451760 0 0 0 81896 335 0 0 25 0 1 0 850661402 101068800 24297 33554432000 4194304 6539028 140737132071392 18446744073709551615 4702284 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 24675 24297 271 573 0 24093 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 98700
[startup+882.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 31880
/proc/meminfo: memFree=29936772/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=98700 CPUtime=882.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 2727432 0 0 0 87853 378 0 0 25 0 1 0 850661402 101068800 24297 33554432000 4194304 6539028 140737132071392 18446744073709551615 4490755 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 24675 24297 271 573 0 24093 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 98700
[startup+942.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 31881
/proc/meminfo: memFree=29949020/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=98700 CPUtime=942.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 2820254 0 0 0 93840 391 0 0 25 0 1 0 850661402 101068800 24297 33554432000 4194304 6539028 140737132071392 18446744073709551615 4494882 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 24675 24297 271 573 0 24093 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 98700
[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/506 31883
/proc/meminfo: memFree=29930004/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=98700 CPUtime=1002.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 2845775 0 0 0 99837 394 0 0 25 0 1 0 850661402 101068800 24297 33554432000 4194304 6539028 140737132071392 18446744073709551615 5640296 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 24675 24297 271 573 0 24093 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 98700
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/506 31884
/proc/meminfo: memFree=29906156/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=98700 CPUtime=1062.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 3052243 0 0 0 105812 420 0 0 25 0 1 0 850661402 101068800 24297 33554432000 4194304 6539028 140737132071392 18446744073709551615 4698607 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 24675 24297 271 573 0 24093 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 98700
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 31886
/proc/meminfo: memFree=29865812/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=110168 CPUtime=1122.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 3268796 0 0 0 111785 447 0 0 25 0 1 0 850661402 112812032 27164 33554432000 4194304 6539028 140737132071392 18446744073709551615 4698527 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 27542 27164 271 573 0 26960 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 110168
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 31888
/proc/meminfo: memFree=29856968/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=110168 CPUtime=1182.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 3551889 0 0 0 117747 485 0 0 25 0 1 0 850661402 112812032 27164 33554432000 4194304 6539028 140737132071392 18446744073709551615 4701578 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 27542 27164 271 573 0 26960 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 110168
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 31889
/proc/meminfo: memFree=29963724/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=110168 CPUtime=1242.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 3824591 0 0 0 123711 521 0 0 25 0 1 0 850661402 112812032 27164 33554432000 4194304 6539028 140737132071392 18446744073709551615 4716055 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 27542 27164 271 573 0 26960 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 110168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31891
/proc/meminfo: memFree=29905768/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=110168 CPUtime=1302.34 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 4075925 0 0 0 129678 556 0 0 25 0 1 0 850661402 112812032 27164 33554432000 4194304 6539028 140737132071392 18446744073709551615 4716032 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 27542 27164 271 573 0 26960 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 110168
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 31892
/proc/meminfo: memFree=29855760/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=110168 CPUtime=1362.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 4347137 0 0 0 135641 591 0 0 25 0 1 0 850661402 112812032 27164 33554432000 4194304 6539028 140737132071392 18446744073709551615 4284235 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 27542 27164 271 573 0 26960 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 110168
[startup+1422.32 s]
/proc/loadavg: 2.22 2.06 2.02 3/506 31894
/proc/meminfo: memFree=29790628/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=159488 CPUtime=1422.34 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 4593474 0 0 0 141611 623 0 0 25 0 1 0 850661402 163315712 36381 33554432000 4194304 6539028 140737132071392 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 39872 36382 271 573 0 39290 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 159488
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/506 31896
/proc/meminfo: memFree=29782404/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=117348 CPUtime=1482.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 4871228 0 0 0 147570 663 0 0 25 0 1 0 850661402 120164352 28959 33554432000 4194304 6539028 140737132071392 18446744073709551615 4717256 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 29337 28959 271 573 0 28755 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 117348
[startup+1542.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/506 31897
/proc/meminfo: memFree=29828252/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=166668 CPUtime=1542.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 5154238 0 0 0 153529 704 0 0 25 0 1 0 850661402 170668032 38954 33554432000 4194304 6539028 140737132071392 18446744073709551615 4698553 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 41667 38954 271 573 0 41085 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 166668
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/506 31899
/proc/meminfo: memFree=29794240/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=166668 CPUtime=1602.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 5443037 0 0 0 159490 743 0 0 25 0 1 0 850661402 170668032 36881 33554432000 4194304 6539028 140737132071392 18446744073709551615 4503317 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 41667 36881 271 573 0 41085 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 166668
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/506 31900
/proc/meminfo: memFree=29925744/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=166668 CPUtime=1662.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 5693874 0 0 0 165454 779 0 0 25 0 1 0 850661402 170668032 36683 33554432000 4194304 6539028 140737132071392 18446744073709551615 4499408 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 41667 36683 271 573 0 41085 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 166668
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 31902
/proc/meminfo: memFree=29865816/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=117348 CPUtime=1722.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 5944911 0 0 0 171417 816 0 0 25 0 1 0 850661402 120164352 28959 33554432000 4194304 6539028 140737132071392 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 29337 28959 271 573 0 28755 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 117348
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 31904
/proc/meminfo: memFree=29716480/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=117348 CPUtime=1782.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 6204883 0 0 0 177381 852 0 0 25 0 1 0 850661402 120164352 28959 33554432000 4194304 6539028 140737132071392 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 29337 28959 271 573 0 28755 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 117348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 31904
/proc/meminfo: memFree=29746276/32951124 swapFree=51712236/67111528
[pid=31689] ppid=31687 vsize=117348 CPUtime=1800.05 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30849 0 -1 4202496 6290360 0 0 0 179142 863 0 0 25 0 1 0 850661402 120164352 28959 33554432000 4194304 6539028 140737132071392 18446744073709551615 4698706 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 29337 28959 271 573 0 28755 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 117348
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.03
CPU time (s): 1800.07
CPU user time (s): 1791.42
CPU system time (s): 8.64468
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 197488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.42
system time used= 8.64468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6290363
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= 7
involuntary context switches= 21656
runsolver used 8.37773 second user time and 20.5239 second system time
The end