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-3465162-1307385140/watcher-3465162-1307385140 -o /tmp/evaluation-result-3465162-1307385140/solver-3465162-1307385140 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3465162-1307385140.opb --verbosity=0 --format=opb
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.01 1.96 3/572 18965
/proc/meminfo: memFree=31633228/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=8176 CPUtime=0.01 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 603 0 0 0 1 0 0 0 25 0 1 0 850112755 8372224 555 33554432000 4194304 6539028 140734146773856 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 2044 555 235 573 0 1462 0
[startup+0.064164 s]
/proc/loadavg: 2.00 2.01 1.96 3/572 18965
/proc/meminfo: memFree=31633228/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=12788 CPUtime=0.05 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 1738 0 0 0 5 0 0 0 25 0 1 0 850112755 13094912 1690 33554432000 4194304 6539028 140734146773856 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 3197 1690 235 573 0 2615 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12788
[startup+0.100157 s]
/proc/loadavg: 2.00 2.01 1.96 3/572 18965
/proc/meminfo: memFree=31633228/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=16024 CPUtime=0.08 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 2547 0 0 0 8 0 0 0 25 0 1 0 850112755 16408576 2499 33554432000 4194304 6539028 140734146773856 18446744073709551615 4262980 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 4006 2500 235 573 0 3424 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16024
[startup+0.300124 s]
/proc/loadavg: 2.00 2.01 1.96 3/572 18965
/proc/meminfo: memFree=31633228/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=34028 CPUtime=0.29 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 6956 0 0 0 28 1 0 0 25 0 1 0 850112755 34844672 6908 33554432000 4194304 6539028 140734146773856 18446744073709551615 4636185 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 8507 6909 235 573 0 7925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34028
[startup+0.701106 s]
/proc/loadavg: 2.00 2.01 1.96 3/572 18965
/proc/meminfo: memFree=31633228/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=91608 CPUtime=0.69 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 21540 0 0 0 66 3 0 0 25 0 1 0 850112755 93806592 20992 33554432000 4194304 6539028 140734146773856 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 22902 20995 252 573 0 22320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91608
[startup+1.50094 s]
/proc/loadavg: 2.00 2.01 1.96 3/573 18966
/proc/meminfo: memFree=31512652/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1.49 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30723 0 0 0 145 4 0 0 25 0 1 0 850112755 127418368 30173 33554432000 4194304 6539028 140734146773856 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30173 269 573 0 30526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124432
[startup+3.10074 s]
/proc/loadavg: 2.00 2.01 1.96 3/573 18966
/proc/meminfo: memFree=31511784/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=3.09 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30724 0 0 0 305 4 0 0 25 0 1 0 850112755 127418368 30174 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523755 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30174 270 573 0 30526 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124432
[startup+6.30005 s]
/proc/loadavg: 2.00 2.01 1.96 3/573 18966
/proc/meminfo: memFree=31510176/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=6.29 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30724 0 0 0 625 4 0 0 25 0 1 0 850112755 127418368 30174 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30174 270 573 0 30526 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124432
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 1.96 3/573 18993
/proc/meminfo: memFree=31494156/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=12.69 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30724 0 0 0 1265 4 0 0 25 0 1 0 850112755 127418368 30174 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523755 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30174 270 573 0 30526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124432
[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 1.96 3/573 19102
/proc/meminfo: memFree=31273764/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=25.49 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30761 0 0 0 2545 4 0 0 25 0 1 0 850112755 127418368 30211 33554432000 4194304 6539028 140734146773856 18446744073709551615 4625656 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30211 270 573 0 30526 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124432
[startup+51.1012 s]
/proc/loadavg: 2.00 2.01 1.96 3/573 19102
/proc/meminfo: memFree=31272396/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=51.09 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30765 0 0 0 5104 5 0 0 25 0 1 0 850112755 127418368 30215 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30215 270 573 0 30526 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 124432
[startup+102.321 s]
/proc/loadavg: 2.00 2.00 1.96 3/573 19104
/proc/meminfo: memFree=31271876/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=102.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30766 0 0 0 10226 5 0 0 25 0 1 0 850112755 127418368 30216 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30216 270 573 0 30526 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 124432
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/573 19105
/proc/meminfo: memFree=31270112/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=162.3 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30767 0 0 0 16225 5 0 0 25 0 1 0 850112755 127418368 30217 33554432000 4194304 6539028 140734146773856 18446744073709551615 4625685 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30217 270 573 0 30526 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 124432
[startup+222.301 s]
/proc/loadavg: 2.12 2.03 1.97 3/573 19107
/proc/meminfo: memFree=31271432/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=222.3 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30767 0 0 0 22225 5 0 0 25 0 1 0 850112755 127418368 30217 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524117 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30217 270 573 0 30526 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 124432
[startup+282.301 s]
/proc/loadavg: 2.22 2.07 1.98 3/573 19109
/proc/meminfo: memFree=31272508/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=282.3 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30768 0 0 0 28225 5 0 0 25 0 1 0 850112755 127418368 30218 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30218 270 573 0 30526 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 124432
[startup+342.3 s]
/proc/loadavg: 2.14 2.07 1.99 3/573 19110
/proc/meminfo: memFree=31272228/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=342.3 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30828 0 0 0 34225 5 0 0 25 0 1 0 850112755 127418368 30275 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30275 270 573 0 30526 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 124432
[startup+402.301 s]
/proc/loadavg: 2.10 2.07 1.99 3/573 19112
/proc/meminfo: memFree=31272316/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=402.3 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30828 0 0 0 40225 5 0 0 25 0 1 0 850112755 127418368 30275 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30275 270 573 0 30526 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 124432
[startup+462.301 s]
/proc/loadavg: 2.04 2.05 1.99 3/573 19113
/proc/meminfo: memFree=31271784/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=462.3 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 46225 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 124432
[startup+522.301 s]
/proc/loadavg: 2.01 2.04 1.99 3/573 19115
/proc/meminfo: memFree=31272244/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=522.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 52226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 124432
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/573 19117
/proc/meminfo: memFree=31272704/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=582.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 58226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 124432
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/573 19123
/proc/meminfo: memFree=31271780/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=822.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 82226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 124432
[startup+882.301 s]
/proc/loadavg: 2.21 2.07 2.01 3/573 19125
/proc/meminfo: memFree=31270748/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=882.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 88226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 124432
[startup+942.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/573 19126
/proc/meminfo: memFree=31271820/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=942.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 94226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 124432
[startup+1002.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/573 19128
/proc/meminfo: memFree=31271776/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1002.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 100226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4501525 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 124432
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19129
/proc/meminfo: memFree=31271856/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1062.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 106226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523571 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 124432
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19131
/proc/meminfo: memFree=31271684/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1122.31 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 112226 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 124432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19133
/proc/meminfo: memFree=31270776/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1182.32 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 118227 5 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 124432
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19134
/proc/meminfo: memFree=31270736/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1242.32 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 124226 6 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 124432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19136
/proc/meminfo: memFree=31270576/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1302.34 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30830 0 0 0 130228 6 0 0 25 0 1 0 850112755 127418368 30277 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30277 270 573 0 30526 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 124432
[startup+1362.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/573 19137
/proc/meminfo: memFree=31271776/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1362.32 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 136226 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523867 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 124432
[startup+1422.32 s]
/proc/loadavg: 2.16 2.07 2.02 3/573 19139
/proc/meminfo: memFree=31272232/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1422.35 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 142229 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 124432
[startup+1482.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/573 19141
/proc/meminfo: memFree=31271192/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1482.33 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 148227 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523755 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 124432
[startup+1542.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/573 19142
/proc/meminfo: memFree=31272508/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1542.33 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 154227 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 124432
[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/573 19144
/proc/meminfo: memFree=31271848/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1602.33 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 160227 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 124432
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/573 19145
/proc/meminfo: memFree=31271560/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1662.33 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 166227 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 124432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 19156
/proc/meminfo: memFree=31269752/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1722.33 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 172227 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 124432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19158
/proc/meminfo: memFree=31269028/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1782.33 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 178227 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 124432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19158
/proc/meminfo: memFree=31270260/32950928 swapFree=43925852/67111528
[pid=18965] ppid=18963 vsize=124432 CPUtime=1800.05 cores=0,2,4,6
/proc/18965/stat : 18965 (minisatid) R 18963 18965 18512 0 -1 4202496 30831 0 0 0 179999 6 0 0 25 0 1 0 850112755 127418368 30278 33554432000 4194304 6539028 140734146773856 18446744073709551615 4523952 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18965/statm: 31108 30278 270 573 0 30526 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 124432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1800
CPU system time (s): 0.071989
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 128788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30834
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= 3929
runsolver used 10.3294 second user time and 22.4576 second system time
The end