2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	16	2520.11	2464.29
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 (2846 MiB free)
  memory of node 1: 16384 MiB (2657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304344-1534059943/watcher-4304344-1534059943 -o /tmp/evaluation-result-4304344-1534059943/solver-4304344-1534059943 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31471 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1077256796 -superng HOME/instance-4304344-1534059943.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=3499, runsolver pid=3496

[startup+0.100115 s]*
/proc/loadavg: 1.65 1.67 1.68 3/206 3556
/proc/meminfo: memFree=5630128/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=10005480 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 4308 13010 0 0 1 0 5 3 20 0 6 0 223557503 10245611520 4137 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2501370 4137 1932 1 0 2489808 0
[pid=3499/tid=3552] ppid=3496 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 2184 13010 0 0 0 0 5 3 20 0 6 0 223557512 10245611520 4203 33554432000 4194304 4196468 140723147956640 140026603078224 140026615321950 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=10005480 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 6 0 223557513 10245611520 4203 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=10005480 memory=139880059979392 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 6 0 223557513 10245611520 4203 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 6 0 223557513 10245611520 4203 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 6 0 223557513 10245611520 4203 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.209824 s]*
/proc/loadavg: 1.65 1.67 1.68 3/215 3565
/proc/meminfo: memFree=5605812/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=10982744 memory=44188 CPUtime=0.26 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 7765 13010 0 0 16 2 5 3 20 0 15 0 223557503 11246329856 11047 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2745686 11047 2945 1 0 2708109 0
[pid=3499/tid=3552] ppid=3496 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 4604 13010 0 0 10 1 5 3 20 0 15 0 223557512 11246329856 11311 33554432000 4194304 4196468 140723147956640 140026603062560 140026151322406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=10982744 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246329856 11311 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=10982744 memory=139880060006368 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246329856 11311 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246329856 11311 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246329856 11311 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=10982744 memory=139880059979392 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557514 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025869572080 140026631252610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 223557515 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025530409888 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557515 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025329083376 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 477 13010 0 0 1 0 5 3 20 0 15 0 223557518 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 125 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=10982744 memory=139880059979392 CPUtime=0.11 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) R 3496 3499 30457 0 -1 4202560 616 13010 0 0 3 0 5 3 20 0 15 0 223557518 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025463298800 140026615409952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246329856 11311 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=10982744 memory=139880059979392 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246329856 11311 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44188 KiB

[startup+0.310192 s]*
/proc/loadavg: 1.65 1.67 1.68 3/215 3565
/proc/meminfo: memFree=5594152/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=10983192 memory=55956 CPUtime=0.39 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 10546 13010 0 0 28 3 5 3 20 0 15 0 223557503 11246788608 13989 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2745798 13989 3064 1 0 2708109 0
[pid=3499/tid=3552] ppid=3496 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 7091 13010 0 0 19 2 5 3 20 0 15 0 223557512 11246788608 13989 33554432000 4194304 4196468 140723147956640 140026603053472 140026631263389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 13989 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=10983192 memory=8514701219931451533 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 13989 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=10983192 memory=1328725297981317182 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 13989 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 13989 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557514 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025869572080 140026631252610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 223557515 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025530409888 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557515 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025329083376 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 478 13010 0 0 1 0 5 3 20 0 15 0 223557518 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 128 13010 0 0 1 0 5 3 20 0 15 0 223557518 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) S 3496 3499 30457 0 -1 1077944384 623 13010 0 0 4 0 5 3 20 0 15 0 223557518 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025463298800 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246788608 13989 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246788608 13989 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55956 KiB

[startup+0.700754 s]
/proc/loadavg: 1.65 1.67 1.68 4/215 3565
/proc/meminfo: memFree=5582864/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=10983192 memory=88504 CPUtime=0.99 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 16789 13010 0 0 87 4 5 3 20 0 15 0 223557503 11246788608 22126 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2745798 22126 3238 1 0 2708109 0
[pid=3499/tid=3552] ppid=3496 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 12255 13010 0 0 56 3 5 3 20 0 15 0 223557512 11246788608 22126 33554432000 4194304 4196468 140723147956640 140026603062288 140026631255345 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=10983192 memory=22 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 22126 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=10983192 memory=7886766292050917173 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 22126 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=10983192 memory=6291625888780473445 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 22126 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=10983192 memory=7372762397046498368 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 223557513 11246788608 22126 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=10983192 memory=734122130331934768 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) S 3496 3499 30457 0 -1 1077944384 6 13010 0 0 0 0 5 3 20 0 15 0 223557514 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025869572080 140026631252610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 223557515 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025530409888 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=10983192 memory=139880059978225 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557515 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025329083376 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 1099 13010 0 0 10 0 5 3 20 0 15 0 223557518 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 503 13010 0 0 6 0 5 3 20 0 15 0 223557518 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) S 3496 3499 30457 0 -1 1077944384 702 13010 0 0 13 0 5 3 20 0 15 0 223557518 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025463298800 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246788608 22126 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557518 11246788608 22126 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88504 KiB

[startup+1.50538 s]
/proc/loadavg: 1.65 1.67 1.68 4/215 3565
/proc/meminfo: memFree=5537632/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=10996044 memory=200460 CPUtime=2.8 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 25590 13010 0 0 262 10 5 3 20 0 15 0 223557503 11259949056 50115 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2749011 50115 3474 1 0 2710669 0
[pid=3499/tid=3552] ppid=3496 vsize=10996044 memory=103068 CPUtime=1.43 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) S 3496 3499 30457 0 -1 1077944384 17228 13010 0 0 130 5 5 3 20 0 15 0 223557512 11259949056 50115 33554432000 4194304 4196468 140723147956640 140026603054816 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=10996044 memory=20337 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 26 13010 0 0 1 0 5 3 20 0 15 0 223557513 11259949056 50115 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=10996044 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 55 13010 0 0 1 0 5 3 20 0 15 0 223557513 11259949056 50115 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=10996044 memory=6944656592387989600 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 174 13010 0 0 1 0 5 3 20 0 15 0 223557513 11259949056 50115 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=10996044 memory=6944656592455360604 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 36 13010 0 0 1 0 5 3 20 0 15 0 223557513 11259949056 50115 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=10996044 memory=6944656592387989600 CPUtime=0.09 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) R 3496 3499 30457 0 -1 4202560 851 13010 0 0 1 0 5 3 20 0 15 0 223557514 11259949056 50115 33554432000 4194304 4196468 140723147956640 140025869570592 140026623530912 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=10996044 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 223557515 11259949056 50115 33554432000 4194304 4196468 140723147956640 140025530409888 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=10996044 memory=279759808575744 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 223557515 11259949056 50115 33554432000 4194304 4196468 140723147956640 140025329083376 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11259949056 50115 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=10996044 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 2100 13010 0 0 42 0 5 3 20 0 15 0 223557518 11259949056 50115 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=10996044 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 1164 13010 0 0 38 0 5 3 20 0 15 0 223557518 11259949056 50018 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=10996044 memory=-7673225154500992928 CPUtime=0.51 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) S 3496 3499 30457 0 -1 1077944384 1737 13010 0 0 43 0 5 3 20 0 15 0 223557518 11259949056 50018 33554432000 4194304 4196468 140723147956640 140025463298800 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=10996044 memory=6944656592455360608 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11259949056 50018 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11259949056 50018 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 10996044 KiB

################
# More data... #
################

/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 591866 13010 0 0 230360 120 5 3 20 0 15 0 223557512 11345952768 809051 33554432000 4194304 4196468 140723147956640 140026603076192 140026159395582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=11080032 memory=3236204 CPUtime=11.9 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 31245 13010 0 0 1146 36 5 3 20 0 15 0 223557513 11345952768 809051 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=11080032 memory=3236204 CPUtime=11.95 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 21130 13010 0 0 1152 35 5 3 20 0 15 0 223557513 11345952768 809051 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=11080032 memory=3237196 CPUtime=11.92 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 25545 13010 0 0 1147 37 5 3 20 0 15 0 223557513 11345952768 809051 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=11080032 memory=3237196 CPUtime=11.92 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 33551 13010 0 0 1150 34 5 3 20 0 15 0 223557513 11345952768 809051 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=11080032 memory=3236204 CPUtime=4 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) S 3496 3499 30457 0 -1 1077944384 31039 13010 0 0 357 35 5 3 20 0 15 0 223557514 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025869572080 140026631252610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=11080032 memory=3236204 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 30 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025530409952 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=11080032 memory=3236204 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 29 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025329083392 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=11080032 memory=3236204 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=11080032 memory=3236204 CPUtime=8.43 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 78333 13010 0 0 828 7 5 3 20 0 15 0 223557518 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=11080032 memory=3237196 CPUtime=8.75 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 76066 13010 0 0 858 9 5 3 20 0 15 0 223557518 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=11080032 memory=3236204 CPUtime=3.16 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) S 3496 3499 30457 0 -1 1077944384 58414 13010 0 0 300 8 5 3 20 0 15 0 223557518 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025463298800 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=11080032 memory=2092 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809051 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=11080032 memory=3236204 CPUtime=1.37 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 1972 13010 0 0 66 63 5 3 20 0 15 0 223557518 11345952768 809051 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 2377.66 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3236204 KiB

[startup+2382.3 s]
/proc/loadavg: 1.53 1.56 1.54 3/215 3659
/proc/meminfo: memFree=2126868/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=11080032 memory=3236368 CPUtime=2437.85 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 993443 13010 0 0 243410 367 5 3 20 0 15 0 223557503 11345952768 809092 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2770008 809092 3537 1 0 2731661 0
[pid=3499/tid=3552] ppid=3496 vsize=11080032 memory=8112282956445269571 CPUtime=2364.79 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 629200 13010 0 0 236350 121 5 3 20 0 15 0 223557512 11345952768 809092 33554432000 4194304 4196468 140723147956640 140026603075472 140026152288996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=11080032 memory=3236368 CPUtime=11.95 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 31529 13010 0 0 1151 36 5 3 20 0 15 0 223557513 11345952768 809092 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=11080032 memory=3236368 CPUtime=12 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 22021 13010 0 0 1157 35 5 3 20 0 15 0 223557513 11345952768 809092 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=11080032 memory=2196 CPUtime=11.97 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 26905 13010 0 0 1152 37 5 3 20 0 15 0 223557513 11345952768 809092 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=11080032 memory=3236204 CPUtime=11.97 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 33786 13010 0 0 1155 34 5 3 20 0 15 0 223557513 11345952768 809092 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=11080032 memory=3236204 CPUtime=4.02 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) S 3496 3499 30457 0 -1 1077944384 31381 13010 0 0 359 35 5 3 20 0 15 0 223557514 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025869572080 140026631252610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=11080032 memory=3236204 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 30 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025530409952 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=11080032 memory=3236204 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 29 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025329083392 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=11080032 memory=3236204 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=11080032 memory=3236368 CPUtime=8.44 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 79450 13010 0 0 829 7 5 3 20 0 15 0 223557518 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=11080032 memory=279759810010704 CPUtime=8.75 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 76068 13010 0 0 858 9 5 3 20 0 15 0 223557518 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=11080032 memory=3236368 CPUtime=3.16 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) S 3496 3499 30457 0 -1 1077944384 58751 13010 0 0 300 8 5 3 20 0 15 0 223557518 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025463298800 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=11080032 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809092 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=11080032 memory=8112282956445269571 CPUtime=1.4 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 2091 13010 0 0 68 64 5 3 20 0 15 0 223557518 11345952768 809092 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 2437.85 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3236368 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.56 1.55 2/194 3708
/proc/meminfo: memFree=5361824/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=11080032 memory=3236588 CPUtime=2498.05 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 1034250 13010 0 0 249426 371 5 3 20 0 15 0 223557503 11345952768 809147 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2770008 809147 3537 1 0 2731661 0
[pid=3499/tid=3552] ppid=3496 vsize=11080032 memory=2196 CPUtime=2424.7 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 667304 13010 0 0 242339 123 5 3 20 0 15 0 223557512 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026603075600 140026162855360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=11080032 memory=3236588 CPUtime=12.01 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 31728 13010 0 0 1157 36 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=11080032 memory=3236588 CPUtime=12.05 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 22113 13010 0 0 1162 35 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=11080032 memory=3236576 CPUtime=12.03 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 27731 13010 0 0 1158 37 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=11080032 memory=3236204 CPUtime=12.03 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 35005 13010 0 0 1161 34 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=11080032 memory=3236204 CPUtime=4.03 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) S 3496 3499 30457 0 -1 1077944384 31704 13010 0 0 360 35 5 3 20 0 15 0 223557514 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025869572080 140026631252610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=11080032 memory=3236368 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 30 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025530409952 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=11080032 memory=3236560 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 29 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025329083392 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=11080032 memory=3236576 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=11080032 memory=3236576 CPUtime=8.44 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 79453 13010 0 0 829 7 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=11080032 memory=3236576 CPUtime=8.75 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 76070 13010 0 0 858 9 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=11080032 memory=3236576 CPUtime=3.16 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) S 3496 3499 30457 0 -1 1077944384 58754 13010 0 0 300 8 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025463298800 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=11080032 memory=3236588 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=11080032 memory=3236588 CPUtime=1.44 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 2127 13010 0 0 70 66 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 2498.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3236588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.2 s]
/proc/loadavg: 1.21 1.48 1.52 2/194 3708
/proc/meminfo: memFree=5361824/32770624 swapFree=67108860/67108860
[pid=3499] ppid=3496 vsize=11080032 memory=3236588 CPUtime=2520 cores=0,2,4,6
/proc/3499/stat : 3499 (java) S 3496 3499 30457 0 -1 1077944320 1060493 13010 0 0 251620 372 5 3 20 0 15 0 223557503 11345952768 809147 33554432000 4194304 4196468 140723147956640 140723147939184 140026631241463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
/proc/3499/statm: 2770008 809147 3537 1 0 2731661 0
[pid=3499/tid=3552] ppid=3496 vsize=11080032 memory=8148 CPUtime=2446.58 cores=0,2,4,6
/proc/3499/task/3552/stat : 3552 (java) R 3496 3499 30457 0 -1 4202560 693511 13010 0 0 244525 125 5 3 20 0 15 0 223557512 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026603075312 140026160914324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3553] ppid=3496 vsize=11080032 memory=844 CPUtime=12.03 cores=0,2,4,6
/proc/3499/task/3553/stat : 3553 (java) S 3496 3499 30457 0 -1 1077944384 31738 13010 0 0 1159 36 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026635483920 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3554] ppid=3496 vsize=11080032 memory=8112282956445269571 CPUtime=12.08 cores=0,2,4,6
/proc/3499/task/3554/stat : 3554 (java) S 3496 3499 30457 0 -1 1077944384 22123 13010 0 0 1164 36 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026490203024 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3555] ppid=3496 vsize=11080032 memory=2672 CPUtime=12.04 cores=0,2,4,6
/proc/3499/task/3555/stat : 3555 (java) S 3496 3499 30457 0 -1 1077944384 27737 13010 0 0 1159 37 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026489150480 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3556] ppid=3496 vsize=11080032 memory=6935054825532540783 CPUtime=12.05 cores=0,2,4,6
/proc/3499/task/3556/stat : 3556 (java) S 3496 3499 30457 0 -1 1077944384 35012 13010 0 0 1163 34 5 3 20 0 15 0 223557513 11345952768 809147 33554432000 4194304 4196468 140723147956640 140026488097936 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3557] ppid=3496 vsize=11080032 memory=4126316290023845779 CPUtime=4.04 cores=0,2,4,6
/proc/3499/task/3557/stat : 3557 (java) S 3496 3499 30457 0 -1 1077944384 31707 13010 0 0 361 35 5 3 20 0 15 0 223557514 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025869572080 140026631252610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3558] ppid=3496 vsize=11080032 memory=8319679319876462401 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3558/stat : 3558 (java) S 3496 3499 30457 0 -1 1077944384 30 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025530409952 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3559] ppid=3496 vsize=11080032 memory=7380670076085299564 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3559/stat : 3559 (java) S 3496 3499 30457 0 -1 1077944384 29 13010 0 0 0 0 5 3 20 0 15 0 223557515 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025329083392 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3560] ppid=3496 vsize=11080032 memory=-2026666227646604569 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3560/stat : 3560 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025021683920 140026631260059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3561] ppid=3496 vsize=11080032 memory=3236588 CPUtime=8.44 cores=0,2,4,6
/proc/3499/task/3561/stat : 3561 (java) S 3496 3499 30457 0 -1 1077944384 79453 13010 0 0 829 7 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025868519920 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3562] ppid=3496 vsize=11080032 memory=-2892745056948402235 CPUtime=8.75 cores=0,2,4,6
/proc/3499/task/3562/stat : 3562 (java) S 3496 3499 30457 0 -1 1077944384 76070 13010 0 0 858 9 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025867467376 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3563] ppid=3496 vsize=11080032 memory=4096 CPUtime=3.16 cores=0,2,4,6
/proc/3499/task/3563/stat : 3563 (java) S 3496 3499 30457 0 -1 1077944384 58754 13010 0 0 300 8 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025463298800 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3564] ppid=3496 vsize=11080032 memory=1404 CPUtime=0.08 cores=0,2,4,6
/proc/3499/task/3564/stat : 3564 (java) S 3496 3499 30457 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140024590888032 140026631251669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
[pid=3499/tid=3565] ppid=3496 vsize=11080032 memory=3232 CPUtime=1.45 cores=0,2,4,6
/proc/3499/task/3565/stat : 3565 (java) S 3496 3499 30457 0 -1 1077944384 2127 13010 0 0 71 66 5 3 20 0 15 0 223557518 11345952768 809147 33554432000 4194304 4196468 140723147956640 140025462245680 140026631252610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140723147962979 140723147965788 140723147965788 140723147968463 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3236588 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2464.29 s]
# the end of solver process 3499 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.31 s, system=3.80147 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2464.29
CPU time (s): 2520.11
CPU user time (s): 2516.31
CPU system time (s): 3.80147
CPU usage (%): 102.265
Max. virtual memory (cumulated for all children) (KiB): 11082668
Max. memory (cumulated for all children) (KiB): 3237200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.31
system time used= 3.80147
maximum resident set size= 3239024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078344
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134933
involuntary context switches= 6039


# summary of solver processes directly reported to runsolver:
#   pid: 3499
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.31
#   total CPU system time (s): 3.80147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9944 second user time and 22.7624 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml
MD5SUM	f46e6f53d96372a3a8925b0c81d3424e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2245
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":56},{"size":22,"count":4},{"size":36,"count":66},{"size":42,"count":116},{"size":44,"count":158}]
Minimum variable degree	4
Maximum variable degree	32
Distribution of variable degrees	[{"degree":4,"count":2},{"degree":6,"count":12},{"degree":7,"count":21},{"degree":8,"count":38},{"degree":9,"count":42},{"degree":10,"count":44},{"degree":11,"count":45},{"degree":12,"count":27},{"degree":13,"count":16},{"degree":14,"count":27},{"degree":15,"count":21},{"degree":16,"count":44},{"degree":17,"count":30},{"degree":18,"count":17},{"degree":19,"count":7},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":32,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2245}]
Number of extensional constraints	0
Number of intensional constraints	2245
Distribution of constraint types	[{"type":"intension","count":2245}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4304344

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
