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-3724501-1338644202/watcher-3724501-1338644202 -o /tmp/evaluation-result-3724501-1338644202/solver-3724501-1338644202 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724501-1338644202.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: 1.84 1.97 1.99 3/177 13883
/proc/meminfo: memFree=31509056/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 330544693 6373376 750 33554432000 4194304 8989770 140734735989728 140734735988992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 1556 750 428 1171 0 333 0
[startup+0.0967881 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 13883
/proc/meminfo: memFree=31509056/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 2112 0 0 0 9 0 0 0 20 0 1 0 330544693 11616256 2033 33554432000 4194304 8989770 140734735989728 140734735988992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 2836 2033 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.10032 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 13883
/proc/meminfo: memFree=31509056/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 2112 0 0 0 9 0 0 0 20 0 1 0 330544693 11616256 2033 33554432000 4194304 8989770 140734735989728 140734735988992 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 2836 2033 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300302 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 13883
/proc/meminfo: memFree=31509056/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=21584 CPUtime=0.29 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 4461 0 0 0 29 0 0 0 20 0 1 0 330544693 22102016 4382 33554432000 4194304 8989770 140734735989728 140734735988992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 5396 4382 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584
[startup+0.700321 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 13883
/proc/meminfo: memFree=31509056/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=21584 CPUtime=0.69 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 4706 0 0 0 69 0 0 0 20 0 1 0 330544693 22102016 4627 33554432000 4194304 8989770 140734735989728 140734735988992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 5396 4627 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21584
[startup+1.50032 s]
/proc/loadavg: 1.84 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31482620/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=23632 CPUtime=1.49 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 5218 0 0 0 148 1 0 0 20 0 1 0 330544693 24199168 5139 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 5908 5139 459 1171 0 4685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23632
[startup+3.1003 s]
/proc/loadavg: 1.84 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31477536/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=27728 CPUtime=3.09 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 6007 0 0 0 308 1 0 0 20 0 1 0 330544693 28393472 5928 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 6932 5928 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728
[startup+6.30031 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31458192/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=36944 CPUtime=6.29 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 8406 0 0 0 626 3 0 0 20 0 1 0 330544693 37830656 8327 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 9236 8327 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36944
[startup+12.7003 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31423396/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=51280 CPUtime=12.69 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 12130 0 0 0 1264 5 0 0 20 0 1 0 330544693 52510720 12051 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 12820 12051 459 1171 0 11597 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51280
[startup+25.5003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31382492/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=67664 CPUtime=25.48 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 16131 0 0 0 2538 10 0 0 20 0 1 0 330544693 69287936 16052 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 16916 16052 461 1171 0 15693 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67664
[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31354296/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=76880 CPUtime=51.08 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 18532 0 0 0 5089 19 0 0 20 0 1 0 330544693 78725120 18453 33554432000 4194304 8989770 140734735989728 140734735988992 4494076 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 19220 18453 461 1171 0 17997 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76880
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31311516/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=109648 CPUtime=102.26 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 26750 0 0 0 10186 40 0 0 20 0 1 0 330544693 112279552 26645 33554432000 4194304 8989770 140734735989728 140734735989224 7688546 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 27412 26645 461 1171 0 26189 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 109648
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31270612/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=107600 CPUtime=162.22 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 27540 0 0 0 16157 65 0 0 20 0 1 0 330544693 110182400 26133 33554432000 4194304 8989770 140734735989728 140734735989224 4437568 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 26900 26133 461 1171 0 25677 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 107600
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 13887
/proc/meminfo: memFree=31235644/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=104528 CPUtime=222.21 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 32734 0 0 0 22135 86 0 0 20 0 1 0 330544693 107036672 25183 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 26132 25183 461 1171 0 24909 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 104528
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13888
/proc/meminfo: memFree=31201272/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=133200 CPUtime=282.2 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 39904 0 0 0 28109 111 0 0 20 0 1 0 330544693 136396800 32353 33554432000 4194304 8989770 140734735989728 140734735988992 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 33300 32353 461 1171 0 32077 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 133200
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13888
/proc/meminfo: memFree=31183908/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=149584 CPUtime=342.16 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 44210 0 0 0 34086 130 0 0 20 0 1 0 330544693 153174016 36629 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 37396 36629 461 1171 0 36173 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 149584
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 13888
/proc/meminfo: memFree=31138028/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=197712 CPUtime=402.15 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 56107 0 0 0 40070 145 0 0 20 0 1 0 330544693 202457088 48526 33554432000 4194304 8989770 140734735989728 140734735989224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 49428 48526 461 1171 0 48205 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 197712
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13888
/proc/meminfo: memFree=31174060/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=197712 CPUtime=462.14 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 56242 0 0 0 46054 160 0 0 20 0 1 0 330544693 202457088 48661 33554432000 4194304 8989770 140734735989728 140734735987968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 49428 48661 461 1171 0 48205 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 197712
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13888
/proc/meminfo: memFree=31233208/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=119888 CPUtime=522.13 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 56242 0 0 0 52036 177 0 0 20 0 1 0 330544693 122765312 29205 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 29972 29205 461 1171 0 28749 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 119888
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13889
/proc/meminfo: memFree=31244608/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=103504 CPUtime=582.13 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 56242 0 0 0 58015 198 0 0 20 0 1 0 330544693 105988096 25109 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 25876 25109 461 1171 0 24653 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 103504
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13892
/proc/meminfo: memFree=31282168/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=83024 CPUtime=882.08 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 83898 0 0 0 87897 311 0 0 20 0 1 0 330544693 85016576 19989 33554432000 4194304 8989770 140734735989728 140734735989224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 20756 19989 461 1171 0 19533 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 83024
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13893
/proc/meminfo: memFree=31263304/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=74832 CPUtime=942.07 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 89530 0 0 0 93872 335 0 0 20 0 1 0 330544693 76627968 17941 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 18708 17941 461 1171 0 17485 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 74832
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13893
/proc/meminfo: memFree=31267296/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=99408 CPUtime=1002.03 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 105426 0 0 0 99843 360 0 0 20 0 1 0 330544693 101793792 24085 33554432000 4194304 8989770 140734735989728 140734735988992 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 24852 24085 461 1171 0 23629 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 99408
[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 13893
/proc/meminfo: memFree=31238316/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=95312 CPUtime=1062.02 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 117970 0 0 0 105817 385 0 0 20 0 1 0 330544693 97599488 23061 33554432000 4194304 8989770 140734735989728 140734735989224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 23828 23061 461 1171 0 22605 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 95312
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13893
/proc/meminfo: memFree=31160280/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=133200 CPUtime=1121.99 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 127377 0 0 0 111793 406 0 0 20 0 1 0 330544693 136396800 32451 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 33300 32451 461 1171 0 32077 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 133200
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13893
/proc/meminfo: memFree=31202256/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=121936 CPUtime=1181.98 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 131502 0 0 0 117774 424 0 0 20 0 1 0 330544693 124862464 29664 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 30484 29664 461 1171 0 29261 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 121936
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13894
/proc/meminfo: memFree=31224124/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=99408 CPUtime=1241.96 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 138991 0 0 0 123755 441 0 0 20 0 1 0 330544693 101793792 24085 33554432000 4194304 8989770 140734735989728 140734735988992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 24852 24085 461 1171 0 23629 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 99408
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13894
/proc/meminfo: memFree=31214564/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=107600 CPUtime=1301.96 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 147445 0 0 0 129736 460 0 0 20 0 1 0 330544693 110182400 26133 33554432000 4194304 8989770 140734735989728 140734735989224 4469522 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 26900 26133 461 1171 0 25677 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 107600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13894
/proc/meminfo: memFree=31214936/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=107600 CPUtime=1361.94 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 152565 0 0 0 135716 478 0 0 20 0 1 0 330544693 110182400 26133 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 26900 26133 461 1171 0 25677 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 107600
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13897
/proc/meminfo: memFree=31204256/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=119888 CPUtime=1421.93 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 163815 0 0 0 141696 497 0 0 20 0 1 0 330544693 122765312 29187 33554432000 4194304 8989770 140734735989728 140734735987648 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 29972 29187 461 1171 0 28749 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 119888
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13920
/proc/meminfo: memFree=31224012/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=126032 CPUtime=1481.92 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 170244 0 0 0 147673 519 0 0 20 0 1 0 330544693 129056768 30492 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 31508 30492 461 1171 0 30285 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 126032
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 13921
/proc/meminfo: memFree=31223948/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=132176 CPUtime=1541.9 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 178026 0 0 0 153653 537 0 0 20 0 1 0 330544693 135348224 32126 33554432000 4194304 8989770 140734735989728 140734735988992 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 33044 32126 461 1171 0 31821 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 132176
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13921
/proc/meminfo: memFree=31289296/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=98384 CPUtime=1601.89 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 183809 0 0 0 159634 555 0 0 20 0 1 0 330544693 100745216 23829 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 24596 23829 461 1171 0 23373 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 98384
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13921
/proc/meminfo: memFree=31304732/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=95312 CPUtime=1661.88 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 187649 0 0 0 165609 579 0 0 20 0 1 0 330544693 97599488 23061 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 23828 23061 461 1171 0 22605 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 95312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13921
/proc/meminfo: memFree=31309752/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=91216 CPUtime=1721.87 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 187649 0 0 0 171587 600 0 0 20 0 1 0 330544693 93405184 22037 33554432000 4194304 8989770 140734735989728 140734735989224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 22804 22037 461 1171 0 21581 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 91216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13921
/proc/meminfo: memFree=31309008/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=91216 CPUtime=1781.87 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 191489 0 0 0 177565 622 0 0 20 0 1 0 330544693 93405184 22037 33554432000 4194304 8989770 140734735989728 140734735988992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 22804 22037 461 1171 0 21581 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 91216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 13923
/proc/meminfo: memFree=31434784/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=87120 CPUtime=1800.07 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 191489 0 0 0 179379 628 0 0 20 0 1 0 330544693 89210880 21013 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 21780 21013 461 1171 0 20557 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 87120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 13923
/proc/meminfo: memFree=31434784/32873844 swapFree=7900/7900
[pid=13883] ppid=13881 vsize=87120 CPUtime=1800.07 cores=1,3,5,7
/proc/13883/stat : 13883 (toysat) R 13881 13883 12961 0 -1 4202496 191489 0 0 0 179379 628 0 0 20 0 1 0 330544693 89210880 21013 33554432000 4194304 8989770 140734735989728 140734735989224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13883/statm: 21780 21013 461 1171 0 20557 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 87120
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1793.79
CPU system time (s): 6.29004
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 197712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.79
system time used= 6.29004
maximum resident set size= 194644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191489
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= 160
involuntary context switches= 1846
runsolver used 3.49047 second user time and 9.63453 second system time
The end