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-3724456-1338644338/watcher-3724456-1338644338 -o /tmp/evaluation-result-3724456-1338644338/solver-3724456-1338644338 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724456-1338644338.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.99 1.99 2/176 17070
/proc/meminfo: memFree=26988012/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 330562308 6373376 741 33554432000 4194304 8989770 140734824280688 140737182511784 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 1556 741 428 1171 0 333 0
[startup+0.08382 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 17070
/proc/meminfo: memFree=26988012/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=11344 CPUtime=0.07 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 2038 0 0 0 7 0 0 0 20 0 1 0 330562308 11616256 1959 33554432000 4194304 8989770 140734824280688 140737182511784 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 2836 1959 429 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344
[startup+0.10028 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 17070
/proc/meminfo: memFree=26988012/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 2369 0 0 0 9 0 0 0 20 0 1 0 330562308 12664832 2290 33554432000 4194304 8989770 140734824280688 140737182511784 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 3092 2290 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300235 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 17070
/proc/meminfo: memFree=26988012/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=22608 CPUtime=0.29 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 4930 0 0 0 28 1 0 0 20 0 1 0 330562308 23150592 4851 33554432000 4194304 8989770 140734824280688 140737182511784 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 5652 4851 431 1171 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22608
[startup+0.700236 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 17070
/proc/meminfo: memFree=26988012/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=46160 CPUtime=0.68 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 10848 0 0 0 66 2 0 0 20 0 1 0 330562308 47267840 10769 33554432000 4194304 8989770 140734824280688 140734824280184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 11540 10769 455 1171 0 10317 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46160
[startup+1.50025 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 17071
/proc/meminfo: memFree=26942868/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=50256 CPUtime=1.48 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 11876 0 0 0 146 2 0 0 20 0 1 0 330562308 51462144 11797 33554432000 4194304 8989770 140734824280688 140734824280184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 12564 11797 459 1171 0 11341 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 50256
[startup+3.10025 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 17071
/proc/meminfo: memFree=26942224/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=50256 CPUtime=3.09 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 11876 0 0 0 306 3 0 0 20 0 1 0 330562308 51462144 11797 33554432000 4194304 8989770 140734824280688 140734824279952 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 12564 11797 459 1171 0 11341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50256
[startup+6.30023 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 17071
/proc/meminfo: memFree=26942224/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=52304 CPUtime=6.29 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 12286 0 0 0 625 4 0 0 20 0 1 0 330562308 53559296 12207 33554432000 4194304 8989770 140734824280688 140734824280184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 13076 12207 459 1171 0 11853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52304
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 17071
/proc/meminfo: memFree=26934808/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=59472 CPUtime=12.69 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 13943 0 0 0 1264 5 0 0 20 0 1 0 330562308 60899328 13864 33554432000 4194304 8989770 140734824280688 140734824280184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 14868 13864 459 1171 0 13645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59472
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 17071
/proc/meminfo: memFree=26915960/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=77904 CPUtime=25.49 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 18598 0 0 0 2540 9 0 0 20 0 1 0 330562308 79773696 18519 33554432000 4194304 8989770 140734824280688 140734824280184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 19476 18519 459 1171 0 18253 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77904
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 17071
/proc/meminfo: memFree=26885208/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=108624 CPUtime=51.08 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 26468 0 0 0 5093 15 0 0 20 0 1 0 330562308 111230976 26389 33554432000 4194304 8989770 140734824280688 140734824280184 4355564 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 27156 26389 459 1171 0 25933 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 108624
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 17074
/proc/meminfo: memFree=26824124/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=164944 CPUtime=102.28 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 40550 0 0 0 10200 28 0 0 20 0 1 0 330562308 168902656 40469 33554432000 4194304 8989770 140734824280688 140734824280184 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 41236 40469 459 1171 0 40013 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 164944
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26787952/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=200784 CPUtime=162.22 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 49553 0 0 0 16178 44 0 0 20 0 1 0 330562308 205602816 49431 33554432000 4194304 8989770 140734824280688 140734824280184 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 50196 49431 461 1171 0 48973 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 200784
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26784328/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=204880 CPUtime=222.18 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 50596 0 0 0 22158 60 0 0 20 0 1 0 330562308 209797120 50446 33554432000 4194304 8989770 140734824280688 140734824279952 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 51220 50446 461 1171 0 49997 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 204880
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26749360/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=242768 CPUtime=282.18 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 59885 0 0 0 28141 77 0 0 20 0 1 0 330562308 248594432 59735 33554432000 4194304 8989770 140734824280688 140734824278656 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 60692 59735 461 1171 0 59469 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 242768
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26737208/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=251984 CPUtime=342.16 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 62381 0 0 0 34123 93 0 0 20 0 1 0 330562308 258031616 62231 33554432000 4194304 8989770 140734824280688 140734824278656 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 62996 62231 461 1171 0 61773 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 251984
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17075
/proc/meminfo: memFree=26723196/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=266320 CPUtime=402.15 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 65965 0 0 0 40108 107 0 0 20 0 1 0 330562308 272711680 65815 33554432000 4194304 8989770 140734824280688 140734824279952 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 66580 65815 461 1171 0 65357 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 266320
[startup+462.3 s]
/proc/loadavg: 1.96 1.97 1.99 3/177 17153
/proc/meminfo: memFree=26845688/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=284752 CPUtime=462.14 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 70520 0 0 0 46092 122 0 0 20 0 1 0 330562308 291586048 70367 33554432000 4194304 8989770 140734824280688 140734824279952 4389064 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 71188 70367 461 1171 0 69965 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 284752
[startup+522.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 17153
/proc/meminfo: memFree=26824700/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=298064 CPUtime=522.12 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 73689 0 0 0 52074 138 0 0 20 0 1 0 330562308 305217536 73511 33554432000 4194304 8989770 140734824280688 140734824279952 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 74516 73511 461 1171 0 73293 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 298064
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 17153
/proc/meminfo: memFree=26816912/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=314448 CPUtime=582.11 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 77811 0 0 0 58061 150 0 0 20 0 1 0 330562308 321994752 77633 33554432000 4194304 8989770 140734824280688 140734824280184 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 78612 77633 461 1171 0 77389 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 314448
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 17157
/proc/meminfo: memFree=26800688/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=822.06 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 82015 191 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824279952 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 327760
[startup+882.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 17157
/proc/meminfo: memFree=26803852/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=882.05 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 88005 200 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824279952 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 327760
[startup+942.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 17157
/proc/meminfo: memFree=26802736/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=942.05 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 93995 210 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824279952 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 327760
[startup+1002.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/177 17157
/proc/meminfo: memFree=26802700/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=1002.03 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 99983 220 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824280184 4209332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 327760
[startup+1062.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/177 17157
/proc/meminfo: memFree=26802824/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=1062.02 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 105971 231 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824279952 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 327760
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 17158
/proc/meminfo: memFree=26802700/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=1122.01 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 111959 242 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824279952 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 327760
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 17158
/proc/meminfo: memFree=26802328/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=1182 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 117946 254 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824279952 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 327760
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 17158
/proc/meminfo: memFree=26802328/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=1241.99 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 123935 264 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824280184 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 327760
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 17161
/proc/meminfo: memFree=26801080/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=327760 CPUtime=1302 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 81361 0 0 0 129927 273 0 0 20 0 1 0 330562308 335626240 81175 33554432000 4194304 8989770 140734824280688 140734824280184 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 81940 81175 461 1171 0 80717 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 327760
[startup+1362.3 s]
/proc/loadavg: 2.13 2.02 2.00 3/178 17184
/proc/meminfo: memFree=26795872/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=332880 CPUtime=1361.98 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 82545 0 0 0 135916 282 0 0 20 0 1 0 330562308 340869120 82359 33554432000 4194304 8989770 140734824280688 140734824279952 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 83220 82359 461 1171 0 81997 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 332880
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 17185
/proc/meminfo: memFree=26783900/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=345168 CPUtime=1421.97 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 85569 0 0 0 141907 290 0 0 20 0 1 0 330562308 353452032 85382 33554432000 4194304 8989770 140734824280688 140734824279952 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 86292 85382 461 1171 0 85069 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 345168
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 17185
/proc/meminfo: memFree=26761332/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=367696 CPUtime=1481.96 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 91195 0 0 0 147897 299 0 0 20 0 1 0 330562308 376520704 91008 33554432000 4194304 8989770 140734824280688 140734824280184 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 91924 91008 461 1171 0 90701 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 367696
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17185
/proc/meminfo: memFree=26755380/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=372816 CPUtime=1541.95 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 92626 0 0 0 153887 308 0 0 20 0 1 0 330562308 381763584 92439 33554432000 4194304 8989770 140734824280688 140734824279952 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 93204 92439 461 1171 0 91981 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 372816
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17185
/proc/meminfo: memFree=26755132/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=372816 CPUtime=1601.94 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 92626 0 0 0 159875 319 0 0 20 0 1 0 330562308 381763584 92439 33554432000 4194304 8989770 140734824280688 140734824280184 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 93204 92439 461 1171 0 91981 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 372816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17185
/proc/meminfo: memFree=26754792/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=372816 CPUtime=1661.93 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 92628 0 0 0 165862 331 0 0 20 0 1 0 330562308 381763584 92439 33554432000 4194304 8989770 140734824280688 140734824280184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 93204 92439 461 1171 0 91981 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 372816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17186
/proc/meminfo: memFree=26754668/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=372816 CPUtime=1721.92 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 92628 0 0 0 171852 340 0 0 20 0 1 0 330562308 381763584 92439 33554432000 4194304 8989770 140734824280688 140734824262656 6587776 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 93204 92439 461 1171 0 91981 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 372816
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17186
/proc/meminfo: memFree=26753924/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=372816 CPUtime=1781.91 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 92628 0 0 0 177841 350 0 0 20 0 1 0 330562308 381763584 92439 33554432000 4194304 8989770 140734824280688 140734824279952 4378433 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 93204 92439 461 1171 0 91981 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 372816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17186
/proc/meminfo: memFree=26754296/32873844 swapFree=7628/7628
[pid=17070] ppid=17068 vsize=372816 CPUtime=1800.02 cores=1,3,5,7
/proc/17070/stat : 17070 (toysat) R 17068 17070 15996 0 -1 4202496 92628 0 0 0 179649 353 0 0 20 0 1 0 330562308 381763584 92439 33554432000 4194304 8989770 140734824280688 140734824279952 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17070/statm: 93204 92439 461 1171 0 91981 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 372816
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.03
CPU user time (s): 1796.49
CPU system time (s): 3.53346
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 372816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.49
system time used= 3.53346
maximum resident set size= 369756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92628
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= 113
involuntary context switches= 1850
runsolver used 3.71143 second user time and 9.46356 second system time
The end