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-3725359-1338636981/watcher-3725359-1338636981 -o /tmp/evaluation-result-3725359-1338636981/solver-3725359-1338636981 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725359-1338636981.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.99 2.00 1.95 3/172 7497
/proc/meminfo: memFree=24148208/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 329826683 6373376 739 33554432000 4194304 8989770 140736291970304 140736500740504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 1556 739 425 1171 0 333 0
[startup+0.0751769 s]
/proc/loadavg: 1.99 2.00 1.95 3/172 7497
/proc/meminfo: memFree=24148208/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=11344 CPUtime=0.06 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 2048 0 0 0 6 0 0 0 20 0 1 0 329826683 11616256 1969 33554432000 4194304 8989770 140736291970304 140736500740504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 2836 1969 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11344
[startup+0.100288 s]
/proc/loadavg: 1.99 2.00 1.95 3/172 7497
/proc/meminfo: memFree=24148208/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 2532 0 0 0 9 0 0 0 20 0 1 0 329826683 13713408 2453 33554432000 4194304 8989770 140736291970304 140736500740504 7732144 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 3348 2453 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300287 s]
/proc/loadavg: 1.99 2.00 1.95 3/172 7497
/proc/meminfo: memFree=24148208/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 5441 0 0 0 29 0 0 0 20 0 1 0 329826683 25247744 5362 33554432000 4194304 8989770 140736291970304 140736500740504 7742713 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 6164 5362 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700279 s]
/proc/loadavg: 1.99 2.00 1.95 3/172 7497
/proc/meminfo: memFree=24148208/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=54352 CPUtime=0.69 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 12867 0 0 0 67 2 0 0 20 0 1 0 329826683 55656448 12797 33554432000 4194304 8989770 140736291970304 140736291969800 4643238 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 13588 12797 431 1171 0 12365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54352
[startup+1.5003 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7523
/proc/meminfo: memFree=24072816/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=96336 CPUtime=1.49 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 23363 0 0 0 144 5 0 0 20 0 1 0 329826683 98648064 23293 33554432000 4194304 8989770 140736291970304 140736291969800 7082138 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 24084 23293 431 1171 0 22861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96336
[startup+3.10016 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7523
/proc/meminfo: memFree=24009072/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=3.09 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40272 0 0 0 300 9 0 0 20 0 1 0 329826683 167854080 40202 33554432000 4194304 8989770 140736291970304 140736291969800 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40202 444 1171 0 39757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163920
[startup+6.30019 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7524
/proc/meminfo: memFree=23974104/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=6.28 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40272 0 0 0 619 9 0 0 20 0 1 0 329826683 167854080 40202 33554432000 4194304 8989770 140736291970304 140736291969800 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40202 444 1171 0 39757 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 163920
[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7524
/proc/meminfo: memFree=23969216/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=12.68 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40299 0 0 0 1258 10 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291969800 4209073 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 163920
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7524
/proc/meminfo: memFree=23963884/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=25.48 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40302 0 0 0 2537 11 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291969568 6587873 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163920
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 1.95 3/176 7525
/proc/meminfo: memFree=23951676/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=51.07 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40305 0 0 0 5093 14 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291968256 6587820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 163920
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.95 3/176 7525
/proc/meminfo: memFree=23933756/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=102.27 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40311 0 0 0 10208 19 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291969800 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163920
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7525
/proc/meminfo: memFree=23931540/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=162.26 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40311 0 0 0 16201 25 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291969568 4389050 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 163920
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/176 7528
/proc/meminfo: memFree=23929672/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=222.24 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40311 0 0 0 22191 33 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291969800 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 163920
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7528
/proc/meminfo: memFree=23912316/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=282.24 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40311 0 0 0 28182 42 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291969800 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 163920
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/175 7529
/proc/meminfo: memFree=23908396/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=342.23 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40311 0 0 0 34173 50 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291969800 7696140 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 163920
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/175 7529
/proc/meminfo: memFree=23896804/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=402.22 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40311 0 0 0 40165 57 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291968256 6587952 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 163920
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 7529
/proc/meminfo: memFree=23896784/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=163920 CPUtime=462.21 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40311 0 0 0 46157 64 0 0 20 0 1 0 329826683 167854080 40229 33554432000 4194304 8989770 140736291970304 140736291952320 4458032 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 40980 40229 471 1171 0 39757 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 163920
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 7529
/proc/meminfo: memFree=23891204/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=165968 CPUtime=522.2 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 40823 0 0 0 52151 69 0 0 20 0 1 0 329826683 169951232 40741 33554432000 4194304 8989770 140736291970304 140736291968256 4435160 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 41492 40741 471 1171 0 40269 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 165968
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/175 7529
/proc/meminfo: memFree=23890208/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=166992 CPUtime=582.19 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 41080 0 0 0 58142 77 0 0 20 0 1 0 329826683 170999808 40997 33554432000 4194304 8989770 140736291970304 140736291969800 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 41748 40997 471 1171 0 40525 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 166992
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/175 7533
/proc/meminfo: memFree=23861916/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=183376 CPUtime=882.15 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 45177 0 0 0 88104 111 0 0 20 0 1 0 329826683 187777024 45093 33554432000 4194304 8989770 140736291970304 140736291969568 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 45844 45093 471 1171 0 44621 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 183376
[startup+942.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/175 7534
/proc/meminfo: memFree=23856696/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=189520 CPUtime=942.13 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 46713 0 0 0 94095 118 0 0 20 0 1 0 329826683 194068480 46629 33554432000 4194304 8989770 140736291970304 140736291968256 4453132 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 47380 46629 471 1171 0 46157 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 189520
[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/175 7534
/proc/meminfo: memFree=23847332/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=195664 CPUtime=1002.13 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 48249 0 0 0 100087 126 0 0 20 0 1 0 329826683 200359936 48165 33554432000 4194304 8989770 140736291970304 140736291969568 6587779 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 48916 48165 471 1171 0 47693 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 195664
[startup+1062.3 s]
/proc/loadavg: 2.10 2.05 1.99 3/175 7534
/proc/meminfo: memFree=23844604/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=198736 CPUtime=1062.12 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 49017 0 0 0 106079 133 0 0 20 0 1 0 329826683 203505664 48933 33554432000 4194304 8989770 140736291970304 140736291969800 6764497 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 49684 48933 471 1171 0 48461 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 198736
[startup+1122.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 7534
/proc/meminfo: memFree=23841304/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=200784 CPUtime=1122.1 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 49533 0 0 0 112070 140 0 0 20 0 1 0 329826683 205602816 49445 33554432000 4194304 8989770 140736291970304 140736291969800 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 50196 49445 471 1171 0 48973 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 200784
[startup+1182.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 7534
/proc/meminfo: memFree=23838080/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=203856 CPUtime=1182.1 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 50301 0 0 0 118060 150 0 0 20 0 1 0 329826683 208748544 50213 33554432000 4194304 8989770 140736291970304 140736291969800 4213915 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 50964 50213 471 1171 0 49741 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 203856
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 7535
/proc/meminfo: memFree=23826608/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=207952 CPUtime=1242.09 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 51325 0 0 0 124051 158 0 0 20 0 1 0 329826683 212942848 51237 33554432000 4194304 8989770 140736291970304 140736291969800 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 51988 51237 471 1171 0 50765 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 207952
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 7535
/proc/meminfo: memFree=23817308/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=211024 CPUtime=1302.09 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 52093 0 0 0 130043 166 0 0 20 0 1 0 329826683 216088576 52005 33554432000 4194304 8989770 140736291970304 140736291969800 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 52756 52005 471 1171 0 51533 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 211024
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 7535
/proc/meminfo: memFree=23824060/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=212048 CPUtime=1362.08 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 52350 0 0 0 136032 176 0 0 20 0 1 0 329826683 217137152 52261 33554432000 4194304 8989770 140736291970304 140736291969800 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 53012 52261 471 1171 0 51789 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 212048
[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 7538
/proc/meminfo: memFree=23821240/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=215120 CPUtime=1422.07 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 53118 0 0 0 142024 183 0 0 20 0 1 0 329826683 220282880 53029 33554432000 4194304 8989770 140736291970304 140736291969800 7687120 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 53780 53029 471 1171 0 52557 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 215120
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 7560
/proc/meminfo: memFree=23824248/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=216144 CPUtime=1482.06 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 53374 0 0 0 148012 194 0 0 20 0 1 0 329826683 221331456 53285 33554432000 4194304 8989770 140736291970304 140736291969568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 54036 53285 471 1171 0 52813 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 216144
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 7561
/proc/meminfo: memFree=23821080/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=219216 CPUtime=1542.04 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 54144 0 0 0 154004 200 0 0 20 0 1 0 329826683 224477184 54053 33554432000 4194304 8989770 140736291970304 140736291969800 4457711 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 54804 54053 471 1171 0 53581 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 219216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7561
/proc/meminfo: memFree=23818104/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=222288 CPUtime=1602.03 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 54912 0 0 0 159994 209 0 0 20 0 1 0 329826683 227622912 54821 33554432000 4194304 8989770 140736291970304 140736291969568 4209216 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 55572 54821 471 1171 0 54349 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 222288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7561
/proc/meminfo: memFree=23813632/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=225360 CPUtime=1662.03 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 55680 0 0 0 165987 216 0 0 20 0 1 0 329826683 230768640 55589 33554432000 4194304 8989770 140736291970304 140736291969568 4437568 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 56340 55589 471 1171 0 55117 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 225360
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7561
/proc/meminfo: memFree=23805448/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=229456 CPUtime=1722.01 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 56704 0 0 0 171979 222 0 0 20 0 1 0 329826683 234962944 56613 33554432000 4194304 8989770 140736291970304 140736291968320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 57364 56613 471 1171 0 56141 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 229456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7561
/proc/meminfo: memFree=23801532/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=231504 CPUtime=1782.01 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 57217 0 0 0 177971 230 0 0 20 0 1 0 329826683 237060096 57125 33554432000 4194304 8989770 140736291970304 140736291968256 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 57876 57125 471 1171 0 56653 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 231504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7561
/proc/meminfo: memFree=23804448/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=231504 CPUtime=1800.01 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 57217 0 0 0 179769 232 0 0 20 0 1 0 329826683 237060096 57125 33554432000 4194304 8989770 140736291970304 140736291969568 4213781 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 57876 57125 471 1171 0 56653 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 231504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7561
/proc/meminfo: memFree=23804448/32873844 swapFree=7112/7112
[pid=7497] ppid=7495 vsize=231504 CPUtime=1800.01 cores=1,3,5,7
/proc/7497/stat : 7497 (toysat) R 7495 7497 7385 0 -1 4202496 57217 0 0 0 179769 232 0 0 20 0 1 0 329826683 237060096 57125 33554432000 4194304 8989770 140736291970304 140736291969568 4213781 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 57876 57125 471 1171 0 56653 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 231504
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.69
CPU system time (s): 2.33065
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 231504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.69
system time used= 2.33065
maximum resident set size= 228500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57217
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= 27
involuntary context switches= 1861
runsolver used 4.98124 second user time and 8.07377 second system time
The end