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-3725658-1338638790/watcher-3725658-1338638790 -o /tmp/evaluation-result-3725658-1338638790/solver-3725658-1338638790 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725658-1338638790.opb
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: 2.00 2.00 1.98 3/176 31352
/proc/meminfo: memFree=28870288/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 330003425 7421952 756 33554432000 4194304 8989770 140733561839312 140735626173464 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 1812 756 428 1171 0 589 0
[startup+0.0237689 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31352
/proc/meminfo: memFree=28870288/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=8272 CPUtime=0.01 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 1142 0 0 0 1 0 0 0 20 0 1 0 330003425 8470528 1062 33554432000 4194304 8989770 140733561839312 140735626173464 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 2068 1062 430 1171 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8272
[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31352
/proc/meminfo: memFree=28870288/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=18512 CPUtime=0.09 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 3788 0 0 0 9 0 0 0 20 0 1 0 330003425 18956288 3708 33554432000 4194304 8989770 140733561839312 140735626173464 4213859 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 4628 3716 440 1171 0 3405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18512
[startup+0.30032 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31352
/proc/meminfo: memFree=28870288/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=30800 CPUtime=0.29 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 7020 0 0 0 29 0 0 0 20 0 1 0 330003425 31539200 6940 33554432000 4194304 8989770 140733561839312 140735626173464 4437612 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 7700 6940 470 1171 0 6477 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30800
[startup+0.700317 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31352
/proc/meminfo: memFree=28870288/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=31824 CPUtime=0.69 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 7276 0 0 0 69 0 0 0 20 0 1 0 330003425 32587776 7196 33554432000 4194304 8989770 140733561839312 140733561838576 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 7956 7196 470 1171 0 6733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31824
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28843736/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=31824 CPUtime=1.49 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 7276 0 0 0 149 0 0 0 20 0 1 0 330003425 32587776 7196 33554432000 4194304 8989770 140733561839312 140733561838808 4371077 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 7956 7196 470 1171 0 6733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31824
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28843116/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=32848 CPUtime=3.08 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 7532 0 0 0 308 0 0 0 20 0 1 0 330003425 33636352 7452 33554432000 4194304 8989770 140733561839312 140733561821312 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 8212 7452 470 1171 0 6989 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32848
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28837396/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=32848 CPUtime=6.29 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 7532 0 0 0 628 1 0 0 20 0 1 0 330003425 33636352 7452 33554432000 4194304 8989770 140733561839312 140733561838576 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 8212 7452 470 1171 0 6989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32848
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28835304/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=34896 CPUtime=12.69 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 8044 0 0 0 1267 2 0 0 20 0 1 0 330003425 35733504 7964 33554432000 4194304 8989770 140733561839312 140733561837248 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 8724 7964 470 1171 0 7501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34896
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28830576/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=38992 CPUtime=25.48 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 9068 0 0 0 2544 4 0 0 20 0 1 0 330003425 39927808 8988 33554432000 4194304 8989770 140733561839312 140733561838808 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 9748 8988 470 1171 0 8525 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38992
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28823600/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=45136 CPUtime=51.08 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 10604 0 0 0 5100 8 0 0 20 0 1 0 330003425 46219264 10524 33554432000 4194304 8989770 140733561839312 140733561838808 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 11284 10524 470 1171 0 10061 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45136
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28806532/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=61520 CPUtime=102.28 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 14700 0 0 0 10212 16 0 0 20 0 1 0 330003425 62996480 14620 33554432000 4194304 8989770 140733561839312 140733561838808 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 15380 14620 470 1171 0 14157 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 61520
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28785232/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=75856 CPUtime=162.26 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 18284 0 0 0 16202 24 0 0 20 0 1 0 330003425 77676544 18204 33554432000 4194304 8989770 140733561839312 140733561838576 4205216 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 18964 18204 470 1171 0 17741 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 75856
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 31357
/proc/meminfo: memFree=28773428/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=87120 CPUtime=222.26 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 21365 0 0 0 22194 32 0 0 20 0 1 0 330003425 89210880 21025 33554432000 4194304 8989770 140733561839312 140733561838576 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 21780 21025 472 1171 0 20557 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 87120
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31357
/proc/meminfo: memFree=28772904/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=87120 CPUtime=282.24 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 21374 0 0 0 28184 40 0 0 20 0 1 0 330003425 89210880 21025 33554432000 4194304 8989770 140733561839312 140733561838808 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 21780 21025 472 1171 0 20557 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 87120
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 31357
/proc/meminfo: memFree=28759016/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=98384 CPUtime=342.22 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 24190 0 0 0 34175 47 0 0 20 0 1 0 330003425 100745216 23841 33554432000 4194304 8989770 140733561839312 140733561838808 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 24596 23841 472 1171 0 23373 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 98384
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/177 31357
/proc/meminfo: memFree=28758212/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=99408 CPUtime=402.22 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 24958 0 0 0 40167 55 0 0 20 0 1 0 330003425 101793792 24097 33554432000 4194304 8989770 140733561839312 140733561838576 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 24852 24097 472 1171 0 23629 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 99408
[startup+462.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 31357
/proc/meminfo: memFree=28758712/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=99408 CPUtime=462.2 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 24958 0 0 0 46158 62 0 0 20 0 1 0 330003425 101793792 24097 33554432000 4194304 8989770 140733561839312 140733561837248 4213743 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 24852 24097 472 1171 0 23629 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 99408
[startup+522.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31359
/proc/meminfo: memFree=28756084/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=99408 CPUtime=522.2 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 26241 0 0 0 52151 69 0 0 20 0 1 0 330003425 101793792 24097 33554432000 4194304 8989770 140733561839312 140733561821312 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 24852 24097 472 1171 0 23629 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 99408
[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 31359
/proc/meminfo: memFree=28755960/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=99408 CPUtime=582.19 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 26241 0 0 0 58145 74 0 0 20 0 1 0 330003425 101793792 24097 33554432000 4194304 8989770 140733561839312 140733561821312 7696021 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 24852 24097 472 1171 0 23629 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 99408
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 31363
/proc/meminfo: memFree=28740884/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=110672 CPUtime=882.15 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 29057 0 0 0 88112 103 0 0 20 0 1 0 330003425 113328128 26913 33554432000 4194304 8989770 140733561839312 140733561837248 4438244 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 27668 26913 472 1171 0 26445 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 110672
[startup+942.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 31363
/proc/meminfo: memFree=28738900/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=112720 CPUtime=942.13 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 29569 0 0 0 94104 109 0 0 20 0 1 0 330003425 115425280 27425 33554432000 4194304 8989770 140733561839312 140733561838808 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 28180 27425 472 1171 0 26957 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 112720
[startup+1002.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 31363
/proc/meminfo: memFree=28738284/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=111696 CPUtime=1002.12 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 31105 0 0 0 100098 114 0 0 20 0 1 0 330003425 114376704 27169 33554432000 4194304 8989770 140733561839312 140733561838808 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 27924 27169 472 1171 0 26701 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 111696
[startup+1062.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 31363
/proc/meminfo: memFree=28738144/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=111696 CPUtime=1062.12 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 31107 0 0 0 106090 122 0 0 20 0 1 0 330003425 114376704 27169 33554432000 4194304 8989770 140733561839312 140733561821312 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 27924 27169 472 1171 0 26701 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 111696
[startup+1122.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 31364
/proc/meminfo: memFree=28731448/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=112720 CPUtime=1122.1 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 31363 0 0 0 112082 128 0 0 20 0 1 0 330003425 115425280 27425 33554432000 4194304 8989770 140733561839312 140733561838576 4209376 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 28180 27425 472 1171 0 26957 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 112720
[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 31364
/proc/meminfo: memFree=28727668/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=115792 CPUtime=1182.09 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 33411 0 0 0 118075 134 0 0 20 0 1 0 330003425 118571008 28193 33554432000 4194304 8989770 140733561839312 140733561837248 4451817 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 28948 28193 472 1171 0 27725 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 115792
[startup+1242.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 31364
/proc/meminfo: memFree=28727352/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=115792 CPUtime=1242.09 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 33411 0 0 0 124068 141 0 0 20 0 1 0 330003425 118571008 28193 33554432000 4194304 8989770 140733561839312 140733561838808 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 28948 28193 472 1171 0 27725 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 115792
[startup+1302.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 31364
/proc/meminfo: memFree=28715324/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=127056 CPUtime=1302.08 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 36227 0 0 0 130061 147 0 0 20 0 1 0 330003425 130105344 31009 33554432000 4194304 8989770 140733561839312 140733561838808 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 31764 31009 472 1171 0 30541 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 127056
[startup+1362.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/177 31364
/proc/meminfo: memFree=28717292/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=123984 CPUtime=1362.06 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 36232 0 0 0 136053 153 0 0 20 0 1 0 330003425 126959616 30241 33554432000 4194304 8989770 140733561839312 140733561838576 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 30996 30241 472 1171 0 29773 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 123984
[startup+1422.31 s]
/proc/loadavg: 2.04 2.06 2.00 3/178 31368
/proc/meminfo: memFree=28715548/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=123984 CPUtime=1422.06 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 36232 0 0 0 142046 160 0 0 20 0 1 0 330003425 126959616 30241 33554432000 4194304 8989770 140733561839312 140733561838576 4438180 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 30996 30241 472 1171 0 29773 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 123984
[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 31368
/proc/meminfo: memFree=28705888/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=132176 CPUtime=1482.05 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 39304 0 0 0 148037 168 0 0 20 0 1 0 330003425 135348224 32289 33554432000 4194304 8989770 140733561839312 140733561838576 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 33044 32289 472 1171 0 31821 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 132176
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 31368
/proc/meminfo: memFree=28705820/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=132176 CPUtime=1542.04 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 39304 0 0 0 154029 175 0 0 20 0 1 0 330003425 135348224 32289 33554432000 4194304 8989770 140733561839312 140733561838808 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 33044 32289 472 1171 0 31821 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 132176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31368
/proc/meminfo: memFree=28705688/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=132176 CPUtime=1602.03 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 39306 0 0 0 160021 182 0 0 20 0 1 0 330003425 135348224 32289 33554432000 4194304 8989770 140733561839312 140733561838808 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 33044 32289 472 1171 0 31821 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 132176
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31368
/proc/meminfo: memFree=28697004/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=136272 CPUtime=1662.02 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 41612 0 0 0 166013 189 0 0 20 0 1 0 330003425 139542528 33313 33554432000 4194304 8989770 140733561839312 140733561838576 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 34068 33313 472 1171 0 32845 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 136272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31370
/proc/meminfo: memFree=28693896/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=136272 CPUtime=1722.01 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 41612 0 0 0 172004 197 0 0 20 0 1 0 330003425 139542528 33313 33554432000 4194304 8989770 140733561839312 140733561838808 5398003 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 34068 33313 472 1171 0 32845 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 136272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31370
/proc/meminfo: memFree=28689812/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=140368 CPUtime=1782 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 42636 0 0 0 177997 203 0 0 20 0 1 0 330003425 143736832 34337 33554432000 4194304 8989770 140733561839312 140733561838576 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 35092 34337 472 1171 0 33869 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 140368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31409
/proc/meminfo: memFree=29005756/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=145488 CPUtime=1800.01 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 43916 0 0 0 179795 206 0 0 20 0 1 0 330003425 148979712 35617 33554432000 4194304 8989770 140733561839312 140733561838808 6548123 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 36372 35617 472 1171 0 35149 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 145488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31409
/proc/meminfo: memFree=29005756/32873844 swapFree=7644/7644
[pid=31352] ppid=31350 vsize=145488 CPUtime=1800.01 cores=1,3,5,7
/proc/31352/stat : 31352 (toysat) R 31350 31352 30509 0 -1 4202496 43916 0 0 0 179795 206 0 0 20 0 1 0 330003425 148979712 35617 33554432000 4194304 8989770 140733561839312 140733561838808 6548123 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31352/statm: 36372 35617 472 1171 0 35149 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 145488
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.95
CPU system time (s): 2.06469
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 145488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.06469
maximum resident set size= 142468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43916
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= 30
involuntary context switches= 1854
runsolver used 3.82942 second user time and 10.2974 second system time
The end