runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9218 MiB free)
memory of node 1: 16384 MiB (7033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304758-1534149072/watcher-4304758-1534149072 -o /tmp/evaluation-result-4304758-1534149072/solver-4304758-1534149072 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534139122-2606 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=542074392 -superng HOME/instance-4304758-1534149072.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4238, runsolver pid=4235
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.14 1.29 1.36 5/206 4295
/proc/meminfo: memFree=16631896/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=10088124 memory=17604 CPUtime=0.08 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 4533 13021 0 0 1 0 5 2 20 0 7 0 232470339 10330238976 4401 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2522031 4401 1993 1 0 2510469 0
[pid=4238/tid=4291] ppid=4235 vsize=10088124 memory=-9033221141379203011 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 2415 13021 0 0 1 0 5 2 20 0 7 0 232470348 10330238976 4467 33554432000 4194304 4196468 140723104940304 140537184054032 140537196291422 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=10088124 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 7 0 232470349 10330238976 4467 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=10088124 memory=139766770603648 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 7 0 232470349 10330238976 4467 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 7 0 232470349 10330238976 4467 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 7 0 232470349 10330238976 4467 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=10088124 memory=139766770603648 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 7 0 232470350 10330238976 4467 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 17604 KiB
[startup+0.209904 s]*
/proc/loadavg: 1.14 1.29 1.36 7/215 4304
/proc/meminfo: memFree=16604604/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=10982696 memory=43672 CPUtime=0.26 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 8328 13021 0 0 17 2 5 2 20 0 15 0 232470339 11246280704 10918 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2745674 10918 2932 1 0 2708109 0
[pid=4238/tid=4291] ppid=4235 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 5004 13021 0 0 11 1 5 2 20 0 15 0 232470348 11246280704 11049 33554432000 4194304 4196468 140723104940304 140537184008592 140537192486642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246280704 11049 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=10982696 memory=139766770614664 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246280704 11049 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246280704 11049 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246280704 11049 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=10982696 memory=139766770603648 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470350 11246280704 11049 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 232470351 11246280704 11115 33554432000 4194304 4196468 140723104940304 140536027538720 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 21 13021 0 0 0 0 5 2 20 0 15 0 232470351 11246280704 11115 33554432000 4194304 4196468 140723104940304 140535960426096 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11246280704 11115 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1786 0 -1 1077944384 369 13021 0 0 1 0 5 2 20 0 15 0 232470354 11246280704 11115 33554432000 4194304 4196468 140723104940304 140536704252016 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1786 0 -1 1077944384 250 13021 0 0 0 0 5 2 20 0 15 0 232470354 11246280704 11115 33554432000 4194304 4196468 140723104940304 140536703199216 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=10982696 memory=139766770603648 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) S 4235 4238 1786 0 -1 1077944384 624 13021 0 0 3 0 5 2 20 0 15 0 232470354 11246280704 11115 33554432000 4194304 4196468 140723104940304 140536702146928 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11246280704 11115 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=10982696 memory=139766770603648 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470354 11246280704 11115 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43672 KiB
[startup+0.310342 s]*
/proc/loadavg: 1.14 1.29 1.36 6/215 4304
/proc/meminfo: memFree=16592084/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=10983192 memory=55024 CPUtime=0.38 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 10380 13021 0 0 29 2 5 2 20 0 15 0 232470339 11246788608 13756 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2745798 13756 3064 1 0 2708109 0
[pid=4238/tid=4291] ppid=4235 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 6891 13021 0 0 20 1 5 2 20 0 15 0 232470348 11246788608 13756 33554432000 4194304 4196468 140723104940304 140537184007880 140537196291422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 13756 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470350 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 232470351 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536027538720 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 21 13021 0 0 0 0 5 2 20 0 15 0 232470351 11246788608 13756 33554432000 4194304 4196468 140723104940304 140535960426096 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11246788608 13756 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1786 0 -1 1077944384 370 13021 0 0 1 0 5 2 20 0 15 0 232470354 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536704252016 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1786 0 -1 1077944384 250 13021 0 0 1 0 5 2 20 0 15 0 232470354 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536703199216 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=10983192 memory=139766770603648 CPUtime=0.12 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) S 4235 4238 1786 0 -1 1077944384 631 13021 0 0 5 0 5 2 20 0 15 0 232470354 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536702146928 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11246788608 13756 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=10983192 memory=139766770603648 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470354 11246788608 13756 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55024 KiB
[startup+0.700726 s]
/proc/loadavg: 1.14 1.29 1.36 3/215 4304
/proc/meminfo: memFree=16582656/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=10983192 memory=87840 CPUtime=0.98 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 16606 13021 0 0 87 4 5 2 20 0 15 0 232470339 11246788608 21960 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2745798 21960 3237 1 0 2708109 0
[pid=4238/tid=4291] ppid=4235 vsize=10983192 memory=5936986032512067430 CPUtime=0.66 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 12152 13021 0 0 56 3 5 2 20 0 15 0 232470348 11246788608 21960 33554432000 4194304 4196468 140723104940304 140537184031760 140537197376574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=10983192 memory=6940425744575185004 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 21960 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=10983192 memory=5867716769897009238 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=10983192 memory=5787213827063244903 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 232470349 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=10983192 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 5 13021 0 0 0 0 5 2 20 0 15 0 232470350 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=10983192 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 232470351 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536027538720 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 21 13021 0 0 0 0 5 2 20 0 15 0 232470351 11246788608 21960 33554432000 4194304 4196468 140723104940304 140535960426096 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11246788608 21960 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1786 0 -1 1077944384 651 13021 0 0 8 0 5 2 20 0 15 0 232470354 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536704252016 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1786 0 -1 1077944384 880 13021 0 0 8 0 5 2 20 0 15 0 232470354 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536703199216 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) S 4235 4238 1786 0 -1 1077944384 681 13021 0 0 12 0 5 2 20 0 15 0 232470354 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536702146928 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11246788608 21960 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470354 11246788608 21960 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87840 KiB
[startup+1.50071 s]
/proc/loadavg: 1.14 1.29 1.36 6/215 4304
/proc/meminfo: memFree=16475588/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=10998092 memory=179032 CPUtime=2.31 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 23860 13021 0 0 214 10 5 2 20 0 15 0 232470339 11262046208 44758 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2749523 44758 3468 1 0 2711181 0
[pid=4238/tid=4291] ppid=4235 vsize=10998092 memory=-7595754389018297760 CPUtime=1.43 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 17703 13021 0 0 130 6 5 2 20 0 15 0 232470348 11262046208 44758 33554432000 4194304 4196468 140723104940304 140537184041712 140537196291422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=10998092 memory=6944656592455360608 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 192 13021 0 0 1 0 5 2 20 0 15 0 232470349 11262046208 44758 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 21 13021 0 0 1 0 5 2 20 0 15 0 232470349 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=10998092 memory=-7595754389018297760 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 54 13021 0 0 1 0 5 2 20 0 15 0 232470349 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=10998092 memory=118588 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 30 13021 0 0 1 0 5 2 20 0 15 0 232470349 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=10998092 memory=5936986032512067430 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 57 13021 0 0 1 0 5 2 20 0 15 0 232470350 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=10998092 memory=6940425744575185004 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 14 13021 0 0 0 0 5 2 20 0 15 0 232470351 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536027538784 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=10998092 memory=279533248906016 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 42 13021 0 0 0 0 5 2 20 0 15 0 232470351 11262046208 44758 33554432000 4194304 4196468 140723104940304 140535960426096 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=10998092 memory=279533249320704 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11262046208 44758 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=10998092 memory=139766624723152 CPUtime=0.26 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1786 0 -1 1077944384 1095 13021 0 0 19 0 5 2 20 0 15 0 232470354 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536704252016 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=10998092 memory=279533248919264 CPUtime=0.28 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1786 0 -1 1077944384 1093 13021 0 0 21 0 5 2 20 0 15 0 232470354 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536703199216 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=10998092 memory=209 CPUtime=0.43 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) S 4235 4238 1786 0 -1 1077944384 1362 13021 0 0 36 0 5 2 20 0 15 0 232470354 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536702146928 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=10998092 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11262046208 44758 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 232470354 11262046208 44758 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
################
# More data... #
################
[startup+3.11022 s]
/proc/loadavg: 1.21 1.30 1.37 6/215 4304
/proc/meminfo: memFree=16242312/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=11008352 memory=255128 CPUtime=5.59 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 36601 13021 0 0 536 16 5 2 20 0 15 0 232470339 11272552448 63782 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2752088 63782 3490 1 0 2713741 0
[pid=4238/tid=4291] ppid=4235 vsize=11008352 memory=8112282956445269571 CPUtime=3 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1786 0 -1 1077944384 25945 13021 0 0 284 9 5 2 20 0 15 0 232470348 11272552448 63782 33554432000 4194304 4196468 140723104940304 140537184031456 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=11008352 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 207 13021 0 0 1 0 5 2 20 0 15 0 232470349 11272552448 63782 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=11008352 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 36 13021 0 0 2 0 5 2 20 0 15 0 232470349 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 87 13021 0 0 1 0 5 2 20 0 15 0 232470349 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=11008352 memory=3617012014294000234 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 39 13021 0 0 1 0 5 2 20 0 15 0 232470349 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=11008352 memory=12385 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) R 4235 4238 1786 0 -1 4202560 1078 13021 0 0 3 0 5 2 20 0 15 0 232470350 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536705303488 140537190342436 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=11008352 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 14 13021 0 0 0 0 5 2 20 0 15 0 232470351 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536027538784 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=11008352 memory=288292190160159290 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 42 13021 0 0 0 0 5 2 20 0 15 0 232470351 11272552448 63782 33554432000 4194304 4196468 140723104940304 140535960426096 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=11008352 memory=3834595387361209543 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11272552448 63782 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=11008352 memory=7019257425709197167 CPUtime=0.69 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1786 0 -1 1077944384 1393 13021 0 0 61 1 5 2 20 0 15 0 232470354 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536704252016 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=11008352 memory=216904 CPUtime=0.71 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1786 0 -1 1077944384 1897 13021 0 0 64 0 5 2 20 0 15 0 232470354 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536703199216 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=11008352 memory=3684 CPUtime=1.22 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) S 4235 4238 1786 0 -1 1077944384 3664 13021 0 0 113 2 5 2 20 0 15 0 232470354 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536702146928 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=11008352 memory=63172 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11272552448 63782 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=11008352 memory=2148 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11272552448 63782 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 255128 KiB
[startup+4.48324 s]
# the end of solver process 4238 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.46233 s, system=0.277181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20306 s]
/proc/loadavg: 1.21 1.30 1.37 6/215 4304
/proc/meminfo: memFree=16242312/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=11008352 memory=260916 CPUtime=5.82 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 39418 13021 0 0 558 17 5 2 20 0 15 0 232470339 11272552448 65229 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2752088 65229 3490 1 0 2713741 0
[pid=4238/tid=4291] ppid=4235 vsize=11008352 memory=1784 CPUtime=3.08 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 26857 13021 0 0 292 9 5 2 20 0 15 0 232470348 11272552448 65229 33554432000 4194304 4196468 140723104940304 140537184043744 140537192122110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=11008352 memory=8112282956445269571 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 207 13021 0 0 3 0 5 2 20 0 15 0 232470349 11272552448 65229 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=11008352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 37 13021 0 0 3 0 5 2 20 0 15 0 232470349 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=11008352 memory=9229 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 87 13021 0 0 3 0 5 2 20 0 15 0 232470349 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=11008352 memory=19106 CPUtime=0.09 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 41 13021 0 0 2 0 5 2 20 0 15 0 232470349 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=11008352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 1274 13021 0 0 3 0 5 2 20 0 15 0 232470350 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 14 13021 0 0 0 0 5 2 20 0 15 0 232470351 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536027538784 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 42 13021 0 0 0 0 5 2 20 0 15 0 232470351 11272552448 65229 33554432000 4194304 4196468 140723104940304 140535960426112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11272552448 65229 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=11008352 memory=94452 CPUtime=0.72 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) R 4235 4238 1786 0 -1 1077944384 2072 13021 0 0 64 1 5 2 20 0 15 0 232470354 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536704230544 140537212221141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=11008352 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) R 4235 4238 1786 0 -1 4202560 2484 13021 0 0 66 0 5 2 20 0 15 0 232470354 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536703189008 140537197906001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=11008352 memory=15395697457372200 CPUtime=1.27 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) R 4235 4238 1786 0 -1 4202560 4129 13021 0 0 118 2 5 2 20 0 15 0 232470354 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536702146928 140537197891633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11272552448 65229 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11272552448 65229 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 260916 KiB
[startup+4.00067 s]*
/proc/loadavg: 1.21 1.30 1.37 6/215 4304
/proc/meminfo: memFree=16009104/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=11082796 memory=336700 CPUtime=8.18 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 72398 13021 0 0 789 22 5 2 20 0 15 0 232470339 11348783104 84175 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2770699 84175 3496 1 0 2732352 0
[pid=4238/tid=4291] ppid=4235 vsize=11082796 memory=737009714443845937 CPUtime=3.89 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 49139 13021 0 0 370 12 5 2 20 0 15 0 232470348 11348783104 84175 33554432000 4194304 4196468 140723104940304 140537184046160 140536782662973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=11082796 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 207 13021 0 0 3 0 5 2 20 0 15 0 232470349 11348783104 84175 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=11082796 memory=15115343713965720 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 37 13021 0 0 3 0 5 2 20 0 15 0 232470349 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=11082796 memory=-7242455096852575424 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 87 13021 0 0 3 0 5 2 20 0 15 0 232470349 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=11082796 memory=-7313218805096079717 CPUtime=0.09 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 41 13021 0 0 2 0 5 2 20 0 15 0 232470349 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=11082796 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 1301 13021 0 0 3 0 5 2 20 0 15 0 232470350 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=11082796 memory=3472328296227680303 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 14 13021 0 0 0 0 5 2 20 0 15 0 232470351 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536027538784 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=11082796 memory=3617012014294000234 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 42 13021 0 0 0 0 5 2 20 0 15 0 232470351 11348783104 84175 33554432000 4194304 4196468 140723104940304 140535960426112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=11082796 memory=7380946152219301984 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11348783104 84175 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=11082796 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) R 4235 4238 1786 0 -1 4202560 5411 13021 0 0 121 1 5 2 20 0 15 0 232470354 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536704237896 140537197318617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=11082796 memory=3467824704921935924 CPUtime=1.41 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) R 4235 4238 1786 0 -1 4202560 8533 13021 0 0 132 2 5 2 20 0 15 0 232470354 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536703185240 140537193755388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=11082796 memory=4121272213710490036 CPUtime=1.57 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) R 4235 4238 1786 0 -1 1077944384 5380 13021 0 0 148 2 5 2 20 0 15 0 232470354 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536702143664 140537212221141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=11082796 memory=3539882221918887985 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11348783104 84175 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=11082796 memory=3761826559638949298 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 10 13021 0 0 0 0 5 2 20 0 15 0 232470354 11348783104 84175 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 11082796 KiB
Current children cumulated memory: 336700 KiB
[startup+4.40328 s]
/proc/loadavg: 1.21 1.30 1.37 6/215 4304
/proc/meminfo: memFree=16009104/32770624 swapFree=67108404/67108860
[pid=4238] ppid=4235 vsize=11080032 memory=338776 CPUtime=9.53 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1786 0 -1 1077944320 75377 13021 0 0 923 23 5 2 20 0 15 0 232470339 11345952768 84694 33554432000 4194304 4196468 140723104940304 140723104922848 140537212210935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
/proc/4238/statm: 2770008 84694 3502 1 0 2731661 0
[pid=4238/tid=4291] ppid=4235 vsize=11080032 memory=7809523229951467570 CPUtime=4.27 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1786 0 -1 4202560 49568 13021 0 0 408 12 5 2 20 0 15 0 232470348 11345952768 84694 33554432000 4194304 4196468 140723104940304 140537184046104 140537192476673 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4292] ppid=4235 vsize=11080032 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1786 0 -1 1077944384 207 13021 0 0 3 0 5 2 20 0 15 0 232470349 11345952768 84694 33554432000 4194304 4196468 140723104940304 140537216453008 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4293] ppid=4235 vsize=11080032 memory=-2746958450906831424 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1786 0 -1 1077944384 37 13021 0 0 3 0 5 2 20 0 15 0 232470349 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536752036112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4294] ppid=4235 vsize=11080032 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1786 0 -1 1077944384 87 13021 0 0 3 0 5 2 20 0 15 0 232470349 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536750983824 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4295] ppid=4235 vsize=11080032 memory=275936 CPUtime=0.09 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1786 0 -1 1077944384 41 13021 0 0 2 0 5 2 20 0 15 0 232470349 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536749931024 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4296] ppid=4235 vsize=11080032 memory=8514726395714820747 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1786 0 -1 1077944384 1608 13021 0 0 3 0 5 2 20 0 15 0 232470350 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536705305200 140537212222082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4297] ppid=4235 vsize=11080032 memory=8245425219584999747 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1786 0 -1 1077944384 14 13021 0 0 0 0 5 2 20 0 15 0 232470351 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536027538784 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4298] ppid=4235 vsize=11080032 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1786 0 -1 1077944384 42 13021 0 0 0 0 5 2 20 0 15 0 232470351 11345952768 84694 33554432000 4194304 4196468 140723104940304 140535960426112 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4299] ppid=4235 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470353 11345952768 84694 33554432000 4194304 4196468 140723104940304 140535653030480 140537212229531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4300] ppid=4235 vsize=11080032 memory=7882541144551417446 CPUtime=1.65 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1786 0 -1 1077944384 5650 13021 0 0 157 1 5 2 20 0 15 0 232470354 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536704252016 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4301] ppid=4235 vsize=11080032 memory=7595691720944150848 CPUtime=1.79 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1786 0 -1 1077944384 10068 13021 0 0 170 2 5 2 20 0 15 0 232470354 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536703199216 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4302] ppid=4235 vsize=11080032 memory=4108 CPUtime=1.79 cores=1,3,5,7
/proc/4238/task/4302/stat : 4302 (java) S 4235 4238 1786 0 -1 1077944384 5848 13021 0 0 169 3 5 2 20 0 15 0 232470354 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536702146928 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4303] ppid=4235 vsize=11080032 memory=6625 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4303/stat : 4303 (java) S 4235 4238 1786 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 232470354 11345952768 84694 33554432000 4194304 4196468 140723104940304 140535222233568 140537212221141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
[pid=4238/tid=4304] ppid=4235 vsize=11080032 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4304/stat : 4304 (java) S 4235 4238 1786 0 -1 1077944384 11 13021 0 0 0 0 5 2 20 0 15 0 232470354 11345952768 84694 33554432000 4194304 4196468 140723104940304 140536701094832 140537212222082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140723104946788 140723104949596 140723104949596 140723104952271 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 338776 KiB
Child status: 0
Real time (s): 4.48331
CPU time (s): 9.73951
CPU user time (s): 9.46233
CPU system time (s): 0.277181
CPU usage (%): 217.239
Max. virtual memory (cumulated for all children) (KiB): 11082856
Max. memory (cumulated for all children) (KiB): 339544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.46233
system time used= 0.277181
maximum resident set size= 341420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7987
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 4238
# total CPU time (s): 9.73951
# total CPU user time (s): 9.46233
# total CPU system time (s): 0.277181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044954 second user time and 0.090612 second system time
The end