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-3491321-1307786921/watcher-3491321-1307786921 -o /tmp/evaluation-result-3491321-1307786921/solver-3491321-1307786921 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491321-1307786921.opb --verbosity=0 --format=opb --randomseed=1682790369
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: 1.94 1.96 1.98 3/177 32013
/proc/meminfo: memFree=31605068/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=7712 CPUtime=0 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 428 0 0 0 0 0 0 0 25 0 1 0 890289240 7897088 381 33554432000 4194304 6720400 140735320697488 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 1928 381 230 617 0 1302 0
[startup+0.086293 s]
/proc/loadavg: 1.94 1.96 1.98 3/177 32013
/proc/meminfo: memFree=31605068/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=17320 CPUtime=0.08 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 2822 0 0 0 8 0 0 0 25 0 1 0 890289240 17735680 2775 33554432000 4194304 6720400 140735320697488 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 4330 2775 230 617 0 3704 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17320
[startup+0.100291 s]
/proc/loadavg: 1.94 1.96 1.98 3/177 32013
/proc/meminfo: memFree=31605068/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=18600 CPUtime=0.09 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 3119 0 0 0 9 0 0 0 25 0 1 0 890289240 19046400 3072 33554432000 4194304 6720400 140735320697488 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 4650 3072 230 617 0 4024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18600
[startup+0.300251 s]
/proc/loadavg: 1.94 1.96 1.98 3/177 32013
/proc/meminfo: memFree=31605068/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=35364 CPUtime=0.29 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 7298 0 0 0 28 1 0 0 25 0 1 0 890289240 36212736 7218 33554432000 4194304 6720400 140735320697488 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 8841 7219 230 617 0 8215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35364
[startup+0.701178 s]
/proc/loadavg: 1.94 1.96 1.98 3/177 32013
/proc/meminfo: memFree=31605068/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=77468 CPUtime=0.69 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 17945 0 0 0 66 3 0 0 25 0 1 0 890289240 79327232 17383 33554432000 4194304 6720400 140735320697488 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 19367 17384 243 617 0 18741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77468
[startup+1.50102 s]
/proc/loadavg: 1.94 1.96 1.98 3/178 32014
/proc/meminfo: memFree=31503652/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=161100 CPUtime=1.48 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 39995 0 0 0 143 5 0 0 25 0 1 0 890289240 164966400 39432 33554432000 4194304 6720400 140735320697488 18446744073709551615 4592912 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 40275 39432 255 617 0 39649 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 161100
[startup+3.10071 s]
/proc/loadavg: 1.94 1.96 1.98 3/178 32014
/proc/meminfo: memFree=31452192/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=161100 CPUtime=3.08 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 40018 0 0 0 303 5 0 0 25 0 1 0 890289240 164966400 39455 33554432000 4194304 6720400 140735320697488 18446744073709551615 4718210 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 40275 39455 263 617 0 39649 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 161100
[startup+6.3011 s]
/proc/loadavg: 1.94 1.96 1.98 3/178 32014
/proc/meminfo: memFree=31482948/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=161100 CPUtime=6.29 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 40042 0 0 0 624 5 0 0 25 0 1 0 890289240 164966400 39479 33554432000 4194304 6720400 140735320697488 18446744073709551615 4819913 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 40275 39479 264 617 0 39649 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161100
[startup+12.7009 s]
/proc/loadavg: 1.95 1.96 1.98 3/178 32014
/proc/meminfo: memFree=31440796/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=161100 CPUtime=12.69 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 40091 0 0 0 1264 5 0 0 25 0 1 0 890289240 164966400 39519 33554432000 4194304 6720400 140735320697488 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 40275 39519 264 617 0 39649 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161100
[startup+25.5004 s]
/proc/loadavg: 1.96 1.96 1.98 3/178 32015
/proc/meminfo: memFree=31482720/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=161100 CPUtime=25.49 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 40091 0 0 0 2544 5 0 0 25 0 1 0 890289240 164966400 39519 33554432000 4194304 6720400 140735320697488 18446744073709551615 4718162 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 40275 39519 264 617 0 39649 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 161100
[startup+51.1005 s]
/proc/loadavg: 1.97 1.96 1.98 3/178 32015
/proc/meminfo: memFree=31467560/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=166468 CPUtime=51.09 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 41099 0 0 0 5103 6 0 0 25 0 1 0 890289240 170463232 40511 33554432000 4194304 6720400 140735320697488 18446744073709551615 4803302 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 41617 40511 264 617 0 40991 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 166468
[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 32017
/proc/meminfo: memFree=31410876/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=166468 CPUtime=102.3 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 41453 0 0 0 10224 6 0 0 25 0 1 0 890289240 170463232 40861 33554432000 4194304 6720400 140735320697488 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 41617 40861 264 617 0 40991 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 166468
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 32018
/proc/meminfo: memFree=31496152/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=166468 CPUtime=162.3 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 41453 0 0 0 16224 6 0 0 25 0 1 0 890289240 170463232 40861 33554432000 4194304 6720400 140735320697488 18446744073709551615 4608646 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 41617 40861 264 617 0 40991 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 166468
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 32020
/proc/meminfo: memFree=31455792/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=167356 CPUtime=222.3 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 46732 0 0 0 22223 7 0 0 25 0 1 0 890289240 171372544 40750 33554432000 4194304 6720400 140735320697488 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 41839 40750 264 617 0 41213 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 167356
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 32021
/proc/meminfo: memFree=31423640/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=167356 CPUtime=282.3 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 46946 0 0 0 28223 7 0 0 25 0 1 0 890289240 171372544 40945 33554432000 4194304 6720400 140735320697488 18446744073709551615 4617146 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 41839 40945 264 617 0 41213 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 167356
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 32023
/proc/meminfo: memFree=31410724/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=169044 CPUtime=342.3 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 47512 0 0 0 34223 7 0 0 25 0 1 0 890289240 173101056 41497 33554432000 4194304 6720400 140735320697488 18446744073709551615 4438794 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 42261 41497 264 617 0 41635 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 169044
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 32025
/proc/meminfo: memFree=31446528/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=178892 CPUtime=402.3 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 49293 0 0 0 40223 7 0 0 25 0 1 0 890289240 183185408 43209 33554432000 4194304 6720400 140735320697488 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 44723 43209 264 617 0 44097 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 178892
[startup+462.301 s]
/proc/loadavg: 2.05 1.99 1.99 3/178 32026
/proc/meminfo: memFree=31435572/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=178892 CPUtime=462.3 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 49826 0 0 0 46223 7 0 0 25 0 1 0 890289240 183185408 43717 33554432000 4194304 6720400 140735320697488 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 44723 43717 264 617 0 44097 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 178892
[startup+522.3 s]
/proc/loadavg: 1.98 1.97 1.98 3/178 32066
/proc/meminfo: memFree=31365336/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=178892 CPUtime=522.31 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 49826 0 0 0 52224 7 0 0 25 0 1 0 890289240 183185408 43717 33554432000 4194304 6720400 140735320697488 18446744073709551615 4803118 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 44723 43717 264 617 0 44097 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 178892
[startup+582.301 s]
/proc/loadavg: 2.04 1.99 1.99 3/178 32067
/proc/meminfo: memFree=31364432/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=178892 CPUtime=582.31 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 49826 0 0 0 58224 7 0 0 25 0 1 0 890289240 183185408 43717 33554432000 4194304 6720400 140735320697488 18446744073709551615 4608603 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 44723 43717 264 617 0 44097 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 178892
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 32074
/proc/meminfo: memFree=31360404/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=178892 CPUtime=822.32 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 49826 0 0 0 82225 7 0 0 25 0 1 0 890289240 183185408 43717 33554432000 4194304 6720400 140735320697488 18446744073709551615 4630709 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 44723 43717 264 617 0 44097 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 178892
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 32075
/proc/meminfo: memFree=31348576/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=191776 CPUtime=882.32 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 55882 0 0 0 88224 8 0 0 25 0 1 0 890289240 196378624 46667 33554432000 4194304 6720400 140735320697488 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 47944 46667 264 617 0 47318 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 191776
[startup+942.301 s]
/proc/loadavg: 2.08 2.00 1.99 3/178 32077
/proc/meminfo: memFree=31344696/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=193716 CPUtime=942.32 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56901 0 0 0 94224 8 0 0 25 0 1 0 890289240 198365184 47674 33554432000 4194304 6720400 140735320697488 18446744073709551615 4806560 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 48429 47674 264 617 0 47803 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 193716
[startup+1002.3 s]
/proc/loadavg: 2.03 2.00 1.99 3/178 32079
/proc/meminfo: memFree=31344760/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=193716 CPUtime=1002.33 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56901 0 0 0 100225 8 0 0 25 0 1 0 890289240 198365184 47674 33554432000 4194304 6720400 140735320697488 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 48429 47674 264 617 0 47803 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 193716
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 32080
/proc/meminfo: memFree=31344600/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=193716 CPUtime=1062.33 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56901 0 0 0 106225 8 0 0 25 0 1 0 890289240 198365184 47674 33554432000 4194304 6720400 140735320697488 18446744073709551615 4807453 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 48429 47674 264 617 0 47803 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 193716
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 32082
/proc/meminfo: memFree=31339844/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=193716 CPUtime=1122.33 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56901 0 0 0 112225 8 0 0 25 0 1 0 890289240 198365184 47674 33554432000 4194304 6720400 140735320697488 18446744073709551615 4616734 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 48429 47674 264 617 0 47803 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 193716
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32083
/proc/meminfo: memFree=31339800/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=193716 CPUtime=1182.33 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56901 0 0 0 118225 8 0 0 25 0 1 0 890289240 198365184 47674 33554432000 4194304 6720400 140735320697488 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 48429 47674 264 617 0 47803 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 193716
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32085
/proc/meminfo: memFree=31339008/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=193716 CPUtime=1242.34 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56901 0 0 0 124226 8 0 0 25 0 1 0 890289240 198365184 47674 33554432000 4194304 6720400 140735320697488 18446744073709551615 5807056 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 48429 47674 264 617 0 47803 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 193716
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32087
/proc/meminfo: memFree=31337976/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=193716 CPUtime=1302.34 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56901 0 0 0 130226 8 0 0 25 0 1 0 890289240 198365184 47674 33554432000 4194304 6720400 140735320697488 18446744073709551615 4617556 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 48429 47674 264 617 0 47803 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 193716
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32088
/proc/meminfo: memFree=31338184/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1362.34 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 56903 0 0 0 136226 8 0 0 25 0 1 0 890289240 212918272 47676 33554432000 4194304 6720400 140735320697488 18446744073709551615 4820128 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 47676 264 617 0 51356 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 207928
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32090
/proc/meminfo: memFree=31326360/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1422.35 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 142226 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 4819872 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 207928
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32091
/proc/meminfo: memFree=31326308/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1482.35 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 148226 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 5763875 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 207928
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32093
/proc/meminfo: memFree=31326388/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1542.35 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 154226 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 207928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32095
/proc/meminfo: memFree=31325476/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1602.35 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 160226 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 207928
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32096
/proc/meminfo: memFree=31319724/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1662.35 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 166226 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 4806171 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 207928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32098
/proc/meminfo: memFree=31319048/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1722.36 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 172227 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 207928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32099
/proc/meminfo: memFree=31318752/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1782.36 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 178227 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 5718280 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 207928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32100
/proc/meminfo: memFree=31316876/32950928 swapFree=67055428/67111528
[pid=32013] ppid=32011 vsize=207928 CPUtime=1800.06 cores=1,3,5,7
/proc/32013/stat : 32013 (minisatid) R 32011 32013 26980 0 -1 4202496 59925 0 0 0 179997 9 0 0 25 0 1 0 890289240 212918272 50598 33554432000 4194304 6720400 140735320697488 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/32013/statm: 51982 50598 264 617 0 51356 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 207928
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.08
CPU user time (s): 1799.98
CPU system time (s): 0.102984
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 207928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59932
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= 6
involuntary context switches= 2994
runsolver used 2.83157 second user time and 6.27405 second system time
The end