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-3724826-1338648637/watcher-3724826-1338648637 -o /tmp/evaluation-result-3724826-1338648637/solver-3724826-1338648637 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724826-1338648637.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: 2.00 2.00 2.00 3/179 3490
/proc/meminfo: memFree=24688456/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 1 0 330988449 6373376 718 33554432000 4194304 8989770 140737045368800 140736181302760 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 1556 718 424 1171 0 333 0
[startup+0.011527 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3490
/proc/meminfo: memFree=24688456/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 926 0 0 0 0 0 0 0 20 0 1 0 330988449 7421952 846 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 1812 847 424 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248
[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3490
/proc/meminfo: memFree=24688456/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 2177 0 0 0 9 0 0 0 20 0 1 0 330988449 12664832 2097 33554432000 4194304 8989770 140737045368800 140737045368296 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 3092 2098 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300303 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3490
/proc/meminfo: memFree=24688456/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=24656 CPUtime=0.28 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 5401 0 0 0 28 0 0 0 20 0 1 0 330988449 25247744 5321 33554432000 4194304 8989770 140737045368800 140737045366720 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 6164 5321 448 1171 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24656
[startup+0.700205 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3490
/proc/meminfo: memFree=24688456/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=24656 CPUtime=0.68 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 5464 0 0 0 68 0 0 0 20 0 1 0 330988449 25247744 5384 33554432000 4194304 8989770 140737045368800 140737045366720 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 6164 5384 448 1171 0 4941 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24656
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3491
/proc/meminfo: memFree=24668716/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=24656 CPUtime=1.49 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 5464 0 0 0 148 1 0 0 20 0 1 0 330988449 25247744 5384 33554432000 4194304 8989770 140737045368800 140737045368064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 6164 5384 448 1171 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24656
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3491
/proc/meminfo: memFree=24665120/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=29776 CPUtime=3.09 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 6769 0 0 0 307 2 0 0 20 0 1 0 330988449 30490624 6689 33554432000 4194304 8989770 140737045368800 140737045368296 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 7444 6689 473 1171 0 6221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29776
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3491
/proc/meminfo: memFree=24657540/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=34896 CPUtime=6.28 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8049 0 0 0 626 2 0 0 20 0 1 0 330988449 35733504 7969 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 8724 7969 473 1171 0 7501 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34896
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3491
/proc/meminfo: memFree=24657572/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=34896 CPUtime=12.69 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8049 0 0 0 1263 6 0 0 20 0 1 0 330988449 35733504 7969 33554432000 4194304 8989770 140737045368800 140737045368296 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 8724 7969 473 1171 0 7501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34896
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3491
/proc/meminfo: memFree=24656920/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=35920 CPUtime=25.48 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8305 0 0 0 2538 10 0 0 20 0 1 0 330988449 36782080 8225 33554432000 4194304 8989770 140737045368800 140737045366720 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 8980 8225 473 1171 0 7757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35920
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3491
/proc/meminfo: memFree=24655532/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=36944 CPUtime=51.08 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8561 0 0 0 5089 19 0 0 20 0 1 0 330988449 37830656 8481 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9236 8481 473 1171 0 8013 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36944
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3491
/proc/meminfo: memFree=24655576/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=36944 CPUtime=102.28 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8561 0 0 0 10197 31 0 0 20 0 1 0 330988449 37830656 8481 33554432000 4194304 8989770 140737045368800 140737045368296 4426060 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9236 8481 473 1171 0 8013 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36944
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3491
/proc/meminfo: memFree=24655232/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=36944 CPUtime=162.26 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8561 0 0 0 16180 46 0 0 20 0 1 0 330988449 37830656 8481 33554432000 4194304 8989770 140737045368800 140737045366720 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9236 8481 473 1171 0 8013 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36944
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3491
/proc/meminfo: memFree=24654144/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=37968 CPUtime=222.26 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8817 0 0 0 22163 63 0 0 20 0 1 0 330988449 38879232 8737 33554432000 4194304 8989770 140737045368800 140737045368296 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9492 8737 473 1171 0 8269 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 37968
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3491
/proc/meminfo: memFree=24654296/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=37968 CPUtime=282.24 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 8817 0 0 0 28147 77 0 0 20 0 1 0 330988449 38879232 8737 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9492 8737 473 1171 0 8269 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37968
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 3492
/proc/meminfo: memFree=24653084/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=38992 CPUtime=342.24 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 9073 0 0 0 34133 91 0 0 20 0 1 0 330988449 39927808 8993 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9748 8993 473 1171 0 8525 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 38992
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3492
/proc/meminfo: memFree=24653112/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=38992 CPUtime=402.23 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 9073 0 0 0 40115 108 0 0 20 0 1 0 330988449 39927808 8993 33554432000 4194304 8989770 140737045368800 140737045368064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9748 8993 473 1171 0 8525 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 38992
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3492
/proc/meminfo: memFree=24653388/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=38992 CPUtime=462.21 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 9073 0 0 0 46099 122 0 0 20 0 1 0 330988449 39927808 8993 33554432000 4194304 8989770 140737045368800 140737045368296 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9748 8993 473 1171 0 8525 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 38992
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3492
/proc/meminfo: memFree=24653416/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=38992 CPUtime=522.21 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 9073 0 0 0 52084 137 0 0 20 0 1 0 330988449 39927808 8993 33554432000 4194304 8989770 140737045368800 140737045368064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 9748 8993 473 1171 0 8525 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 38992
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3495
/proc/meminfo: memFree=24651080/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=41040 CPUtime=582.2 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 9585 0 0 0 58066 154 0 0 20 0 1 0 330988449 42024960 9505 33554432000 4194304 8989770 140737045368800 140737045368296 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 10260 9505 473 1171 0 9037 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 41040
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 3519
/proc/meminfo: memFree=24648128/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=44112 CPUtime=882.15 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10353 0 0 0 87983 232 0 0 20 0 1 0 330988449 45170688 10273 33554432000 4194304 8989770 140737045368800 140737045368064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11028 10273 473 1171 0 9805 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 44112
[startup+942.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 3559
/proc/meminfo: memFree=29166944/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=44112 CPUtime=942.14 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10356 0 0 0 93964 250 0 0 20 0 1 0 330988449 45170688 10273 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11028 10273 473 1171 0 9805 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 44112
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3559
/proc/meminfo: memFree=29137832/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=44112 CPUtime=1002.13 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10361 0 0 0 99946 267 0 0 20 0 1 0 330988449 45170688 10273 33554432000 4194304 8989770 140737045368800 140737045366784 4204350 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11028 10273 473 1171 0 9805 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 44112
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3559
/proc/meminfo: memFree=29131868/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1062.12 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 105930 282 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368296 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 45136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3559
/proc/meminfo: memFree=29131428/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1122.11 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 111914 297 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 45136
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3562
/proc/meminfo: memFree=29131792/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1182.11 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 117895 316 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 45136
[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 3563
/proc/meminfo: memFree=29131800/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1242.1 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 123879 331 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045366720 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 45136
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3563
/proc/meminfo: memFree=29131676/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1302.09 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 129865 344 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368296 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 45136
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3563
/proc/meminfo: memFree=29131676/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1362.08 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 135847 361 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368064 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 45136
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3563
/proc/meminfo: memFree=29131552/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1422.07 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 141830 377 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368064 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 45136
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3563
/proc/meminfo: memFree=29131676/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1482.06 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 147813 393 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368296 4213787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 45136
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3564
/proc/meminfo: memFree=29131676/32873844 swapFree=7624/7624
[pid=3490] ppid=3488 vsize=45136 CPUtime=1542.05 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 153798 407 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 45136
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3564
/proc/meminfo: memFree=29131676/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1602.04 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 159781 423 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368296 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 45136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3564
/proc/meminfo: memFree=29131800/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=45136 CPUtime=1662.03 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10617 0 0 0 165763 440 0 0 20 0 1 0 330988449 46219264 10529 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 45136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3564
/proc/meminfo: memFree=29130684/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=46160 CPUtime=1722.02 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10873 0 0 0 171746 456 0 0 20 0 1 0 330988449 47267840 10785 33554432000 4194304 8989770 140737045368800 140737045368064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11540 10785 473 1171 0 10317 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 46160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3567
/proc/meminfo: memFree=29130552/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=46160 CPUtime=1782.02 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 10873 0 0 0 177729 473 0 0 20 0 1 0 330988449 47267840 10785 33554432000 4194304 8989770 140737045368800 140737045368064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11540 10785 473 1171 0 10317 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 46160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3567
/proc/meminfo: memFree=29129560/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=47184 CPUtime=1800.02 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 11129 0 0 0 179525 477 0 0 20 0 1 0 330988449 48316416 11041 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11796 11041 473 1171 0 10573 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 47184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3567
/proc/meminfo: memFree=29129560/32873844 swapFree=7620/7620
[pid=3490] ppid=3488 vsize=47184 CPUtime=1800.02 cores=1,3,5,7
/proc/3490/stat : 3490 (toysat) R 3488 3490 2201 0 -1 4202496 11129 0 0 0 179525 477 0 0 20 0 1 0 330988449 48316416 11041 33554432000 4194304 8989770 140737045368800 140737045368296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3490/statm: 11796 11041 473 1171 0 10573 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 47184
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1795.25
CPU system time (s): 4.77527
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 47184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 4.77527
maximum resident set size= 44164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11129
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= 11
involuntary context switches= 1856
runsolver used 3.70044 second user time and 10.5364 second system time
The end