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-3725483-1338642332/watcher-3725483-1338642332 -o /tmp/evaluation-result-3725483-1338642332/solver-3725483-1338642332 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725483-1338642332.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.04 2.03 2.00 3/176 26914
/proc/meminfo: memFree=26474720/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 330357593 6373376 725 33554432000 4194304 8989770 140735101540752 140734052144264 7874608 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26914/statm: 1556 725 428 1171 0 333 0
[startup+0.101238 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26914
/proc/meminfo: memFree=26474720/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 2213 0 0 0 9 0 0 0 20 0 1 0 330357593 12664832 2134 33554432000 4194304 8989770 140735101540752 140734052144264 5798232 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26914/statm: 3092 2134 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.200264 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26914
/proc/meminfo: memFree=26474720/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=17488 CPUtime=0.18 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 3648 0 0 0 18 0 0 0 20 0 1 0 330357593 17907712 3569 33554432000 4194304 8989770 140735101540752 140734052144264 4657416 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26914/statm: 4372 3569 431 1171 0 3149 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 17488
[startup+0.300274 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26914
/proc/meminfo: memFree=26474720/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=26704 CPUtime=0.29 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 5864 0 0 0 28 1 0 0 20 0 1 0 330357593 27344896 5785 33554432000 4194304 8989770 140735101540752 140735101540016 7678791 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26914/statm: 6676 5785 431 1171 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26704
[startup+0.700233 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26914
/proc/meminfo: memFree=26474720/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=44112 CPUtime=0.69 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 10304 0 0 0 67 2 0 0 20 0 1 0 330357593 45170688 10225 33554432000 4194304 8989770 140735101540752 140735101540016 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26914/statm: 11028 10225 431 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112
[startup+1.50023 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26915
/proc/meminfo: memFree=26403884/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=100432 CPUtime=1.49 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 24384 0 0 0 143 6 0 0 20 0 1 0 330357593 102842368 24305 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26914/statm: 25108 24305 431 1171 0 23885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100432
[startup+3.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26915
/proc/meminfo: memFree=26345852/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=153680 CPUtime=3.09 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 37731 0 0 0 301 8 0 0 20 0 1 0 330357593 157368320 37652 33554432000 4194304 8989770 140735101540752 140735101540016 4213787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 38420 37652 460 1171 0 37197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 153680
[startup+6.30029 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 26915
/proc/meminfo: memFree=26325764/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=155728 CPUtime=6.29 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 38254 0 0 0 620 9 0 0 20 0 1 0 330357593 159465472 38175 33554432000 4194304 8989770 140735101540752 140735101539856 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 38932 38175 471 1171 0 37709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 155728
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 26915
/proc/meminfo: memFree=26317256/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=162896 CPUtime=12.69 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 39844 0 0 0 1258 11 0 0 20 0 1 0 330357593 166805504 39765 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 40724 39765 471 1171 0 39501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 162896
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26915
/proc/meminfo: memFree=26307872/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=172112 CPUtime=25.49 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 42350 0 0 0 2535 14 0 0 20 0 1 0 330357593 176242688 42271 33554432000 4194304 8989770 140735101540752 140735101539856 4209569 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 43028 42271 471 1171 0 41805 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 172112
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26915
/proc/meminfo: memFree=26289520/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=190544 CPUtime=51.08 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 46958 0 0 0 5088 20 0 0 20 0 1 0 330357593 195117056 46879 33554432000 4194304 8989770 140735101540752 140735101540248 7748271 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 47636 46879 471 1171 0 46413 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 190544
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26915
/proc/meminfo: memFree=26255792/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=223312 CPUtime=102.28 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 55150 0 0 0 10195 33 0 0 20 0 1 0 330357593 228671488 55071 33554432000 4194304 8989770 140735101540752 140735101540248 4437508 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 55828 55071 471 1171 0 54605 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 223312
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26915
/proc/meminfo: memFree=26226652/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=253008 CPUtime=162.26 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 62574 0 0 0 16181 45 0 0 20 0 1 0 330357593 259080192 62495 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 63252 62495 471 1171 0 62029 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 253008
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26954
/proc/meminfo: memFree=26556024/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=279632 CPUtime=222.26 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 69237 0 0 0 22166 60 0 0 20 0 1 0 330357593 286343168 69151 33554432000 4194304 8989770 140735101540752 140735101540248 4208887 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 69908 69151 471 1171 0 68685 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 279632
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 26958
/proc/meminfo: memFree=26508792/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=305232 CPUtime=282.22 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 75663 0 0 0 28148 74 0 0 20 0 1 0 330357593 312557568 75551 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 76308 75551 471 1171 0 75085 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 305232
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26958
/proc/meminfo: memFree=26489492/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=329808 CPUtime=342.2 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 81826 0 0 0 34132 88 0 0 20 0 1 0 330357593 337723392 81695 33554432000 4194304 8989770 140735101540752 140735101540248 4445111 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 82452 81695 471 1171 0 81229 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 329808
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26958
/proc/meminfo: memFree=26467076/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=351312 CPUtime=402.18 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 87209 0 0 0 40116 102 0 0 20 0 1 0 330357593 359743488 87071 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 87828 87071 471 1171 0 86605 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 351312
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26958
/proc/meminfo: memFree=26442464/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=375888 CPUtime=462.16 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 93356 0 0 0 46100 116 0 0 20 0 1 0 330357593 384909312 93215 33554432000 4194304 8989770 140735101540752 140735101538688 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 93972 93215 471 1171 0 92749 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 375888
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26996
/proc/meminfo: memFree=25853612/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=399440 CPUtime=522.16 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 99244 0 0 0 52085 131 0 0 20 0 1 0 330357593 409026560 99103 33554432000 4194304 8989770 140735101540752 140735101540248 4445192 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 99860 99103 471 1171 0 98637 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 399440
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26997
/proc/meminfo: memFree=25832656/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=419920 CPUtime=582.15 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 104364 0 0 0 58071 144 0 0 20 0 1 0 330357593 429998080 104223 33554432000 4194304 8989770 140735101540752 140735101540016 6586496 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 104980 104223 471 1171 0 103757 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 419920
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27001
/proc/meminfo: memFree=25740364/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=512080 CPUtime=882.09 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 127428 0 0 0 88019 190 0 0 20 0 1 0 330357593 524369920 127263 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 128020 127263 471 1171 0 126797 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 512080
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27001
/proc/meminfo: memFree=25724156/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=528464 CPUtime=942.08 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 131524 0 0 0 94010 198 0 0 20 0 1 0 330357593 541147136 131359 33554432000 4194304 8989770 140735101540752 140735101540016 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 132116 131359 471 1171 0 130893 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 528464
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27001
/proc/meminfo: memFree=25707568/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=544848 CPUtime=1002.07 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 135620 0 0 0 99998 209 0 0 20 0 1 0 330357593 557924352 135455 33554432000 4194304 8989770 140735101540752 140735101540248 4472544 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 136212 135455 471 1171 0 134989 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 544848
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27001
/proc/meminfo: memFree=25691104/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=561232 CPUtime=1062.06 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 139716 0 0 0 105988 218 0 0 20 0 1 0 330357593 574701568 139551 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 140308 139551 471 1171 0 139085 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 561232
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 27001
/proc/meminfo: memFree=25674880/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=577616 CPUtime=1122.05 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 143812 0 0 0 111974 231 0 0 20 0 1 0 330357593 591478784 143647 33554432000 4194304 8989770 140735101540752 140735101540016 4438244 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 144404 143647 471 1171 0 143181 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 577616
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27002
/proc/meminfo: memFree=25660620/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=591952 CPUtime=1182.04 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 147396 0 0 0 117964 240 0 0 20 0 1 0 330357593 606158848 147231 33554432000 4194304 8989770 140735101540752 140735101538688 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 147988 147231 471 1171 0 146765 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 591952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27002
/proc/meminfo: memFree=25648220/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=604240 CPUtime=1242.04 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 150468 0 0 0 123954 250 0 0 20 0 1 0 330357593 618741760 150303 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 151060 150303 471 1171 0 149837 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 604240
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27002
/proc/meminfo: memFree=25631604/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=620624 CPUtime=1302.03 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 154564 0 0 0 129941 262 0 0 20 0 1 0 330357593 635518976 154399 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 155156 154399 471 1171 0 153933 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 620624
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27002
/proc/meminfo: memFree=25618584/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=633936 CPUtime=1362.01 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 157892 0 0 0 135929 272 0 0 20 0 1 0 330357593 649150464 157727 33554432000 4194304 8989770 140735101540752 140735101540248 4437568 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 158484 157727 471 1171 0 157261 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 633936
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27002
/proc/meminfo: memFree=25602932/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=649296 CPUtime=1422 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 161760 0 0 0 141917 283 0 0 20 0 1 0 330357593 664879104 161567 33554432000 4194304 8989770 140735101540752 140735101538752 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 162324 161567 471 1171 0 161101 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 649296
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27006
/proc/meminfo: memFree=25587824/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=664656 CPUtime=1481.97 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 165623 0 0 0 147905 292 0 0 20 0 1 0 330357593 680607744 165407 33554432000 4194304 8989770 140735101540752 140735101540248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 166164 165407 471 1171 0 164941 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 664656
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27006
/proc/meminfo: memFree=25574676/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=677968 CPUtime=1541.97 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 168955 0 0 0 153897 300 0 0 20 0 1 0 330357593 694239232 168735 33554432000 4194304 8989770 140735101540752 140735101540248 4437660 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 169492 168735 471 1171 0 168269 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 677968
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 27006
/proc/meminfo: memFree=25561408/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=691280 CPUtime=1601.94 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 172283 0 0 0 159887 307 0 0 20 0 1 0 330357593 707870720 172063 33554432000 4194304 8989770 140735101540752 140735101540248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 172820 172063 471 1171 0 171597 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 691280
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27006
/proc/meminfo: memFree=25548016/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=704592 CPUtime=1661.94 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 175611 0 0 0 165879 315 0 0 20 0 1 0 330357593 721502208 175391 33554432000 4194304 8989770 140735101540752 140735101540248 4208833 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 176148 175391 471 1171 0 174925 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 704592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27006
/proc/meminfo: memFree=25534748/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=717904 CPUtime=1721.93 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 178939 0 0 0 171871 322 0 0 20 0 1 0 330357593 735133696 178719 33554432000 4194304 8989770 140735101540752 140735101540016 4445124 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 179476 178719 471 1171 0 178253 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 717904
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 27007
/proc/meminfo: memFree=25522100/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=733264 CPUtime=1781.92 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 182779 0 0 0 177860 332 0 0 20 0 1 0 330357593 750862336 182559 33554432000 4194304 8989770 140735101540752 140735101540016 4429924 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 183316 182559 471 1171 0 182093 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 733264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 27007
/proc/meminfo: memFree=25515032/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=737360 CPUtime=1800.02 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 183803 0 0 0 179668 334 0 0 20 0 1 0 330357593 755056640 183583 33554432000 4194304 8989770 140735101540752 140735101540248 4545709 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 184340 183583 471 1171 0 183117 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 737360
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.04 2.01 2.00 3/177 27007
/proc/meminfo: memFree=25515032/32873844 swapFree=7628/7628
[pid=26914] ppid=26912 vsize=737360 CPUtime=1800.02 cores=0,2,4,6
/proc/26914/stat : 26914 (toysat) R 26912 26914 25747 0 -1 4202496 183803 0 0 0 179668 334 0 0 20 0 1 0 330357593 755056640 183583 33554432000 4194304 8989770 140735101540752 140735101540248 4545709 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26914/statm: 184340 183583 471 1171 0 183117 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 737360
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1796.69
CPU system time (s): 3.35449
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 737360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.69
system time used= 3.35449
maximum resident set size= 734332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183803
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= 144
involuntary context switches= 2159
runsolver used 2.92955 second user time and 9.54455 second system time
The end