runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4120841-1467311238/watcher-4120841-1467311238 -o /tmp/evaluation-result-4120841-1467311238/solver-4120841-1467311238 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467308555-17596 --watchdog 1960 -S 80 minisatp HOME/instance-4120841-1467311238.opb
pid=19174
running on 4 cores: 0,2,4,6
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 Stack size limit: 81920 KiB
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: 81920 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.23 2.16 3/178 19177
/proc/meminfo: memFree=28321912/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=1984 CPUtime=0 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 12076496 2031616 224 33554432000 4194304 5646918 140737020314048 140733774502744 4397533 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 496 224 135 355 0 137 0
[startup+0.100198 s]
/proc/loadavg: 2.25 2.23 2.16 3/178 19177
/proc/meminfo: memFree=28321912/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2116 CPUtime=0.09 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 373 0 0 0 9 0 0 0 20 0 1 0 12076496 2166784 244 33554432000 4194304 5646918 140737020314048 140733774502744 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 529 244 136 355 0 170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2116
[startup+0.200285 s]
/proc/loadavg: 2.25 2.23 2.16 3/178 19177
/proc/meminfo: memFree=28321912/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2116 CPUtime=0.19 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 381 0 0 0 19 0 0 0 20 0 1 0 12076496 2166784 252 33554432000 4194304 5646918 140737020314048 140733774502744 4400466 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 529 252 136 355 0 170 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2116
[startup+0.30028 s]
/proc/loadavg: 2.25 2.23 2.16 3/178 19177
/proc/meminfo: memFree=28321912/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2116 CPUtime=0.29 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 396 0 0 0 29 0 0 0 20 0 1 0 12076496 2166784 267 33554432000 4194304 5646918 140737020314048 140733774502744 4403118 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 529 267 136 355 0 170 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2116
[startup+0.700228 s]
/proc/loadavg: 2.25 2.23 2.16 3/178 19177
/proc/meminfo: memFree=28321912/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2256 CPUtime=0.69 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 410 0 0 0 69 0 0 0 20 0 1 0 12076496 2310144 281 33554432000 4194304 5646918 140737020314048 140733774502744 4411115 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 564 281 136 355 0 205 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2256
[startup+1.50027 s]
/proc/loadavg: 2.25 2.23 2.16 3/179 19178
/proc/meminfo: memFree=28320788/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2256 CPUtime=1.49 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 425 0 0 0 149 0 0 0 20 0 1 0 12076496 2310144 296 33554432000 4194304 5646918 140737020314048 140737020312312 4403118 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 564 296 136 355 0 205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2256
[startup+3.10028 s]
/proc/loadavg: 2.25 2.23 2.16 3/179 19178
/proc/meminfo: memFree=28320152/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2412 CPUtime=3.09 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 452 0 0 0 309 0 0 0 20 0 1 0 12076496 2469888 323 33554432000 4194304 5646918 140737020314048 140737020312312 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 603 323 136 355 0 244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2412
[startup+6.30026 s]
/proc/loadavg: 2.31 2.25 2.17 3/179 19178
/proc/meminfo: memFree=28320160/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2544 CPUtime=6.29 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 475 0 0 0 629 0 0 0 20 0 1 0 12076496 2605056 346 33554432000 4194304 5646918 140737020314048 140737020312296 4415547 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 636 346 136 355 0 277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2544
[startup+12.7003 s]
/proc/loadavg: 2.29 2.24 2.17 3/179 19178
/proc/meminfo: memFree=28319780/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2700 CPUtime=12.69 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 538 0 0 0 1269 0 0 0 20 0 1 0 12076496 2764800 408 33554432000 4194304 5646918 140737020314048 140737020312312 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 675 408 136 355 0 316 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2700
[startup+25.5002 s]
/proc/loadavg: 2.22 2.23 2.17 3/179 19234
/proc/meminfo: memFree=28318812/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=2864 CPUtime=25.49 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 572 0 0 0 2549 0 0 0 20 0 1 0 12076496 2932736 441 33554432000 4194304 5646918 140737020314048 140737020312312 4399695 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 716 441 136 355 0 357 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2864
[startup+51.1002 s]
/proc/loadavg: 2.21 2.23 2.17 3/179 19234
/proc/meminfo: memFree=28318244/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=3016 CPUtime=51.09 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 625 0 0 0 5109 0 0 0 20 0 1 0 12076496 3088384 492 33554432000 4194304 5646918 140737020314048 140737020312312 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 754 492 136 355 0 395 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3016
[startup+102.3 s]
/proc/loadavg: 2.25 2.24 2.17 3/179 19235
/proc/meminfo: memFree=28317852/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=3448 CPUtime=102.29 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 721 0 0 0 10229 0 0 0 20 0 1 0 12076496 3530752 587 33554432000 4194304 5646918 140737020314048 140737020312312 4410826 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 862 587 136 355 0 503 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 3448
[startup+162.3 s]
/proc/loadavg: 2.14 2.20 2.17 3/179 19236
/proc/meminfo: memFree=28317604/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=3908 CPUtime=162.27 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 794 0 0 0 16227 0 0 0 20 0 1 0 12076496 4001792 657 33554432000 4194304 5646918 140737020314048 140737020312296 4402806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 977 657 136 355 0 618 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3908
[startup+222.307 s]
/proc/loadavg: 2.22 2.21 2.17 4/180 19241
/proc/meminfo: memFree=28317140/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=3908 CPUtime=222.27 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 808 0 0 0 22227 0 0 0 20 0 1 0 12076496 4001792 671 33554432000 4194304 5646918 140737020314048 140737020312296 4403187 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 977 671 136 355 0 618 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 3908
[startup+282.3 s]
/proc/loadavg: 2.17 2.20 2.17 3/179 19242
/proc/meminfo: memFree=28316780/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=3908 CPUtime=282.25 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 809 0 0 0 28225 0 0 0 20 0 1 0 12076496 4001792 672 33554432000 4194304 5646918 140737020314048 140737020312296 4389083 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 977 672 136 355 0 618 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3908
[startup+342.3 s]
/proc/loadavg: 2.14 2.18 2.16 3/179 19243
/proc/meminfo: memFree=28316168/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4044 CPUtime=342.24 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 878 0 0 0 34224 0 0 0 20 0 1 0 12076496 4141056 740 33554432000 4194304 5646918 140737020314048 140737020312312 4398960 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1011 740 136 355 0 652 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4044
[startup+402.3 s]
/proc/loadavg: 2.22 2.19 2.17 4/179 19244
/proc/meminfo: memFree=28315556/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4304 CPUtime=402.23 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 939 0 0 0 40223 0 0 0 20 0 1 0 12076496 4407296 799 33554432000 4194304 5646918 140737020314048 140737020312312 4402815 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1076 799 136 355 0 717 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 4304
[startup+462.3 s]
/proc/loadavg: 2.35 2.23 2.18 3/179 19245
/proc/meminfo: memFree=28315548/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4304 CPUtime=462.22 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 949 0 0 0 46222 0 0 0 20 0 1 0 12076496 4407296 809 33554432000 4194304 5646918 140737020314048 140737020312312 4402776 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1076 809 136 355 0 717 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 4304
[startup+522.3 s]
/proc/loadavg: 2.41 2.26 2.19 3/179 19247
/proc/meminfo: memFree=28315064/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=522.21 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1007 0 0 0 52221 0 0 0 20 0 1 0 12076496 4669440 867 33554432000 4194304 5646918 140737020314048 140737020312312 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 867 136 355 0 781 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 4560
[startup+582.3 s]
/proc/loadavg: 2.33 2.26 2.19 3/179 19248
/proc/meminfo: memFree=28315188/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=582.2 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1007 0 0 0 58220 0 0 0 20 0 1 0 12076496 4669440 867 33554432000 4194304 5646918 140737020314048 140737020312312 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 867 136 355 0 781 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 4560
[startup+642.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/179 19249
/proc/meminfo: memFree=28314936/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=642.2 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1007 0 0 0 64220 0 0 0 20 0 1 0 12076496 4669440 867 33554432000 4194304 5646918 140737020314048 140737020312312 4398897 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 867 136 355 0 781 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 4560
[startup+702.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 19250
/proc/meminfo: memFree=28315184/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=702.19 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1007 0 0 0 70219 0 0 0 20 0 1 0 12076496 4669440 867 33554432000 4194304 5646918 140737020314048 140737020312312 4422741 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 867 136 355 0 781 0
Current children cumulated CPU time (s) 702.19
Current children cumulated vsize (KiB) 4560
[startup+762.3 s]
/proc/loadavg: 2.24 2.24 2.18 4/179 19251
/proc/meminfo: memFree=28314940/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=762.18 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1016 0 0 0 76218 0 0 0 20 0 1 0 12076496 4669440 875 33554432000 4194304 5646918 140737020314048 140737020312312 4400009 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 875 136 355 0 781 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 4560
[startup+822.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/180 19256
/proc/meminfo: memFree=28314648/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=822.17 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1017 0 0 0 82217 0 0 0 20 0 1 0 12076496 4669440 876 33554432000 4194304 5646918 140737020314048 140737020312312 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 876 136 355 0 781 0
Current children cumulated CPU time (s) 822.17
Current children cumulated vsize (KiB) 4560
[startup+882.307 s]
/proc/loadavg: 2.25 2.24 2.18 3/179 19257
/proc/meminfo: memFree=28314412/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=882.16 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1019 0 0 0 88216 0 0 0 20 0 1 0 12076496 4669440 878 33554432000 4194304 5646918 140737020314048 140737020312312 4402778 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 878 136 355 0 781 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 4560
[startup+942.3 s]
/proc/loadavg: 2.30 2.25 2.19 4/179 19258
/proc/meminfo: memFree=28314288/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=942.15 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1019 0 0 0 94215 0 0 0 20 0 1 0 12076496 4669440 878 33554432000 4194304 5646918 140737020314048 140737020312312 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 878 136 355 0 781 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 4560
[startup+1002.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/179 19259
/proc/meminfo: memFree=28314168/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=1002.14 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1019 0 0 0 100214 0 0 0 20 0 1 0 12076496 4669440 878 33554432000 4194304 5646918 140737020314048 140737020312312 4452258 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 878 136 355 0 781 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 4560
[startup+1062.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 19260
/proc/meminfo: memFree=28314168/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4560 CPUtime=1062.13 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1019 0 0 0 106213 0 0 0 20 0 1 0 12076496 4669440 878 33554432000 4194304 5646918 140737020314048 140737020312312 4403187 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1140 878 136 355 0 781 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 4560
[startup+1122.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/179 19262
/proc/meminfo: memFree=28314348/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4700 CPUtime=1122.12 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1047 0 0 0 112212 0 0 0 20 0 1 0 12076496 4812800 905 33554432000 4194304 5646918 140737020314048 140737020312312 4400032 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1175 905 136 355 0 816 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 4700
[startup+1182.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 19263
/proc/meminfo: memFree=28313852/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1182.11 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 118211 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4402774 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4940
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19177 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 19263
/proc/meminfo: memFree=28313728/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1190.21 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 119021 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1190.21
Current children cumulated vsize (KiB) 4940
[startup+1193.61 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 19263
/proc/meminfo: memFree=28313728/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1193.42 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 119342 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1193.42
Current children cumulated vsize (KiB) 4940
[startup+1196.8 s]
/proc/loadavg: 2.16 2.22 2.18 4/179 19263
/proc/meminfo: memFree=28313728/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1196.62 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 119662 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4399330 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1196.62
Current children cumulated vsize (KiB) 4940
[startup+1197.6 s]
/proc/loadavg: 2.16 2.22 2.18 4/179 19263
/proc/meminfo: memFree=28313728/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1197.41 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 119741 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4403225 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1197.41
Current children cumulated vsize (KiB) 4940
[startup+1198.01 s]
/proc/loadavg: 2.16 2.22 2.18 4/179 19263
/proc/meminfo: memFree=28313728/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1197.82 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 119782 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4396683 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1197.82
Current children cumulated vsize (KiB) 4940
[startup+1198.4 s]
/proc/loadavg: 2.16 2.22 2.18 4/179 19263
/proc/meminfo: memFree=28313728/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1198.21 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 119821 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1198.21
Current children cumulated vsize (KiB) 4940
[startup+1198.5 s]
/proc/loadavg: 2.16 2.22 2.18 4/179 19263
/proc/meminfo: memFree=28313728/32872528 swapFree=1515120/1684772
[pid=19177] ppid=19174 vsize=4940 CPUtime=1198.31 cores=0,2,4,6
/proc/19177/stat : 19177 (minisatp) R 19174 19177 17580 0 -1 4202496 1052 0 0 0 119831 0 0 0 20 0 1 0 12076496 5058560 910 33554432000 4194304 5646918 140737020314048 140737020312296 4396752 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19177/statm: 1235 910 136 355 0 876 0
Current children cumulated CPU time (s) 1198.31
Current children cumulated vsize (KiB) 4940
Child status: 0
Real time (s): 1198.56
CPU time (s): 1198.37
CPU user time (s): 1198.37
CPU system time (s): 0.002999
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 4940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.37
system time used= 0.002999
maximum resident set size= 3684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1063
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= 1
involuntary context switches= 1234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36634 second user time and 5.50216 second system time
The end