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-3725380-1338637240/watcher-3725380-1338637240 -o /tmp/evaluation-result-3725380-1338637240/solver-3725380-1338637240 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725380-1338637240.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.00 2.00 1.97 3/179 2636
/proc/meminfo: memFree=28296892/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 329848842 6373376 741 33554432000 4194304 8989770 140737446611328 140734860567640 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 1556 741 424 1171 0 333 0
[startup+0.0349641 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2636
/proc/meminfo: memFree=28296892/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=8272 CPUtime=0.02 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 1242 0 0 0 2 0 0 0 20 0 1 0 329848842 8470528 1163 33554432000 4194304 8989770 140737446611328 140734860567640 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 2068 1163 430 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2636
/proc/meminfo: memFree=28296892/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=13392 CPUtime=0.08 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 2411 0 0 0 8 0 0 0 20 0 1 0 329848842 13713408 2333 33554432000 4194304 8989770 140737446611328 140734860567640 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 3348 2340 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13392
[startup+0.300286 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2636
/proc/meminfo: memFree=28296892/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=25680 CPUtime=0.28 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 5696 0 0 0 27 1 0 0 20 0 1 0 329848842 26296320 5617 33554432000 4194304 8989770 140737446611328 140737446610168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 6420 5617 431 1171 0 5197 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25680
[startup+0.700309 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2636
/proc/meminfo: memFree=28296892/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=52304 CPUtime=0.69 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 12368 0 0 0 66 3 0 0 20 0 1 0 329848842 53559296 12289 33554432000 4194304 8989770 140737446611328 140737446610168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 13076 12289 441 1171 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52304
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 2637
/proc/meminfo: memFree=28245664/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=56400 CPUtime=1.49 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 13343 0 0 0 145 4 0 0 20 0 1 0 329848842 57753600 13264 33554432000 4194304 8989770 140737446611328 140737446610824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 14100 13264 444 1171 0 12877 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56400
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 2637
/proc/meminfo: memFree=28245268/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=56400 CPUtime=3.09 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 13395 0 0 0 305 4 0 0 20 0 1 0 329848842 57753600 13316 33554432000 4194304 8989770 140737446611328 140737446610824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 14100 13316 444 1171 0 12877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56400
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 2637
/proc/meminfo: memFree=28242672/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=64592 CPUtime=6.28 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 15470 0 0 0 623 5 0 0 20 0 1 0 329848842 66142208 15391 33554432000 4194304 8989770 140737446611328 140737446610824 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 16148 15391 471 1171 0 14925 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64592
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 2637
/proc/meminfo: memFree=28235340/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=65616 CPUtime=12.68 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 15726 0 0 0 1261 7 0 0 20 0 1 0 329848842 67190784 15647 33554432000 4194304 8989770 140737446611328 140737446610592 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 16404 15647 471 1171 0 15181 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65616
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2637
/proc/meminfo: memFree=28233992/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=67664 CPUtime=25.48 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 16238 0 0 0 2539 9 0 0 20 0 1 0 329848842 69287936 16159 33554432000 4194304 8989770 140737446611328 140737446610824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 16916 16159 471 1171 0 15693 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67664
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2637
/proc/meminfo: memFree=28229868/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=71760 CPUtime=51.08 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 17262 0 0 0 5095 13 0 0 20 0 1 0 329848842 73482240 17183 33554432000 4194304 8989770 140737446611328 140737446610592 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 17940 17183 471 1171 0 16717 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71760
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 2637
/proc/meminfo: memFree=28221340/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=79952 CPUtime=102.28 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 19310 0 0 0 10208 20 0 0 20 0 1 0 329848842 81870848 19231 33554432000 4194304 8989770 140737446611328 140737446610824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 19988 19231 471 1171 0 18765 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 79952
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 2637
/proc/meminfo: memFree=28212508/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=89168 CPUtime=162.25 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 21634 0 0 0 16194 31 0 0 20 0 1 0 329848842 91308032 21535 33554432000 4194304 8989770 140737446611328 140737446609280 4354649 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 22292 21535 471 1171 0 21069 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89168
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2637
/proc/meminfo: memFree=28202092/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=99408 CPUtime=222.24 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 24194 0 0 0 22183 41 0 0 20 0 1 0 329848842 101793792 24095 33554432000 4194304 8989770 140737446611328 140737446610592 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 24852 24095 471 1171 0 23629 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 99408
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/179 2638
/proc/meminfo: memFree=28194032/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=107600 CPUtime=282.23 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 26242 0 0 0 28171 52 0 0 20 0 1 0 329848842 110182400 26143 33554432000 4194304 8989770 140737446611328 140737446610592 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 26900 26143 471 1171 0 25677 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 107600
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 2638
/proc/meminfo: memFree=28184856/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=116816 CPUtime=342.23 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 28546 0 0 0 34162 61 0 0 20 0 1 0 329848842 119619584 28447 33554432000 4194304 8989770 140737446611328 140737446610592 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 29204 28447 471 1171 0 27981 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 116816
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 2638
/proc/meminfo: memFree=28176672/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=125008 CPUtime=402.21 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 30594 0 0 0 40151 70 0 0 20 0 1 0 329848842 128008192 30495 33554432000 4194304 8989770 140737446611328 140737446609280 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 31252 30495 471 1171 0 30029 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 125008
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 2638
/proc/meminfo: memFree=28150880/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=134224 CPUtime=462.2 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 32898 0 0 0 46141 79 0 0 20 0 1 0 329848842 137445376 32799 33554432000 4194304 8989770 140737446611328 140737446610824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 33556 32799 471 1171 0 32333 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 134224
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 2638
/proc/meminfo: memFree=28142572/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=142416 CPUtime=522.19 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 34946 0 0 0 52129 90 0 0 20 0 1 0 329848842 145833984 34847 33554432000 4194304 8989770 140737446611328 140737446610592 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 35604 34847 471 1171 0 34381 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 142416
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/180 2642
/proc/meminfo: memFree=28133308/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=150608 CPUtime=582.18 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 36994 0 0 0 58119 99 0 0 20 0 1 0 329848842 154222592 36895 33554432000 4194304 8989770 140737446611328 140737446610824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 37652 36895 471 1171 0 36429 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 150608
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 2642
/proc/meminfo: memFree=28092260/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=191568 CPUtime=822.14 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 47254 0 0 0 82074 140 0 0 20 0 1 0 329848842 196165632 47135 33554432000 4194304 8989770 140737446611328 140737446610592 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 47892 47135 471 1171 0 46669 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 191568
[startup+882.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 2643
/proc/meminfo: memFree=28080108/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=202832 CPUtime=882.13 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 50070 0 0 0 88064 149 0 0 20 0 1 0 329848842 207699968 49951 33554432000 4194304 8989770 140737446611328 140737446610592 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 50708 49951 471 1171 0 49485 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 202832
[startup+942.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 2643
/proc/meminfo: memFree=28069568/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=212048 CPUtime=942.12 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 52374 0 0 0 94054 158 0 0 20 0 1 0 329848842 217137152 52255 33554432000 4194304 8989770 140737446611328 140737446610592 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 53012 52255 471 1171 0 51789 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 212048
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2643
/proc/meminfo: memFree=28058408/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=223312 CPUtime=1002.11 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 55190 0 0 0 100044 167 0 0 20 0 1 0 329848842 228671488 55071 33554432000 4194304 8989770 140737446611328 140737446610824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 55828 55071 471 1171 0 54605 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 223312
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2643
/proc/meminfo: memFree=28048364/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=233552 CPUtime=1062.1 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 57750 0 0 0 106035 175 0 0 20 0 1 0 329848842 239157248 57631 33554432000 4194304 8989770 140737446611328 140737446609280 6587776 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 58388 57631 471 1171 0 57165 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 233552
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2643
/proc/meminfo: memFree=28035776/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=244816 CPUtime=1122.09 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 60568 0 0 0 112024 185 0 0 20 0 1 0 329848842 250691584 60449 33554432000 4194304 8989770 140737446611328 140737446610824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 61204 60449 473 1171 0 59981 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 244816
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2647
/proc/meminfo: memFree=28033532/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=244816 CPUtime=1182.08 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 60570 0 0 0 118013 195 0 0 20 0 1 0 329848842 250691584 60449 33554432000 4194304 8989770 140737446611328 140737446610592 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 61204 60449 473 1171 0 59981 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 244816
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2670
/proc/meminfo: memFree=28027440/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=249936 CPUtime=1242.06 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 61859 0 0 0 124001 205 0 0 20 0 1 0 329848842 255934464 61729 33554432000 4194304 8989770 140737446611328 140737446610592 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 62484 61729 473 1171 0 61261 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 249936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2670
/proc/meminfo: memFree=28020132/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=255056 CPUtime=1302.06 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 63139 0 0 0 129990 216 0 0 20 0 1 0 329848842 261177344 63009 33554432000 4194304 8989770 140737446611328 140737446610592 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 63764 63009 473 1171 0 62541 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 255056
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2670
/proc/meminfo: memFree=28018148/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=255056 CPUtime=1362.05 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 63139 0 0 0 135981 224 0 0 20 0 1 0 329848842 261177344 63009 33554432000 4194304 8989770 140737446611328 140737446610592 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 63764 63009 473 1171 0 62541 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 255056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2670
/proc/meminfo: memFree=28015296/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=256080 CPUtime=1422.04 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 63395 0 0 0 141971 233 0 0 20 0 1 0 329848842 262225920 63265 33554432000 4194304 8989770 140737446611328 140737446610824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 64020 63265 473 1171 0 62797 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 256080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2671
/proc/meminfo: memFree=28006616/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=263248 CPUtime=1482.03 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 65187 0 0 0 147959 244 0 0 20 0 1 0 329848842 269565952 65057 33554432000 4194304 8989770 140737446611328 140737446610592 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 65812 65057 473 1171 0 64589 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 263248
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2710
/proc/meminfo: memFree=28711344/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=272464 CPUtime=1542.02 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 67491 0 0 0 153950 252 0 0 20 0 1 0 329848842 279003136 67361 33554432000 4194304 8989770 140737446611328 140737446610824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 68116 67361 473 1171 0 66893 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 272464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2710
/proc/meminfo: memFree=28700432/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=281680 CPUtime=1602.01 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 69795 0 0 0 159939 262 0 0 20 0 1 0 329848842 288440320 69665 33554432000 4194304 8989770 140737446611328 140737446610592 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 70420 69665 473 1171 0 69197 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 281680
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2710
/proc/meminfo: memFree=28689252/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=291920 CPUtime=1662 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 72355 0 0 0 165930 270 0 0 20 0 1 0 329848842 298926080 72225 33554432000 4194304 8989770 140737446611328 140737446610824 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 72980 72225 473 1171 0 71757 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 291920
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2710
/proc/meminfo: memFree=28672980/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=308304 CPUtime=1721.99 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 76451 0 0 0 171920 279 0 0 20 0 1 0 329848842 315703296 76321 33554432000 4194304 8989770 140737446611328 140737446610592 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 77076 76321 473 1171 0 75853 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 308304
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 2714
/proc/meminfo: memFree=28713616/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=267344 CPUtime=1781.98 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 76451 0 0 0 177912 286 0 0 20 0 1 0 329848842 273760256 66081 33554432000 4194304 8989770 140737446611328 140737446610824 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 66836 66081 473 1171 0 65613 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 267344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 2714
/proc/meminfo: memFree=28713988/32873844 swapFree=7380/7380
[pid=2636] ppid=2634 vsize=267344 CPUtime=1800.09 cores=1,3,5,7
/proc/2636/stat : 2636 (toysat) R 2634 2636 2131 0 -1 4202496 76451 0 0 0 179721 288 0 0 20 0 1 0 329848842 273760256 66081 33554432000 4194304 8989770 140737446611328 140737446609280 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2636/statm: 66836 66081 473 1171 0 65613 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 267344
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.1
CPU user time (s): 1797.21
CPU system time (s): 2.88756
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 308304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.21
system time used= 2.88756
maximum resident set size= 305284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76451
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= 54
involuntary context switches= 1856
runsolver used 3.52146 second user time and 10.7744 second system time
The end