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-3724917-1338647841/watcher-3724917-1338647841 -o /tmp/evaluation-result-3724917-1338647841/solver-3724917-1338647841 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724917-1338647841.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.06 2.02 2.00 3/176 12075
/proc/meminfo: memFree=28078688/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 330908725 6373376 737 33554432000 4194304 8989770 140734752071664 140734039447720 5799388 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12075/statm: 1556 737 424 1171 0 333 0
[startup+0.035592 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 12075
/proc/meminfo: memFree=28078688/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=8272 CPUtime=0.03 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 1127 0 0 0 3 0 0 0 20 0 1 0 330908725 8470528 1047 33554432000 4194304 8989770 140734752071664 140734039447720 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12075/statm: 2068 1047 426 1171 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8272
[startup+0.100211 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 12075
/proc/meminfo: memFree=28078688/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 1871 0 0 0 9 0 0 0 20 0 1 0 330908725 11616256 1791 33554432000 4194304 8989770 140734752071664 140734039447720 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12075/statm: 2836 1791 426 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300222 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 12075
/proc/meminfo: memFree=28078688/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=22608 CPUtime=0.28 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 4715 0 0 0 28 0 0 0 20 0 1 0 330908725 23150592 4635 33554432000 4194304 8989770 140734752071664 140734039447720 4626296 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12075/statm: 5652 4635 426 1171 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22608
[startup+0.70023 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 12075
/proc/meminfo: memFree=28078688/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=43088 CPUtime=0.69 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 10049 0 0 0 67 2 0 0 20 0 1 0 330908725 44122112 9969 33554432000 4194304 8989770 140734752071664 140734752071160 7420357 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12075/statm: 10772 9969 430 1171 0 9549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43088
[startup+1.50022 s]
/proc/loadavg: 2.06 2.02 2.00 2/175 12077
/proc/meminfo: memFree=28215188/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=91216 CPUtime=1.49 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 22082 0 0 0 145 4 0 0 20 0 1 0 330908725 93405184 22002 33554432000 4194304 8989770 140734752071664 140734752071160 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12075/statm: 22804 22002 431 1171 0 21581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91216
[startup+3.10027 s]
/proc/loadavg: 2.06 2.02 2.00 2/174 12077
/proc/meminfo: memFree=28149096/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=202832 CPUtime=3.08 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 49986 0 0 0 299 9 0 0 20 0 1 0 330908725 207699968 49906 33554432000 4194304 8989770 140734752071664 140734752070504 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 50708 49906 431 1171 0 49485 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 202832
[startup+6.30027 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 12115
/proc/meminfo: memFree=27746240/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=368720 CPUtime=6.28 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 91458 0 0 0 611 17 0 0 20 0 1 0 330908725 377569280 91378 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 92180 91378 431 1171 0 90957 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 368720
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 12115
/proc/meminfo: memFree=26987160/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=855120 CPUtime=12.69 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 213058 0 0 0 1230 39 0 0 20 0 1 0 330908725 875642880 212978 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 213780 212978 431 1171 0 212557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 855120
[startup+25.5002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12115
/proc/meminfo: memFree=25484140/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1371216 CPUtime=25.48 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 342114 0 0 0 2484 64 0 0 20 0 1 0 330908725 1404125184 342026 33554432000 4194304 8989770 140734752071664 140734752070928 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 342804 342026 449 1171 0 341581 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1371216
[startup+51.1002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12115
/proc/meminfo: memFree=25362588/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=51.07 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 357987 0 0 0 5032 75 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1434704
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12116
/proc/meminfo: memFree=25362632/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=102.27 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 357989 0 0 0 10139 88 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 5383361 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1434704
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12119
/proc/meminfo: memFree=25361620/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=162.26 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 357991 0 0 0 16120 106 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1434704
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 12119
/proc/meminfo: memFree=25361820/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=222.24 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 357993 0 0 0 22103 121 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1434704
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12119
/proc/meminfo: memFree=25362096/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=282.24 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 357993 0 0 0 28087 137 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1434704
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12119
/proc/meminfo: memFree=25362124/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=342.23 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 357993 0 0 0 34068 155 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 4204350 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1434704
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12120
/proc/meminfo: memFree=25362152/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=402.19 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358028 0 0 0 40047 172 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1434704
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12120
/proc/meminfo: memFree=25361932/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=462.17 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358033 0 0 0 46030 187 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752069632 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1434704
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12120
/proc/meminfo: memFree=25362456/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=522.16 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358033 0 0 0 52012 204 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1434704
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12120
/proc/meminfo: memFree=25362484/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=582.15 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358035 0 0 0 57996 219 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752069632 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1434704
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12124
/proc/meminfo: memFree=25362348/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=822.07 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358092 0 0 0 81924 283 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1434704
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12124
/proc/meminfo: memFree=25362376/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=882.06 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 87908 298 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1434704
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12124
/proc/meminfo: memFree=25362280/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=942.05 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 93891 314 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 4209305 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1434704
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12125
/proc/meminfo: memFree=25362556/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1002.04 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 99874 330 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1434704
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12125
/proc/meminfo: memFree=25362460/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1062.03 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 105858 345 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1434704
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12125
/proc/meminfo: memFree=25362612/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1122.02 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 111843 359 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1434704
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12125
/proc/meminfo: memFree=25362764/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1182.01 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 117830 371 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1434704
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12125
/proc/meminfo: memFree=25362420/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1242.01 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 123815 386 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1434704
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12126
/proc/meminfo: memFree=25362076/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1302.01 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 129798 403 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1434704
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12129
/proc/meminfo: memFree=25362204/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1361.99 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 135780 419 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1434704
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12152
/proc/meminfo: memFree=25362580/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1421.99 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 141763 436 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1434704
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12152
/proc/meminfo: memFree=25362656/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1481.97 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 147745 452 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752069632 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1434704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12152
/proc/meminfo: memFree=25362436/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1541.96 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 153728 468 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1434704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12153
/proc/meminfo: memFree=25362464/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1601.95 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 159711 484 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1434704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12153
/proc/meminfo: memFree=25362368/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1661.94 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 165692 502 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 4213862 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1434704
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12153
/proc/meminfo: memFree=25362396/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1721.93 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 171675 518 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1434704
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12153
/proc/meminfo: memFree=25361804/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1781.92 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 177657 535 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752070928 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1434704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12153
/proc/meminfo: memFree=25362548/32873844 swapFree=7108/7108
[pid=12075] ppid=12073 vsize=1434704 CPUtime=1800.03 cores=0,2,4,6
/proc/12075/stat : 12075 (toysat) R 12073 12075 10982 0 -1 4202496 358099 0 0 0 179462 541 0 0 20 0 1 0 330908725 1469136896 357898 33554432000 4194304 8989770 140734752071664 140734752071160 4457915 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12075/statm: 358676 357898 449 1171 0 357453 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1434704
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.04
CPU user time (s): 1794.62
CPU system time (s): 5.41718
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 1434704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.62
system time used= 5.41718
maximum resident set size= 1431592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358099
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= 124
involuntary context switches= 2029
runsolver used 3.63145 second user time and 8.50371 second system time
The end