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-3706171-1338247746/watcher-3706171-1338247746 -o /tmp/evaluation-result-3706171-1338247746/solver-3706171-1338247746 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706171-1338247746.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: 1.96 2.00 2.00 3/176 6872
/proc/meminfo: memFree=29174144/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 1 0 290900442 6356992 719 33554432000 4194304 8973514 140734507533424 140737327592776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 1552 719 411 1167 0 333 0
[startup+0.0937349 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 6872
/proc/meminfo: memFree=29174144/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=11328 CPUtime=0.08 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 2099 0 0 0 8 0 0 0 20 0 1 0 290900442 11599872 2021 33554432000 4194304 8973514 140734507533424 140737327592776 4214368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 2832 2021 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328
[startup+0.100343 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 6872
/proc/meminfo: memFree=29174144/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 2269 0 0 0 9 0 0 0 20 0 1 0 290900442 12648448 2191 33554432000 4194304 8973514 140734507533424 140737327592776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 3088 2191 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300348 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 6872
/proc/meminfo: memFree=29174144/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=25664 CPUtime=0.29 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 5546 0 0 0 28 1 0 0 20 0 1 0 290900442 26279936 5468 33554432000 4194304 8973514 140734507533424 140734507532688 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 6416 5477 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664
[startup+0.700349 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 6872
/proc/meminfo: memFree=29174144/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=44096 CPUtime=0.69 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 10292 0 0 0 67 2 0 0 20 0 1 0 290900442 45154304 10214 33554432000 4194304 8973514 140734507533424 140734507532688 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 11024 10214 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50034 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 6873
/proc/meminfo: memFree=29106160/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=96320 CPUtime=1.49 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 23348 0 0 0 144 5 0 0 20 0 1 0 290900442 98631680 23270 33554432000 4194304 8973514 140734507533424 140734507531392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 24080 23270 418 1167 0 22861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96320
[startup+3.10034 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 6873
/proc/meminfo: memFree=29052344/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=213056 CPUtime=3.09 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 52348 0 0 0 299 10 0 0 20 0 1 0 290900442 218169344 52270 33554432000 4194304 8973514 140734507533424 140734507532264 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 53264 52278 418 1167 0 52045 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 213056
[startup+6.30034 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 6873
/proc/meminfo: memFree=28864980/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=384064 CPUtime=6.29 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 95284 0 0 0 610 19 0 0 20 0 1 0 290900442 393281536 95206 33554432000 4194304 8973514 140734507533424 140734507532920 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 96016 95206 418 1167 0 94797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 384064
[startup+12.7003 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 6873
/proc/meminfo: memFree=28502048/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=696384 CPUtime=12.69 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 173176 0 0 0 1231 38 0 0 20 0 1 0 290900442 713097216 173098 33554432000 4194304 8973514 140734507533424 140734507532920 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 174096 173106 418 1167 0 172877 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 696384
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6873
/proc/meminfo: memFree=27588540/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1588288 CPUtime=25.48 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 396357 0 0 0 2462 86 0 0 20 0 1 0 290900442 1626406912 396279 33554432000 4194304 8973514 140734507533424 140734507532688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 397072 396279 429 1167 0 395853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1588288
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6873
/proc/meminfo: memFree=28226272/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=951360 CPUtime=51.08 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 396358 0 0 0 5010 98 0 0 20 0 1 0 290900442 974192640 237048 33554432000 4194304 8973514 140734507533424 140734507532920 4259145 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 237840 237048 430 1167 0 236621 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 951360
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6876
/proc/meminfo: memFree=28225892/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=951360 CPUtime=102.28 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 396371 0 0 0 10119 109 0 0 20 0 1 0 290900442 974192640 237061 33554432000 4194304 8973514 140734507533424 140734507532920 4442440 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 237840 237061 443 1167 0 236621 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 951360
[startup+162.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 6876
/proc/meminfo: memFree=28225900/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=951360 CPUtime=162.26 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 396384 0 0 0 16104 122 0 0 20 0 1 0 290900442 974192640 237074 33554432000 4194304 8973514 140734507533424 140734507532688 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 237840 237074 456 1167 0 236621 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 951360
[startup+222.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 6876
/proc/meminfo: memFree=28226148/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=951360 CPUtime=222.25 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 396384 0 0 0 22087 138 0 0 20 0 1 0 290900442 974192640 237074 33554432000 4194304 8973514 140734507533424 140734507531392 4214513 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 237840 237074 456 1167 0 236621 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 951360
[startup+282.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 6916
/proc/meminfo: memFree=28952448/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=951360 CPUtime=282.24 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 396394 0 0 0 28069 155 0 0 20 0 1 0 290900442 974192640 237074 33554432000 4194304 8973514 140734507533424 140734507532688 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 237840 237074 456 1167 0 236621 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 951360
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 6916
/proc/meminfo: memFree=29557100/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=960576 CPUtime=342.23 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 398706 0 0 0 34054 169 0 0 20 0 1 0 290900442 983629824 239378 33554432000 4194304 8973514 140734507533424 140734507532688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 240144 239378 456 1167 0 238925 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 960576
[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 6916
/proc/meminfo: memFree=29555516/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=962624 CPUtime=402.21 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 399228 0 0 0 40036 185 0 0 20 0 1 0 290900442 985726976 239890 33554432000 4194304 8973514 140734507533424 140734507532688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 240656 239890 456 1167 0 239437 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 962624
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 6916
/proc/meminfo: memFree=29539176/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=979008 CPUtime=462.2 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403325 0 0 0 46017 203 0 0 20 0 1 0 290900442 1002504192 243986 33554432000 4194304 8973514 140734507533424 140734507532688 4436455 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 244752 243986 456 1167 0 243533 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 979008
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6916
/proc/meminfo: memFree=29539204/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=979008 CPUtime=522.2 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403327 0 0 0 52000 220 0 0 20 0 1 0 290900442 1002504192 243986 33554432000 4194304 8973514 140734507533424 140734507532920 4435888 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 244752 243986 456 1167 0 243533 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 979008
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6917
/proc/meminfo: memFree=29539356/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=979008 CPUtime=582.18 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403333 0 0 0 57981 237 0 0 20 0 1 0 290900442 1002504192 243986 33554432000 4194304 8973514 140734507533424 140734507532920 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 244752 243986 456 1167 0 243533 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 979008
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6920
/proc/meminfo: memFree=29537236/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=822.14 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403860 0 0 0 81913 301 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507531392 4204706 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 981056
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6921
/proc/meminfo: memFree=29537388/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=882.12 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 87899 313 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507532688 6817489 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 981056
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6921
/proc/meminfo: memFree=29536920/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=942.11 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 93881 330 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507532744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 981056
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6921
/proc/meminfo: memFree=29537072/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=1002.1 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 99860 350 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507531392 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 981056
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6921
/proc/meminfo: memFree=29537976/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=1062.09 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 105843 366 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507532688 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 981056
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6922
/proc/meminfo: memFree=29537624/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=1122.08 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 111827 381 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507532920 4209363 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 981056
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6923
/proc/meminfo: memFree=29537792/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=1182.08 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 117811 397 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507532920 7707296 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 981056
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6923
/proc/meminfo: memFree=29537708/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=1242.07 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 123798 409 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507532920 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 981056
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6926
/proc/meminfo: memFree=29537700/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=1302.07 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 129784 423 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507531392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 981056
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6926
/proc/meminfo: memFree=29537832/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=981056 CPUtime=1362.05 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 403868 0 0 0 135766 439 0 0 20 0 1 0 290900442 1004601344 244498 33554432000 4194304 8973514 140734507533424 140734507532920 4434736 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 245264 244498 456 1167 0 244045 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 981056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6926
/proc/meminfo: memFree=29518240/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1000512 CPUtime=1422.04 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 408732 0 0 0 141750 454 0 0 20 0 1 0 290900442 1024524288 249362 33554432000 4194304 8973514 140734507533424 140734507532920 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 250128 249362 456 1167 0 248909 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1000512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6927
/proc/meminfo: memFree=29518116/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1000512 CPUtime=1482.03 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 408732 0 0 0 147734 469 0 0 20 0 1 0 290900442 1024524288 249362 33554432000 4194304 8973514 140734507533424 140734507532688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 250128 249362 456 1167 0 248909 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1000512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6927
/proc/meminfo: memFree=29500632/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1017920 CPUtime=1542.02 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 413084 0 0 0 153715 487 0 0 20 0 1 0 290900442 1042350080 253714 33554432000 4194304 8973514 140734507533424 140734507532920 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 254480 253714 456 1167 0 253261 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1017920
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6927
/proc/meminfo: memFree=29500880/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1017920 CPUtime=1602.01 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 413084 0 0 0 159702 499 0 0 20 0 1 0 290900442 1042350080 253714 33554432000 4194304 8973514 140734507533424 140734507532688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 254480 253714 456 1167 0 253261 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1017920
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 6927
/proc/meminfo: memFree=29501004/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1017920 CPUtime=1662.01 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 413084 0 0 0 165690 511 0 0 20 0 1 0 290900442 1042350080 253714 33554432000 4194304 8973514 140734507533424 140734507532688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 254480 253714 456 1167 0 253261 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1017920
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6927
/proc/meminfo: memFree=29501004/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1017920 CPUtime=1722 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 413084 0 0 0 171675 525 0 0 20 0 1 0 290900442 1042350080 253714 33554432000 4194304 8973514 140734507533424 140734507532688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 254480 253714 456 1167 0 253261 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1017920
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6928
/proc/meminfo: memFree=29500756/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1017920 CPUtime=1781.99 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 413084 0 0 0 177662 537 0 0 20 0 1 0 290900442 1042350080 253714 33554432000 4194304 8973514 140734507533424 140734507532688 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 254480 253714 456 1167 0 253261 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1017920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6928
/proc/meminfo: memFree=29501004/32873844 swapFree=7112/7112
[pid=6872] ppid=6870 vsize=1017920 CPUtime=1800.09 cores=1,3,5,7
/proc/6872/stat : 6872 (toysat) R 6870 6872 4756 0 -1 4202496 413084 0 0 0 179470 539 0 0 20 0 1 0 290900442 1042350080 253714 33554432000 4194304 8973514 140734507533424 140734507531392 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6872/statm: 254480 253714 456 1167 0 253261 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1017920
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.11
CPU user time (s): 1794.7
CPU system time (s): 5.40518
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1588288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 5.40518
maximum resident set size= 1585116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413084
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= 63
involuntary context switches= 1863
runsolver used 4.10038 second user time and 9.64453 second system time
The end