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-3457046-1307215871/watcher-3457046-1307215871 -o /tmp/evaluation-result-3457046-1307215871/solver-3457046-1307215871 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457046-1307215871.opb
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 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: 0.00 0.00 0.00 2/556 10162
/proc/meminfo: memFree=30057880/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 3346 0 1 0 0 0 0 0 23 0 2 0 833185797 10694979584 3048 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2611079 3062 917 9 0 2602235 0
[pid=10162/tid=10163] ppid=10160 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 7455 0 1 0 0 0 0 0 25 0 2 0 833185798 10694979584 8271 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.033583 s]
/proc/loadavg: 0.00 0.00 0.00 2/556 10162
/proc/meminfo: memFree=30057880/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10464264 CPUtime=0.02 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 10894 0 1 0 1 1 0 0 23 0 10 0 833185797 10715406336 10593 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2616066 10593 1560 9 0 2606814 0
[pid=10162/tid=10163] ppid=10160 vsize=10464264 CPUtime=0.01 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 9773 0 1 0 1 0 0 0 25 0 10 0 833185798 10715406336 10594 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 47381144215550 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10464264
[startup+0.100553 s]
/proc/loadavg: 0.00 0.00 0.00 2/556 10162
/proc/meminfo: memFree=30057880/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10540256 CPUtime=0.11 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 13072 0 1 0 9 2 0 0 23 0 18 0 833185797 10793222144 12769 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2635064 12773 2092 9 0 2625798 0
[pid=10162/tid=10163] ppid=10160 vsize=10540256 CPUtime=0.08 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 11149 0 1 0 7 1 0 0 25 0 18 0 833185798 10793222144 12773 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 46912496197416 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540256
[startup+0.300578 s]
/proc/loadavg: 0.00 0.00 0.00 2/556 10162
/proc/meminfo: memFree=30057880/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10544440 CPUtime=0.47 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 15998 0 1 0 45 2 0 0 23 0 19 0 833185797 10797506560 15392 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2636110 15392 2209 9 0 2626844 0
[pid=10162/tid=10163] ppid=10160 vsize=10544440 CPUtime=0.29 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 12976 0 1 0 27 2 0 0 25 0 19 0 833185798 10797506560 15394 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 47381144685395 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10544440
[startup+0.700513 s]
/proc/loadavg: 0.00 0.00 0.00 2/556 10162
/proc/meminfo: memFree=30057880/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10552924 CPUtime=1.59 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 41023 0 1 0 152 7 0 0 23 0 19 0 833185797 10806194176 36561 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2638231 36562 2221 9 0 2628965 0
[pid=10162/tid=10163] ppid=10160 vsize=10552924 CPUtime=0.67 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 28233 0 1 0 63 4 0 0 25 0 19 0 833185798 10806194176 36563 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 47381144685395 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10552924
[startup+1.50143 s]
/proc/loadavg: 0.00 0.00 0.00 2/575 10186
/proc/meminfo: memFree=29809516/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10552924 CPUtime=2.81 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 123880 0 1 0 267 14 0 0 23 0 19 0 833185797 10806194176 119417 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2638231 119425 2225 9 0 2628965 0
[pid=10162/tid=10163] ppid=10160 vsize=10552924 CPUtime=1.48 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 111011 0 1 0 136 12 0 0 25 0 19 0 833185798 10806194176 119428 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 46912505652880 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10162/tid=10166] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119432 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10167] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119436 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10169] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119441 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10170] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119445 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10171] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119448 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10173] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119452 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10174] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119456 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10176] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 119460 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10177] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10177/stat : 10177 (java) S 10160 10162 10129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833185801 10806194176 119463 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 0 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10178] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10178/stat : 10178 (java) S 10160 10162 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833185801 10806194176 119466 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10179] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10179/stat : 10179 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185801 10806194176 119469 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10180] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10180/stat : 10180 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10806194176 119473 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826063793 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10181] ppid=10160 vsize=10552924 CPUtime=0.64 cores=0,2,4,6
/proc/10162/task/10181/stat : 10181 (java) S 10160 10162 10129 0 -1 4202560 5891 0 0 0 63 1 0 0 18 0 19 0 833185803 10806194176 119476 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10182] ppid=10160 vsize=10552924 CPUtime=0.67 cores=0,2,4,6
/proc/10162/task/10182/stat : 10182 (java) S 10160 10162 10129 0 -1 4202560 5829 0 0 0 67 0 0 0 15 0 19 0 833185803 10806194176 119479 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10183] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10183/stat : 10183 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10806194176 119482 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10184] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10184/stat : 10184 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833185803 10806194176 119485 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10186] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10186/stat : 10186 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185827 10806194176 119487 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10552924
[startup+3.10105 s]
/proc/loadavg: 0.00 0.00 0.00 2/575 10186
/proc/meminfo: memFree=29323684/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10552924 CPUtime=4.42 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 297151 0 1 0 407 35 0 0 23 0 19 0 833185797 10806194176 292687 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2638231 292692 2225 9 0 2628965 0
[pid=10162/tid=10163] ppid=10160 vsize=10552924 CPUtime=3.07 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 284278 0 1 0 275 32 0 0 25 0 19 0 833185798 10806194176 292694 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 46912505652857 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10162/tid=10166] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292697 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10167] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292700 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10169] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292702 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10170] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292705 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10171] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292707 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10173] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292709 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10174] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292711 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10176] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10806194176 292713 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10177] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10177/stat : 10177 (java) S 10160 10162 10129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833185801 10806194176 292714 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 0 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10178] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10178/stat : 10178 (java) S 10160 10162 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833185801 10806194176 292716 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10179] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10179/stat : 10179 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185801 10806194176 292719 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10180] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10180/stat : 10180 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10806194176 292722 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826063793 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10181] ppid=10160 vsize=10552924 CPUtime=0.64 cores=0,2,4,6
/proc/10162/task/10181/stat : 10181 (java) S 10160 10162 10129 0 -1 4202560 5891 0 0 0 63 1 0 0 15 0 19 0 833185803 10806194176 292727 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10182] ppid=10160 vsize=10552924 CPUtime=0.67 cores=0,2,4,6
/proc/10162/task/10182/stat : 10182 (java) S 10160 10162 10129 0 -1 4202560 5829 0 0 0 67 0 0 0 15 0 19 0 833185803 10806194176 292731 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10183] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10183/stat : 10183 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10806194176 292735 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10184] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10184/stat : 10184 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833185803 10806194176 292739 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10186] ppid=10160 vsize=10552924 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10186/stat : 10186 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185827 10806194176 292743 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10552924
[startup+6.30156 s]
/proc/loadavg: 0.16 0.03 0.01 3/598 10219
/proc/meminfo: memFree=26889940/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10550316 CPUtime=7.63 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 635694 0 1 0 693 70 0 0 23 0 19 0 833185797 10803523584 630546 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2637579 630549 2226 9 0 2628313 0
[pid=10162/tid=10163] ppid=10160 vsize=10550316 CPUtime=6.28 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 622812 0 1 0 561 67 0 0 25 0 19 0 833185798 10803523584 630551 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 46912505709856 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10162/tid=10166] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630553 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10167] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630555 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10169] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630557 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10170] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630558 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10171] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630561 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10173] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630563 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10174] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630565 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10176] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185800 10803523584 630567 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10177] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10177/stat : 10177 (java) S 10160 10162 10129 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833185801 10803523584 630569 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 0 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10178] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10178/stat : 10178 (java) S 10160 10162 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833185801 10803523584 630571 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10179] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10179/stat : 10179 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185801 10803523584 630573 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10180] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10180/stat : 10180 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 630575 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826063793 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10181] ppid=10160 vsize=10550316 CPUtime=0.65 cores=0,2,4,6
/proc/10162/task/10181/stat : 10181 (java) S 10160 10162 10129 0 -1 4202560 5897 0 0 0 64 1 0 0 15 0 19 0 833185803 10803523584 630577 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10182] ppid=10160 vsize=10550316 CPUtime=0.68 cores=0,2,4,6
/proc/10162/task/10182/stat : 10182 (java) S 10160 10162 10129 0 -1 4202560 5829 0 0 0 68 0 0 0 15 0 19 0 833185803 10803523584 630580 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/10162/task/10179/stat : 10179 (java) S 10160 10162 10129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833185801 10803523584 915360 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10180] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10180/stat : 10180 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915360 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826063793 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10181] ppid=10160 vsize=10550316 CPUtime=0.75 cores=0,2,4,6
/proc/10162/task/10181/stat : 10181 (java) S 10160 10162 10129 0 -1 4202560 5920 0 0 0 74 1 0 0 16 0 19 0 833185803 10803523584 915360 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10182] ppid=10160 vsize=10550316 CPUtime=0.85 cores=0,2,4,6
/proc/10162/task/10182/stat : 10182 (java) S 10160 10162 10129 0 -1 4202560 5872 0 0 0 85 0 0 0 15 0 19 0 833185803 10803523584 915360 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10183] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10183/stat : 10183 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915360 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10184] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10184/stat : 10184 (java) S 10160 10162 10129 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833185803 10803523584 915360 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10186] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10186/stat : 10186 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185827 10803523584 915360 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1666.92
Current children cumulated vsize (KiB) 10550316
[startup+1722.3 s]
/proc/loadavg: 2.16 2.08 1.71 3/598 10273
/proc/meminfo: memFree=22711124/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10550316 CPUtime=1727.04 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 921729 0 1 0 172599 105 0 0 23 0 19 0 833185797 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2637579 915378 2256 9 0 2628313 0
[pid=10162/tid=10163] ppid=10160 vsize=10550316 CPUtime=1719.88 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 837216 0 1 0 171897 91 0 0 25 0 19 0 833185798 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 46912505676168 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10162/tid=10166] ppid=10160 vsize=10550316 CPUtime=0.54 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10162 10129 0 -1 4202560 6812 0 0 0 54 0 0 0 16 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10167] ppid=10160 vsize=10550316 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10162 10129 0 -1 4202560 7968 0 0 0 58 1 0 0 15 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10169] ppid=10160 vsize=10550316 CPUtime=0.48 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10162 10129 0 -1 4202560 7057 0 0 0 48 0 0 0 15 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10170] ppid=10160 vsize=10550316 CPUtime=0.69 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10162 10129 0 -1 4202560 9773 0 0 0 68 1 0 0 16 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10171] ppid=10160 vsize=10550316 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10162 10129 0 -1 4202560 8857 0 0 0 58 1 0 0 16 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10173] ppid=10160 vsize=10550316 CPUtime=0.56 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10162 10129 0 -1 4202560 6499 0 0 0 55 1 0 0 16 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10174] ppid=10160 vsize=10550316 CPUtime=0.53 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10162 10129 0 -1 4202560 8962 0 0 0 52 1 0 0 15 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10176] ppid=10160 vsize=10550316 CPUtime=0.57 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10162 10129 0 -1 4202560 9853 0 0 0 56 1 0 0 15 0 19 0 833185800 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10177] ppid=10160 vsize=10550316 CPUtime=0.89 cores=0,2,4,6
/proc/10162/task/10177/stat : 10177 (java) S 10160 10162 10129 0 -1 4202560 5689 0 0 0 88 1 0 0 15 0 19 0 833185801 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 0 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10178] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10178/stat : 10178 (java) S 10160 10162 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833185801 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10179] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10179/stat : 10179 (java) S 10160 10162 10129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833185801 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10180] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10180/stat : 10180 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826063793 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10181] ppid=10160 vsize=10550316 CPUtime=0.75 cores=0,2,4,6
/proc/10162/task/10181/stat : 10181 (java) S 10160 10162 10129 0 -1 4202560 5920 0 0 0 74 1 0 0 16 0 19 0 833185803 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10182] ppid=10160 vsize=10550316 CPUtime=0.85 cores=0,2,4,6
/proc/10162/task/10182/stat : 10182 (java) S 10160 10162 10129 0 -1 4202560 5872 0 0 0 85 0 0 0 15 0 19 0 833185803 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10183] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10183/stat : 10183 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10184] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10184/stat : 10184 (java) S 10160 10162 10129 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833185803 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10186] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10186/stat : 10186 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185827 10803523584 915378 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1727.04
Current children cumulated vsize (KiB) 10550316
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 1.73 3/598 10275
/proc/meminfo: memFree=22708984/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10550316 CPUtime=1787.13 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 921767 0 1 0 178608 105 0 0 23 0 19 0 833185797 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2637579 915407 2256 9 0 2628313 0
[pid=10162/tid=10163] ppid=10160 vsize=10550316 CPUtime=1779.84 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 837219 0 1 0 177893 91 0 0 25 0 19 0 833185798 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 46912505869162 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10162/tid=10166] ppid=10160 vsize=10550316 CPUtime=0.55 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10162 10129 0 -1 4202560 6819 0 0 0 55 0 0 0 16 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10167] ppid=10160 vsize=10550316 CPUtime=0.6 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10162 10129 0 -1 4202560 7969 0 0 0 59 1 0 0 15 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10169] ppid=10160 vsize=10550316 CPUtime=0.51 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10162 10129 0 -1 4202560 7059 0 0 0 51 0 0 0 15 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10170] ppid=10160 vsize=10550316 CPUtime=0.7 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10162 10129 0 -1 4202560 9780 0 0 0 69 1 0 0 16 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10171] ppid=10160 vsize=10550316 CPUtime=0.6 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10162 10129 0 -1 4202560 8857 0 0 0 59 1 0 0 15 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10173] ppid=10160 vsize=10550316 CPUtime=0.57 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10162 10129 0 -1 4202560 6499 0 0 0 56 1 0 0 15 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10174] ppid=10160 vsize=10550316 CPUtime=0.57 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10162 10129 0 -1 4202560 8969 0 0 0 56 1 0 0 16 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10176] ppid=10160 vsize=10550316 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10162 10129 0 -1 4202560 9858 0 0 0 58 1 0 0 15 0 19 0 833185800 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10177] ppid=10160 vsize=10550316 CPUtime=0.89 cores=0,2,4,6
/proc/10162/task/10177/stat : 10177 (java) S 10160 10162 10129 0 -1 4202560 5693 0 0 0 88 1 0 0 15 0 19 0 833185801 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 0 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10178] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10178/stat : 10178 (java) S 10160 10162 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833185801 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10179] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10179/stat : 10179 (java) S 10160 10162 10129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833185801 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10180] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10180/stat : 10180 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826063793 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10181] ppid=10160 vsize=10550316 CPUtime=0.75 cores=0,2,4,6
/proc/10162/task/10181/stat : 10181 (java) S 10160 10162 10129 0 -1 4202560 5920 0 0 0 74 1 0 0 16 0 19 0 833185803 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10182] ppid=10160 vsize=10550316 CPUtime=0.85 cores=0,2,4,6
/proc/10162/task/10182/stat : 10182 (java) S 10160 10162 10129 0 -1 4202560 5872 0 0 0 85 0 0 0 15 0 19 0 833185803 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10183] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10183/stat : 10183 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10184] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10184/stat : 10184 (java) S 10160 10162 10129 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833185803 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10186] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10186/stat : 10186 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185827 10803523584 915407 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.13
Current children cumulated vsize (KiB) 10550316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.22 s]
/proc/loadavg: 2.04 2.06 1.73 3/598 10284
/proc/meminfo: memFree=22707732/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=10550316 CPUtime=1800.1 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10162 10129 0 -1 4202496 921782 0 1 0 179905 105 0 0 23 0 19 0 833185797 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 2637579 915419 2256 9 0 2628313 0
[pid=10162/tid=10163] ppid=10160 vsize=10550316 CPUtime=1792.76 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4202560 837220 0 1 0 179185 91 0 0 25 0 19 0 833185798 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 46912505869186 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10162/tid=10166] ppid=10160 vsize=10550316 CPUtime=0.55 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10162 10129 0 -1 4202560 6819 0 0 0 55 0 0 0 15 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10167] ppid=10160 vsize=10550316 CPUtime=0.61 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10162 10129 0 -1 4202560 7976 0 0 0 60 1 0 0 16 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10169] ppid=10160 vsize=10550316 CPUtime=0.52 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10162 10129 0 -1 4202560 7059 0 0 0 52 0 0 0 16 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10170] ppid=10160 vsize=10550316 CPUtime=0.72 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10162 10129 0 -1 4202560 9785 0 0 0 71 1 0 0 16 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10171] ppid=10160 vsize=10550316 CPUtime=0.6 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10162 10129 0 -1 4202560 8857 0 0 0 59 1 0 0 15 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10173] ppid=10160 vsize=10550316 CPUtime=0.57 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10162 10129 0 -1 4202560 6499 0 0 0 56 1 0 0 15 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10174] ppid=10160 vsize=10550316 CPUtime=0.57 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10162 10129 0 -1 4202560 8969 0 0 0 56 1 0 0 15 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
[pid=10162/tid=10176] ppid=10160 vsize=10550316 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10162 10129 0 -1 4202560 9858 0 0 0 58 1 0 0 15 0 19 0 833185800 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10177] ppid=10160 vsize=10550316 CPUtime=0.89 cores=0,2,4,6
/proc/10162/task/10177/stat : 10177 (java) S 10160 10162 10129 0 -1 4202560 5693 0 0 0 88 1 0 0 15 0 19 0 833185801 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 0 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10178] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10178/stat : 10178 (java) S 10160 10162 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833185801 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10179] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10179/stat : 10179 (java) S 10160 10162 10129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833185801 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10180] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10180/stat : 10180 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826063793 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10181] ppid=10160 vsize=10550316 CPUtime=0.75 cores=0,2,4,6
/proc/10162/task/10181/stat : 10181 (java) S 10160 10162 10129 0 -1 4202560 5920 0 0 0 74 1 0 0 16 0 19 0 833185803 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 6 0 0 0
[pid=10162/tid=10182] ppid=10160 vsize=10550316 CPUtime=0.85 cores=0,2,4,6
/proc/10162/task/10182/stat : 10182 (java) S 10160 10162 10129 0 -1 4202560 5872 0 0 0 85 0 0 0 15 0 19 0 833185803 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 4 0 0 0
[pid=10162/tid=10183] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10183/stat : 10183 (java) S 10160 10162 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185803 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056089 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10184] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10184/stat : 10184 (java) S 10160 10162 10129 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833185803 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 2 0 0 0
[pid=10162/tid=10186] ppid=10160 vsize=10550316 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10186/stat : 10186 (java) S 10160 10162 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185827 10803523584 915419 33554432000 1073741824 1073778376 140736529899904 18446744073709551615 251826056704 0 4 0 16800975 18446604448859222400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10550316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.4 s]
/proc/loadavg: 2.04 2.06 1.73 3/598 10284
/proc/meminfo: memFree=22707732/32950928 swapFree=41528364/67111528
[pid=10162] ppid=10160 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/10162/stat : 10162 (java) Z 10160 10162 10129 0 -1 4203548 921820 0 1 0 179911 118 0 0 17 0 2 0 833185797 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10162/statm: 0 0 0 0 0 0 0
[pid=10162/tid=10163] ppid=10160 vsize=0 CPUtime=1792.91 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10162 10129 0 -1 4203588 837220 0 1 0 179188 103 0 0 25 0 2 0 833185798 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.44
CPU time (s): 1800.33
CPU user time (s): 1799.11
CPU system time (s): 1.21581
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 10554972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.21582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921820
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= 40175
involuntary context switches= 16072
runsolver used 11.0573 second user time and 23.2705 second system time
The end