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-3464617-1307390865/watcher-3464617-1307390865 -o /tmp/evaluation-result-3464617-1307390865/solver-3464617-1307390865 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464617-1307390865.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.99 2.04 2.00 2/469 959
/proc/meminfo: memFree=23928900/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/959/stat : 959 (runsolver) R 957 959 32500 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 1 0 929316976 12079104 55 33554432000 4194304 5432328 140737435714016 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/959/statm: 2949 55 34 303 0 2643 0
[startup+0.0631719 s]
/proc/loadavg: 1.99 2.04 2.00 2/469 959
/proc/meminfo: memFree=23928900/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=12264 CPUtime=0.05 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1618 0 0 0 5 0 0 0 25 0 1 0 929316976 12558336 1568 33554432000 4194304 6539028 140736490420416 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 3066 1569 236 573 0 2484 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12264
[startup+0.100176 s]
/proc/loadavg: 1.99 2.04 2.00 2/469 959
/proc/meminfo: memFree=23928900/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=15464 CPUtime=0.08 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 2408 0 0 0 8 0 0 0 25 0 1 0 929316976 15835136 2358 33554432000 4194304 6539028 140736490420416 18446744073709551615 5925754 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 3866 2359 236 573 0 3284 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15464
[startup+0.300129 s]
/proc/loadavg: 1.99 2.04 2.00 2/469 959
/proc/meminfo: memFree=23928900/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=32616 CPUtime=0.27 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 6698 0 0 0 27 0 0 0 25 0 1 0 929316976 33398784 6648 33554432000 4194304 6539028 140736490420416 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 8154 6648 236 573 0 7572 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 32616
[startup+0.70105 s]
/proc/loadavg: 1.99 2.04 2.00 2/469 959
/proc/meminfo: memFree=23928900/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=42760 CPUtime=0.68 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 9928 0 0 0 67 1 0 0 25 0 1 0 929316976 43786240 9305 33554432000 4194304 6539028 140736490420416 18446744073709551615 4494851 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 10690 9305 269 573 0 10108 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42760
[startup+1.5009 s]
/proc/loadavg: 1.99 2.04 2.00 3/470 960
/proc/meminfo: memFree=23844024/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=42760 CPUtime=1.48 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 10133 0 0 0 147 1 0 0 25 0 1 0 929316976 43786240 9509 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499096 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 10690 9509 269 573 0 10108 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42760
[startup+3.10062 s]
/proc/loadavg: 1.99 2.04 2.00 3/470 960
/proc/meminfo: memFree=23813768/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=58532 CPUtime=3.08 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 14143 0 0 0 306 2 0 0 25 0 1 0 929316976 59936768 13505 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 14633 13505 269 573 0 14051 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58532
[startup+6.30101 s]
/proc/loadavg: 1.99 2.04 2.00 3/470 960
/proc/meminfo: memFree=23818396/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=92504 CPUtime=6.28 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 19910 0 0 0 625 3 0 0 25 0 1 0 929316976 94724096 19254 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499120 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 23126 19254 269 573 0 22544 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92504
[startup+12.7008 s]
/proc/loadavg: 1.99 2.04 2.00 3/470 961
/proc/meminfo: memFree=23742528/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=128568 CPUtime=12.68 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 28993 0 0 0 1264 4 0 0 25 0 1 0 929316976 131653632 28311 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498670 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 32142 28311 269 573 0 31560 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 128568
[startup+25.5004 s]
/proc/loadavg: 1.99 2.04 2.00 3/470 961
/proc/meminfo: memFree=23706576/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=183980 CPUtime=25.48 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 42735 0 0 0 2542 6 0 0 25 0 1 0 929316976 188395520 42024 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 45995 42024 269 573 0 45413 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 183980
[startup+51.1007 s]
/proc/loadavg: 1.99 2.03 2.00 3/470 962
/proc/meminfo: memFree=23687648/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=189012 CPUtime=51.08 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 75883 0 0 0 5096 12 0 0 25 0 1 0 929316976 193548288 45709 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499107 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 47253 45709 269 573 0 46671 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 189012
[startup+102.318 s]
/proc/loadavg: 1.99 2.03 2.00 3/470 963
/proc/meminfo: memFree=23759420/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=144924 CPUtime=102.3 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 138747 0 0 0 10206 24 0 0 25 0 1 0 929316976 148402176 29106 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 36231 29106 269 573 0 35649 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 144924
[startup+162.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/470 965
/proc/meminfo: memFree=23736328/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=200404 CPUtime=162.29 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 189180 0 0 0 16194 35 0 0 25 0 1 0 929316976 205213696 39844 33554432000 4194304 6539028 140736490420416 18446744073709551615 4490114 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 50101 39845 269 573 0 49519 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 200404
[startup+222.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/470 966
/proc/meminfo: memFree=23750196/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=154808 CPUtime=222.29 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 240073 0 0 0 22183 46 0 0 25 0 1 0 929316976 158523392 36160 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499408 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 38702 36160 269 573 0 38120 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 154808
[startup+282.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/470 968
/proc/meminfo: memFree=23724628/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=209388 CPUtime=282.29 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 293305 0 0 0 28171 58 0 0 25 0 1 0 929316976 214413312 39895 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 52347 39895 269 573 0 51765 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 209388
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/470 969
/proc/meminfo: memFree=23699320/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=161976 CPUtime=342.29 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 346748 0 0 0 34161 68 0 0 25 0 1 0 929316976 165863424 39090 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499064 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 40494 39090 269 573 0 39912 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 161976
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 971
/proc/meminfo: memFree=23670404/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=214092 CPUtime=402.29 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 403210 0 0 0 40150 79 0 0 25 0 1 0 929316976 219230208 42095 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499099 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 53523 42095 269 573 0 52941 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 214092
[startup+462.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/470 973
/proc/meminfo: memFree=23464044/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=434304 CPUtime=462.29 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 446653 0 0 0 46141 88 0 0 25 0 1 0 929316976 444727296 85463 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 108576 85463 269 573 0 107994 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 434304
[startup+522.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/470 974
/proc/meminfo: memFree=23699612/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=305084 CPUtime=522.3 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 490372 0 0 0 52133 97 0 0 25 0 1 0 929316976 312406016 57191 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498733 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 76271 57191 269 573 0 75689 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 305084
[startup+582.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/470 977
/proc/meminfo: memFree=23644912/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=225880 CPUtime=582.3 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 540159 0 0 0 58123 107 0 0 25 0 1 0 929316976 231301120 55354 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499377 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 56470 55354 269 573 0 55888 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 225880
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 983
/proc/meminfo: memFree=23594352/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=231968 CPUtime=822.31 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 727719 0 0 0 82083 148 0 0 25 0 1 0 929316976 237535232 56642 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 57992 56642 269 573 0 57410 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 231968
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 985
/proc/meminfo: memFree=23751064/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=183096 CPUtime=882.31 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 775811 0 0 0 88073 158 0 0 25 0 1 0 929316976 187490304 44100 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 45774 44100 269 573 0 45192 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 183096
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 986
/proc/meminfo: memFree=23480352/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=449312 CPUtime=942.32 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 818358 0 0 0 94064 168 0 0 25 0 1 0 929316976 460095488 86539 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498696 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 112328 86539 269 573 0 111746 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 449312
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 988
/proc/meminfo: memFree=23498316/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=321800 CPUtime=1002.31 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 862371 0 0 0 100055 176 0 0 25 0 1 0 929316976 329523200 64986 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 80450 64986 269 573 0 79868 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 321800
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/470 990
/proc/meminfo: memFree=23515412/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=457336 CPUtime=1062.32 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 892996 0 0 0 106049 183 0 0 25 0 1 0 929316976 468312064 95540 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 114334 95540 269 573 0 113752 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 457336
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 991
/proc/meminfo: memFree=23545508/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=246624 CPUtime=1122.32 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 927395 0 0 0 112041 191 0 0 25 0 1 0 929316976 252542976 47715 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499107 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 61656 47715 269 573 0 61074 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 246624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 993
/proc/meminfo: memFree=23535308/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=330952 CPUtime=1182.32 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 949752 0 0 0 118035 197 0 0 25 0 1 0 929316976 338894848 70019 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499099 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 82738 70019 269 573 0 82156 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 330952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 994
/proc/meminfo: memFree=23575952/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=152820 CPUtime=1242.32 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 985272 0 0 0 124027 205 0 0 25 0 1 0 929316976 156487680 33930 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499107 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 38205 33930 269 573 0 37623 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 152820
[startup+1302.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/470 996
/proc/meminfo: memFree=23504876/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=466496 CPUtime=1302.32 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1035722 0 0 0 130018 214 0 0 25 0 1 0 929316976 477691904 84226 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498696 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 116624 84226 269 573 0 116042 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 466496
[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 998
/proc/meminfo: memFree=23625760/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=253728 CPUtime=1362.33 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1081734 0 0 0 136009 224 0 0 25 0 1 0 929316976 259817472 58155 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 63432 58155 269 573 0 62850 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 253728
[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 999
/proc/meminfo: memFree=23468236/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=468264 CPUtime=1422.35 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1116559 0 0 0 142005 230 0 0 25 0 1 0 929316976 479502336 92904 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499099 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 117066 92904 269 573 0 116484 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 468264
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 1001
/proc/meminfo: memFree=23520528/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=337112 CPUtime=1482.33 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1173341 0 0 0 147993 240 0 0 25 0 1 0 929316976 345202688 82285 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499138 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 84278 82285 269 573 0 83696 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 337112
[startup+1542.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/470 1002
/proc/meminfo: memFree=23593280/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=337860 CPUtime=1542.34 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1223388 0 0 0 153984 250 0 0 25 0 1 0 929316976 345968640 63173 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 84465 63173 269 573 0 83883 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 337860
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/470 1004
/proc/meminfo: memFree=23506452/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=471192 CPUtime=1602.33 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1257940 0 0 0 159977 256 0 0 25 0 1 0 929316976 482500608 97627 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498744 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 117798 97628 269 573 0 117216 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 471192
[startup+1662.3 s]
/proc/loadavg: 1.96 2.03 2.00 3/470 1034
/proc/meminfo: memFree=23616728/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=339352 CPUtime=1662.34 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1311248 0 0 0 165967 267 0 0 25 0 1 0 929316976 347496448 81204 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499120 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 84838 81204 269 573 0 84256 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 339352
[startup+1722.3 s]
/proc/loadavg: 1.98 2.02 2.00 3/470 1035
/proc/meminfo: memFree=23482196/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=178752 CPUtime=1722.34 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1352454 0 0 0 171956 278 0 0 25 0 1 0 929316976 183042048 38422 33554432000 4194304 6539028 140736490420416 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 44688 38423 269 573 0 44106 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 178752
[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/470 1037
/proc/meminfo: memFree=23575548/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=475256 CPUtime=1782.34 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1405114 0 0 0 177948 286 0 0 25 0 1 0 929316976 486662144 90941 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499410 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 118814 90941 269 573 0 118232 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 475256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 2.01 2.00 5/470 1037
/proc/meminfo: memFree=23537832/32951124 swapFree=56297244/67111528
[pid=959] ppid=957 vsize=475612 CPUtime=1800.05 cores=1,3,5,7
/proc/959/stat : 959 (minisatid) R 957 959 32500 0 -1 4202496 1414253 0 0 0 179716 289 0 0 25 0 1 0 929316976 487026688 100046 33554432000 4194304 6539028 140736490420416 18446744073709551615 4499377 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/959/statm: 118903 100046 269 573 0 118321 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 475612
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.04
CPU time (s): 1800.08
CPU user time (s): 1797.18
CPU system time (s): 2.90856
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 490220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.18
system time used= 2.90856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1414266
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= 3183
runsolver used 8.36973 second user time and 19.419 second system time
The end