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-3724623-1338636944/watcher-3724623-1338636944 -o /tmp/evaluation-result-3724623-1338636944/solver-3724623-1338636944 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724623-1338636944.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.93 1.98 1.95 3/177 21694
/proc/meminfo: memFree=29994692/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 329823036 6373376 735 33554432000 4194304 8989770 140736584294208 140734583755928 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 1556 736 428 1171 0 333 0
[startup+0.0316801 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 21694
/proc/meminfo: memFree=29994692/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=8272 CPUtime=0.02 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 1284 0 0 0 2 0 0 0 20 0 1 0 329823036 8470528 1204 33554432000 4194304 8989770 140736584294208 140736584293704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 2068 1204 430 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100281 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 21694
/proc/meminfo: memFree=29994692/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 2243 0 0 0 9 0 0 0 20 0 1 0 329823036 12664832 2163 33554432000 4194304 8989770 140736584294208 140736584293704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 3092 2163 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300319 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 21694
/proc/meminfo: memFree=29994692/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=26704 CPUtime=0.29 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 5776 0 0 0 28 1 0 0 20 0 1 0 329823036 27344896 5697 33554432000 4194304 8989770 140736584294208 140736584293704 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 6676 5706 431 1171 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26704
[startup+0.700311 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 21694
/proc/meminfo: memFree=29994692/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=47184 CPUtime=0.69 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 11073 0 0 0 67 2 0 0 20 0 1 0 329823036 48316416 10993 33554432000 4194304 8989770 140736584294208 140736584277304 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 11796 10993 431 1171 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47184
[startup+1.50032 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 21695
/proc/meminfo: memFree=29907760/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=111696 CPUtime=1.49 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 27201 0 0 0 143 6 0 0 20 0 1 0 329823036 114376704 27121 33554432000 4194304 8989770 140736584294208 140736584293472 7874608 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 27924 27121 431 1171 0 26701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111696
[startup+3.10032 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 21695
/proc/meminfo: memFree=29818976/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=202832 CPUtime=3.09 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 49985 0 0 0 299 10 0 0 20 0 1 0 329823036 207699968 49905 33554432000 4194304 8989770 140736584294208 140736584293704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 50708 49905 431 1171 0 49485 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202832
[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 21695
/proc/meminfo: memFree=29602736/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=364624 CPUtime=6.29 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 90433 0 0 0 609 20 0 0 20 0 1 0 329823036 373374976 90353 33554432000 4194304 8989770 140736584294208 140736584293472 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 91156 90353 431 1171 0 89933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 364624
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.95 3/178 21695
/proc/meminfo: memFree=29427192/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=610384 CPUtime=12.69 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 151897 0 0 0 1236 33 0 0 20 0 1 0 329823036 625033216 151817 33554432000 4194304 8989770 140736584294208 140736584293472 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 152596 151817 449 1171 0 151373 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 610384
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.95 3/177 21696
/proc/meminfo: memFree=29356504/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=610384 CPUtime=25.48 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 151897 0 0 0 2514 34 0 0 20 0 1 0 329823036 625033216 151817 33554432000 4194304 8989770 140736584294208 140736584293472 4204638 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 152596 151817 449 1171 0 151373 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 610384
[startup+51.1004 s]
/proc/loadavg: 1.97 1.98 1.95 3/177 21696
/proc/meminfo: memFree=29355712/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=610384 CPUtime=51.08 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 151897 0 0 0 5072 36 0 0 20 0 1 0 329823036 625033216 151817 33554432000 4194304 8989770 140736584294208 140736584292160 4204706 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 152596 151817 449 1171 0 151373 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 610384
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.95 3/177 21696
/proc/meminfo: memFree=29347076/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=613456 CPUtime=102.28 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152665 0 0 0 10185 43 0 0 20 0 1 0 329823036 628178944 152585 33554432000 4194304 8989770 140736584294208 140736584293704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153364 152585 449 1171 0 152141 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 613456
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 21696
/proc/meminfo: memFree=29340408/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=613456 CPUtime=162.26 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152666 0 0 0 16176 50 0 0 20 0 1 0 329823036 628178944 152585 33554432000 4194304 8989770 140736584294208 140736584293472 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153364 152585 449 1171 0 152141 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 613456
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 21696
/proc/meminfo: memFree=29332376/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=614480 CPUtime=222.24 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152939 0 0 0 22165 59 0 0 20 0 1 0 329823036 629227520 152841 33554432000 4194304 8989770 140736584294208 140736584293472 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153620 152841 449 1171 0 152397 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 614480
[startup+282.3 s]
/proc/loadavg: 2.03 2.00 1.96 3/178 21699
/proc/meminfo: memFree=29331404/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=614480 CPUtime=282.23 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152940 0 0 0 28155 68 0 0 20 0 1 0 329823036 629227520 152841 33554432000 4194304 8989770 140736584294208 140736584293472 4214700 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153620 152841 449 1171 0 152397 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 614480
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/177 21700
/proc/meminfo: memFree=29331316/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=614480 CPUtime=342.22 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152940 0 0 0 34146 76 0 0 20 0 1 0 329823036 629227520 152841 33554432000 4194304 8989770 140736584294208 140736584292224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153620 152841 449 1171 0 152397 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 614480
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 21738
/proc/meminfo: memFree=29551128/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=614480 CPUtime=402.21 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152944 0 0 0 40136 85 0 0 20 0 1 0 329823036 629227520 152841 33554432000 4194304 8989770 140736584294208 140736584293472 4209636 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153620 152841 449 1171 0 152397 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 614480
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 21776
/proc/meminfo: memFree=29544484/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=614480 CPUtime=462.19 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152958 0 0 0 46125 94 0 0 20 0 1 0 329823036 629227520 152841 33554432000 4194304 8989770 140736584294208 140736584293704 4213650 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153620 152841 449 1171 0 152397 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 614480
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 21776
/proc/meminfo: memFree=29541124/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=614480 CPUtime=522.18 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152958 0 0 0 52114 104 0 0 20 0 1 0 329823036 629227520 152841 33554432000 4194304 8989770 140736584294208 140736584292160 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153620 152841 449 1171 0 152397 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 614480
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 21776
/proc/meminfo: memFree=29539636/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=614480 CPUtime=582.17 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 152958 0 0 0 58104 113 0 0 20 0 1 0 329823036 629227520 152841 33554432000 4194304 8989770 140736584294208 140736584292160 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 153620 152841 449 1171 0 152397 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 614480
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 21777
/proc/meminfo: memFree=29533684/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=618576 CPUtime=822.13 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 153992 0 0 0 82062 151 0 0 20 0 1 0 329823036 633421824 153875 33554432000 4194304 8989770 140736584294208 140736584292160 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 154644 153875 459 1171 0 153421 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 618576
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21780
/proc/meminfo: memFree=29530512/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=620624 CPUtime=882.12 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 154504 0 0 0 88052 160 0 0 20 0 1 0 329823036 635518976 154387 33554432000 4194304 8989770 140736584294208 140736584292160 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 155156 154387 459 1171 0 153933 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 620624
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 21781
/proc/meminfo: memFree=29529204/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=622672 CPUtime=942.12 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 155016 0 0 0 94041 171 0 0 20 0 1 0 329823036 637616128 154899 33554432000 4194304 8989770 140736584294208 140736584293472 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 155668 154899 459 1171 0 154445 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 622672
[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/177 21781
/proc/meminfo: memFree=29525112/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=623696 CPUtime=1002.11 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 155272 0 0 0 100030 181 0 0 20 0 1 0 329823036 638664704 155155 33554432000 4194304 8989770 140736584294208 140736584293704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 155924 155155 459 1171 0 154701 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 623696
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 21781
/proc/meminfo: memFree=29523376/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=625744 CPUtime=1062.09 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 155784 0 0 0 106019 190 0 0 20 0 1 0 329823036 640761856 155667 33554432000 4194304 8989770 140736584294208 140736584292160 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 156436 155667 459 1171 0 155213 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 625744
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 21781
/proc/meminfo: memFree=29523128/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=627792 CPUtime=1122.09 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 156296 0 0 0 112010 199 0 0 20 0 1 0 329823036 642859008 156179 33554432000 4194304 8989770 140736584294208 140736584293704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 156948 156179 459 1171 0 155725 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 627792
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21781
/proc/meminfo: memFree=29526848/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=628816 CPUtime=1182.08 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 156552 0 0 0 118000 208 0 0 20 0 1 0 329823036 643907584 156435 33554432000 4194304 8989770 140736584294208 140736584292224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 157204 156435 459 1171 0 155981 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 628816
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21782
/proc/meminfo: memFree=29524244/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=630864 CPUtime=1242.06 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 157064 0 0 0 123989 217 0 0 20 0 1 0 329823036 646004736 156947 33554432000 4194304 8989770 140736584294208 140736584293704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 157716 156947 459 1171 0 156493 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 630864
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21782
/proc/meminfo: memFree=29521876/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=632912 CPUtime=1302.06 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 157576 0 0 0 129979 227 0 0 20 0 1 0 329823036 648101888 157459 33554432000 4194304 8989770 140736584294208 140736584292160 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 158228 157459 459 1171 0 157005 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 632912
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21782
/proc/meminfo: memFree=29520388/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=633936 CPUtime=1362.05 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 157832 0 0 0 135970 235 0 0 20 0 1 0 329823036 649150464 157715 33554432000 4194304 8989770 140736584294208 140736584293704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 158484 157715 459 1171 0 157261 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 633936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21782
/proc/meminfo: memFree=29514808/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=635984 CPUtime=1422.05 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 158344 0 0 0 141961 244 0 0 20 0 1 0 329823036 651247616 158227 33554432000 4194304 8989770 140736584294208 140736584293704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 158996 158227 459 1171 0 157773 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 635984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21785
/proc/meminfo: memFree=29512320/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=638032 CPUtime=1482.04 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 158856 0 0 0 147951 253 0 0 20 0 1 0 329823036 653344768 158739 33554432000 4194304 8989770 140736584294208 140736584293704 4209344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 159508 158739 459 1171 0 158285 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 638032
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21807
/proc/meminfo: memFree=29510104/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=640080 CPUtime=1542.02 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 159368 0 0 0 153941 261 0 0 20 0 1 0 329823036 655441920 159251 33554432000 4194304 8989770 140736584294208 140736584292160 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 160020 159251 459 1171 0 158797 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 640080
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21808
/proc/meminfo: memFree=29507252/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=641104 CPUtime=1602.01 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 159624 0 0 0 159928 273 0 0 20 0 1 0 329823036 656490496 159507 33554432000 4194304 8989770 140736584294208 140736584293704 4209136 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 160276 159507 459 1171 0 159053 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 641104
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21808
/proc/meminfo: memFree=29504648/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=643152 CPUtime=1662.01 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 160136 0 0 0 165918 283 0 0 20 0 1 0 329823036 658587648 160019 33554432000 4194304 8989770 140736584294208 140736584293704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 160788 160019 459 1171 0 159565 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 643152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21808
/proc/meminfo: memFree=29502460/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=644176 CPUtime=1722 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 160392 0 0 0 171907 293 0 0 20 0 1 0 329823036 659636224 160275 33554432000 4194304 8989770 140736584294208 140736584293704 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 161044 160275 459 1171 0 159821 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 644176
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 21808
/proc/meminfo: memFree=29499980/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=646224 CPUtime=1781.99 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 160904 0 0 0 177899 300 0 0 20 0 1 0 329823036 661733376 160787 33554432000 4194304 8989770 140736584294208 140736584293472 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 161556 160787 459 1171 0 160333 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 646224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.03 1.98 3/177 21808
/proc/meminfo: memFree=29498864/32873844 swapFree=7372/7372
[pid=21694] ppid=21692 vsize=647248 CPUtime=1800.09 cores=1,3,5,7
/proc/21694/stat : 21694 (toysat) R 21692 21694 21194 0 -1 4202496 161160 0 0 0 179706 303 0 0 20 0 1 0 329823036 662781952 161043 33554432000 4194304 8989770 140736584294208 140736584293472 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 161812 161043 459 1171 0 160589 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 647248
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.1
CPU user time (s): 1797.07
CPU system time (s): 3.03854
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 647248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.07
system time used= 3.03854
maximum resident set size= 644172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161160
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= 40
involuntary context switches= 1858
runsolver used 3.89141 second user time and 10.1835 second system time
The end