runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3724749-1338642944/watcher-3724749-1338642944 -o /tmp/evaluation-result-3724749-1338642944/solver-3724749-1338642944 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724749-1338642944.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.03 2.01 2.00 3/176 17018
/proc/meminfo: memFree=27151388/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 330422918 6373376 741 33554432000 4194304 8989770 140733358490064 140734530845480 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 1556 741 423 1171 0 333 0
[startup+0.0799941 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17018
/proc/meminfo: memFree=27151388/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=9296 CPUtime=0.07 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 1600 0 0 0 7 0 0 0 20 0 1 0 330422918 9519104 1519 33554432000 4194304 8989770 140733358490064 140734530845480 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 2324 1519 428 1171 0 1101 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9296
[startup+0.100226 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17018
/proc/meminfo: memFree=27151388/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=10320 CPUtime=0.09 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 1651 0 0 0 9 0 0 0 20 0 1 0 330422918 10567680 1570 33554432000 4194304 8989770 140733358490064 140734530845480 5877581 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 2580 1570 430 1171 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10320
[startup+0.300222 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17018
/proc/meminfo: memFree=27151388/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=21584 CPUtime=0.29 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 4674 0 0 0 28 1 0 0 20 0 1 0 330422918 22102016 4593 33554432000 4194304 8989770 140733358490064 140734530845480 7857787 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 5396 4593 430 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584
[startup+0.70022 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17018
/proc/meminfo: memFree=27151388/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=41040 CPUtime=0.68 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 9538 0 0 0 66 2 0 0 20 0 1 0 330422918 42024960 9457 33554432000 4194304 8989770 140733358490064 140733358489560 7415758 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 10260 9457 430 1171 0 9037 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 41040
[startup+1.50023 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17019
/proc/meminfo: memFree=27089472/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=94288 CPUtime=1.49 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 22799 0 0 0 143 6 0 0 20 0 1 0 330422918 96550912 22718 33554432000 4194304 8989770 140733358490064 140733358489560 4209439 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 23572 22724 442 1171 0 22349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94288
[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17019
/proc/meminfo: memFree=27037516/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=117840 CPUtime=3.09 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 28760 0 0 0 302 7 0 0 20 0 1 0 330422918 120668160 28679 33554432000 4194304 8989770 140733358490064 140733358489328 6678594 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 29460 28679 446 1171 0 28237 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 117840
[startup+6.30019 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17019
/proc/meminfo: memFree=27037268/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=117840 CPUtime=6.29 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 28760 0 0 0 621 8 0 0 20 0 1 0 330422918 120668160 28679 33554432000 4194304 8989770 140733358490064 140733358489560 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 29460 28679 446 1171 0 28237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117840
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17019
/proc/meminfo: memFree=27036160/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=117840 CPUtime=12.68 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 28760 0 0 0 1258 10 0 0 20 0 1 0 330422918 120668160 28679 33554432000 4194304 8989770 140733358490064 140733358489560 5383352 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 29460 28679 446 1171 0 28237 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 117840
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17020
/proc/meminfo: memFree=27036236/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=117840 CPUtime=25.48 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 28770 0 0 0 2531 17 0 0 20 0 1 0 330422918 120668160 28693 33554432000 4194304 8989770 140733358490064 140733358489560 4446996 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 29460 28693 455 1171 0 28237 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 117840
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17020
/proc/meminfo: memFree=26995268/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=156752 CPUtime=51.06 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 38525 0 0 0 5073 33 0 0 20 0 1 0 330422918 160514048 38438 33554432000 4194304 8989770 140733358490064 140733358489560 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 39188 38438 472 1171 0 37965 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 156752
[startup+102.306 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 17020
/proc/meminfo: memFree=26982788/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=171088 CPUtime=102.25 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 42132 0 0 0 10162 63 0 0 20 0 1 0 330422918 175194112 42022 33554432000 4194304 8989770 140733358490064 140733358489560 4445179 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 42772 42022 472 1171 0 41549 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 171088
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17020
/proc/meminfo: memFree=26976424/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=177232 CPUtime=162.22 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 43671 0 0 0 16134 88 0 0 20 0 1 0 330422918 181485568 43558 33554432000 4194304 8989770 140733358490064 140733358489328 4208846 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 44308 43558 472 1171 0 43085 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 177232
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 17020
/proc/meminfo: memFree=26974316/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=179280 CPUtime=222.21 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44183 0 0 0 22111 110 0 0 20 0 1 0 330422918 183582720 44070 33554432000 4194304 8989770 140733358490064 140733358489560 7732708 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 44820 44070 472 1171 0 43597 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 179280
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 17023
/proc/meminfo: memFree=26972192/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=179280 CPUtime=282.21 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44184 0 0 0 28088 133 0 0 20 0 1 0 330422918 183582720 44070 33554432000 4194304 8989770 140733358490064 140733358488000 4209429 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 44820 44070 472 1171 0 43597 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 179280
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 17024
/proc/meminfo: memFree=26972572/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=342.2 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 34073 147 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358488064 4204685 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 180304
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17024
/proc/meminfo: memFree=26971456/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=402.19 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 40059 160 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358488000 4209272 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 180304
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 17024
/proc/meminfo: memFree=26970460/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=462.18 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 46042 176 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358472064 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 180304
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17024
/proc/meminfo: memFree=26970584/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=522.17 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 52026 191 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358488000 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 180304
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=26970832/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=582.16 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 58010 206 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358488064 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 180304
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17025
/proc/meminfo: memFree=26971820/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=822.12 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 81951 261 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358472064 4204289 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 180304
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17028
/proc/meminfo: memFree=26971256/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=882.12 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 87936 276 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358488000 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 180304
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17029
/proc/meminfo: memFree=26971636/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=942.11 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 93921 290 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358489328 4208816 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 180304
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17029
/proc/meminfo: memFree=26973120/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=1002.1 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 99906 304 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358488000 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 180304
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17029
/proc/meminfo: memFree=26971632/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=180304 CPUtime=1062.09 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44440 0 0 0 105889 320 0 0 20 0 1 0 330422918 184631296 44326 33554432000 4194304 8989770 140733358490064 140733358489560 7745616 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45076 44326 472 1171 0 43853 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 180304
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17029
/proc/meminfo: memFree=26970456/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=181328 CPUtime=1122.07 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44696 0 0 0 111872 335 0 0 20 0 1 0 330422918 185679872 44582 33554432000 4194304 8989770 140733358490064 140733358471936 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45332 44582 472 1171 0 44109 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 181328
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 17031
/proc/meminfo: memFree=26970876/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=181328 CPUtime=1182.07 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44696 0 0 0 117859 348 0 0 20 0 1 0 330422918 185679872 44582 33554432000 4194304 8989770 140733358490064 140733358488064 4212986 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45332 44582 472 1171 0 44109 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 181328
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 17032
/proc/meminfo: memFree=26968220/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=181328 CPUtime=1242.06 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44696 0 0 0 123844 362 0 0 20 0 1 0 330422918 185679872 44582 33554432000 4194304 8989770 140733358490064 140733358488000 4445192 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45332 44582 472 1171 0 44109 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 181328
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 17032
/proc/meminfo: memFree=26967840/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=181328 CPUtime=1302.05 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44696 0 0 0 129830 375 0 0 20 0 1 0 330422918 185679872 44582 33554432000 4194304 8989770 140733358490064 140733358472064 4209442 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45332 44582 472 1171 0 44109 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 181328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17032
/proc/meminfo: memFree=26969084/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=181328 CPUtime=1362.04 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44696 0 0 0 135814 390 0 0 20 0 1 0 330422918 185679872 44582 33554432000 4194304 8989770 140733358490064 140733358472000 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45332 44582 472 1171 0 44109 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 181328
[startup+1422.31 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 17071
/proc/meminfo: memFree=26912860/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=181328 CPUtime=1422.04 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 44696 0 0 0 141799 405 0 0 20 0 1 0 330422918 185679872 44582 33554432000 4194304 8989770 140733358490064 140733358488000 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 45332 44582 472 1171 0 44109 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 181328
[startup+1482.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 17074
/proc/meminfo: memFree=26836220/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=184400 CPUtime=1482.03 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 45464 0 0 0 147774 429 0 0 20 0 1 0 330422918 188825600 45350 33554432000 4194304 8989770 140733358490064 140733358472064 7675856 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 46100 45350 472 1171 0 44877 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 184400
[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 17074
/proc/meminfo: memFree=26788340/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=184400 CPUtime=1542.01 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 45464 0 0 0 153758 443 0 0 20 0 1 0 330422918 188825600 45350 33554432000 4194304 8989770 140733358490064 140733358489328 4426060 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 46100 45350 472 1171 0 44877 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 184400
[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26788368/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=184400 CPUtime=1602.01 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 45464 0 0 0 159743 458 0 0 20 0 1 0 330422918 188825600 45350 33554432000 4194304 8989770 140733358490064 140733358488000 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 46100 45350 472 1171 0 44877 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 184400
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26755436/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=184400 CPUtime=1661.99 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 45464 0 0 0 165728 471 0 0 20 0 1 0 330422918 188825600 45350 33554432000 4194304 8989770 140733358490064 140733358488000 6860099 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 46100 45350 472 1171 0 44877 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 184400
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26737084/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=184400 CPUtime=1721.99 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 45464 0 0 0 171714 485 0 0 20 0 1 0 330422918 188825600 45350 33554432000 4194304 8989770 140733358490064 140733358472064 7695492 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 46100 45350 472 1171 0 44877 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 184400
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26730884/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=184400 CPUtime=1781.98 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 45464 0 0 0 177699 499 0 0 20 0 1 0 330422918 188825600 45350 33554432000 4194304 8989770 140733358490064 140733358472064 4209488 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 46100 45350 472 1171 0 44877 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 184400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26719476/32873844 swapFree=7628/7628
[pid=17018] ppid=17016 vsize=184400 CPUtime=1800.08 cores=0,2,4,6
/proc/17018/stat : 17018 (toysat) R 17016 17018 15996 0 -1 4202496 45464 0 0 0 179503 505 0 0 20 0 1 0 330422918 188825600 45350 33554432000 4194304 8989770 140733358490064 140733358471872 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17018/statm: 46100 45350 472 1171 0 44877 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 184400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1795.03
CPU system time (s): 5.05923
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 184400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.03
system time used= 5.05923
maximum resident set size= 181400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45464
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= 41
involuntary context switches= 2419
runsolver used 3.33049 second user time and 8.95464 second system time
The end