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-3724454-1338644387/watcher-3724454-1338644387 -o /tmp/evaluation-result-3724454-1338644387/solver-3724454-1338644387 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724454-1338644387.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: 1.97 2.00 2.00 3/176 26268
/proc/meminfo: memFree=27750504/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26268/stat : 26268 (runsolver) D 26266 26268 25232 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 330564656 12095488 51 33554432000 4194304 5436572 140737286958896 140737286955192 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/26268/statm: 2953 51 31 304 0 2645 0
[startup+0.034838 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 26268
/proc/meminfo: memFree=27750504/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=8272 CPUtime=0.02 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 1247 0 0 0 2 0 0 0 20 0 1 0 330564656 8470528 1166 33554432000 4194304 8989770 140733840527264 140733840526760 5797284 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/26268/statm: 2068 1166 429 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100173 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 26268
/proc/meminfo: memFree=27750504/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=12368 CPUtime=0.08 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 2306 0 0 0 8 0 0 0 20 0 1 0 330564656 12664832 2225 33554432000 4194304 8989770 140733840527264 140733840526104 4209410 0 2 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/26268/statm: 3092 2225 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368
[startup+0.300168 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 26268
/proc/meminfo: memFree=27750504/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=23632 CPUtime=0.28 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 5186 0 0 0 28 0 0 0 20 0 1 0 330564656 24199168 5105 33554432000 4194304 8989770 140733840527264 140733840526760 5757790 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/26268/statm: 5908 5105 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23632
[startup+0.700169 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 26268
/proc/meminfo: memFree=27750504/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=46160 CPUtime=0.68 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 10852 0 0 0 67 1 0 0 20 0 1 0 330564656 47267840 10771 33554432000 4194304 8989770 140733840527264 140733840526528 4208833 0 2 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/26268/statm: 11540 10771 459 1171 0 10317 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46160
[startup+1.50017 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 26269
/proc/meminfo: memFree=27706940/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=48208 CPUtime=1.47 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 11364 0 0 0 146 1 0 0 20 0 1 0 330564656 49364992 11283 33554432000 4194304 8989770 140733840527264 140733840525248 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26268/statm: 12052 11283 459 1171 0 10829 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 48208
[startup+3.10017 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 26269
/proc/meminfo: memFree=27706568/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=48208 CPUtime=3.08 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 11364 0 0 0 306 2 0 0 20 0 1 0 330564656 49364992 11283 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/26268/statm: 12052 11283 459 1171 0 10829 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48208
[startup+6.30017 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 26269
/proc/meminfo: memFree=27702488/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=48208 CPUtime=6.28 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 11364 0 0 0 625 3 0 0 20 0 1 0 330564656 49364992 11283 33554432000 4194304 8989770 140733840527264 140733840526760 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 12052 11283 459 1171 0 10829 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48208
[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 26269
/proc/meminfo: memFree=27685668/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=61520 CPUtime=12.67 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 14451 0 0 0 1263 4 0 0 20 0 1 0 330564656 62996480 14370 33554432000 4194304 8989770 140733840527264 140733840526760 4469708 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 15380 14370 459 1171 0 14157 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 61520
[startup+25.5004 s]
/proc/loadavg: 1.98 2.00 2.00 3/178 26272
/proc/meminfo: memFree=27658132/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=79952 CPUtime=25.48 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 19300 0 0 0 2540 8 0 0 20 0 1 0 330564656 81870848 19219 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 19988 19219 459 1171 0 18765 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79952
[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 26272
/proc/meminfo: memFree=27605832/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=113744 CPUtime=51.07 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 27748 0 0 0 5091 16 0 0 20 0 1 0 330564656 116473856 27667 33554432000 4194304 8989770 140733840527264 140733840526760 4208857 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 28436 27667 459 1171 0 27213 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 113744
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26272
/proc/meminfo: memFree=27507656/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=177232 CPUtime=102.27 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 43457 0 0 0 10195 32 0 0 20 0 1 0 330564656 181485568 43376 33554432000 4194304 8989770 140733840527264 140733840526528 4209234 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 44308 43376 459 1171 0 43085 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 177232
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26273
/proc/meminfo: memFree=27420892/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=229456 CPUtime=162.25 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 56678 0 0 0 16175 50 0 0 20 0 1 0 330564656 234962944 56597 33554432000 4194304 8989770 140733840527264 140733840526760 4451620 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 57364 56597 461 1171 0 56141 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 229456
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26273
/proc/meminfo: memFree=27389896/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=236624 CPUtime=222.24 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 58244 0 0 0 22161 63 0 0 20 0 1 0 330564656 242302976 58158 33554432000 4194304 8989770 140733840527264 140733840526528 4355628 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 59156 58158 461 1171 0 57933 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 236624
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26273
/proc/meminfo: memFree=27374896/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=249936 CPUtime=282.2 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 61847 0 0 0 28142 78 0 0 20 0 1 0 330564656 255934464 61717 33554432000 4194304 8989770 140733840527264 140733840526528 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 62484 61717 461 1171 0 61261 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 249936
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26273
/proc/meminfo: memFree=27374812/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=249936 CPUtime=342.16 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 61889 0 0 0 34124 92 0 0 20 0 1 0 330564656 255934464 61717 33554432000 4194304 8989770 140733840527264 140733840526760 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 62484 61717 461 1171 0 61261 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 249936
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26273
/proc/meminfo: memFree=27356416/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=269392 CPUtime=402.14 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 66769 0 0 0 40106 108 0 0 20 0 1 0 330564656 275857408 66581 33554432000 4194304 8989770 140733840527264 140733840526760 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 67348 66581 461 1171 0 66125 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 269392
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26274
/proc/meminfo: memFree=27350340/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=274512 CPUtime=462.12 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 68049 0 0 0 46091 121 0 0 20 0 1 0 330564656 281100288 67861 33554432000 4194304 8989770 140733840527264 140733840526528 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 68628 67861 461 1171 0 67405 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 274512
[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 26274
/proc/meminfo: memFree=27342656/32873648 swapFree=7116/7116
[pid=26268] ppid=26266 vsize=274512 CPUtime=522.12 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 68049 0 0 0 52077 135 0 0 20 0 1 0 330564656 281100288 67861 33554432000 4194304 8989770 140733840527264 140733840526528 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 68628 67861 461 1171 0 67405 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 274512
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26274
/proc/meminfo: memFree=27318336/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=274512 CPUtime=582.11 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 68049 0 0 0 58063 148 0 0 20 0 1 0 330564656 281100288 67861 33554432000 4194304 8989770 140733840527264 140733840526528 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 68628 67861 461 1171 0 67405 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 274512
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26278
/proc/meminfo: memFree=27207112/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=354384 CPUtime=882.05 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 88047 0 0 0 87994 211 0 0 20 0 1 0 330564656 362889216 87829 33554432000 4194304 8989770 140733840527264 140733840526760 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 88596 87829 461 1171 0 87373 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 354384
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26278
/proc/meminfo: memFree=27206992/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=354384 CPUtime=942.03 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 88047 0 0 0 93980 223 0 0 20 0 1 0 330564656 362889216 87829 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 88596 87829 461 1171 0 87373 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 354384
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26278
/proc/meminfo: memFree=27206868/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=354384 CPUtime=1002.03 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 88047 0 0 0 99969 234 0 0 20 0 1 0 330564656 362889216 87829 33554432000 4194304 8989770 140733840527264 140733840526528 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 88596 87829 461 1171 0 87373 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 354384
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26279
/proc/meminfo: memFree=27202940/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=357456 CPUtime=1062.01 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 88718 0 0 0 105957 244 0 0 20 0 1 0 330564656 366034944 88500 33554432000 4194304 8989770 140733840527264 140733840526528 4204320 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 89364 88500 461 1171 0 88141 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 357456
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26279
/proc/meminfo: memFree=27177716/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=368720 CPUtime=1122.01 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91631 0 0 0 111947 254 0 0 20 0 1 0 330564656 377569280 91413 33554432000 4194304 8989770 140733840527264 140733840526760 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 92180 91413 461 1171 0 90957 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 368720
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26279
/proc/meminfo: memFree=27154156/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=368720 CPUtime=1182 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91631 0 0 0 117935 265 0 0 20 0 1 0 330564656 377569280 91413 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 92180 91413 461 1171 0 90957 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 368720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26282
/proc/meminfo: memFree=27133328/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=368720 CPUtime=1241.98 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91631 0 0 0 123921 277 0 0 20 0 1 0 330564656 377569280 91413 33554432000 4194304 8989770 140733840527264 140733840526760 6587776 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 92180 91413 461 1171 0 90957 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 368720
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26305
/proc/meminfo: memFree=27137740/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=341072 CPUtime=1301.98 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91633 0 0 0 129908 290 0 0 20 0 1 0 330564656 349257728 84501 33554432000 4194304 8989770 140733840527264 140733840526528 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 85268 84501 461 1171 0 84045 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 341072
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27130056/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=324688 CPUtime=1361.97 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91633 0 0 0 135890 307 0 0 20 0 1 0 330564656 332480512 80405 33554432000 4194304 8989770 140733840527264 140733840525184 4208879 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 81172 80405 461 1171 0 79949 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 324688
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27129560/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=324688 CPUtime=1421.96 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91633 0 0 0 141875 321 0 0 20 0 1 0 330564656 332480512 80405 33554432000 4194304 8989770 140733840527264 140733840526528 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 81172 80405 461 1171 0 79949 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 324688
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27129560/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=324688 CPUtime=1481.95 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91633 0 0 0 147861 334 0 0 20 0 1 0 330564656 332480512 80405 33554432000 4194304 8989770 140733840527264 140733840526528 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 81172 80405 461 1171 0 79949 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 324688
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27129808/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=324688 CPUtime=1541.94 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 91633 0 0 0 153848 346 0 0 20 0 1 0 330564656 332480512 80405 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 81172 80405 461 1171 0 79949 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 324688
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27116568/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=338000 CPUtime=1601.93 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 94930 0 0 0 159832 361 0 0 20 0 1 0 330564656 346112000 83702 33554432000 4194304 8989770 140733840527264 140733840526528 4209136 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 84500 83702 461 1171 0 83277 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 338000
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26346
/proc/meminfo: memFree=27483004/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=348240 CPUtime=1661.92 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 97521 0 0 0 165819 373 0 0 20 0 1 0 330564656 356597760 86293 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 87060 86293 461 1171 0 85837 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 348240
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26346
/proc/meminfo: memFree=27483004/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=348240 CPUtime=1721.91 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 97521 0 0 0 171806 385 0 0 20 0 1 0 330564656 356597760 86293 33554432000 4194304 8989770 140733840527264 140733840526760 4355118 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 87060 86293 461 1171 0 85837 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 348240
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26346
/proc/meminfo: memFree=27472716/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=348240 CPUtime=1781.91 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 97521 0 0 0 177792 399 0 0 20 0 1 0 330564656 356597760 86293 33554432000 4194304 8989770 140733840527264 140733840526528 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 87060 86293 461 1171 0 85837 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 348240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26346
/proc/meminfo: memFree=27474432/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=348240 CPUtime=1800.01 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 97525 0 0 0 179599 402 0 0 20 0 1 0 330564656 356597760 86293 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 87060 86293 461 1171 0 85837 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 348240
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.07 2.02 2.00 3/177 26346
/proc/meminfo: memFree=27474432/32873648 swapFree=7112/7112
[pid=26268] ppid=26266 vsize=348240 CPUtime=1800.01 cores=0,2,4,6
/proc/26268/stat : 26268 (toysat) R 26266 26268 25232 0 -1 4202496 97525 0 0 0 179599 402 0 0 20 0 1 0 330564656 356597760 86293 33554432000 4194304 8989770 140733840527264 140733840526760 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/26268/statm: 87060 86293 461 1171 0 85837 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 348240
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1795.99
CPU system time (s): 4.02739
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 368720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.99
system time used= 4.02739
maximum resident set size= 365652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97525
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= 146
involuntary context switches= 1952
runsolver used 3.39148 second user time and 9.11361 second system time
The end