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-3725434-1338640710/watcher-3725434-1338640710 -o /tmp/evaluation-result-3725434-1338640710/solver-3725434-1338640710 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725434-1338640710.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.96 3/176 21569
/proc/meminfo: memFree=31625436/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 802 0 0 0 0 0 0 0 20 0 1 0 330199595 6373376 722 33554432000 4194304 8989770 140734342162752 140734342145848 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 1556 726 425 1171 0 333 0
[startup+0.059894 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 21569
/proc/meminfo: memFree=31625436/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=10320 CPUtime=0.05 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 1829 0 0 0 5 0 0 0 20 0 1 0 330199595 10567680 1749 33554432000 4194304 8989770 140734342162752 140734342145848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 2580 1749 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320
[startup+0.100255 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 21569
/proc/meminfo: memFree=31625436/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 2369 0 0 0 9 0 0 0 20 0 1 0 330199595 12664832 2289 33554432000 4194304 8989770 140734342162752 140734342145848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 3092 2289 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300259 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 21569
/proc/meminfo: memFree=31625436/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=27728 CPUtime=0.28 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 6045 0 0 0 28 0 0 0 20 0 1 0 330199595 28393472 5965 33554432000 4194304 8989770 140734342162752 140734342145848 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 6932 5974 431 1171 0 5709 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27728
[startup+0.70024 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 21569
/proc/meminfo: memFree=31625436/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=41040 CPUtime=0.69 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 9559 0 0 0 68 1 0 0 20 0 1 0 330199595 42024960 9479 33554432000 4194304 8989770 140734342162752 140734342145848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 10260 9479 447 1171 0 9037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41040
[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.96 3/177 21570
/proc/meminfo: memFree=31589212/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=41040 CPUtime=1.48 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 9572 0 0 0 147 1 0 0 20 0 1 0 330199595 42024960 9492 33554432000 4194304 8989770 140734342162752 140734342162248 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 10260 9492 460 1171 0 9037 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41040
[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.96 3/177 21570
/proc/meminfo: memFree=31590624/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=41040 CPUtime=3.09 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 9585 0 0 0 307 2 0 0 20 0 1 0 330199595 42024960 9505 33554432000 4194304 8989770 140734342162752 140734342162248 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 10260 9505 473 1171 0 9037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41040
[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.96 3/177 21570
/proc/meminfo: memFree=31590500/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=42064 CPUtime=6.28 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 9841 0 0 0 625 3 0 0 20 0 1 0 330199595 43073536 9761 33554432000 4194304 8989770 140734342162752 140734342160768 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 10516 9761 473 1171 0 9293 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42064
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.96 3/177 21570
/proc/meminfo: memFree=31587036/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=45136 CPUtime=12.69 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 10609 0 0 0 1263 6 0 0 20 0 1 0 330199595 46219264 10529 33554432000 4194304 8989770 140734342162752 140734342162248 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45136
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.96 3/177 21570
/proc/meminfo: memFree=31582052/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=49232 CPUtime=25.48 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 11633 0 0 0 2539 9 0 0 20 0 1 0 330199595 50413568 11553 33554432000 4194304 8989770 140734342162752 140734342162016 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 12308 11553 473 1171 0 11085 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49232
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.96 3/177 21570
/proc/meminfo: memFree=31557344/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=58448 CPUtime=51.08 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 13937 0 0 0 5091 17 0 0 20 0 1 0 330199595 59850752 13857 33554432000 4194304 8989770 140734342162752 140734342160960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 14612 13857 473 1171 0 13389 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58448
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.96 3/178 21573
/proc/meminfo: memFree=31579876/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=74832 CPUtime=102.28 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 18038 0 0 0 10194 34 0 0 20 0 1 0 330199595 76627968 17953 33554432000 4194304 8989770 140734342162752 140734342162016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 18708 17953 473 1171 0 17485 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 74832
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 21574
/proc/meminfo: memFree=31514116/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=88144 CPUtime=162.25 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 21378 0 0 0 16171 54 0 0 20 0 1 0 330199595 90259456 21281 33554432000 4194304 8989770 140734342162752 140734342162248 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 22036 21281 473 1171 0 20813 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 88144
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 21574
/proc/meminfo: memFree=31477048/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=100432 CPUtime=222.25 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 24450 0 0 0 22150 75 0 0 20 0 1 0 330199595 102842368 24353 33554432000 4194304 8989770 140734342162752 140734342162016 4355564 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 25108 24353 473 1171 0 23885 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 100432
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 21574
/proc/meminfo: memFree=31446164/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=132176 CPUtime=282.23 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 32386 0 0 0 28127 96 0 0 20 0 1 0 330199595 135348224 32289 33554432000 4194304 8989770 140734342162752 140734342162248 4213718 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 33044 32289 473 1171 0 31821 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 132176
[startup+342.3 s]
/proc/loadavg: 2.03 2.00 1.97 3/177 21574
/proc/meminfo: memFree=31421660/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=172112 CPUtime=342.22 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 42370 0 0 0 34107 115 0 0 20 0 1 0 330199595 176242688 42273 33554432000 4194304 8989770 140734342162752 140734342162016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 43028 42273 473 1171 0 41805 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 172112
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 21574
/proc/meminfo: memFree=31434020/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=217168 CPUtime=402.21 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 53653 0 0 0 40086 135 0 0 20 0 1 0 330199595 222380032 53539 33554432000 4194304 8989770 140734342162752 140734342162248 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 54292 53539 475 1171 0 53069 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 217168
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21576
/proc/meminfo: memFree=31377108/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=219216 CPUtime=462.19 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 54167 0 0 0 46065 154 0 0 20 0 1 0 330199595 224477184 54051 33554432000 4194304 8989770 140734342162752 140734342162016 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 54804 54051 475 1171 0 53581 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 219216
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21576
/proc/meminfo: memFree=31374592/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=244816 CPUtime=522.19 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 60567 0 0 0 52044 175 0 0 20 0 1 0 330199595 250691584 60451 33554432000 4194304 8989770 140734342162752 140734342162016 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 61204 60451 475 1171 0 59981 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 244816
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21614
/proc/meminfo: memFree=31375192/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=269392 CPUtime=582.18 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 66711 0 0 0 58025 193 0 0 20 0 1 0 330199595 275857408 66595 33554432000 4194304 8989770 140734342162752 140734342162248 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 67348 66595 475 1171 0 66125 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 269392
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21618
/proc/meminfo: memFree=31360616/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=267344 CPUtime=822.14 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 69528 0 0 0 81960 254 0 0 20 0 1 0 330199595 273760256 66083 33554432000 4194304 8989770 140734342162752 140734342162248 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 66836 66083 475 1171 0 65613 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 267344
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21618
/proc/meminfo: memFree=31387352/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=238672 CPUtime=882.13 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 69528 0 0 0 87949 264 0 0 20 0 1 0 330199595 244400128 58915 33554432000 4194304 8989770 140734342162752 140734342162248 4469772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 59668 58915 475 1171 0 58445 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 238672
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21618
/proc/meminfo: memFree=31384252/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=238672 CPUtime=942.13 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 69528 0 0 0 93935 278 0 0 20 0 1 0 330199595 244400128 58915 33554432000 4194304 8989770 140734342162752 140734342162248 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 59668 58915 475 1171 0 58445 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 238672
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21618
/proc/meminfo: memFree=31375188/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=245840 CPUtime=1002.11 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 71323 0 0 0 99916 295 0 0 20 0 1 0 330199595 251740160 60707 33554432000 4194304 8989770 140734342162752 140734342162016 6557524 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 61460 60707 475 1171 0 60237 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 245840
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21618
/proc/meminfo: memFree=31357704/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=263248 CPUtime=1062.1 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 75675 0 0 0 105899 311 0 0 20 0 1 0 330199595 269565952 65059 33554432000 4194304 8989770 140734342162752 140734342162248 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 65812 65059 475 1171 0 64589 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 263248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21619
/proc/meminfo: memFree=31359124/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=259152 CPUtime=1122.09 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 75675 0 0 0 111883 326 0 0 20 0 1 0 330199595 265371648 64035 33554432000 4194304 8989770 140734342162752 140734342162016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 64788 64035 475 1171 0 63565 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 259152
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/177 21619
/proc/meminfo: memFree=31372592/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=242768 CPUtime=1182.08 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 75675 0 0 0 117868 340 0 0 20 0 1 0 330199595 248594432 59939 33554432000 4194304 8989770 140734342162752 140734342162248 4380995 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 60692 59939 475 1171 0 59469 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 242768
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 21619
/proc/meminfo: memFree=31372072/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=242768 CPUtime=1242.07 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 75679 0 0 0 123851 356 0 0 20 0 1 0 330199595 248594432 59939 33554432000 4194304 8989770 140734342162752 140734342160704 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 60692 59939 475 1171 0 59469 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 242768
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 21622
/proc/meminfo: memFree=31364368/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=248912 CPUtime=1302.07 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 77215 0 0 0 129837 370 0 0 20 0 1 0 330199595 254885888 61475 33554432000 4194304 8989770 140734342162752 140734342162248 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 62228 61475 475 1171 0 61005 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 248912
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21645
/proc/meminfo: memFree=31359672/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=253008 CPUtime=1362.05 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 78239 0 0 0 135818 387 0 0 20 0 1 0 330199595 259080192 62499 33554432000 4194304 8989770 140734342162752 140734342162016 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 63252 62499 475 1171 0 62029 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 253008
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.98 3/177 21646
/proc/meminfo: memFree=31352536/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=257104 CPUtime=1422.05 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 79263 0 0 0 141802 403 0 0 20 0 1 0 330199595 263274496 63523 33554432000 4194304 8989770 140734342162752 140734342160704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 64276 63523 475 1171 0 63053 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 257104
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 21646
/proc/meminfo: memFree=31350304/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=257104 CPUtime=1482.04 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 79263 0 0 0 147787 417 0 0 20 0 1 0 330199595 263274496 63523 33554432000 4194304 8989770 140734342162752 140734342162248 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 64276 63523 475 1171 0 63053 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 257104
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 21646
/proc/meminfo: memFree=31338508/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=266320 CPUtime=1542.02 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 81571 0 0 0 153771 431 0 0 20 0 1 0 330199595 272711680 65827 33554432000 4194304 8989770 140734342162752 140734342162248 6547432 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 66580 65827 475 1171 0 65357 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 266320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21646
/proc/meminfo: memFree=31328216/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=276560 CPUtime=1602.01 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 84131 0 0 0 159756 445 0 0 20 0 1 0 330199595 283197440 68387 33554432000 4194304 8989770 140734342162752 140734342162248 4213815 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 69140 68387 475 1171 0 67917 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 276560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21646
/proc/meminfo: memFree=31325976/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=276560 CPUtime=1662.01 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 84131 0 0 0 165743 458 0 0 20 0 1 0 330199595 283197440 68387 33554432000 4194304 8989770 140734342162752 140734342162248 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 69140 68387 475 1171 0 67917 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 276560
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 21647
/proc/meminfo: memFree=31323000/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=276560 CPUtime=1721.99 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 84131 0 0 0 171727 472 0 0 20 0 1 0 330199595 283197440 68387 33554432000 4194304 8989770 140734342162752 140734342162016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 69140 68387 475 1171 0 67917 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 276560
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 21647
/proc/meminfo: memFree=31322492/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=276560 CPUtime=1781.99 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 84131 0 0 0 177712 487 0 0 20 0 1 0 330199595 283197440 68387 33554432000 4194304 8989770 140734342162752 140734342162016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 69140 68387 475 1171 0 67917 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 276560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 1.98 4/177 21647
/proc/meminfo: memFree=31354564/32873844 swapFree=7116/7116
[pid=21569] ppid=21567 vsize=242768 CPUtime=1800.09 cores=1,3,5,7
/proc/21569/stat : 21569 (toysat) R 21567 21569 20708 0 -1 4202496 84133 0 0 0 179519 490 0 0 20 0 1 0 330199595 248594432 59939 33554432000 4194304 8989770 140734342162752 140734342160704 6556481 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21569/statm: 60692 59939 475 1171 0 59469 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 242768
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): 1795.19
CPU system time (s): 4.90725
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 276560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 4.90725
maximum resident set size= 273548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84133
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= 53
involuntary context switches= 1874
runsolver used 3.66044 second user time and 9.99548 second system time
The end