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-3725529-1338642870/watcher-3725529-1338642870 -o /tmp/evaluation-result-3725529-1338642870/solver-3725529-1338642870 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725529-1338642870.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.92 1.98 1.99 3/176 10787
/proc/meminfo: memFree=26788044/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 1 0 330412822 6373376 717 33554432000 4194304 8989770 140733954283440 140736375962168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 1556 717 425 1171 0 333 0
[startup+0.080317 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10787
/proc/meminfo: memFree=26788044/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=11344 CPUtime=0.07 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 1971 0 0 0 7 0 0 0 20 0 1 0 330412822 11616256 1891 33554432000 4194304 8989770 140733954283440 140736375962168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 2836 1891 429 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344
[startup+0.100185 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10787
/proc/meminfo: memFree=26788044/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 2421 0 0 0 9 0 0 0 20 0 1 0 330412822 13713408 2341 33554432000 4194304 8989770 140733954283440 140736375962168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 3348 2341 429 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300168 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10787
/proc/meminfo: memFree=26788044/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=25680 CPUtime=0.29 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 5614 0 0 0 28 1 0 0 20 0 1 0 330412822 26296320 5534 33554432000 4194304 8989770 140733954283440 140736375962168 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 6420 5540 429 1171 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25680
[startup+0.70015 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10787
/proc/meminfo: memFree=26788044/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=48208 CPUtime=0.69 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 11120 0 0 0 68 1 0 0 20 0 1 0 330412822 49364992 11041 33554432000 4194304 8989770 140733954283440 140733954282704 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 12052 11047 430 1171 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48208
[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10788
/proc/meminfo: memFree=26721192/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=92240 CPUtime=1.49 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 22337 0 0 0 145 4 0 0 20 0 1 0 330412822 94453760 22257 33554432000 4194304 8989770 140733954283440 140733954282704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 23060 22257 430 1171 0 21837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92240
[startup+3.10015 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10788
/proc/meminfo: memFree=26671824/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=206928 CPUtime=3.08 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 51010 0 0 0 299 9 0 0 20 0 1 0 330412822 211894272 50930 33554432000 4194304 8989770 140733954283440 140733954282936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 51732 50930 431 1171 0 50509 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 206928
[startup+6.30016 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10788
/proc/meminfo: memFree=26410968/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=377936 CPUtime=6.29 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 93762 0 0 0 609 20 0 0 20 0 1 0 330412822 387006464 93682 33554432000 4194304 8989770 140733954283440 140733954282936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 94484 93682 431 1171 0 93261 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 377936
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10788
/proc/meminfo: memFree=26605424/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=181328 CPUtime=12.69 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 146514 0 0 0 1237 32 0 0 20 0 1 0 330412822 185679872 44546 33554432000 4194304 8989770 140733954283440 140733954282936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 45332 44546 441 1171 0 44109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 181328
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10788
/proc/meminfo: memFree=26600812/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=180304 CPUtime=25.48 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 146533 0 0 0 2513 35 0 0 20 0 1 0 330412822 184631296 44309 33554432000 4194304 8989770 140733954283440 140733954282936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 45076 44309 460 1171 0 43853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 180304
[startup+51.1002 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 10788
/proc/meminfo: memFree=26593372/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=180304 CPUtime=51.08 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 146533 0 0 0 5066 42 0 0 20 0 1 0 330412822 184631296 44309 33554432000 4194304 8989770 140733954283440 140733954282936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 45076 44309 460 1171 0 43853 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 180304
[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 10788
/proc/meminfo: memFree=26567500/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=188496 CPUtime=102.28 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 148442 0 0 0 10169 59 0 0 20 0 1 0 330412822 193019904 46218 33554432000 4194304 8989770 140733954283440 140733954282936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 47124 46218 460 1171 0 45901 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 188496
[startup+162.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 10788
/proc/meminfo: memFree=26526112/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=203856 CPUtime=162.25 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 152379 0 0 0 16147 78 0 0 20 0 1 0 330412822 208748544 50142 33554432000 4194304 8989770 140733954283440 140733954282704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 50964 50142 460 1171 0 49741 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 203856
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 10788
/proc/meminfo: memFree=26496008/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=213072 CPUtime=222.2 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 154786 0 0 0 22119 101 0 0 20 0 1 0 330412822 218185728 52501 33554432000 4194304 8989770 140733954283440 140733954282704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 53268 52501 460 1171 0 52045 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 213072
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 10788
/proc/meminfo: memFree=26469540/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=220240 CPUtime=282.18 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 156466 0 0 0 28097 121 0 0 20 0 1 0 330412822 225525760 54159 33554432000 4194304 8989770 140733954283440 140733954282936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 55060 54159 460 1171 0 53837 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 220240
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 10792
/proc/meminfo: memFree=26464500/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=226384 CPUtime=342.17 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 157957 0 0 0 34076 141 0 0 20 0 1 0 330412822 231817216 55650 33554432000 4194304 8989770 140733954283440 140733954282936 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 56596 55650 460 1171 0 55373 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 226384
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10792
/proc/meminfo: memFree=26459988/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=232528 CPUtime=402.16 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 159668 0 0 0 40054 162 0 0 20 0 1 0 330412822 238108672 57361 33554432000 4194304 8989770 140733954283440 140733954282704 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 58132 57361 460 1171 0 56909 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 232528
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10792
/proc/meminfo: memFree=26449448/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=240720 CPUtime=462.15 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 161720 0 0 0 46036 179 0 0 20 0 1 0 330412822 246497280 59413 33554432000 4194304 8989770 140733954283440 140733954282704 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 60180 59413 460 1171 0 58957 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 240720
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10792
/proc/meminfo: memFree=26442256/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=248912 CPUtime=522.14 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 163571 0 0 0 52016 198 0 0 20 0 1 0 330412822 254885888 61264 33554432000 4194304 8989770 140733954283440 140733954282704 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 62228 61264 460 1171 0 61005 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 248912
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10792
/proc/meminfo: memFree=26437048/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=254032 CPUtime=582.13 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 164828 0 0 0 57996 217 0 0 20 0 1 0 330412822 260128768 62521 33554432000 4194304 8989770 140733954283440 140733954282704 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 63508 62521 460 1171 0 62285 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 254032
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10794
/proc/meminfo: memFree=26379852/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=260176 CPUtime=822.09 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 166435 0 0 0 81921 288 0 0 20 0 1 0 330412822 266420224 64119 33554432000 4194304 8989770 140733954283440 140733954282704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 65044 64119 460 1171 0 63821 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 260176
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10794
/proc/meminfo: memFree=26371296/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=261200 CPUtime=882.08 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 166598 0 0 0 87901 307 0 0 20 0 1 0 330412822 267468800 64282 33554432000 4194304 8989770 140733954283440 140733954282936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 65300 64282 460 1171 0 64077 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 261200
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10798
/proc/meminfo: memFree=26369356/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=262224 CPUtime=942.07 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 167072 0 0 0 93883 324 0 0 20 0 1 0 330412822 268517376 64756 33554432000 4194304 8989770 140733954283440 140733954282936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 65556 64756 460 1171 0 64333 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 262224
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10798
/proc/meminfo: memFree=26369444/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=262224 CPUtime=1002.06 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 167105 0 0 0 99864 342 0 0 20 0 1 0 330412822 268517376 64789 33554432000 4194304 8989770 140733954283440 140733954282936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 65556 64789 460 1171 0 64333 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 262224
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10798
/proc/meminfo: memFree=26367956/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=264272 CPUtime=1062.06 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 167442 0 0 0 105844 362 0 0 20 0 1 0 330412822 270614528 65126 33554432000 4194304 8989770 140733954283440 140733954282704 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 66068 65126 460 1171 0 64845 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 264272
[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10798
/proc/meminfo: memFree=26366348/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=265296 CPUtime=1122.04 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 167873 0 0 0 111825 379 0 0 20 0 1 0 330412822 271663104 65557 33554432000 4194304 8989770 140733954283440 140733954282936 4204368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 66324 65557 460 1171 0 65101 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 265296
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10798
/proc/meminfo: memFree=26364060/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=267344 CPUtime=1182.03 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 168385 0 0 0 117806 397 0 0 20 0 1 0 330412822 273760256 66069 33554432000 4194304 8989770 140733954283440 140733954282704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 66836 66069 460 1171 0 65613 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 267344
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10799
/proc/meminfo: memFree=26363376/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=268368 CPUtime=1242.03 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 168469 0 0 0 123789 414 0 0 20 0 1 0 330412822 274808832 66153 33554432000 4194304 8989770 140733954283440 140733954282936 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 67092 66153 460 1171 0 65869 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 268368
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10838
/proc/meminfo: memFree=26973684/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=268368 CPUtime=1302.02 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 168641 0 0 0 129770 432 0 0 20 0 1 0 330412822 274808832 66325 33554432000 4194304 8989770 140733954283440 140733954282704 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 67092 66325 460 1171 0 65869 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 268368
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10838
/proc/meminfo: memFree=26932228/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=268368 CPUtime=1362 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 168644 0 0 0 135750 450 0 0 20 0 1 0 330412822 274808832 66325 33554432000 4194304 8989770 140733954283440 140733954282704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 67092 66325 460 1171 0 65869 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 268368
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10838
/proc/meminfo: memFree=26921444/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=268368 CPUtime=1422 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 168644 0 0 0 141733 467 0 0 20 0 1 0 330412822 274808832 66325 33554432000 4194304 8989770 140733954283440 140733954282704 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 67092 66325 460 1171 0 65869 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 268368
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10838
/proc/meminfo: memFree=26863536/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=271440 CPUtime=1481.98 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 169334 0 0 0 147716 482 0 0 20 0 1 0 330412822 277954560 67015 33554432000 4194304 8989770 140733954283440 140733954282936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 67860 67015 460 1171 0 66637 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 271440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10842
/proc/meminfo: memFree=26910036/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=273488 CPUtime=1541.98 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 169759 0 0 0 153700 498 0 0 20 0 1 0 330412822 280051712 67440 33554432000 4194304 8989770 140733954283440 140733954282936 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 68372 67440 460 1171 0 67149 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 273488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10842
/proc/meminfo: memFree=26900752/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=273488 CPUtime=1601.97 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 169924 0 0 0 159683 514 0 0 20 0 1 0 330412822 280051712 67605 33554432000 4194304 8989770 140733954283440 140733954282936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 68372 67605 460 1171 0 67149 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 273488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10842
/proc/meminfo: memFree=26874256/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=273488 CPUtime=1661.96 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 169924 0 0 0 165665 531 0 0 20 0 1 0 330412822 280051712 67605 33554432000 4194304 8989770 140733954283440 140733954282936 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 68372 67605 460 1171 0 67149 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 273488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10842
/proc/meminfo: memFree=26868056/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=274512 CPUtime=1721.95 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 170166 0 0 0 171649 546 0 0 20 0 1 0 330412822 281100288 67847 33554432000 4194304 8989770 140733954283440 140733954282704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 68628 67847 460 1171 0 67405 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 274512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10842
/proc/meminfo: memFree=26872520/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=274512 CPUtime=1781.95 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 170180 0 0 0 177634 561 0 0 20 0 1 0 330412822 281100288 67861 33554432000 4194304 8989770 140733954283440 140733954282704 7732747 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 68628 67861 460 1171 0 67405 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 274512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10842
/proc/meminfo: memFree=26871836/32873660 swapFree=7120/7120
[pid=10787] ppid=10785 vsize=275536 CPUtime=1800.04 cores=1,3,5,7
/proc/10787/stat : 10787 (toysat) R 10785 10787 9917 0 -1 4202496 170210 0 0 0 179439 565 0 0 20 0 1 0 330412822 282148864 67891 33554432000 4194304 8989770 140733954283440 140733954282704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10787/statm: 68884 67891 460 1171 0 67661 0
Current children cumulated CPU time (s) 1800.04
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): 1794.4
CPU system time (s): 5.66014
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 588880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 5.66014
maximum resident set size= 585732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170210
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= 98
involuntary context switches= 1853
runsolver used 3.04154 second user time and 8.16376 second system time
The end