runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453703-1307194063/watcher-3453703-1307194063 -o /tmp/evaluation-result-3453703-1307194063/solver-3453703-1307194063 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453703-1307194063.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.84 3.68 3.62 3/502 18143
/proc/meminfo: memFree=27120116/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 5906 0 1 0 0 0 0 0 25 0 2 0 831005958 10694979584 5608 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2611079 5622 917 9 0 2602235 0
[pid=18143/tid=18144] ppid=18141 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) R 18141 18143 13533 0 -1 4202560 6833 0 1 0 0 0 0 0 25 0 2 0 831005958 10694979584 7649 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0639789 s]
/proc/loadavg: 2.84 3.68 3.62 3/502 18143
/proc/meminfo: memFree=27120116/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 11680 0 1 0 4 1 0 0 25 0 18 0 831005958 10724274176 11377 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2618231 11378 1733 9 0 2608972 0
[pid=18143/tid=18144] ppid=18141 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) R 18141 18143 13533 0 -1 4202560 10507 0 1 0 4 1 0 0 25 0 18 0 831005958 10724274176 11379 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 47965565546501 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100971 s]
/proc/loadavg: 2.84 3.68 3.62 3/502 18143
/proc/meminfo: memFree=27120116/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10540288 CPUtime=0.1 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 13121 0 1 0 9 1 0 0 25 0 18 0 831005958 10793254912 12782 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2635072 12783 2093 9 0 2625806 0
[pid=18143/tid=18144] ppid=18141 vsize=10540288 CPUtime=0.08 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) R 18141 18143 13533 0 -1 4202560 11152 0 1 0 7 1 0 0 18 0 18 0 831005958 10793254912 12783 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208079893537 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540288
[startup+0.313981 s]
/proc/loadavg: 2.84 3.68 3.62 3/502 18143
/proc/meminfo: memFree=27120116/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10547684 CPUtime=0.6 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 16639 0 1 0 58 2 0 0 25 0 22 0 831005958 10800828416 15113 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2636921 15113 2192 9 0 2627655 0
[pid=18143/tid=18144] ppid=18141 vsize=10547684 CPUtime=0.15 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) S 18141 18143 13533 0 -1 4202560 11754 0 1 0 14 1 0 0 19 0 22 0 831005958 10800828416 15113 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10547684
[startup+0.702262 s]
/proc/loadavg: 2.84 3.68 3.62 3/502 18143
/proc/meminfo: memFree=27120116/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10559640 CPUtime=2.14 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 37660 0 1 0 210 4 0 0 25 0 22 0 831005958 10813071360 31791 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2639910 31791 2230 9 0 2630644 0
[pid=18143/tid=18144] ppid=18141 vsize=10559640 CPUtime=0.15 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) S 18141 18143 13533 0 -1 4202560 11754 0 1 0 14 1 0 0 15 0 22 0 831005958 10813071360 31791 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 10559640
[startup+1.50078 s]
/proc/loadavg: 3.09 3.72 3.63 3/518 18165
/proc/meminfo: memFree=26804916/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10560536 CPUtime=3.21 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 56440 0 1 0 314 7 0 0 25 0 19 0 831005958 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2640134 45302 2250 9 0 2630868 0
[pid=18143/tid=18144] ppid=18141 vsize=10560536 CPUtime=0.15 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) S 18141 18143 13533 0 -1 4202560 11754 0 1 0 14 1 0 0 16 0 19 0 831005958 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18146] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18146/stat : 18146 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18147] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18147/stat : 18147 (java) S 18141 18143 13533 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18148] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18148/stat : 18148 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18149] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18149/stat : 18149 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18150] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18150/stat : 18150 (java) S 18141 18143 13533 0 -1 4202560 28 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18151] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18151/stat : 18151 (java) S 18141 18143 13533 0 -1 4202560 95 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18152] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18152/stat : 18152 (java) S 18141 18143 13533 0 -1 4202560 74 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18153] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18153/stat : 18153 (java) S 18141 18143 13533 0 -1 4202560 270 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18154] ppid=18141 vsize=10560536 CPUtime=0.01 cores=1,3,5,7
/proc/18143/task/18154/stat : 18154 (java) S 18141 18143 13533 0 -1 4202560 471 0 0 0 1 0 0 0 19 0 19 0 831005961 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 0 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18155] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18155/stat : 18155 (java) S 18141 18143 13533 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 831005962 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18156] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18156/stat : 18156 (java) S 18141 18143 13533 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 831005962 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18157] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831005964 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092055985 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18158] ppid=18141 vsize=10560536 CPUtime=0.86 cores=1,3,5,7
/proc/18143/task/18158/stat : 18158 (java) S 18141 18143 13533 0 -1 4202560 10441 0 0 0 85 1 0 0 24 0 19 0 831005964 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 7 0 0 0
[pid=18143/tid=18159] ppid=18141 vsize=10560536 CPUtime=0.9 cores=1,3,5,7
/proc/18143/task/18159/stat : 18159 (java) S 18141 18143 13533 0 -1 4202560 9004 0 0 0 90 0 0 0 25 0 19 0 831005964 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 3 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831005964 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18161] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18161/stat : 18161 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831005964 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 7 0 0 0
[pid=18143/tid=18165] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18165/stat : 18165 (java) S 18141 18143 13533 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831005975 10813988864 45302 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 10560536
Solver just ended. Dumping a history of the last processes samples
[startup+2.30162 s]
/proc/loadavg: 3.09 3.72 3.63 3/521 18177
/proc/meminfo: memFree=26599672/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10560536 CPUtime=3.32 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 60844 0 1 0 324 8 0 0 25 0 19 0 831005958 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2640134 49705 2250 9 0 2630868 0
[pid=18143/tid=18144] ppid=18141 vsize=10560536 CPUtime=0.15 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) S 18141 18143 13533 0 -1 4202560 11755 0 1 0 14 1 0 0 16 0 19 0 831005958 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18146] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18146/stat : 18146 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18147] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18147/stat : 18147 (java) S 18141 18143 13533 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18148] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18148/stat : 18148 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18149] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18149/stat : 18149 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18150] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18150/stat : 18150 (java) S 18141 18143 13533 0 -1 4202560 28 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18151] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18151/stat : 18151 (java) S 18141 18143 13533 0 -1 4202560 95 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18152] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18152/stat : 18152 (java) S 18141 18143 13533 0 -1 4202560 74 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18153] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18153/stat : 18153 (java) S 18141 18143 13533 0 -1 4202560 270 0 0 0 0 0 0 0 19 0 19 0 831005960 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18154] ppid=18141 vsize=10560536 CPUtime=0.01 cores=1,3,5,7
/proc/18143/task/18154/stat : 18154 (java) S 18141 18143 13533 0 -1 4202560 471 0 0 0 1 0 0 0 18 0 19 0 831005961 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 0 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18155] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18155/stat : 18155 (java) S 18141 18143 13533 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 831005962 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18156] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18156/stat : 18156 (java) S 18141 18143 13533 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 831005962 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18157] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831005964 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092055985 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18158] ppid=18141 vsize=10560536 CPUtime=0.86 cores=1,3,5,7
/proc/18143/task/18158/stat : 18158 (java) S 18141 18143 13533 0 -1 4202560 10441 0 0 0 85 1 0 0 24 0 19 0 831005964 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 7 0 0 0
[pid=18143/tid=18159] ppid=18141 vsize=10560536 CPUtime=0.93 cores=1,3,5,7
/proc/18143/task/18159/stat : 18159 (java) S 18141 18143 13533 0 -1 4202560 9004 0 0 0 93 0 0 0 21 0 19 0 831005964 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 3 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831005964 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18161] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18161/stat : 18161 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831005964 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18165] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18165/stat : 18165 (java) S 18141 18143 13533 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831005975 10813988864 49705 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 10560536
[startup+2.70148 s]
/proc/loadavg: 3.09 3.72 3.63 3/521 18177
/proc/meminfo: memFree=26599672/32950928 swapFree=39617324/67111528
[pid=18143] ppid=18141 vsize=10560536 CPUtime=3.33 cores=1,3,5,7
/proc/18143/stat : 18143 (java) S 18141 18143 13533 0 -1 4202496 60862 0 1 0 325 8 0 0 25 0 17 0 831005958 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18143/statm: 2640134 49722 2251 9 0 2630868 0
[pid=18143/tid=18144] ppid=18141 vsize=10560536 CPUtime=0.16 cores=1,3,5,7
/proc/18143/task/18144/stat : 18144 (java) S 18141 18143 13533 0 -1 4202560 11758 0 1 0 15 1 0 0 16 0 17 0 831005958 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18146] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18146/stat : 18146 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18147] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18147/stat : 18147 (java) S 18141 18143 13533 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18148] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18148/stat : 18148 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18149] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18149/stat : 18149 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18150] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18150/stat : 18150 (java) S 18141 18143 13533 0 -1 4202560 28 0 0 0 0 0 0 0 19 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18151] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18151/stat : 18151 (java) S 18141 18143 13533 0 -1 4202560 95 0 0 0 0 0 0 0 19 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18152] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18152/stat : 18152 (java) S 18141 18143 13533 0 -1 4202560 74 0 0 0 0 0 0 0 19 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18153] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18153/stat : 18153 (java) S 18141 18143 13533 0 -1 4202560 270 0 0 0 0 0 0 0 19 0 17 0 831005960 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 5 0 0 0
[pid=18143/tid=18154] ppid=18141 vsize=10560536 CPUtime=0.01 cores=1,3,5,7
/proc/18143/task/18154/stat : 18154 (java) S 18141 18143 13533 0 -1 4202560 472 0 0 0 1 0 0 0 18 0 17 0 831005961 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 0 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18155] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18155/stat : 18155 (java) S 18141 18143 13533 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 17 0 831005962 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18156] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18156/stat : 18156 (java) S 18141 18143 13533 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 17 0 831005962 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18158] ppid=18141 vsize=10560536 CPUtime=0.86 cores=1,3,5,7
/proc/18143/task/18158/stat : 18158 (java) S 18141 18143 13533 0 -1 4202560 10441 0 0 0 85 1 0 0 24 0 17 0 831005964 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 7 0 0 0
[pid=18143/tid=18159] ppid=18141 vsize=10560536 CPUtime=0.93 cores=1,3,5,7
/proc/18143/task/18159/stat : 18159 (java) S 18141 18143 13533 0 -1 4202560 9005 0 0 0 93 0 0 0 18 0 17 0 831005964 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 3 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 831005964 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048281 0 4 0 16800975 18446604464758493632 0 0 -1 1 0 0 0
[pid=18143/tid=18165] ppid=18141 vsize=10560536 CPUtime=0 cores=1,3,5,7
/proc/18143/task/18165/stat : 18165 (java) S 18141 18143 13533 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 17 0 831005975 10813988864 49722 33554432000 1073741824 1073778376 140735340595984 18446744073709551615 208092048896 0 4 0 16800975 18446604464758493632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 10560536
Child status: 30
Real time (s): 2.71926
CPU time (s): 3.35149
CPU user time (s): 3.2595
CPU system time (s): 0.091986
CPU usage (%): 123.25
Max. virtual memory (cumulated for all children) (KiB): 10566784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2595
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60862
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285
involuntary context switches= 76
runsolver used 0.014997 second user time and 0.040993 second system time
The end