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-3724892-1338647750/watcher-3724892-1338647750 -o /tmp/evaluation-result-3724892-1338647750/solver-3724892-1338647750 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724892-1338647750.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.00 2.00 2.00 3/178 23693
/proc/meminfo: memFree=27141788/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 835 0 0 0 0 0 0 0 20 0 1 0 330900667 7421952 756 33554432000 4194304 8989770 140736637281664 140735678223320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1812 757 424 1171 0 589 0
[startup+0.037753 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23693
/proc/meminfo: memFree=27141788/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=8272 CPUtime=0.03 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1196 0 0 0 3 0 0 0 20 0 1 0 330900667 8470528 1117 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 2068 1117 426 1171 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8272
[startup+0.100244 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23693
/proc/meminfo: memFree=27141788/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 2109 0 0 0 9 0 0 0 20 0 1 0 330900667 11616256 2030 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 2836 2030 426 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.547887 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23693
/proc/meminfo: memFree=27141788/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=35920 CPUtime=0.54 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 8258 0 0 0 53 1 0 0 20 0 1 0 330900667 36782080 8179 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 8980 8179 431 1171 0 7757 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 35920
[startup+0.700255 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23693
/proc/meminfo: memFree=27141788/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=45136 CPUtime=0.69 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 10562 0 0 0 67 2 0 0 20 0 1 0 330900667 46219264 10483 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 11284 10483 431 1171 0 10061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45136
[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 23694
/proc/meminfo: memFree=27067116/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=98384 CPUtime=1.49 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 23874 0 0 0 145 4 0 0 20 0 1 0 330900667 100745216 23795 33554432000 4194304 8989770 140736637281664 140736637279680 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 24596 23795 431 1171 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98384
[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 23694
/proc/meminfo: memFree=26975480/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=191568 CPUtime=3.09 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 47163 0 0 0 300 9 0 0 20 0 1 0 330900667 196165632 47084 33554432000 4194304 8989770 140736637281664 140736637280928 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 48148 47092 431 1171 0 46925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191568
[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 23694
/proc/meminfo: memFree=26760720/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=387152 CPUtime=6.29 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 96066 0 0 0 608 21 0 0 20 0 1 0 330900667 396443648 95987 33554432000 4194304 8989770 140736637281664 140736637280928 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 96788 95987 431 1171 0 95565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 387152
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 23694
/proc/meminfo: memFree=26368392/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=879696 CPUtime=12.69 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 219202 0 0 0 1225 44 0 0 20 0 1 0 330900667 900808704 219123 33554432000 4194304 8989770 140736637281664 140736637279616 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 219924 219123 431 1171 0 218701 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 879696
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 23694
/proc/meminfo: memFree=25626252/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=1519696 CPUtime=25.49 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 379202 0 0 0 2470 79 0 0 20 0 1 0 330900667 1556168704 379123 33554432000 4194304 8989770 140736637281664 140736637280928 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 379924 379123 431 1171 0 378701 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1519696
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 23694
/proc/meminfo: memFree=23984616/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=3158096 CPUtime=51.09 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 788825 0 0 0 4954 155 0 0 20 0 1 0 330900667 3233890304 788746 33554432000 4194304 8989770 140736637281664 140736637281160 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 789524 788746 447 1171 0 788301 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3158096
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 23733
/proc/meminfo: memFree=23148940/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=3531856 CPUtime=102.27 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 882267 0 0 0 10052 175 0 0 20 0 1 0 330900667 3616620544 882192 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 882964 882192 448 1171 0 881741 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3531856
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 23733
/proc/meminfo: memFree=22873440/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=3806288 CPUtime=162.25 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 950894 0 0 0 16030 195 0 0 20 0 1 0 330900667 3897638912 950800 33554432000 4194304 8989770 140736637281664 140736637280928 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 951572 950800 448 1171 0 950349 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 3806288
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23733
/proc/meminfo: memFree=22872972/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=3806288 CPUtime=222.22 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 950921 0 0 0 22017 205 0 0 20 0 1 0 330900667 3897638912 950800 33554432000 4194304 8989770 140736637281664 140736637280928 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 951572 950800 448 1171 0 950349 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 3806288
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 23737
/proc/meminfo: memFree=22872620/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=3806288 CPUtime=282.21 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 950947 0 0 0 28002 219 0 0 20 0 1 0 330900667 3897638912 950800 33554432000 4194304 8989770 140736637281664 140736637280928 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 951572 950800 448 1171 0 950349 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 3806288
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23737
/proc/meminfo: memFree=22872780/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=3806288 CPUtime=342.19 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 950965 0 0 0 33988 231 0 0 20 0 1 0 330900667 3897638912 950814 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 951572 950814 462 1171 0 950349 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 3806288
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23737
/proc/meminfo: memFree=22380404/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4297808 CPUtime=402.18 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1073853 0 0 0 39955 263 0 0 20 0 1 0 330900667 4400955392 1073694 33554432000 4194304 8989770 140736637281664 140736637280928 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1074452 1073694 462 1171 0 1073229 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 4297808
[startup+462.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23737
/proc/meminfo: memFree=22054188/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4623440 CPUtime=462.17 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1155288 0 0 0 45934 283 0 0 20 0 1 0 330900667 4734402560 1155113 33554432000 4194304 8989770 140736637281664 140736637281160 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1155860 1155113 473 1171 0 1154637 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 4623440
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23737
/proc/meminfo: memFree=21944600/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4731984 CPUtime=522.15 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1242862 0 0 0 51906 309 0 0 20 0 1 0 330900667 4845551616 1182249 33554432000 4194304 8989770 140736637281664 140736637281160 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1182996 1182249 473 1171 0 1181773 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 4731984
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23738
/proc/meminfo: memFree=21825712/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=582.13 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272826 0 0 0 57890 323 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637281160 4425348 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 4851792
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23742
/proc/meminfo: memFree=21825844/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=882.09 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272831 0 0 0 87828 381 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637281160 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 4851792
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23742
/proc/meminfo: memFree=21826128/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=942.07 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272831 0 0 0 93814 393 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637281160 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 4851792
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23742
/proc/meminfo: memFree=21826032/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1002.07 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272831 0 0 0 99802 405 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637279616 4213815 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 4851792
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23742
/proc/meminfo: memFree=21825936/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1062.05 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272831 0 0 0 105789 416 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637279680 7675424 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 4851792
[startup+1122.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23742
/proc/meminfo: memFree=21826088/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1122.05 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272832 0 0 0 111777 428 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637279616 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 4851792
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23743
/proc/meminfo: memFree=21825744/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1182.03 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272832 0 0 0 117764 439 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637280928 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 4851792
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23743
/proc/meminfo: memFree=21826144/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1242.02 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272839 0 0 0 123751 451 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637280928 7748499 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 4851792
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23743
/proc/meminfo: memFree=21825428/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1302.01 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272843 0 0 0 129738 463 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637280928 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 4851792
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23743
/proc/meminfo: memFree=21825580/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1362 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272843 0 0 0 135725 475 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637279616 4214513 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 4851792
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23743
/proc/meminfo: memFree=21825608/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1421.99 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272848 0 0 0 141715 484 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637279616 4208850 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 4851792
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23746
/proc/meminfo: memFree=21825636/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1481.98 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272850 0 0 0 147703 495 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637280928 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 4851792
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23770
/proc/meminfo: memFree=21826028/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1541.97 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272852 0 0 0 153691 506 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637280928 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 4851792
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 23770
/proc/meminfo: memFree=21826312/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4851792 CPUtime=1601.96 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272857 0 0 0 159677 519 0 0 20 0 1 0 330900667 4968235008 1212201 33554432000 4194304 8989770 140736637281664 140736637281160 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1212948 1212201 473 1171 0 1211725 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 4851792
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23770
/proc/meminfo: memFree=21884116/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4793424 CPUtime=1661.96 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272867 0 0 0 165665 531 0 0 20 0 1 0 330900667 4908466176 1197609 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1198356 1197609 473 1171 0 1197133 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 4793424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23770
/proc/meminfo: memFree=21883896/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4793424 CPUtime=1721.93 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272888 0 0 0 171651 542 0 0 20 0 1 0 330900667 4908466176 1197609 33554432000 4194304 8989770 140736637281664 140736637281160 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1198356 1197609 473 1171 0 1197133 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 4793424
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23770
/proc/meminfo: memFree=21883800/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4793424 CPUtime=1781.92 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272903 0 0 0 177638 554 0 0 20 0 1 0 330900667 4908466176 1197609 33554432000 4194304 8989770 140736637281664 140736637281160 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1198356 1197609 473 1171 0 1197133 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 4793424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23771
/proc/meminfo: memFree=21883784/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=4793424 CPUtime=1800.01 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4202496 1272904 0 0 0 179444 557 0 0 20 0 1 0 330900667 4908466176 1197609 33554432000 4194304 8989770 140736637281664 140736637281160 4211696 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 1198356 1197609 473 1171 0 1197133 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 4793424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23771
/proc/meminfo: memFree=21883784/32873844 swapFree=7124/7124
[pid=23693] ppid=23691 vsize=0 CPUtime=1800.11 cores=0,2,4,6
/proc/23693/stat : 23693 (toysat) R 23691 23693 22415 0 -1 4203524 1272904 0 0 0 179444 567 0 0 20 0 1 0 330900667 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23693/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.16
CPU user time (s): 1794.45
CPU system time (s): 5.71413
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 4973648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.45
system time used= 5.71413
maximum resident set size= 4970660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1272904
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= 216
involuntary context switches= 1953
runsolver used 3.42048 second user time and 8.89365 second system time
The end