runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3496654-1307927231/watcher-3496654-1307927231 -o /tmp/evaluation-result-3496654-1307927231/solver-3496654-1307927231 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496654-1307927231.opb --verbosity=0 --format=opb --randomseed=1377591520
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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 19018
/proc/meminfo: memFree=1474904/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=7896 CPUtime=0 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 416 0 0 0 0 0 0 0 22 0 1 0 904320923 8085504 369 33554432000 4194304 6957856 140736673163888 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 1974 369 227 675 0 1290 0
[startup+0.0299309 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 19018
/proc/meminfo: memFree=1474904/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=9752 CPUtime=0.02 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 905 0 0 0 2 0 0 0 22 0 1 0 904320923 9986048 809 33554432000 4194304 6957856 140736673163888 18446744073709551615 5925415 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 2438 810 227 675 0 1754 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9752
[startup+0.100919 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 19018
/proc/meminfo: memFree=1474904/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=18464 CPUtime=0.09 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 3411 0 0 0 9 0 0 0 22 0 1 0 904320923 18907136 2922 33554432000 4194304 6957856 140736673163888 18446744073709551615 5708448 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 4616 2923 252 675 0 3932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18464
[startup+0.300883 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 19018
/proc/meminfo: memFree=1474904/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=40480 CPUtime=0.29 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 8767 0 0 0 29 0 0 0 23 0 1 0 904320923 41451520 8156 33554432000 4194304 6957856 140736673163888 18446744073709551615 5306842 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 10120 8159 252 675 0 9436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40480
[startup+0.700811 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 19018
/proc/meminfo: memFree=1474904/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=61708 CPUtime=0.69 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 13953 0 0 0 68 1 0 0 25 0 1 0 904320923 63188992 13093 33554432000 4194304 6957856 140736673163888 18446744073709551615 5607654 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 15427 13093 280 675 0 14743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61708
[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19019
/proc/meminfo: memFree=1408208/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=90932 CPUtime=1.49 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 21582 0 0 0 147 2 0 0 25 0 1 0 904320923 93114368 20200 33554432000 4194304 6957856 140736673163888 18446744073709551615 6005552 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 22733 20200 252 675 0 22049 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90932
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19019
/proc/meminfo: memFree=1378076/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=204224 CPUtime=3.09 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 51273 0 0 0 303 6 0 0 25 0 1 0 904320923 209125376 48600 33554432000 4194304 6957856 140736673163888 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 51089 48610 272 675 0 50405 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204224
[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19019
/proc/meminfo: memFree=959808/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=531696 CPUtime=6.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 133605 0 0 0 614 16 0 0 25 0 1 0 904320923 544456704 130179 33554432000 4194304 6957856 140736673163888 18446744073709551615 5918015 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 132924 130179 274 675 0 132240 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 531696
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19020
/proc/meminfo: memFree=934896/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=527340 CPUtime=12.7 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 133611 0 0 0 1254 16 0 0 25 0 1 0 904320923 539996160 130184 33554432000 4194304 6957856 140736673163888 18446744073709551615 5307360 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 131835 130184 280 675 0 131151 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 527340
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19020
/proc/meminfo: memFree=931172/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=533220 CPUtime=25.49 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 134758 0 0 0 2533 16 0 0 25 0 1 0 904320923 546017280 131310 33554432000 4194304 6957856 140736673163888 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 133305 131310 290 675 0 132621 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 533220
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19021
/proc/meminfo: memFree=907324/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=559060 CPUtime=51.1 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 146618 0 0 0 5092 18 0 0 25 0 1 0 904320923 572477440 137333 33554432000 4194304 6957856 140736673163888 18446744073709551615 4614241 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 139765 137333 290 675 0 139081 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 559060
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19022
/proc/meminfo: memFree=879856/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=102.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152065 0 0 0 10211 19 0 0 25 0 1 0 904320923 591785984 142610 33554432000 4194304 6957856 140736673163888 18446744073709551615 4838310 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142610 290 675 0 143795 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 577916
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19024
/proc/meminfo: memFree=793940/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=162.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152244 0 0 0 16211 19 0 0 25 0 1 0 904320923 591785984 142789 33554432000 4194304 6957856 140736673163888 18446744073709551615 4614680 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142789 290 675 0 143795 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 577916
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19025
/proc/meminfo: memFree=845564/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=222.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152244 0 0 0 22211 19 0 0 25 0 1 0 904320923 591785984 142789 33554432000 4194304 6957856 140736673163888 18446744073709551615 4871280 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142789 290 675 0 143795 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 577916
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19027
/proc/meminfo: memFree=873864/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=282.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 28211 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5922598 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 577916
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 19028
/proc/meminfo: memFree=866928/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=342.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 34211 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 4838413 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 577916
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 19030
/proc/meminfo: memFree=834516/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=402.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 40211 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5934057 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 577916
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 19032
/proc/meminfo: memFree=833720/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=462.3 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 46211 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5932608 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 577916
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19033
/proc/meminfo: memFree=866928/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=522.31 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 52212 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 4871300 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 577916
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19035
/proc/meminfo: memFree=800332/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=582.31 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 58212 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5918155 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 577916
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19041
/proc/meminfo: memFree=802220/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=822.32 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 82213 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5922034 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 577916
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19043
/proc/meminfo: memFree=817516/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=882.32 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 88213 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 4638356 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 577916
[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 19044
/proc/meminfo: memFree=799912/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=942.32 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 94213 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5932541 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 577916
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 19046
/proc/meminfo: memFree=808180/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1002.32 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 100213 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5387657 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 577916
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19048
/proc/meminfo: memFree=801288/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1062.32 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 106213 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 4638316 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 577916
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19049
/proc/meminfo: memFree=810608/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1122.32 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 112213 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5312981 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 577916
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19051
/proc/meminfo: memFree=813520/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1182.33 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 118214 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5312912 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 577916
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19052
/proc/meminfo: memFree=812276/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1242.33 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 124214 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5934635 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 577916
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19054
/proc/meminfo: memFree=799100/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1302.33 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 130214 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 5307360 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 577916
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19056
/proc/meminfo: memFree=777760/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1362.33 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152288 0 0 0 136214 19 0 0 25 0 1 0 904320923 591785984 142833 33554432000 4194304 6957856 140736673163888 18446744073709551615 4638356 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142833 290 675 0 143795 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 577916
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19057
/proc/meminfo: memFree=820568/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1422.34 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152289 0 0 0 142215 19 0 0 25 0 1 0 904320923 591785984 142834 33554432000 4194304 6957856 140736673163888 18446744073709551615 5918175 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142834 290 675 0 143795 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 577916
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 19059
/proc/meminfo: memFree=768708/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1482.33 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152289 0 0 0 148214 19 0 0 25 0 1 0 904320923 591785984 142834 33554432000 4194304 6957856 140736673163888 18446744073709551615 5918075 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142834 290 675 0 143795 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 577916
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 19060
/proc/meminfo: memFree=742568/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1542.34 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 152289 0 0 0 154215 19 0 0 25 0 1 0 904320923 591785984 142834 33554432000 4194304 6957856 140736673163888 18446744073709551615 5314037 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142834 290 675 0 143795 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 577916
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/178 19062
/proc/meminfo: memFree=670072/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=708144 CPUtime=1602.34 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 201440 0 0 0 160206 28 0 0 25 0 1 0 904320923 725139456 170968 33554432000 4194304 6957856 140736673163888 18446744073709551615 5918004 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 177036 170968 290 675 0 176352 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 708144
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 19064
/proc/meminfo: memFree=631016/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=789532 CPUtime=1662.34 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 256800 0 0 0 166198 36 0 0 25 0 1 0 904320923 808480768 179860 33554432000 4194304 6957856 140736673163888 18446744073709551615 5314183 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 197383 179860 290 675 0 196699 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 789532
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 19104
/proc/meminfo: memFree=2243840/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=708144 CPUtime=1722.34 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 296722 0 0 0 172190 44 0 0 25 0 1 0 904320923 725139456 170673 33554432000 4194304 6957856 140736673163888 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 177036 170673 290 675 0 176352 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 708144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 19106
/proc/meminfo: memFree=2257684/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=627236 CPUtime=1782.35 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 342841 0 0 0 178183 52 0 0 25 0 1 0 904320923 642289664 154893 33554432000 4194304 6957856 140736673163888 18446744073709551615 5918155 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 156809 154893 290 675 0 156125 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 627236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 19106
/proc/meminfo: memFree=2264372/32951124 swapFree=67053176/67111528
[pid=19018] ppid=19016 vsize=577916 CPUtime=1800.05 cores=1,3,5,7
/proc/19018/stat : 19018 (minisatid-gmp) R 19016 19018 17865 0 -1 4202496 343983 0 0 0 179953 52 0 0 25 0 1 0 904320923 591785984 142834 33554432000 4194304 6957856 140736673163888 18446744073709551615 4638419 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19018/statm: 144479 142834 290 675 0 143795 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 577916
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.08
CPU user time (s): 1799.53
CPU system time (s): 0.547916
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 921792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.547916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343988
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= 2706
runsolver used 2.5996 second user time and 5.83111 second system time
The end