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-3725571-1338645012/watcher-3725571-1338645012 -o /tmp/evaluation-result-3725571-1338645012/solver-3725571-1338645012 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725571-1338645012.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/177 26946
/proc/meminfo: memFree=28515216/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 330626863 6373376 746 33554432000 4194304 8989770 140736368943040 140734888249832 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 1556 746 425 1171 0 333 0
[startup+0.10255 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=28515216/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=16464 CPUtime=0.09 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 3159 0 0 0 9 0 0 0 20 0 1 0 330626863 16859136 3079 33554432000 4194304 8989770 140736368943040 140736368942536 6762267 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 4116 3079 427 1171 0 2893 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16464
[startup+0.200319 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=28515216/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=22608 CPUtime=0.19 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 4857 0 0 0 19 0 0 0 20 0 1 0 330626863 23150592 4777 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 5652 4777 431 1171 0 4429 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22608
[startup+0.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=28515216/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=27728 CPUtime=0.29 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 6210 0 0 0 29 0 0 0 20 0 1 0 330626863 28393472 6130 33554432000 4194304 8989770 140736368943040 140736368942536 7857787 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 6932 6130 431 1171 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27728
[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=28515216/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=52304 CPUtime=0.69 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 12354 0 0 0 67 2 0 0 20 0 1 0 330626863 53559296 12274 33554432000 4194304 8989770 140736368943040 140736368942536 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 13076 12274 431 1171 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52304
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26947
/proc/meminfo: memFree=28451140/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=112720 CPUtime=1.49 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 27478 0 0 0 144 5 0 0 20 0 1 0 330626863 115425280 27396 33554432000 4194304 8989770 140736368943040 140736368942304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 28180 27396 443 1171 0 26957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112720
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26947
/proc/meminfo: memFree=28401400/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=117840 CPUtime=3.08 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 28762 0 0 0 303 5 0 0 20 0 1 0 330626863 120668160 28680 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 29460 28680 447 1171 0 28237 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 117840
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26947
/proc/meminfo: memFree=28400904/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=117840 CPUtime=6.28 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 28762 0 0 0 622 6 0 0 20 0 1 0 330626863 120668160 28680 33554432000 4194304 8989770 140736368943040 140736368940992 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 29460 28680 447 1171 0 28237 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 117840
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26947
/proc/meminfo: memFree=28400920/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=117840 CPUtime=12.67 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 28770 0 0 0 1258 9 0 0 20 0 1 0 330626863 120668160 28680 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 29460 28680 447 1171 0 28237 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 117840
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26947
/proc/meminfo: memFree=28400904/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=117840 CPUtime=25.47 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 28775 0 0 0 2534 13 0 0 20 0 1 0 330626863 120668160 28680 33554432000 4194304 8989770 140736368943040 140736368942536 4209577 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 29460 28680 447 1171 0 28237 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 117840
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26947
/proc/meminfo: memFree=28401128/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=117840 CPUtime=51.06 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 28776 0 0 0 5085 21 0 0 20 0 1 0 330626863 120668160 28680 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 29460 28680 447 1171 0 28237 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 117840
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26947
/proc/meminfo: memFree=28388380/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=130128 CPUtime=102.26 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 31879 0 0 0 10188 38 0 0 20 0 1 0 330626863 133251072 31778 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 32532 31778 473 1171 0 31309 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 130128
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26947
/proc/meminfo: memFree=28378336/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=141392 CPUtime=162.25 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 34695 0 0 0 16176 49 0 0 20 0 1 0 330626863 144785408 34594 33554432000 4194304 8989770 140736368943040 140736368942304 4209206 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 35348 34594 473 1171 0 34125 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 141392
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26948
/proc/meminfo: memFree=28363208/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=155728 CPUtime=222.24 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 38279 0 0 0 22161 63 0 0 20 0 1 0 330626863 159465472 38178 33554432000 4194304 8989770 140736368943040 140736368942536 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 38932 38178 473 1171 0 37709 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 155728
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26948
/proc/meminfo: memFree=28362836/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=156752 CPUtime=282.23 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 38535 0 0 0 28145 78 0 0 20 0 1 0 330626863 160514048 38434 33554432000 4194304 8989770 140736368943040 140736368942304 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 39188 38434 473 1171 0 37965 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 156752
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26948
/proc/meminfo: memFree=28362568/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=156752 CPUtime=342.21 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 38535 0 0 0 34130 91 0 0 20 0 1 0 330626863 160514048 38434 33554432000 4194304 8989770 140736368943040 140736368940992 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 39188 38434 473 1171 0 37965 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 156752
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26948
/proc/meminfo: memFree=28359572/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=159824 CPUtime=402.21 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 39307 0 0 0 40112 109 0 0 20 0 1 0 330626863 163659776 39202 33554432000 4194304 8989770 140736368943040 140736368940992 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 39956 39202 473 1171 0 38733 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 159824
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26948
/proc/meminfo: memFree=28354488/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=164944 CPUtime=462.2 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 40587 0 0 0 46096 124 0 0 20 0 1 0 330626863 168902656 40482 33554432000 4194304 8989770 140736368943040 140736368942304 4209332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 41236 40482 473 1171 0 40013 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 164944
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26949
/proc/meminfo: memFree=28310096/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=208976 CPUtime=522.18 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 51595 0 0 0 52081 137 0 0 20 0 1 0 330626863 213991424 51490 33554432000 4194304 8989770 140736368943040 140736368940992 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 52244 51490 473 1171 0 51021 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 208976
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26988
/proc/meminfo: memFree=28483904/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=208976 CPUtime=582.17 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 51595 0 0 0 58063 154 0 0 20 0 1 0 330626863 213991424 51490 33554432000 4194304 8989770 140736368943040 140736368941056 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 52244 51490 473 1171 0 51021 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 208976
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27015
/proc/meminfo: memFree=28422192/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=227408 CPUtime=882.12 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 56220 0 0 0 87975 237 0 0 20 0 1 0 330626863 232865792 56098 33554432000 4194304 8989770 140736368943040 140736368942304 4209450 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 56852 56098 473 1171 0 55629 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 227408
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27015
/proc/meminfo: memFree=28422188/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=227408 CPUtime=942.11 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 56220 0 0 0 93959 252 0 0 20 0 1 0 330626863 232865792 56098 33554432000 4194304 8989770 140736368943040 140736368942304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 56852 56098 473 1171 0 55629 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 227408
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27015
/proc/meminfo: memFree=28422188/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=227408 CPUtime=1002.1 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 56220 0 0 0 99943 267 0 0 20 0 1 0 330626863 232865792 56098 33554432000 4194304 8989770 140736368943040 140736368942304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 56852 56098 473 1171 0 55629 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 227408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27015
/proc/meminfo: memFree=28406812/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=242768 CPUtime=1062.09 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 60060 0 0 0 105924 285 0 0 20 0 1 0 330626863 248594432 59938 33554432000 4194304 8989770 140736368943040 140736368942304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 60692 59938 473 1171 0 59469 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 242768
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27016
/proc/meminfo: memFree=28406936/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=242768 CPUtime=1122.09 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 60060 0 0 0 111906 303 0 0 20 0 1 0 330626863 248594432 59938 33554432000 4194304 8989770 140736368943040 140736368942304 7857787 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 60692 59938 473 1171 0 59469 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 242768
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27016
/proc/meminfo: memFree=28387060/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=262224 CPUtime=1182.07 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 64927 0 0 0 117889 318 0 0 20 0 1 0 330626863 268517376 64802 33554432000 4194304 8989770 140736368943040 140736368942536 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 65556 64802 473 1171 0 64333 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 262224
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27019
/proc/meminfo: memFree=28387052/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=262224 CPUtime=1242.06 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 64927 0 0 0 123872 334 0 0 20 0 1 0 330626863 268517376 64802 33554432000 4194304 8989770 140736368943040 140736368942304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 65556 64802 473 1171 0 64333 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 262224
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27019
/proc/meminfo: memFree=28386068/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=263248 CPUtime=1302.05 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 65183 0 0 0 129854 351 0 0 20 0 1 0 330626863 269565952 65058 33554432000 4194304 8989770 140736368943040 140736368942304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 65812 65058 473 1171 0 64589 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 263248
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27019
/proc/meminfo: memFree=28373916/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=268368 CPUtime=1362.04 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 66463 0 0 0 135837 367 0 0 20 0 1 0 330626863 274808832 66338 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 67092 66338 473 1171 0 65869 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 268368
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27020
/proc/meminfo: memFree=28319604/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=316496 CPUtime=1422.04 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 78495 0 0 0 141822 382 0 0 20 0 1 0 330626863 324091904 78370 33554432000 4194304 8989770 140736368943040 140736368942304 4208827 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 79124 78370 473 1171 0 77901 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 316496
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27020
/proc/meminfo: memFree=28270192/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=364624 CPUtime=1482.01 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 90537 0 0 0 147804 397 0 0 20 0 1 0 330626863 373374976 90402 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 91156 90402 473 1171 0 89933 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 364624
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27020
/proc/meminfo: memFree=28260104/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=374864 CPUtime=1542.01 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 93098 0 0 0 153785 416 0 0 20 0 1 0 330626863 383860736 92962 33554432000 4194304 8989770 140736368943040 140736368942304 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 93716 92962 473 1171 0 92493 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 374864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27020
/proc/meminfo: memFree=28235116/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=398416 CPUtime=1602 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 98986 0 0 0 159770 430 0 0 20 0 1 0 330626863 407977984 98850 33554432000 4194304 8989770 140736368943040 140736368940992 4469522 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 99604 98850 473 1171 0 98381 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 398416
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27020
/proc/meminfo: memFree=28162624/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=464976 CPUtime=1661.98 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 115626 0 0 0 165758 440 0 0 20 0 1 0 330626863 476135424 115490 33554432000 4194304 8989770 140736368943040 140736368942536 4435107 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 116244 115490 473 1171 0 115021 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 464976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27021
/proc/meminfo: memFree=28085744/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=537680 CPUtime=1721.98 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 133802 0 0 0 171741 457 0 0 20 0 1 0 330626863 550584320 133666 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 134420 133666 473 1171 0 133197 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 537680
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27021
/proc/meminfo: memFree=28073964/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=537680 CPUtime=1781.97 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 133802 0 0 0 177721 476 0 0 20 0 1 0 330626863 550584320 133666 33554432000 4194304 8989770 140736368943040 140736368942536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 134420 133666 473 1171 0 133197 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 537680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27024
/proc/meminfo: memFree=28074196/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=537680 CPUtime=1800.07 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 133802 0 0 0 179526 481 0 0 20 0 1 0 330626863 550584320 133666 33554432000 4194304 8989770 140736368943040 140736368942536 4446989 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 134420 133666 473 1171 0 133197 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 537680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27024
/proc/meminfo: memFree=28074196/32873844 swapFree=7112/7112
[pid=26946] ppid=26944 vsize=537680 CPUtime=1800.07 cores=0,2,4,6
/proc/26946/stat : 26946 (toysat) R 26944 26946 25979 0 -1 4202496 133802 0 0 0 179526 481 0 0 20 0 1 0 330626863 550584320 133666 33554432000 4194304 8989770 140736368943040 140736368942536 4446989 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26946/statm: 134420 133666 473 1171 0 133197 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 537680
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.1
CPU user time (s): 1795.27
CPU system time (s): 4.82827
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 537680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.27
system time used= 4.82827
maximum resident set size= 534664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133802
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= 59
involuntary context switches= 1875
runsolver used 3.58245 second user time and 9.12161 second system time
The end