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-3725416-1338640573/watcher-3725416-1338640573 -o /tmp/evaluation-result-3725416-1338640573/solver-3725416-1338640573 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725416-1338640573.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.98 2.00 2.00 3/176 20136
/proc/meminfo: memFree=28187440/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 330185884 6373376 743 33554432000 4194304 8989770 140735973505856 140734375442392 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 1556 743 429 1171 0 333 0
[startup+0.011746 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 20136
/proc/meminfo: memFree=28187440/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 945 0 0 0 0 0 0 0 20 0 1 0 330185884 7421952 865 33554432000 4194304 8989770 140735973505856 140735973505352 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 1812 866 429 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248
[startup+0.100273 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 20136
/proc/meminfo: memFree=28187440/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 2338 0 0 0 9 0 0 0 20 0 1 0 330185884 12664832 2258 33554432000 4194304 8989770 140735973505856 140735973505352 7874608 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 3092 2258 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.30031 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 20136
/proc/meminfo: memFree=28187440/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=25680 CPUtime=0.29 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 5645 0 0 0 28 1 0 0 20 0 1 0 330185884 26296320 5565 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 6420 5565 446 1171 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25680
[startup+0.700286 s]
/proc/loadavg: 1.98 2.00 2.00 3/176 20136
/proc/meminfo: memFree=28187440/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=27728 CPUtime=0.69 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 6115 0 0 0 68 1 0 0 20 0 1 0 330185884 28393472 6035 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 6932 6035 462 1171 0 5709 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27728
[startup+1.50026 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28162648/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=27728 CPUtime=1.49 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 6246 0 0 0 148 1 0 0 20 0 1 0 330185884 28393472 6166 33554432000 4194304 8989770 140735973505856 140735973505120 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 6932 6166 462 1171 0 5709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27728
[startup+3.1003 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28160392/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=29776 CPUtime=3.09 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 6758 0 0 0 307 2 0 0 20 0 1 0 330185884 30490624 6678 33554432000 4194304 8989770 140735973505856 140735973505352 4426267 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 7444 6678 462 1171 0 6221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29776
[startup+6.30029 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28152208/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=32848 CPUtime=6.29 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 7526 0 0 0 625 4 0 0 20 0 1 0 330185884 33636352 7446 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 8212 7446 462 1171 0 6989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32848
[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28136716/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=37968 CPUtime=12.69 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 8806 0 0 0 1261 8 0 0 20 0 1 0 330185884 38879232 8726 33554432000 4194304 8989770 140735973505856 140735973505352 4425833 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 9492 8726 462 1171 0 8269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37968
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28126524/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=47184 CPUtime=25.48 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 11110 0 0 0 2533 15 0 0 20 0 1 0 330185884 48316416 11030 33554432000 4194304 8989770 140735973505856 140735973505352 4426164 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 11796 11030 462 1171 0 10573 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47184
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28110000/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=67664 CPUtime=51.08 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 15979 0 0 0 5079 29 0 0 20 0 1 0 330185884 69287936 15899 33554432000 4194304 8989770 140735973505856 140735973505352 6832907 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 16916 15899 462 1171 0 15693 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67664
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28074956/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=98384 CPUtime=102.27 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 23759 0 0 0 10172 55 0 0 20 0 1 0 330185884 100745216 23672 33554432000 4194304 8989770 140735973505856 140735973505352 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 24596 23672 462 1171 0 23373 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 98384
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 20137
/proc/meminfo: memFree=27994880/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=123984 CPUtime=162.22 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 30165 0 0 0 16139 83 0 0 20 0 1 0 330185884 126959616 30033 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 30996 30033 462 1171 0 29773 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 123984
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 20137
/proc/meminfo: memFree=28006168/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=129104 CPUtime=222.21 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 31436 0 0 0 22115 106 0 0 20 0 1 0 330185884 132202496 31302 33554432000 4194304 8989770 140735973505856 140735973505352 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 32276 31302 464 1171 0 31053 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 129104
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 20141
/proc/meminfo: memFree=28014700/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=144464 CPUtime=282.21 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 35486 0 0 0 28089 132 0 0 20 0 1 0 330185884 147931136 35352 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 36116 35352 464 1171 0 34893 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 144464
[startup+342.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28021812/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=144464 CPUtime=342.2 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 35486 0 0 0 34062 158 0 0 20 0 1 0 330185884 147931136 35352 33554432000 4194304 8989770 140735973505856 140735973505352 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 36116 35352 464 1171 0 34893 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 144464
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28000952/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=148560 CPUtime=402.18 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 36519 0 0 0 40038 180 0 0 20 0 1 0 330185884 152125440 36376 33554432000 4194304 8989770 140735973505856 140735973505120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 37140 36376 464 1171 0 35917 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 148560
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20331
/proc/meminfo: memFree=27988828/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=151632 CPUtime=462.17 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 37232 0 0 0 46014 203 0 0 20 0 1 0 330185884 155271168 37089 33554432000 4194304 8989770 140735973505856 140735973505120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 37908 37089 464 1171 0 36685 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 151632
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20331
/proc/meminfo: memFree=27950332/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=174160 CPUtime=522.16 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 42735 0 0 0 51990 226 0 0 20 0 1 0 330185884 178339840 42592 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 43540 42592 464 1171 0 42317 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 174160
[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20332
/proc/meminfo: memFree=27929500/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=174160 CPUtime=582.15 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 42919 0 0 0 57966 249 0 0 20 0 1 0 330185884 178339840 42776 33554432000 4194304 8989770 140735973505856 140735973505352 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 43540 42776 464 1171 0 42317 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 174160
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20332
/proc/meminfo: memFree=27838984/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=197712 CPUtime=822.1 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 48816 0 0 0 81861 349 0 0 20 0 1 0 330185884 202457088 48664 33554432000 4194304 8989770 140735973505856 140735973505120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 49428 48664 464 1171 0 48205 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 197712
[startup+882.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20336
/proc/meminfo: memFree=27813680/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=198736 CPUtime=882.1 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 49061 0 0 0 87834 376 0 0 20 0 1 0 330185884 203505664 48909 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 49684 48909 464 1171 0 48461 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 198736
[startup+942.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20336
/proc/meminfo: memFree=27782708/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=216144 CPUtime=942.07 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 53438 0 0 0 93800 407 0 0 20 0 1 0 330185884 221331456 53272 33554432000 4194304 8989770 140735973505856 140735973505120 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 54036 53272 464 1171 0 52813 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 216144
[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 20336
/proc/meminfo: memFree=27782832/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=216144 CPUtime=1002.07 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 53438 0 0 0 99764 443 0 0 20 0 1 0 330185884 221331456 53272 33554432000 4194304 8989770 140735973505856 140735973505352 7704741 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 54036 53272 464 1171 0 52813 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 216144
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20336
/proc/meminfo: memFree=27781716/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=216144 CPUtime=1062.05 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 53438 0 0 0 105725 480 0 0 20 0 1 0 330185884 221331456 53272 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 54036 53272 464 1171 0 52813 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 216144
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20336
/proc/meminfo: memFree=27754892/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=233552 CPUtime=1122.05 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 57542 0 0 0 111695 510 0 0 20 0 1 0 330185884 239157248 57376 33554432000 4194304 8989770 140735973505856 140735973505120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 58388 57376 464 1171 0 57165 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 233552
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27730016/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=245840 CPUtime=1182.04 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 60862 0 0 0 117667 537 0 0 20 0 1 0 330185884 251740160 60696 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 61460 60696 464 1171 0 60237 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 245840
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27718980/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=245840 CPUtime=1242.03 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 60862 0 0 0 123645 558 0 0 20 0 1 0 330185884 251740160 60696 33554432000 4194304 8989770 140735973505856 140735973505120 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 61460 60696 464 1171 0 60237 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 245840
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27698984/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=251984 CPUtime=1302.02 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 62166 0 0 0 129623 579 0 0 20 0 1 0 330185884 258031616 61987 33554432000 4194304 8989770 140735973505856 140735973505120 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 62996 61987 464 1171 0 61773 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 251984
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27682740/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=256080 CPUtime=1362.01 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 63435 0 0 0 135597 604 0 0 20 0 1 0 330185884 262225920 63256 33554432000 4194304 8989770 140735973505856 140735973505120 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 64020 63256 464 1171 0 62797 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 256080
[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 20337
/proc/meminfo: memFree=27667240/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=260176 CPUtime=1422.01 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 64459 0 0 0 141574 627 0 0 20 0 1 0 330185884 266420224 64280 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 65044 64280 464 1171 0 63821 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 260176
[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 20341
/proc/meminfo: memFree=27650740/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=271440 CPUtime=1481.99 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 67275 0 0 0 147550 649 0 0 20 0 1 0 330185884 277954560 67096 33554432000 4194304 8989770 140735973505856 140735973505120 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 67860 67096 464 1171 0 66637 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 271440
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 20364
/proc/meminfo: memFree=27644224/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=271440 CPUtime=1541.98 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 67275 0 0 0 153527 671 0 0 20 0 1 0 330185884 277954560 67096 33554432000 4194304 8989770 140735973505856 140735973505120 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 67860 67096 464 1171 0 66637 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 271440
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20364
/proc/meminfo: memFree=27635116/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=271440 CPUtime=1601.97 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 67275 0 0 0 159502 695 0 0 20 0 1 0 330185884 277954560 67096 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 67860 67096 464 1171 0 66637 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 271440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20364
/proc/meminfo: memFree=27628048/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=271440 CPUtime=1661.96 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 67275 0 0 0 165479 717 0 0 20 0 1 0 330185884 277954560 67096 33554432000 4194304 8989770 140735973505856 140735973505352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 67860 67096 464 1171 0 66637 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 271440
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20364
/proc/meminfo: memFree=27610728/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=275536 CPUtime=1721.95 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 68304 0 0 0 171455 740 0 0 20 0 1 0 330185884 282148864 68120 33554432000 4194304 8989770 140735973505856 140735973505120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 68884 68120 464 1171 0 67661 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 275536
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20365
/proc/meminfo: memFree=27593736/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=275536 CPUtime=1781.94 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 68304 0 0 0 177433 761 0 0 20 0 1 0 330185884 282148864 68120 33554432000 4194304 8989770 140735973505856 140735973505352 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 68884 68120 464 1171 0 67661 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 275536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20365
/proc/meminfo: memFree=27594108/32873844 swapFree=7116/7116
[pid=20136] ppid=20134 vsize=275536 CPUtime=1800.05 cores=1,3,5,7
/proc/20136/stat : 20136 (toysat) R 20134 20136 19272 0 -1 4202496 68304 0 0 0 179237 768 0 0 20 0 1 0 330185884 282148864 68120 33554432000 4194304 8989770 140735973505856 140735973505120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20136/statm: 68884 68120 464 1171 0 67661 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 275536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1792.37
CPU system time (s): 7.68483
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 275536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.37
system time used= 7.68483
maximum resident set size= 272480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68304
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= 107
involuntary context switches= 1848
runsolver used 3.79042 second user time and 9.11461 second system time
The end