runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491072-1307757755/watcher-3491072-1307757755 -o /tmp/evaluation-result-3491072-1307757755/solver-3491072-1307757755 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491072-1307757755.opb --verbosity=0 --format=opb --randomseed=1552261157
running on 4 cores: 0,2,4,6
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.94 3/174 4036
/proc/meminfo: memFree=30872656/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=7896 CPUtime=0 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 476 0 0 0 0 0 0 0 25 0 1 0 966006032 8085504 429 33554432000 4194304 6720400 140736219347520 18446744073709551615 4619109 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 1974 429 230 617 0 1348 0
[startup+0.011488 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 4036
/proc/meminfo: memFree=30872656/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=8024 CPUtime=0.01 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 530 0 0 0 1 0 0 0 25 0 1 0 966006032 8216576 483 33554432000 4194304 6720400 140736219347520 18446744073709551615 5718252 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 2006 484 230 617 0 1380 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8024
[startup+0.100504 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 4036
/proc/meminfo: memFree=30872656/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=14516 CPUtime=0.09 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 2139 0 0 0 9 0 0 0 25 0 1 0 966006032 14864384 2092 33554432000 4194304 6720400 140736219347520 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 3629 2093 230 617 0 3003 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14516
[startup+0.300475 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 4036
/proc/meminfo: memFree=30872656/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=39000 CPUtime=0.29 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 8362 0 0 0 29 0 0 0 25 0 1 0 966006032 39936000 8219 33554432000 4194304 6720400 140736219347520 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 9750 8221 244 617 0 9124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39000
[startup+0.700382 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 4036
/proc/meminfo: memFree=30872656/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=57080 CPUtime=0.69 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 12882 0 0 0 68 1 0 0 25 0 1 0 966006032 58449920 12738 33554432000 4194304 6720400 140736219347520 18446744073709551615 4592816 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 14270 12738 262 617 0 13644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57080
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4037
/proc/meminfo: memFree=30822328/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=57080 CPUtime=1.49 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 12912 0 0 0 148 1 0 0 25 0 1 0 966006032 58449920 12764 33554432000 4194304 6720400 140736219347520 18446744073709551615 4592854 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 14270 12764 263 617 0 13644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57080
[startup+3.10094 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4037
/proc/meminfo: memFree=30821716/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=52724 CPUtime=3.09 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 12941 0 0 0 308 1 0 0 25 0 1 0 966006032 53989376 12732 33554432000 4194304 6720400 140736219347520 18446744073709551615 4592931 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 13181 12732 263 617 0 12555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52724
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4037
/proc/meminfo: memFree=30821584/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=53104 CPUtime=6.29 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 13014 0 0 0 628 1 0 0 25 0 1 0 966006032 54378496 12799 33554432000 4194304 6720400 140736219347520 18446744073709551615 4591717 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 13276 12799 263 617 0 12650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53104
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4037
/proc/meminfo: memFree=30821100/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=53104 CPUtime=12.7 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 13028 0 0 0 1269 1 0 0 25 0 1 0 966006032 54378496 12810 33554432000 4194304 6720400 140736219347520 18446744073709551615 4806599 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 13276 12810 263 617 0 12650 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 53104
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4038
/proc/meminfo: memFree=30820588/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=54748 CPUtime=25.5 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 13264 0 0 0 2549 1 0 0 25 0 1 0 966006032 56061952 13029 33554432000 4194304 6720400 140736219347520 18446744073709551615 4609035 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 13687 13029 263 617 0 13061 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 54748
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4038
/proc/meminfo: memFree=30819292/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=54748 CPUtime=51.1 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 13469 0 0 0 5109 1 0 0 25 0 1 0 966006032 56061952 13216 33554432000 4194304 6720400 140736219347520 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 13687 13216 263 617 0 13061 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 54748
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4040
/proc/meminfo: memFree=30819024/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=54748 CPUtime=102.3 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 13494 0 0 0 10229 1 0 0 25 0 1 0 966006032 56061952 13240 33554432000 4194304 6720400 140736219347520 18446744073709551615 4592993 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 13687 13240 263 617 0 13061 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 54748
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4041
/proc/meminfo: memFree=30808212/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=66888 CPUtime=162.3 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 17294 0 0 0 16229 1 0 0 25 0 1 0 966006032 68493312 15911 33554432000 4194304 6720400 140736219347520 18446744073709551615 4821251 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 16722 15911 263 617 0 16096 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 66888
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4043
/proc/meminfo: memFree=30808316/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=66888 CPUtime=222.3 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 17295 0 0 0 22229 1 0 0 25 0 1 0 966006032 68493312 15912 33554432000 4194304 6720400 140736219347520 18446744073709551615 4616552 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 16722 15912 263 617 0 16096 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 66888
[startup+282.301 s]
/proc/loadavg: 2.08 2.02 1.94 3/175 4045
/proc/meminfo: memFree=30804068/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=70420 CPUtime=282.3 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 18496 0 0 0 28229 1 0 0 25 0 1 0 966006032 72110080 17098 33554432000 4194304 6720400 140736219347520 18446744073709551615 4616700 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 17605 17098 263 617 0 16979 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 70420
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/175 4046
/proc/meminfo: memFree=30797576/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=81916 CPUtime=342.3 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 21949 0 0 0 34228 2 0 0 25 0 1 0 966006032 83881984 18643 33554432000 4194304 6720400 140736219347520 18446744073709551615 4805636 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 20479 18643 263 617 0 19853 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 81916
[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 4048
/proc/meminfo: memFree=30793572/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=81916 CPUtime=402.31 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 22933 0 0 0 40229 2 0 0 25 0 1 0 966006032 83881984 19619 33554432000 4194304 6720400 140736219347520 18446744073709551615 4591808 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 20479 19619 263 617 0 19853 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 81916
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4049
/proc/meminfo: memFree=30791808/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=91740 CPUtime=462.31 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 23418 0 0 0 46229 2 0 0 25 0 1 0 966006032 93941760 20092 33554432000 4194304 6720400 140736219347520 18446744073709551615 4617149 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 22935 20092 263 617 0 22309 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 91740
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4051
/proc/meminfo: memFree=30791772/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=91740 CPUtime=522.31 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 23418 0 0 0 52229 2 0 0 25 0 1 0 966006032 93941760 20092 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820142 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 22935 20092 263 617 0 22309 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 91740
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4053
/proc/meminfo: memFree=30791608/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=91740 CPUtime=582.31 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 23419 0 0 0 58229 2 0 0 25 0 1 0 966006032 93941760 20093 33554432000 4194304 6720400 140736219347520 18446744073709551615 4819913 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 22935 20093 263 617 0 22309 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 91740
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/175 4098
/proc/meminfo: memFree=30716024/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=822.31 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 36414 0 0 0 82227 4 0 0 25 0 1 0 966006032 145207296 27671 33554432000 4194304 6720400 140736219347520 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 27671 263 617 0 34825 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 141804
[startup+882.301 s]
/proc/loadavg: 2.07 2.00 1.94 3/175 4100
/proc/meminfo: memFree=30720192/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=882.31 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 36414 0 0 0 88227 4 0 0 25 0 1 0 966006032 145207296 27671 33554432000 4194304 6720400 140736219347520 18446744073709551615 5722441 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 27671 263 617 0 34825 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 141804
[startup+942.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/175 4101
/proc/meminfo: memFree=30734544/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=942.32 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 36415 0 0 0 94228 4 0 0 25 0 1 0 966006032 145207296 27672 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 27672 263 617 0 34825 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 141804
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 4103
/proc/meminfo: memFree=30771448/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=1002.32 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 36415 0 0 0 100228 4 0 0 25 0 1 0 966006032 145207296 27672 33554432000 4194304 6720400 140736219347520 18446744073709551615 4624633 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 27672 263 617 0 34825 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 141804
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4104
/proc/meminfo: memFree=30666516/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=1062.32 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 36415 0 0 0 106228 4 0 0 25 0 1 0 966006032 145207296 27672 33554432000 4194304 6720400 140736219347520 18446744073709551615 4806185 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 27672 263 617 0 34825 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 141804
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4106
/proc/meminfo: memFree=30685328/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=1122.32 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 36415 0 0 0 112228 4 0 0 25 0 1 0 966006032 145207296 27672 33554432000 4194304 6720400 140736219347520 18446744073709551615 4438700 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 27672 263 617 0 34825 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 141804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4108
/proc/meminfo: memFree=30737984/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=1182.33 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 36877 0 0 0 118228 5 0 0 25 0 1 0 966006032 145207296 28100 33554432000 4194304 6720400 140736219347520 18446744073709551615 4592997 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 28100 263 617 0 34825 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 141804
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4109
/proc/meminfo: memFree=30708056/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=141804 CPUtime=1242.33 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 41367 0 0 0 124227 6 0 0 25 0 1 0 966006032 145207296 32545 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 35451 32545 263 617 0 34825 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 141804
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 4111
/proc/meminfo: memFree=30689048/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=154408 CPUtime=1302.34 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 44271 0 0 0 130228 6 0 0 25 0 1 0 966006032 158113792 35425 33554432000 4194304 6720400 140736219347520 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 38602 35425 263 617 0 37976 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 154408
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 4112
/proc/meminfo: memFree=30680716/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=154408 CPUtime=1362.33 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 44271 0 0 0 136227 6 0 0 25 0 1 0 966006032 158113792 35425 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 38602 35425 263 617 0 37976 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 154408
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 4114
/proc/meminfo: memFree=30649824/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=154408 CPUtime=1422.34 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 44271 0 0 0 142228 6 0 0 25 0 1 0 966006032 158113792 35425 33554432000 4194304 6720400 140736219347520 18446744073709551615 5718262 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 38602 35425 263 617 0 37976 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 154408
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/175 4116
/proc/meminfo: memFree=30675580/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=154408 CPUtime=1482.34 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 45745 0 0 0 148228 6 0 0 25 0 1 0 966006032 158113792 36869 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 38602 36869 263 617 0 37976 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 154408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 4117
/proc/meminfo: memFree=30656836/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=184824 CPUtime=1542.34 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 51812 0 0 0 154226 8 0 0 25 0 1 0 966006032 189259776 42889 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 46206 42889 263 617 0 45580 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 184824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 4119
/proc/meminfo: memFree=30669564/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=184824 CPUtime=1602.35 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 51812 0 0 0 160227 8 0 0 25 0 1 0 966006032 189259776 42889 33554432000 4194304 6720400 140736219347520 18446744073709551615 4592978 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 46206 42889 263 617 0 45580 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 184824
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 4120
/proc/meminfo: memFree=30651676/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=184824 CPUtime=1662.35 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 51812 0 0 0 166227 8 0 0 25 0 1 0 966006032 189259776 42889 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820064 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 46206 42889 263 617 0 45580 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 184824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 4122
/proc/meminfo: memFree=30645684/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=184824 CPUtime=1722.35 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 51812 0 0 0 172227 8 0 0 25 0 1 0 966006032 189259776 42889 33554432000 4194304 6720400 140736219347520 18446744073709551615 4718962 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 46206 42889 263 617 0 45580 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 184824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 4124
/proc/meminfo: memFree=30710252/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=184824 CPUtime=1782.35 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 51814 0 0 0 178227 8 0 0 25 0 1 0 966006032 189259776 42891 33554432000 4194304 6720400 140736219347520 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 46206 42891 263 617 0 45580 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 184824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 4124
/proc/meminfo: memFree=30628524/32951124 swapFree=67062556/67111528
[pid=4036] ppid=4034 vsize=185328 CPUtime=1800.06 cores=0,2,4,6
/proc/4036/stat : 4036 (minisatid) R 4034 4036 30926 0 -1 4202496 54693 0 0 0 179998 8 0 0 25 0 1 0 966006032 189775872 45762 33554432000 4194304 6720400 140736219347520 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/4036/statm: 46332 45762 263 617 0 45706 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 185328
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.07
CPU user time (s): 1799.98
CPU system time (s): 0.091986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 185328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54700
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= 2737
runsolver used 2.71459 second user time and 5.47917 second system time
The end