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-3707285-1338132272/watcher-3707285-1338132272 -o /tmp/evaluation-result-3707285-1338132272/solver-3707285-1338132272 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707285-1338132272.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 5347
/proc/meminfo: memFree=31299392/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 279352117 7405568 745 33554432000 4194304 8973514 140735734029184 140734781140488 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 1808 745 416 1167 0 589 0
[startup+0.0971961 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 5347
/proc/meminfo: memFree=31299392/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=16448 CPUtime=0.08 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 3360 0 0 0 8 0 0 0 20 0 1 0 279352117 16842752 3281 33554432000 4194304 8973514 140735734029184 140734781140488 4213470 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 4112 3287 427 1167 0 2893 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16448
[startup+0.100364 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 5347
/proc/meminfo: memFree=31299392/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=18496 CPUtime=0.09 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 3708 0 0 0 9 0 0 0 20 0 1 0 279352117 18939904 3629 33554432000 4194304 8973514 140735734029184 140734781140488 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 4624 3632 427 1167 0 3405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18496
[startup+0.300313 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 5347
/proc/meminfo: memFree=31299392/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=30784 CPUtime=0.28 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 7006 0 0 0 28 0 0 0 20 0 1 0 279352117 31522816 6927 33554432000 4194304 8973514 140735734029184 140734781140488 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 7696 6927 458 1167 0 6477 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30784
[startup+0.700345 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 5347
/proc/meminfo: memFree=31299392/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=31808 CPUtime=0.69 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 7262 0 0 0 68 1 0 0 20 0 1 0 279352117 32571392 7183 33554432000 4194304 8973514 140735734029184 140735734028448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 7952 7183 458 1167 0 6733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31808
[startup+1.50033 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5348
/proc/meminfo: memFree=31272856/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=31808 CPUtime=1.49 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 7262 0 0 0 148 1 0 0 20 0 1 0 279352117 32571392 7183 33554432000 4194304 8973514 140735734029184 140735734028448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 7952 7183 458 1167 0 6733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31808
[startup+3.10033 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5348
/proc/meminfo: memFree=31272352/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=32832 CPUtime=3.09 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 7518 0 0 0 308 1 0 0 20 0 1 0 279352117 33619968 7439 33554432000 4194304 8973514 140735734029184 140735734028680 6571953 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 8208 7439 458 1167 0 6989 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32832
[startup+6.30034 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5348
/proc/meminfo: memFree=31271360/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=32832 CPUtime=6.29 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 7518 0 0 0 628 1 0 0 20 0 1 0 279352117 33619968 7439 33554432000 4194304 8973514 140735734029184 140735734028448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 8208 7439 458 1167 0 6989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32832
[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5348
/proc/meminfo: memFree=31268524/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=34880 CPUtime=12.69 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 8030 0 0 0 1267 2 0 0 20 0 1 0 279352117 35717120 7951 33554432000 4194304 8973514 140735734029184 140735734028680 4427144 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 8720 7951 458 1167 0 7501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34880
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5348
/proc/meminfo: memFree=31265844/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=38976 CPUtime=25.49 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 9056 0 0 0 2546 3 0 0 20 0 1 0 279352117 39911424 8975 33554432000 4194304 8973514 140735734029184 140735734028448 4209340 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 9744 8975 458 1167 0 8525 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38976
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5348
/proc/meminfo: memFree=31257692/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=46144 CPUtime=51.07 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 10853 0 0 0 5100 7 0 0 20 0 1 0 279352117 47251456 10767 33554432000 4194304 8973514 140735734029184 140735734028448 4204368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 11536 10767 458 1167 0 10317 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46144
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5348
/proc/meminfo: memFree=31229100/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=62528 CPUtime=102.27 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 14949 0 0 0 10211 16 0 0 20 0 1 0 279352117 64028672 14863 33554432000 4194304 8973514 140735734029184 140735734027136 6571896 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 15632 14863 458 1167 0 14413 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62528
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5348
/proc/meminfo: memFree=31222020/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=77888 CPUtime=162.25 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 18798 0 0 0 16201 24 0 0 20 0 1 0 279352117 79757312 18703 33554432000 4194304 8973514 140735734029184 140735734027136 4357592 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 19472 18703 458 1167 0 18253 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 77888
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5348
/proc/meminfo: memFree=31207560/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=87104 CPUtime=222.24 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 21362 0 0 0 22192 32 0 0 20 0 1 0 279352117 89194496 21011 33554432000 4194304 8973514 140735734029184 140735734028680 6572052 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 21776 21011 459 1167 0 20557 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 87104
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5349
/proc/meminfo: memFree=31208352/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=87104 CPUtime=282.23 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 21363 0 0 0 28185 38 0 0 20 0 1 0 279352117 89194496 21011 33554432000 4194304 8973514 140735734029184 140735734028680 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 21776 21011 459 1167 0 20557 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 87104
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5352
/proc/meminfo: memFree=31195804/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=101440 CPUtime=342.23 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 24947 0 0 0 34177 46 0 0 20 0 1 0 279352117 103874560 24595 33554432000 4194304 8973514 140735734029184 140735734028680 4209425 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 25360 24595 459 1167 0 24141 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 101440
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5352
/proc/meminfo: memFree=31200264/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=99392 CPUtime=402.22 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 24947 0 0 0 40169 53 0 0 20 0 1 0 279352117 101777408 24083 33554432000 4194304 8973514 140735734029184 140735734027200 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 24848 24083 459 1167 0 23629 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 99392
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5352
/proc/meminfo: memFree=31206324/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=99392 CPUtime=462.21 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 24947 0 0 0 46163 58 0 0 20 0 1 0 279352117 101777408 24083 33554432000 4194304 8973514 140735734029184 140735734028680 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 24848 24083 459 1167 0 23629 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 99392
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 5353
/proc/meminfo: memFree=31182932/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=99392 CPUtime=522.2 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 26228 0 0 0 52155 65 0 0 20 0 1 0 279352117 101777408 24083 33554432000 4194304 8973514 140735734029184 140735734028680 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 24848 24083 459 1167 0 23629 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 99392
[startup+582.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 5354
/proc/meminfo: memFree=31179332/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=99392 CPUtime=582.19 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 26228 0 0 0 58149 70 0 0 20 0 1 0 279352117 101777408 24083 33554432000 4194304 8973514 140735734029184 140735734028448 6532163 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 24848 24083 459 1167 0 23629 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 99392
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.05 2.09 2.03 3/177 5354
/proc/meminfo: memFree=31185220/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=110656 CPUtime=822.15 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 29045 0 0 0 82119 96 0 0 20 0 1 0 279352117 113311744 26899 33554432000 4194304 8973514 140735734029184 140735734028448 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 27664 26899 459 1167 0 26445 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 110656
[startup+882.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/177 5355
/proc/meminfo: memFree=31185252/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=110656 CPUtime=882.14 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 29048 0 0 0 88110 104 0 0 20 0 1 0 279352117 113311744 26899 33554432000 4194304 8973514 140735734029184 140735734028680 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 27664 26899 459 1167 0 26445 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 110656
[startup+942.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/178 5397
/proc/meminfo: memFree=31220452/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=111680 CPUtime=942.13 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 30840 0 0 0 94103 110 0 0 20 0 1 0 279352117 114360320 27155 33554432000 4194304 8973514 140735734029184 140735734027136 4209336 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 27920 27155 459 1167 0 26701 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 111680
[startup+1002.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/177 5397
/proc/meminfo: memFree=31204228/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=111680 CPUtime=1002.12 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 30840 0 0 0 100096 116 0 0 20 0 1 0 279352117 114360320 27155 33554432000 4194304 8973514 140735734029184 140735734028448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 27920 27155 459 1167 0 26701 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 111680
[startup+1062.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/177 5397
/proc/meminfo: memFree=31200716/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=111680 CPUtime=1062.11 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 30840 0 0 0 106089 122 0 0 20 0 1 0 279352117 114360320 27155 33554432000 4194304 8973514 140735734029184 140735734028680 4209520 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 27920 27155 459 1167 0 26701 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 111680
[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/177 5397
/proc/meminfo: memFree=31187920/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=121920 CPUtime=1122.1 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 33400 0 0 0 112082 128 0 0 20 0 1 0 279352117 124846080 29715 33554432000 4194304 8973514 140735734029184 140735734028448 4427184 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 30480 29715 459 1167 0 29261 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 121920
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/177 5398
/proc/meminfo: memFree=31184724/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=115776 CPUtime=1182.09 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 33400 0 0 0 118075 134 0 0 20 0 1 0 279352117 118554624 28179 33554432000 4194304 8973514 140735734029184 140735734028448 4441929 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 28944 28179 459 1167 0 27725 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 115776
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 5398
/proc/meminfo: memFree=31186288/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=117824 CPUtime=1242.08 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 33912 0 0 0 124067 141 0 0 20 0 1 0 279352117 120651776 28691 33554432000 4194304 8973514 140735734029184 140735734028680 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 29456 28691 459 1167 0 28237 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 117824
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5398
/proc/meminfo: memFree=31180804/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=123968 CPUtime=1302.07 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 35967 0 0 0 130058 149 0 0 20 0 1 0 279352117 126943232 30227 33554432000 4194304 8973514 140735734029184 140735734028680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 30992 30227 459 1167 0 29773 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 123968
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5398
/proc/meminfo: memFree=31165056/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=123968 CPUtime=1362.06 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 35967 0 0 0 136051 155 0 0 20 0 1 0 279352117 126943232 30227 33554432000 4194304 8973514 140735734029184 140735734028448 4209410 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 30992 30227 459 1167 0 29773 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 123968
[startup+1422.31 s]
/proc/loadavg: 2.19 2.08 2.02 3/177 5398
/proc/meminfo: memFree=31170552/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=130112 CPUtime=1422.05 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 37503 0 0 0 142042 163 0 0 20 0 1 0 279352117 133234688 31763 33554432000 4194304 8973514 140735734029184 140735734028680 4427236 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 32528 31763 459 1167 0 31309 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 130112
[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/176 5398
/proc/meminfo: memFree=31163336/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=132160 CPUtime=1482.04 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 39041 0 0 0 148033 171 0 0 20 0 1 0 279352117 135331840 32275 33554432000 4194304 8973514 140735734029184 140735734028448 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 33040 32275 459 1167 0 31821 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 132160
[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 5402
/proc/meminfo: memFree=31170660/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=132160 CPUtime=1542.03 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 39041 0 0 0 154025 178 0 0 20 0 1 0 279352117 135331840 32275 33554432000 4194304 8973514 140735734029184 140735734027136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 33040 32275 459 1167 0 31821 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 132160
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 5402
/proc/meminfo: memFree=31162992/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=140352 CPUtime=1602.03 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 41089 0 0 0 160017 186 0 0 20 0 1 0 279352117 143720448 34323 33554432000 4194304 8973514 140735734029184 140735734027136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 35088 34323 459 1167 0 33869 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 140352
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 5402
/proc/meminfo: memFree=31163992/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=136256 CPUtime=1662.01 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 41089 0 0 0 166007 194 0 0 20 0 1 0 279352117 139526144 33299 33554432000 4194304 8973514 140735734029184 140735734028680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 34064 33299 459 1167 0 32845 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 136256
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 5402
/proc/meminfo: memFree=31158240/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=136256 CPUtime=1722.01 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 41089 0 0 0 171999 202 0 0 20 0 1 0 279352117 139526144 33299 33554432000 4194304 8973514 140735734029184 140735734028680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 34064 33299 459 1167 0 32845 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 136256
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 5402
/proc/meminfo: memFree=31142588/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=149568 CPUtime=1781.99 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 44417 0 0 0 177988 211 0 0 20 0 1 0 279352117 153157632 36627 33554432000 4194304 8973514 140735734029184 140735734027200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 37392 36627 459 1167 0 36173 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 149568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 5403
/proc/meminfo: memFree=31143132/32873844 swapFree=7112/7112
[pid=5347] ppid=5345 vsize=144448 CPUtime=1800.1 cores=1,3,5,7
/proc/5347/stat : 5347 (toysat) R 5345 5347 4109 0 -1 4202496 44417 0 0 0 179797 213 0 0 20 0 1 0 279352117 147914752 35347 33554432000 4194304 8973514 140735734029184 140735734028448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5347/statm: 36112 35347 459 1167 0 34893 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 144448
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.11
CPU user time (s): 1797.97
CPU system time (s): 2.14067
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 149568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.97
system time used= 2.14067
maximum resident set size= 146508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44417
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= 34
involuntary context switches= 1851
runsolver used 5.2822 second user time and 8.61269 second system time
The end