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-3464607-1307390111/watcher-3464607-1307390111 -o /tmp/evaluation-result-3464607-1307390111/solver-3464607-1307390111 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464607-1307390111.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.03 2.02 2.00 2/400 31689
/proc/meminfo: memFree=29787168/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=8464 CPUtime=0.01 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 689 0 0 0 1 0 0 0 23 0 1 0 850610889 8667136 638 33554432000 4194304 6539028 140737203824928 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2116 638 236 573 0 1534 0
[startup+0.016292 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 31689
/proc/meminfo: memFree=29787168/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=8592 CPUtime=0.01 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 719 0 0 0 1 0 0 0 23 0 1 0 850610889 8798208 668 33554432000 4194304 6539028 140737203824928 18446744073709551615 5145816 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2148 668 236 573 0 1566 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8592
[startup+0.100339 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 31689
/proc/meminfo: memFree=29787168/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=12440 CPUtime=0.09 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 1766 0 0 0 9 0 0 0 23 0 1 0 850610889 12738560 1687 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3110 1687 267 573 0 2528 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12440
[startup+0.300315 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 31689
/proc/meminfo: memFree=29787168/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=8324 CPUtime=0.29 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 1827 0 0 0 29 0 0 0 25 0 1 0 850610889 8523776 1709 33554432000 4194304 6539028 140737203824928 18446744073709551615 4503145 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2081 1709 269 573 0 1499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8324
[startup+0.700169 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 31689
/proc/meminfo: memFree=29787168/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=8828 CPUtime=0.69 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2016 0 0 0 69 0 0 0 25 0 1 0 850610889 9039872 1812 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498605 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2207 1812 270 573 0 1625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8828
[startup+1.50109 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 31690
/proc/meminfo: memFree=29753060/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=9488 CPUtime=1.49 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2145 0 0 0 149 0 0 0 25 0 1 0 850610889 9715712 1938 33554432000 4194304 6539028 140737203824928 18446744073709551615 4625685 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2372 1938 270 573 0 1790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9488
[startup+3.10074 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 31690
/proc/meminfo: memFree=29786824/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=9488 CPUtime=3.09 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2166 0 0 0 309 0 0 0 25 0 1 0 850610889 9715712 1958 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498728 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2372 1958 270 573 0 1790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9488
[startup+6.30023 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 31691
/proc/meminfo: memFree=29763288/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=10152 CPUtime=6.29 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2251 0 0 0 629 0 0 0 25 0 1 0 850610889 10395648 2040 33554432000 4194304 6539028 140737203824928 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2538 2040 270 573 0 1956 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10152
[startup+12.7011 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 31691
/proc/meminfo: memFree=29782700/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=10544 CPUtime=12.69 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2398 0 0 0 1269 0 0 0 25 0 1 0 850610889 10797056 2183 33554432000 4194304 6539028 140737203824928 18446744073709551615 4499504 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2636 2183 270 573 0 2054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10544
[startup+25.5008 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 31691
/proc/meminfo: memFree=29760508/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=10544 CPUtime=25.49 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2437 0 0 0 2549 0 0 0 25 0 1 0 850610889 10797056 2221 33554432000 4194304 6539028 140737203824928 18446744073709551615 4490731 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2636 2221 270 573 0 2054 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10544
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/401 31692
/proc/meminfo: memFree=29772388/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=11184 CPUtime=51.09 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2650 0 0 0 5109 0 0 0 25 0 1 0 850610889 11452416 2428 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 2796 2428 270 573 0 2214 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11184
[startup+102.314 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 31693
/proc/meminfo: memFree=29756640/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=12396 CPUtime=102.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 2857 0 0 0 10231 0 0 0 25 0 1 0 850610889 12693504 2632 33554432000 4194304 6539028 140737203824928 18446744073709551615 4718220 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3099 2632 270 573 0 2517 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 12396
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31695
/proc/meminfo: memFree=29780804/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=13120 CPUtime=162.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3047 0 0 0 16230 0 0 0 25 0 1 0 850610889 13434880 2819 33554432000 4194304 6539028 140737203824928 18446744073709551615 4490766 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3280 2819 270 573 0 2698 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 13120
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31696
/proc/meminfo: memFree=29732044/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=13680 CPUtime=222.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3231 0 0 0 22230 0 0 0 25 0 1 0 850610889 14008320 2995 33554432000 4194304 6539028 140737203824928 18446744073709551615 4494815 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3420 2995 270 573 0 2838 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 13680
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31698
/proc/meminfo: memFree=29742072/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=14240 CPUtime=282.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3390 0 0 0 28230 0 0 0 25 0 1 0 850610889 14581760 3149 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498830 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3560 3149 270 573 0 2978 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 14240
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/401 31700
/proc/meminfo: memFree=29731272/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=14380 CPUtime=342.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3446 0 0 0 34230 0 0 0 25 0 1 0 850610889 14725120 3202 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3595 3202 270 573 0 3013 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 14380
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 31710
/proc/meminfo: memFree=29727016/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=14380 CPUtime=402.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3446 0 0 0 40230 0 0 0 25 0 1 0 850610889 14725120 3202 33554432000 4194304 6539028 140737203824928 18446744073709551615 4499487 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 3595 3202 270 573 0 3013 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 14380
[startup+462.301 s]
/proc/loadavg: 1.96 1.99 1.99 3/401 31740
/proc/meminfo: memFree=29889536/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=16308 CPUtime=462.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3718 0 0 0 46230 0 0 0 25 0 1 0 850610889 16699392 3469 33554432000 4194304 6539028 140737203824928 18446744073709551615 4503936 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4077 3469 270 573 0 3495 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 16308
[startup+522.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/401 31741
/proc/meminfo: memFree=29886784/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=16308 CPUtime=522.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3740 0 0 0 52230 0 0 0 25 0 1 0 850610889 16699392 3490 33554432000 4194304 6539028 140737203824928 18446744073709551615 4499408 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4077 3490 270 573 0 3495 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 16308
[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/401 31773
/proc/meminfo: memFree=29904924/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=582.3 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 3742 0 0 0 58230 0 0 0 25 0 1 0 850610889 18558976 3492 33554432000 4194304 6539028 140737203824928 18446744073709551615 5634847 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 3492 270 573 0 3949 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 18124
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/401 31779
/proc/meminfo: memFree=29896096/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=822.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4229 0 0 0 82231 0 0 0 25 0 1 0 850610889 18558976 3971 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498656 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 3971 270 573 0 3949 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 18124
[startup+882.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/401 31781
/proc/meminfo: memFree=29895960/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=882.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4229 0 0 0 88231 0 0 0 25 0 1 0 850610889 18558976 3971 33554432000 4194304 6539028 140737203824928 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 3971 270 573 0 3949 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 18124
[startup+942.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/401 31783
/proc/meminfo: memFree=29895436/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=942.31 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4280 0 0 0 94231 0 0 0 25 0 1 0 850610889 18558976 4019 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498733 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 4019 270 573 0 3949 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 18124
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 31784
/proc/meminfo: memFree=29895416/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=1002.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4282 0 0 0 100232 0 0 0 25 0 1 0 850610889 18558976 4021 33554432000 4194304 6539028 140737203824928 18446744073709551615 4490755 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 4021 270 573 0 3949 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 18124
[startup+1062.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/401 31786
/proc/meminfo: memFree=29895024/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=1062.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4282 0 0 0 106232 0 0 0 25 0 1 0 850610889 18558976 4021 33554432000 4194304 6539028 140737203824928 18446744073709551615 4499337 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 4021 270 573 0 3949 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 18124
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/401 31787
/proc/meminfo: memFree=29894992/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=1122.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4282 0 0 0 112232 0 0 0 25 0 1 0 850610889 18558976 4021 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498848 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 4021 270 573 0 3949 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 18124
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 31789
/proc/meminfo: memFree=29894236/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=1182.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4282 0 0 0 118232 0 0 0 25 0 1 0 850610889 18558976 4021 33554432000 4194304 6539028 140737203824928 18446744073709551615 4494649 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 4021 270 573 0 3949 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 18124
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 31791
/proc/meminfo: memFree=29893216/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=1242.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4304 0 0 0 124232 0 0 0 25 0 1 0 850610889 18558976 4042 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 4042 270 573 0 3949 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 18124
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 31792
/proc/meminfo: memFree=29892340/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18124 CPUtime=1302.34 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4304 0 0 0 130234 0 0 0 25 0 1 0 850610889 18558976 4042 33554432000 4194304 6539028 140737203824928 18446744073709551615 4698880 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4531 4042 270 573 0 3949 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 18124
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31794
/proc/meminfo: memFree=29894180/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1362.32 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4389 0 0 0 136232 0 0 0 25 0 1 0 850610889 18731008 4120 33554432000 4194304 6539028 140737203824928 18446744073709551615 4625216 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4120 270 573 0 3991 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 18292
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31795
/proc/meminfo: memFree=29893792/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1422.34 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4389 0 0 0 142234 0 0 0 25 0 1 0 850610889 18731008 4120 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4120 270 573 0 3991 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 18292
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 31797
/proc/meminfo: memFree=29893652/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1482.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4389 0 0 0 148233 0 0 0 25 0 1 0 850610889 18731008 4120 33554432000 4194304 6539028 140737203824928 18446744073709551615 5649701 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4120 270 573 0 3991 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 18292
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/401 31799
/proc/meminfo: memFree=29894360/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1542.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4389 0 0 0 154233 0 0 0 25 0 1 0 850610889 18731008 4120 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4120 270 573 0 3991 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 18292
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31800
/proc/meminfo: memFree=29893968/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1602.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4389 0 0 0 160233 0 0 0 25 0 1 0 850610889 18731008 4120 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4120 270 573 0 3991 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 18292
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 31802
/proc/meminfo: memFree=29893452/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1662.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4389 0 0 0 166233 0 0 0 25 0 1 0 850610889 18731008 4120 33554432000 4194304 6539028 140737203824928 18446744073709551615 4287536 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4120 270 573 0 3991 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 18292
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/401 31803
/proc/meminfo: memFree=29893048/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1722.33 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4389 0 0 0 172233 0 0 0 25 0 1 0 850610889 18731008 4120 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498793 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4120 270 573 0 3991 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 18292
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31805
/proc/meminfo: memFree=29892404/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1782.34 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4390 0 0 0 178234 0 0 0 25 0 1 0 850610889 18731008 4121 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498787 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4121 270 573 0 3991 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 18292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31805
/proc/meminfo: memFree=29892888/32950904 swapFree=56615552/67111528
[pid=31689] ppid=31687 vsize=18292 CPUtime=1800.05 cores=1,3,5,7
/proc/31689/stat : 31689 (minisatid) R 31687 31689 30953 0 -1 4202496 4423 0 0 0 180005 0 0 0 25 0 1 0 850610889 18731008 4152 33554432000 4194304 6539028 140737203824928 18446744073709551615 4498614 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/31689/statm: 4573 4152 270 573 0 3991 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 18292
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.02
CPU time (s): 1800.06
CPU user time (s): 1800.06
CPU system time (s): 0.006998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 18292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4426
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= 2633
runsolver used 6.63599 second user time and 16.2805 second system time
The end