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 (15204 MiB free)
memory of node 1: 16384 MiB (7729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258017-1502647222/watcher-4258017-1502647222 -o /tmp/evaluation-result-4258017-1502647222/solver-4258017-1502647222 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258017-1502647222.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11623, runsolver pid=11620
[startup+0.100123 s]*
/proc/loadavg: 5.73 4.51 4.08 3/196 11625
/proc/meminfo: memFree=23483360/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=9936560 memory=13844 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 2763 0 0 0 0 0 0 0 20 0 6 0 66915525 10175037440 3461 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2484140 3461 1425 1 0 2473637 0
[pid=11623/tid=11625] ppid=11620 vsize=9936560 memory=4206751525541407381 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) R 11620 11623 17093 0 -1 4202560 1716 0 0 0 0 0 0 0 20 0 6 0 66915535 10175037440 3725 18446744073709551615 4194304 4196468 140735047868112 140332826112592 140332782858102 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=9936560 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 66915536 10175037440 3725 18446744073709551615 4194304 4196468 140735047868112 140332762913040 140332821886677 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=9936560 memory=140671259072128 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 66915536 10175037440 3725 18446744073709551615 4194304 4196468 140735047868112 140332761860496 140332821886677 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 66915536 10175037440 3725 18446744073709551615 4194304 4196468 140735047868112 140332760807952 140332821886677 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=9936560 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 66915536 10175037440 3725 18446744073709551615 4194304 4196468 140735047868112 140332759755408 140332821886677 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 13844 KiB
[startup+0.209988 s]*
/proc/loadavg: 5.73 4.51 4.08 3/209 11638
/proc/meminfo: memFree=23469944/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10551156 memory=26416 CPUtime=0.08 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 5186 0 0 0 8 0 0 0 20 0 15 0 66915525 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2637789 6604 2710 1 0 2627261 0
[pid=11623/tid=11625] ppid=11620 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) R 11620 11623 17093 0 -1 4202560 3142 0 0 0 6 0 0 0 20 0 15 0 66915535 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332826102240 140332821898397 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332762913040 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10551156 memory=3689211300932572832 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332761860496 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332760807952 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332759755408 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10551156 memory=140671259072128 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915537 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332317297136 140332821887618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66915537 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332316243360 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66915538 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332315190768 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332314139344 140332821895067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) S 11620 11623 17093 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 66915540 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332313085936 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) S 11620 11623 17093 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 66915540 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332312033392 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10551156 memory=140671259072128 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) S 11620 11623 17093 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 66915540 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332310980848 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10551156 memory=140671259072128 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66915545 10804383744 6604 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26416 KiB
[startup+0.310146 s]*
/proc/loadavg: 5.73 4.51 4.08 3/209 11638
/proc/meminfo: memFree=23459624/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10551156 memory=36216 CPUtime=0.24 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 8323 0 0 0 22 2 0 0 20 0 15 0 66915525 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2637789 9054 2870 1 0 2627261 0
[pid=11623/tid=11625] ppid=11620 vsize=10551156 memory=-7677926825137650786 CPUtime=0.16 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) R 11620 11623 17093 0 -1 4202560 6025 0 0 0 15 1 0 0 20 0 15 0 66915535 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332826108624 140332805956958 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332762913040 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332761860496 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332760807952 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66915536 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332759755408 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915537 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332317297136 140332821887618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66915537 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332316243360 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66915538 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332315190768 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332314139344 140332821895067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) S 11620 11623 17093 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 66915540 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332313085936 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10551156 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) S 11620 11623 17093 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 66915540 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332312033392 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10551156 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) R 11620 11623 17093 0 -1 4202560 381 0 0 0 4 0 0 0 20 0 15 0 66915540 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332310980848 140332821897818 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10551156 memory=140671259072128 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66915545 10804383744 9054 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36216 KiB
[startup+0.70122 s]
/proc/loadavg: 5.73 4.51 4.08 4/209 11638
/proc/meminfo: memFree=23431768/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10551232 memory=87660 CPUtime=1.33 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 12552 0 0 0 129 4 0 0 20 0 15 0 66915525 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2637808 21915 3048 1 0 2627261 0
[pid=11623/tid=11625] ppid=11620 vsize=10551232 memory=6297835844906604903 CPUtime=0.54 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) R 11620 11623 17093 0 -1 4202560 7344 0 0 0 52 2 0 0 20 0 15 0 66915535 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332826112864 140332438715156 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10551232 memory=7308028628335813952 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332762913040 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10551232 memory=7596259004554634560 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332761860496 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10551232 memory=7302135314614015848 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) S 11620 11623 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66915536 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332760807952 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10551232 memory=2278 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66915536 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332759755408 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10551232 memory=302 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) S 11620 11623 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66915537 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332317297136 140332821887618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10551232 memory=858 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66915537 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332316243360 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10551232 memory=57 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66915538 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332315190768 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332314139344 140332821895067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10551232 memory=108 CPUtime=0.27 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) R 11620 11623 17093 0 -1 4202560 996 0 0 0 27 0 0 0 20 0 15 0 66915540 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332313075728 140332799767552 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10551232 memory=3904 CPUtime=0.26 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) R 11620 11623 17093 0 -1 4202560 1277 0 0 0 26 0 0 0 20 0 15 0 66915540 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332312019488 140332801533002 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10551232 memory=-7677926825137650786 CPUtime=0.23 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) S 11620 11623 17093 0 -1 1077944384 1564 0 0 0 23 0 0 0 20 0 15 0 66915540 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332310980848 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66915545 10804461568 21915 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 87660 KiB
[startup+1.50124 s]
/proc/loadavg: 5.73 4.51 4.08 8/209 11638
/proc/meminfo: memFree=23297652/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10551232 memory=249164 CPUtime=3.77 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 14773 0 0 0 366 11 0 0 20 0 15 0 66915525 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2637808 62291 3101 1 0 2627261 0
[pid=11623/tid=11625] ppid=11620 vsize=10551232 memory=281342235627392 CPUtime=1.3 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) R 11620 11623 17093 0 -1 4202560 7921 0 0 0 125 5 0 0 20 0 15 0 66915535 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332826107288 140332440438384 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10551232 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) S 11620 11623 17093 0 -1 1077944384 109 0 0 0 2 1 0 0 20 0 15 0 66915536 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332762913040 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10551232 memory=5857 CPUtime=0.03 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) S 11620 11623 17093 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 15 0 66915536 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332761860496 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10551232 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) S 11620 11623 17093 0 -1 1077944384 115 0 0 0 2 1 0 0 20 0 15 0 66915536 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332760807952 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10551232 memory=281342235722016 CPUtime=0.02 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) S 11620 11623 17093 0 -1 1077944384 121 0 0 0 1 1 0 0 20 0 15 0 66915536 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332759755408 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) S 11620 11623 17093 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 66915537 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332317297136 140332821887618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66915537 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332316243360 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10551232 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66915538 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332315190768 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10551232 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332314139344 140332821895067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10551232 memory=16448 CPUtime=1 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) S 11620 11623 17093 0 -1 1077944384 1614 0 0 0 100 0 0 0 20 0 15 0 66915540 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332313085936 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10551232 memory=2752 CPUtime=0.98 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) S 11620 11623 17093 0 -1 1077944384 1643 0 0 0 98 0 0 0 20 0 15 0 66915540 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332312033392 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10551232 memory=2856 CPUtime=0.31 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) S 11620 11623 17093 0 -1 1077944384 1702 0 0 0 31 0 0 0 20 0 15 0 66915540 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332310980848 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10551232 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10551232 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66915545 10804461568 62291 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 3.77 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
[startup+88.9618 s]
# the end of solver process 11623 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.164 s, system=6.57158 s
Solver just ended.
Dumping a history of the last processes samples
[startup+88.0008 s]*
/proc/loadavg: 6.00 4.85 4.23 6/209 11715
/proc/meminfo: memFree=14902084/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10551232 memory=8350332 CPUtime=254.12 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 99074 0 0 0 24760 652 0 0 20 0 15 0 66915525 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2637808 2087583 3119 1 0 2627261 0
[pid=11623/tid=11625] ppid=11620 vsize=10551232 memory=1992 CPUtime=14.45 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) S 11620 11623 17093 0 -1 1077944384 17959 0 0 0 1434 11 0 0 20 0 15 0 66915535 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332826113568 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10551232 memory=1204 CPUtime=54.7 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) S 11620 11623 17093 0 -1 1077944384 14726 0 0 0 5326 144 0 0 20 0 15 0 66915536 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332762913040 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10551232 memory=1000 CPUtime=54.72 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) S 11620 11623 17093 0 -1 1077944384 8733 0 0 0 5311 161 0 0 20 0 15 0 66915536 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332761860496 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10551232 memory=4872558044660077418 CPUtime=54.61 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) S 11620 11623 17093 0 -1 1077944384 10582 0 0 0 5290 171 0 0 20 0 15 0 66915536 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332760807952 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10551232 memory=21204 CPUtime=54.66 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) S 11620 11623 17093 0 -1 1077944384 13534 0 0 0 5308 158 0 0 20 0 15 0 66915536 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332759755408 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10551232 memory=1788 CPUtime=18.15 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) R 11620 11623 17093 0 -1 4202560 23178 0 0 0 1813 2 0 0 20 0 15 0 66915537 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332317295568 140332806577211 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10551232 memory=640 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66915537 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332316243424 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10551232 memory=960 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66915538 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332315190784 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10551232 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66915540 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332314138992 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10551232 memory=2248 CPUtime=1.19 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) S 11620 11623 17093 0 -1 1077944384 3008 0 0 0 119 0 0 0 20 0 15 0 66915540 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332313085984 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10551232 memory=4300 CPUtime=1.17 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) S 11620 11623 17093 0 -1 1077944384 2733 0 0 0 117 0 0 0 20 0 15 0 66915540 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332312033440 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10551232 memory=932 CPUtime=0.35 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) S 11620 11623 17093 0 -1 1077944384 2613 0 0 0 35 0 0 0 20 0 15 0 66915540 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332310980608 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10551232 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66915540 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10551232 memory=2160 CPUtime=0.03 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 646 0 0 0 2 1 0 0 20 0 15 0 66915545 10804461568 2087583 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 254.12 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8350332 KiB
[startup+88.4012 s]
/proc/loadavg: 6.00 4.85 4.23 6/209 11715
/proc/meminfo: memFree=14902084/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10750924 memory=8350368 CPUtime=254.61 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 99212 0 0 0 24809 652 0 0 20 0 17 0 66915525 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2687731 2087592 3121 1 0 2677184 0
[pid=11623/tid=11625] ppid=11620 vsize=10750924 memory=37696 CPUtime=14.47 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) S 11620 11623 17093 0 -1 1077944384 17959 0 0 0 1436 11 0 0 20 0 17 0 66915535 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332826113456 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10750924 memory=37696 CPUtime=54.73 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) R 11620 11623 17093 0 -1 4202560 14726 0 0 0 5329 144 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332762913040 140332806827598 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10750924 memory=-8774313645642428999 CPUtime=54.76 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) R 11620 11623 17093 0 -1 4202560 8733 0 0 0 5314 162 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332761860496 140332806574223 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10750924 memory=1732 CPUtime=54.64 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) R 11620 11623 17093 0 -1 4202560 10586 0 0 0 5293 171 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332760807952 140332803473482 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10750924 memory=5788 CPUtime=54.69 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) R 11620 11623 17093 0 -1 4202560 13540 0 0 0 5311 158 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332759755608 140332803473482 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10750924 memory=4612 CPUtime=18.49 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) S 11620 11623 17093 0 -1 1077944384 23178 0 0 0 1847 2 0 0 20 0 17 0 66915537 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332317295456 140332821886677 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10750924 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 66915537 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332316243424 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10750924 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 66915538 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332315190784 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10750924 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332314139344 140332821895067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10750924 memory=12200 CPUtime=1.19 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) S 11620 11623 17093 0 -1 1077944384 3008 0 0 0 119 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332313085936 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10750924 memory=1992 CPUtime=1.17 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) S 11620 11623 17093 0 -1 1077944384 2733 0 0 0 117 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332312033392 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10750924 memory=1204 CPUtime=0.35 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) S 11620 11623 17093 0 -1 1077944384 2614 0 0 0 35 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332310980848 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10750924 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10750924 memory=796 CPUtime=0.03 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 646 0 0 0 2 1 0 0 20 0 17 0 66915545 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 254.61 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8350368 KiB
[startup+88.8062 s]
/proc/loadavg: 6.00 4.85 4.23 6/209 11715
/proc/meminfo: memFree=14902084/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10750924 memory=8350368 CPUtime=256.23 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 99213 0 0 0 24971 652 0 0 20 0 17 0 66915525 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2687731 2087592 3121 1 0 2677184 0
[pid=11623/tid=11625] ppid=11620 vsize=10750924 memory=4028 CPUtime=14.47 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) S 11620 11623 17093 0 -1 1077944384 17959 0 0 0 1436 11 0 0 20 0 17 0 66915535 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332826113456 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10750924 memory=37696 CPUtime=55.13 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) R 11620 11623 17093 0 -1 4202560 14726 0 0 0 5369 144 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332762912928 140332806827076 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10750924 memory=1296 CPUtime=55.17 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) R 11620 11623 17093 0 -1 4202560 8733 0 0 0 5355 162 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332761860696 140332806861767 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10750924 memory=-8774313645642428999 CPUtime=55.05 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) R 11620 11623 17093 0 -1 4202560 10586 0 0 0 5334 171 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332760808152 140332806827598 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10750924 memory=16448 CPUtime=55.09 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) R 11620 11623 17093 0 -1 4202560 13540 0 0 0 5351 158 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332759755608 140332806827149 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10750924 memory=2752 CPUtime=18.49 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) S 11620 11623 17093 0 -1 1077944384 23178 0 0 0 1847 2 0 0 20 0 17 0 66915537 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332317295456 140332821886677 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10750924 memory=2856 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 66915537 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332316243424 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10750924 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 66915538 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332315190784 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10750924 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332314139344 140332821895067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10750924 memory=2900 CPUtime=1.19 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) S 11620 11623 17093 0 -1 1077944384 3008 0 0 0 119 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332313085936 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10750924 memory=8350332 CPUtime=1.17 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) S 11620 11623 17093 0 -1 1077944384 2733 0 0 0 117 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332312033392 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10750924 memory=1160 CPUtime=0.35 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) S 11620 11623 17093 0 -1 1077944384 2614 0 0 0 35 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332310980848 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10750924 memory=2856 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10750924 memory=8295856 CPUtime=0.03 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 646 0 0 0 2 1 0 0 20 0 17 0 66915545 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 256.23 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8350368 KiB
[startup+88.9082 s]
/proc/loadavg: 6.00 4.85 4.23 6/209 11715
/proc/meminfo: memFree=14902084/32770624 swapFree=67108860/67108860
[pid=11623] ppid=11620 vsize=10750924 memory=8350368 CPUtime=256.64 cores=0,2,4,6
/proc/11623/stat : 11623 (java) S 11620 11623 17093 0 -1 1077944320 99217 0 0 0 25012 652 0 0 20 0 17 0 66915525 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140735047850656 140332821876471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
/proc/11623/statm: 2687731 2087592 3121 1 0 2677184 0
[pid=11623/tid=11625] ppid=11620 vsize=10750924 memory=5483 CPUtime=14.47 cores=0,2,4,6
/proc/11623/task/11625/stat : 11625 (java) S 11620 11623 17093 0 -1 1077944384 17959 0 0 0 1436 11 0 0 20 0 17 0 66915535 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332826113456 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11626] ppid=11620 vsize=10750924 memory=8350368 CPUtime=55.23 cores=0,2,4,6
/proc/11623/task/11626/stat : 11626 (java) R 11620 11623 17093 0 -1 4202560 14726 0 0 0 5379 144 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332762912928 140332806827598 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11627] ppid=11620 vsize=10750924 memory=8350320 CPUtime=55.27 cores=0,2,4,6
/proc/11623/task/11627/stat : 11627 (java) R 11620 11623 17093 0 -1 4202560 8735 0 0 0 5365 162 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332761860696 140332806827598 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11628] ppid=11620 vsize=10750924 memory=8350332 CPUtime=55.15 cores=0,2,4,6
/proc/11623/task/11628/stat : 11628 (java) R 11620 11623 17093 0 -1 4202560 10587 0 0 0 5344 171 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332760808152 140332803472347 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11629] ppid=11620 vsize=10750924 memory=8350332 CPUtime=55.2 cores=0,2,4,6
/proc/11623/task/11629/stat : 11629 (java) R 11620 11623 17093 0 -1 4202560 13541 0 0 0 5362 158 0 0 20 0 17 0 66915536 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332759755608 140332806574223 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11630] ppid=11620 vsize=10750924 memory=8350320 CPUtime=18.49 cores=0,2,4,6
/proc/11623/task/11630/stat : 11630 (java) S 11620 11623 17093 0 -1 1077944384 23178 0 0 0 1847 2 0 0 20 0 17 0 66915537 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332317295456 140332821886677 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11631] ppid=11620 vsize=10750924 memory=8350320 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11631/stat : 11631 (java) S 11620 11623 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 66915537 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332316243424 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11632] ppid=11620 vsize=10750924 memory=8350320 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11632/stat : 11632 (java) S 11620 11623 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 66915538 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332315190784 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11633] ppid=11620 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11633/stat : 11633 (java) S 11620 11623 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332314139344 140332821895067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11634] ppid=11620 vsize=10750924 memory=8350316 CPUtime=1.19 cores=0,2,4,6
/proc/11623/task/11634/stat : 11634 (java) S 11620 11623 17093 0 -1 1077944384 3008 0 0 0 119 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332313085936 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11635] ppid=11620 vsize=10750924 memory=8350316 CPUtime=1.17 cores=0,2,4,6
/proc/11623/task/11635/stat : 11635 (java) S 11620 11623 17093 0 -1 1077944384 2733 0 0 0 117 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332312033392 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11636] ppid=11620 vsize=10750924 memory=8350332 CPUtime=0.35 cores=0,2,4,6
/proc/11623/task/11636/stat : 11636 (java) S 11620 11623 17093 0 -1 1077944384 2614 0 0 0 35 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332310980848 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11637] ppid=11620 vsize=10750924 memory=8350368 CPUtime=0 cores=0,2,4,6
/proc/11623/task/11637/stat : 11637 (java) S 11620 11623 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66915540 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332309928544 140332821886677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
[pid=11623/tid=11638] ppid=11620 vsize=10750924 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11623/task/11638/stat : 11638 (java) S 11620 11623 17093 0 -1 1077944384 646 0 0 0 2 1 0 0 20 0 17 0 66915545 11008946176 2087592 18446744073709551615 4194304 4196468 140735047868112 140332308876080 140332821887618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140735047872917 140735047873070 140735047873070 140735047876559 0
Current children cumulated CPU time: 256.64 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8350368 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 88.9619
CPU time (s): 256.736
CPU user time (s): 250.164
CPU system time (s): 6.57158
CPU usage (%): 288.59
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 8350368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.164
system time used= 6.57158
maximum resident set size= 8350948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5197
involuntary context switches= 4406
# summary of solver processes directly reported to runsolver:
# pid: 11623
# total CPU time (s): 256.736
# total CPU user time (s): 250.164
# total CPU system time (s): 6.57158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.561478 second user time and 0.843891 second system time
The end