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-3491115-1307764910/watcher-3491115-1307764910 -o /tmp/evaluation-result-3491115-1307764910/solver-3491115-1307764910 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491115-1307764910.opb --verbosity=0 --format=opb --randomseed=735343269
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.92 1.98 1.99 2/175 16865
/proc/meminfo: memFree=31558048/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=7712 CPUtime=0 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 443 0 0 0 0 0 0 0 25 0 1 0 888089633 7897088 396 33554432000 4194304 6720400 140733843434048 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 1928 396 232 617 0 1302 0
[startup+0.0739801 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16865
/proc/meminfo: memFree=31558048/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=12444 CPUtime=0.07 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1664 0 0 0 7 0 0 0 25 0 1 0 888089633 12742656 1615 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811689 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 3111 1616 257 617 0 2485 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12444
[startup+0.100975 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16865
/proc/meminfo: memFree=31558048/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=12444 CPUtime=0.09 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1703 0 0 0 9 0 0 0 25 0 1 0 888089633 12742656 1652 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 3111 1652 257 617 0 2485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12444
[startup+0.30094 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16865
/proc/meminfo: memFree=31558048/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=12444 CPUtime=0.29 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1977 0 0 0 29 0 0 0 25 0 1 0 888089633 12742656 1918 33554432000 4194304 6720400 140733843434048 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 3111 1918 265 617 0 2485 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12444
[startup+0.700872 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16865
/proc/meminfo: memFree=31558048/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=12444 CPUtime=0.69 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 2485 0 0 0 69 0 0 0 25 0 1 0 888089633 12742656 2410 33554432000 4194304 6720400 140733843434048 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 3111 2410 265 617 0 2485 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12444
[startup+1.50073 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 16866
/proc/meminfo: memFree=31539200/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=19584 CPUtime=1.49 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 3541 0 0 0 149 0 0 0 25 0 1 0 888089633 20054016 3437 33554432000 4194304 6720400 140733843434048 18446744073709551615 4438798 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 4896 3437 265 617 0 4270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19584
[startup+3.10046 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 16866
/proc/meminfo: memFree=31522476/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=27692 CPUtime=3.09 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 5652 0 0 0 309 0 0 0 25 0 1 0 888089633 28356608 5495 33554432000 4194304 6720400 140733843434048 18446744073709551615 4432329 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 6923 5495 266 617 0 6297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27692
[startup+6.30091 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 16866
/proc/meminfo: memFree=31476100/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=58776 CPUtime=6.29 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 9843 0 0 0 628 1 0 0 25 0 1 0 888089633 60186624 9554 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 14694 9554 266 617 0 14068 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58776
[startup+12.7008 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 16866
/proc/meminfo: memFree=31545832/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=32604 CPUtime=12.69 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 18696 0 0 0 1265 4 0 0 25 0 1 0 888089633 33386496 5988 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811722 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 8151 5988 266 617 0 7525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32604
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16866
/proc/meminfo: memFree=31497224/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=63064 CPUtime=25.49 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 33290 0 0 0 2543 6 0 0 25 0 1 0 888089633 64577536 14568 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820727 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 15766 14568 266 617 0 15140 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63064
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16866
/proc/meminfo: memFree=31501096/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=63064 CPUtime=51.09 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 65065 0 0 0 5100 9 0 0 25 0 1 0 888089633 64577536 15335 33554432000 4194304 6720400 140733843434048 18446744073709551615 4816013 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 15766 15335 266 617 0 15140 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 63064
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16868
/proc/meminfo: memFree=31383780/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=63064 CPUtime=102.29 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 123493 0 0 0 10212 17 0 0 25 0 1 0 888089633 64577536 15367 33554432000 4194304 6720400 140733843434048 18446744073709551615 4819162 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 15766 15367 266 617 0 15140 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 63064
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16870
/proc/meminfo: memFree=31500200/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=63064 CPUtime=162.29 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 199606 0 0 0 16200 29 0 0 25 0 1 0 888089633 64577536 15367 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 15766 15367 266 617 0 15140 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 63064
[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 16872
/proc/meminfo: memFree=31503044/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=74660 CPUtime=222.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 283570 0 0 0 22189 41 0 0 25 0 1 0 888089633 76451840 17380 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 18665 17380 266 617 0 18039 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 74660
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 16875
/proc/meminfo: memFree=31508480/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=74660 CPUtime=282.29 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 360317 0 0 0 28178 51 0 0 25 0 1 0 888089633 76451840 17380 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 18665 17380 266 617 0 18039 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 74660
[startup+342.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 16877
/proc/meminfo: memFree=31390192/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=74660 CPUtime=342.29 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 385505 0 0 0 34174 55 0 0 25 0 1 0 888089633 76451840 18234 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 18665 18234 266 617 0 18039 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 74660
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 16879
/proc/meminfo: memFree=31390668/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=154800 CPUtime=402.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 481821 0 0 0 40163 67 0 0 25 0 1 0 888089633 158515200 33131 33554432000 4194304 6720400 140733843434048 18446744073709551615 4610378 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 38700 33131 266 617 0 38074 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 154800
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 16881
/proc/meminfo: memFree=31408372/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=93872 CPUtime=462.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 575711 0 0 0 46148 82 0 0 25 0 1 0 888089633 96124928 23037 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811689 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 23468 23037 266 617 0 22842 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 93872
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16883
/proc/meminfo: memFree=31408116/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=174012 CPUtime=522.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 683164 0 0 0 52131 99 0 0 25 0 1 0 888089633 178188288 35814 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 43503 35814 266 617 0 42877 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 174012
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16884
/proc/meminfo: memFree=31415908/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=143192 CPUtime=582.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 769007 0 0 0 58121 109 0 0 25 0 1 0 888089633 146628608 33889 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811652 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 35798 33889 266 617 0 35172 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 143192
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16891
/proc/meminfo: memFree=31416980/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=143192 CPUtime=822.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1091806 0 0 0 82073 157 0 0 25 0 1 0 888089633 146628608 31936 33554432000 4194304 6720400 140733843434048 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 35798 31936 266 617 0 35172 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 143192
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16892
/proc/meminfo: memFree=31232700/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=143192 CPUtime=882.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1173484 0 0 0 88061 170 0 0 25 0 1 0 888089633 146628608 30901 33554432000 4194304 6720400 140733843434048 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 35798 30901 266 617 0 35172 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 143192
[startup+942.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16893
/proc/meminfo: memFree=31384700/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=124420 CPUtime=942.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1252273 0 0 0 94050 181 0 0 25 0 1 0 888089633 127406080 30672 33554432000 4194304 6720400 140733843434048 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 31105 30672 266 617 0 30479 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 124420
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 16895
/proc/meminfo: memFree=31417544/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=173740 CPUtime=1002.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1314538 0 0 0 100041 189 0 0 25 0 1 0 888089633 177909760 38629 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820721 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 43435 38629 266 617 0 42809 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 173740
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16897
/proc/meminfo: memFree=31290560/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=124420 CPUtime=1062.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1391235 0 0 0 106030 200 0 0 25 0 1 0 888089633 127406080 30672 33554432000 4194304 6720400 140733843434048 18446744073709551615 4608579 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 31105 30672 266 617 0 30479 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 124420
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16899
/proc/meminfo: memFree=31365928/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=173740 CPUtime=1122.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1441287 0 0 0 112024 207 0 0 25 0 1 0 888089633 177909760 42757 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811689 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 43435 42757 266 617 0 42809 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 173740
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16900
/proc/meminfo: memFree=31265980/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=173740 CPUtime=1182.3 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1528998 0 0 0 118011 219 0 0 25 0 1 0 888089633 177909760 41942 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811736 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 43435 41942 266 617 0 42809 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 173740
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16901
/proc/meminfo: memFree=31361812/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=204560 CPUtime=1242.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1615854 0 0 0 123999 232 0 0 25 0 1 0 888089633 209469440 50017 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811736 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 51140 50017 266 617 0 50514 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 204560
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16903
/proc/meminfo: memFree=31211624/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=204560 CPUtime=1302.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1696206 0 0 0 129990 241 0 0 25 0 1 0 888089633 209469440 43232 33554432000 4194304 6720400 140733843434048 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 51140 43232 266 617 0 50514 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 204560
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16905
/proc/meminfo: memFree=31378392/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=173740 CPUtime=1362.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1780362 0 0 0 135977 254 0 0 25 0 1 0 888089633 177909760 41033 33554432000 4194304 6720400 140733843434048 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 43435 41034 266 617 0 42809 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 173740
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 16907
/proc/meminfo: memFree=31259824/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=204560 CPUtime=1422.32 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1857905 0 0 0 141965 267 0 0 25 0 1 0 888089633 209469440 45903 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 51140 45903 266 617 0 50514 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 204560
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 16908
/proc/meminfo: memFree=31287464/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=173740 CPUtime=1482.32 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 1934354 0 0 0 147954 278 0 0 25 0 1 0 888089633 177909760 41763 33554432000 4194304 6720400 140733843434048 18446744073709551615 4820724 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 43435 41763 266 617 0 42809 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 173740
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16909
/proc/meminfo: memFree=31200656/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=204560 CPUtime=1542.32 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 2010584 0 0 0 153941 291 0 0 25 0 1 0 888089633 209469440 50067 33554432000 4194304 6720400 140733843434048 18446744073709551615 4608642 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 51140 50067 266 617 0 50514 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 204560
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 4/176 16950
/proc/meminfo: memFree=31353792/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=204560 CPUtime=1602.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 2098198 0 0 0 159927 304 0 0 25 0 1 0 888089633 209469440 48936 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811736 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 51140 48936 266 617 0 50514 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 204560
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/176 16952
/proc/meminfo: memFree=31346208/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=173740 CPUtime=1662.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 2182490 0 0 0 165913 318 0 0 25 0 1 0 888089633 177909760 38653 33554432000 4194304 6720400 140733843434048 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 43435 38653 266 617 0 42809 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 173740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 16954
/proc/meminfo: memFree=31357228/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=254648 CPUtime=1722.31 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 2259537 0 0 0 171900 331 0 0 25 0 1 0 888089633 260759552 52313 33554432000 4194304 6720400 140733843434048 18446744073709551615 4811722 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 63662 52313 266 617 0 63036 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 254648
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 16955
/proc/meminfo: memFree=31140328/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=254648 CPUtime=1782.32 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 2338701 0 0 0 177889 343 0 0 25 0 1 0 888089633 260759552 55273 33554432000 4194304 6720400 140733843434048 18446744073709551615 4437312 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 63662 55273 266 617 0 63036 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 254648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16956
/proc/meminfo: memFree=31342564/32951132 swapFree=67052544/67111528
[pid=16865] ppid=16863 vsize=124420 CPUtime=1800.02 cores=1,3,5,7
/proc/16865/stat : 16865 (minisatid) R 16863 16865 16337 0 -1 4202496 2350237 0 0 0 179657 345 0 0 25 0 1 0 888089633 127406080 30672 33554432000 4194304 6720400 140733843434048 18446744073709551615 4611265 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16865/statm: 31105 30672 266 617 0 30479 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 124420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.04
CPU user time (s): 1796.57
CPU system time (s): 3.46447
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 336036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 3.46447
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2350242
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= 4513
runsolver used 2.38464 second user time and 5.86011 second system time
The end