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 (8678 MiB free)
memory of node 1: 16384 MiB (12718 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292874-1532296223/watcher-4292874-1532296223 -o /tmp/evaluation-result-4292874-1532296223/solver-4292874-1532296223 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=873020998 HOME/instance-4292874-1532296223.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
solver pid=4625, runsolver pid=4618
Current StackSize limit: 8192 KiB
[startup+0.100197 s]*
/proc/loadavg: 1.21 1.65 1.80 4/212 4698
/proc/meminfo: memFree=21884912/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=113256 memory=1608 CPUtime=0.01 cores=0,2,4,6
/proc/4625/stat : 4625 (bash) S 4618 4625 4562 0 -1 4202496 889 5660 0 0 0 0 0 1 20 0 1 0 47185516 115974144 402 33554432000 4194304 5098028 140725530723664 140725530717672 140083573029888 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 12210176 140725530731692 140725530731816 140725530731816 140725530734574 0
/proc/4625/statm: 28314 402 318 221 0 119 0
[pid=4678] ppid=4625 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (bash) S 4625 4625 4562 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 47185521 115974144 179 33554432000 4194304 5098028 140725530723664 140725530716344 140083572855420 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12210176 140725530731692 140725530731816 140725530731816 140725530734574 0
/proc/4678/statm: 28314 179 95 221 0 119 0
[pid=4681] ppid=4678 vsize=10327916 memory=20672 CPUtime=0.04 cores=0,2,4,6
/proc/4681/stat : 4681 (java) S 4678 4625 4562 0 -1 1077944320 3964 0 0 0 4 0 0 0 20 0 11 0 47185521 10575785984 5168 33554432000 4194304 4196468 140735990725296 140735990707840 140151540981495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
/proc/4681/statm: 2581979 5168 2192 1 0 2544520 0
[pid=4681/tid=4684] ppid=4678 vsize=10526580 memory=-8412654372658052764 CPUtime=0.03 cores=0,2,4,6
/proc/4681/task/4684/stat : 4684 (java) R 4678 4625 4562 0 -1 4202560 2651 0 0 0 3 0 0 0 20 0 13 0 47185521 10779217920 5432 33554432000 4194304 4196468 140735990725296 140151545215384 140151541003421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4689] ppid=4678 vsize=10526580 memory=4210146916469654281 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4689/stat : 4689 (java) S 4678 4625 4562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 47185522 10779217920 5432 33554432000 4194304 4196468 140735990725296 140151497534480 140151540991701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4690] ppid=4678 vsize=10526580 memory=139858490775168 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4690/stat : 4690 (java) S 4678 4625 4562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 47185522 10779217920 5432 33554432000 4194304 4196468 140735990725296 140151496481936 140151540991701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4691] ppid=4678 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4691/stat : 4691 (java) S 4678 4625 4562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 47185522 10779217920 5432 33554432000 4194304 4196468 140735990725296 140151495428880 140151540991701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4692] ppid=4678 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4692/stat : 4692 (java) S 4678 4625 4562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 47185522 10779217920 5432 33554432000 4194304 4196468 140735990725296 140151144504208 140151540991701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4694] ppid=4678 vsize=10526580 memory=139858490775168 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4694/stat : 4694 (java) S 4678 4625 4562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 47185523 10779217920 5432 33554432000 4194304 4196468 140735990725296 140150845257968 140151540992642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4696] ppid=4678 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4696/stat : 4696 (java) S 4678 4625 4562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 47185524 10779217920 5432 33554432000 4194304 4196468 140735990725296 140150844204192 140151540991701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4698] ppid=4678 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4698/stat : 4698 (java) S 4678 4625 4562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 47185524 10779217920 5432 33554432000 4194304 4196468 140735990725296 140150843151088 140151540991701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4703] ppid=4678 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4703/stat : 4703 (java) S 4678 4625 4562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 47185526 10779217920 5432 33554432000 4194304 4196468 140735990725296 140150842099664 140151541000091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4704] ppid=4678 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4704/stat : 4704 (java) R 4678 4625 4562 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 13 0 47185526 10779217920 5432 33554432000 4194304 4196468 140735990725296 140150841035208 140151533270877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4705] ppid=4678 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4705/stat : 4705 (java) R 4678 4625 4562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 47185526 10779217920 5432 33554432000 4194304 4196468 140735990725296 140150839994944 140151540991701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4681/tid=4706] ppid=4678 vsize=10526580 memory=139858490775168 CPUtime=0 cores=0,2,4,6
/proc/4681/task/4706/stat : 4706 (java) S 4678 4625 4562 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 13 0 47185526 10779217920 5432 33554432000 4194304 4196468 140735990725296 140150838942192 140151540992642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18042880 140735990727971 140735990727985 140735990727985 140735990730703 0
[pid=4682] ppid=4678 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/4682/stat : 4682 (awk) S 4678 4625 4562 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 47185521 116211712 243 33554432000 4194304 4609284 140732551468272 140732551467448 139673019046912 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 29253632 140732551472467 140732551472497 140732551472497 140732551475183 0
/proc/4682/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10667916 KiB
Current children cumulated memory: 23968 KiB
[startup+0.219522 s]*
/proc/loadavg: 1.21 1.65 1.80 7/218 4756
/proc/meminfo: memFree=21864128/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=10818904 memory=37208 CPUtime=0.22 cores=0,2,4,6
/proc/4625/stat : 4625 (java) S 4618 4625 4562 0 -1 1077944320 6553 12891 0 0 13 1 5 3 20 0 15 0 47185516 11078557696 9302 33554432000 4194304 4196468 140726455749808 140726455732352 140171228557047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
/proc/4625/statm: 2704726 9302 2937 1 0 2667149 0
[pid=4625/tid=4730] ppid=4618 vsize=10818904 memory=7022364594140610616 CPUtime=0.16 cores=0,2,4,6
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 3137 12891 0 0 8 0 5 3 20 0 15 0 47185528 11078557696 9302 33554432000 4194304 4196468 140726455749808 140171200365120 140171228568982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10818904 memory=331 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11078557696 9302 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10818904 memory=139858490783942 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11078557696 9302 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4737/stat : 4737 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170800847632 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4738] ppid=4618 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4738/stat : 4738 (java) S 4618 4625 4562 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 47185529 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170799795088 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4740] ppid=4618 vsize=10818904 memory=139858490775168 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4740/stat : 4740 (java) S 4618 4625 4562 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 47185530 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170755217648 140171228568194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4742] ppid=4618 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4742/stat : 4742 (java) S 4618 4625 4562 0 -1 1077944384 13 12891 0 0 0 0 5 3 20 0 15 0 47185531 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170217120928 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4744] ppid=4618 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4744/stat : 4744 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185531 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170015793904 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4749] ppid=4618 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4749/stat : 4749 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11078557696 9302 33554432000 4194304 4196468 140726455749808 140169775503312 140171228575643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4750] ppid=4618 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4625/task/4750/stat : 4750 (java) S 4618 4625 4562 0 -1 1077944384 484 12891 0 0 1 0 5 3 20 0 15 0 47185534 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170297862896 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4751] ppid=4618 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4751/stat : 4751 (java) S 4618 4625 4562 0 -1 1077944384 129 12891 0 0 0 0 5 3 20 0 15 0 47185534 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170296810352 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4753] ppid=4618 vsize=10818904 memory=139858490775168 CPUtime=0.1 cores=0,2,4,6
/proc/4625/task/4753/stat : 4753 (java) S 4618 4625 4562 0 -1 1077944384 583 12891 0 0 2 0 5 3 20 0 15 0 47185534 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170295757296 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4754] ppid=4618 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4754/stat : 4754 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11078557696 9302 33554432000 4194304 4196468 140726455749808 140169741945696 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4756] ppid=4618 vsize=10818904 memory=139858490775168 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4756/stat : 4756 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185534 11078557696 9302 33554432000 4194304 4196468 140726455749808 140170294704688 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 37208 KiB
[startup+0.310299 s]*
/proc/loadavg: 1.21 1.65 1.80 4/218 4756
/proc/meminfo: memFree=21837164/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=10819352 memory=50776 CPUtime=0.34 cores=0,2,4,6
/proc/4625/stat : 4625 (java) S 4618 4625 4562 0 -1 1077944320 9630 12891 0 0 24 2 5 3 20 0 15 0 47185516 11079016448 12694 33554432000 4194304 4196468 140726455749808 140726455732352 140171228557047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
/proc/4625/statm: 2704838 12694 3068 1 0 2667149 0
[pid=4625/tid=4730] ppid=4618 vsize=10819352 memory=7525635276776890708 CPUtime=0.25 cores=0,2,4,6
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 6194 12891 0 0 16 1 5 3 20 0 15 0 47185528 11079016448 12694 33554432000 4194304 4196468 140726455749808 140171200382880 140171228578973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10819352 memory=3833189137745457718 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 12694 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10819352 memory=3978564578204874422 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 12694 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10819352 memory=288355116380323867 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4737/stat : 4737 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170800847632 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4738] ppid=4618 vsize=10819352 memory=288230600345921818 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4738/stat : 4738 (java) S 4618 4625 4562 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170799795088 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4740] ppid=4618 vsize=10819352 memory=14133342345907083 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4740/stat : 4740 (java) S 4618 4625 4562 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 47185530 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170755217648 140171228568194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4742] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4742/stat : 4742 (java) S 4618 4625 4562 0 -1 1077944384 13 12891 0 0 0 0 5 3 20 0 15 0 47185531 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170217120928 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4744] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4744/stat : 4744 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185531 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170015793904 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4749] ppid=4618 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4749/stat : 4749 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11079016448 12694 33554432000 4194304 4196468 140726455749808 140169775503312 140171228575643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4750] ppid=4618 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4625/task/4750/stat : 4750 (java) S 4618 4625 4562 0 -1 1077944384 484 12891 0 0 1 0 5 3 20 0 15 0 47185534 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170297862896 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4751] ppid=4618 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4625/task/4751/stat : 4751 (java) S 4618 4625 4562 0 -1 1077944384 129 12891 0 0 1 0 5 3 20 0 15 0 47185534 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170296810352 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4753] ppid=4618 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4625/task/4753/stat : 4753 (java) S 4618 4625 4562 0 -1 1077944384 604 12891 0 0 4 0 5 3 20 0 15 0 47185534 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170295757296 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4754] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4754/stat : 4754 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11079016448 12694 33554432000 4194304 4196468 140726455749808 140169741945696 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4756] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4756/stat : 4756 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185534 11079016448 12694 33554432000 4194304 4196468 140726455749808 140170294704688 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 50776 KiB
[startup+0.701548 s]
/proc/loadavg: 1.21 1.65 1.80 4/218 4756
/proc/meminfo: memFree=21812604/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=10819352 memory=86100 CPUtime=0.94 cores=0,2,4,6
/proc/4625/stat : 4625 (java) S 4618 4625 4562 0 -1 1077944320 16615 12891 0 0 82 4 5 3 20 0 15 0 47185516 11079016448 21525 33554432000 4194304 4196468 140726455749808 140726455732352 140171228557047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
/proc/4625/statm: 2704838 21525 3247 1 0 2667149 0
[pid=4625/tid=4730] ppid=4618 vsize=10819352 memory=4140 CPUtime=0.63 cores=0,2,4,6
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 12105 12891 0 0 52 3 5 3 20 0 15 0 47185528 11079016448 21525 33554432000 4194304 4196468 140726455749808 140171200377336 140171212637534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10819352 memory=15724 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 21525 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10819352 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 21525 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4737/stat : 4737 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170800847632 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4738] ppid=4618 vsize=10819352 memory=2 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4738/stat : 4738 (java) S 4618 4625 4562 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 47185529 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170799795088 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4740] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4740/stat : 4740 (java) S 4618 4625 4562 0 -1 1077944384 5 12891 0 0 0 0 5 3 20 0 15 0 47185530 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170755217648 140171228568194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4742] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4742/stat : 4742 (java) S 4618 4625 4562 0 -1 1077944384 13 12891 0 0 0 0 5 3 20 0 15 0 47185531 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170217120928 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4744] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4744/stat : 4744 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185531 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170015793904 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4749] ppid=4618 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4749/stat : 4749 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11079016448 21525 33554432000 4194304 4196468 140726455749808 140169775503312 140171228575643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4750] ppid=4618 vsize=10819352 memory=139862785742463 CPUtime=0.17 cores=0,2,4,6
/proc/4625/task/4750/stat : 4750 (java) R 4618 4625 4562 0 -1 4202560 1073 12891 0 0 9 0 5 3 20 0 15 0 47185534 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170297848920 140171211942198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4751] ppid=4618 vsize=10819352 memory=6944652177228980320 CPUtime=0.15 cores=0,2,4,6
/proc/4625/task/4751/stat : 4751 (java) S 4618 4625 4562 0 -1 1077944384 529 12891 0 0 7 0 5 3 20 0 15 0 47185534 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170296810352 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4753] ppid=4618 vsize=10819352 memory=6656426216303648864 CPUtime=0.21 cores=0,2,4,6
/proc/4625/task/4753/stat : 4753 (java) S 4618 4625 4562 0 -1 1077944384 684 12891 0 0 13 0 5 3 20 0 15 0 47185534 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170295757296 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4754] ppid=4618 vsize=10819352 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4754/stat : 4754 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11079016448 21525 33554432000 4194304 4196468 140726455749808 140169741945696 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4756] ppid=4618 vsize=10819352 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4756/stat : 4756 (java) S 4618 4625 4562 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 47185534 11079016448 21525 33554432000 4194304 4196468 140726455749808 140170294704688 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86100 KiB
[startup+1.50077 s]
/proc/loadavg: 1.21 1.65 1.80 6/218 4756
/proc/meminfo: memFree=21723452/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=10834252 memory=178200 CPUtime=2.21 cores=0,2,4,6
/proc/4625/stat : 4625 (java) S 4618 4625 4562 0 -1 1077944320 23662 12891 0 0 204 9 5 3 20 0 15 0 47185516 11094274048 44550 33554432000 4194304 4196468 140726455749808 140726455732352 140171228557047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
/proc/4625/statm: 2708563 44550 3472 1 0 2670221 0
[pid=4625/tid=4730] ppid=4618 vsize=10834252 memory=4140 CPUtime=1.39 cores=0,2,4,6
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 17686 12891 0 0 126 5 5 3 20 0 15 0 47185528 11094274048 44550 33554432000 4194304 4196468 140726455749808 140171200388512 140171209201714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10834252 memory=15724 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 65 12891 0 0 0 0 5 3 20 0 15 0 47185529 11094274048 44550 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10834252 memory=2436 CPUtime=0.09 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 20 12891 0 0 1 0 5 3 20 0 15 0 47185529 11094274048 44550 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
################
# More data... #
################
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 72036 12891 0 0 236709 27 5 3 20 0 15 0 47185528 11173986304 142087 33554432000 4194304 4196468 140726455749808 140171200390832 140170842904220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.07 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 9904 12891 0 0 566 33 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.08 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 13459 12891 0 0 563 37 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.06 cores=0,2,4,6
/proc/4625/task/4737/stat : 4737 (java) S 4618 4625 4562 0 -1 1077944384 8600 12891 0 0 563 35 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170800847632 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4738] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.02 cores=0,2,4,6
/proc/4625/task/4738/stat : 4738 (java) S 4618 4625 4562 0 -1 1077944384 9750 12891 0 0 562 32 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170799795088 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4740] ppid=4618 vsize=10912096 memory=568348 CPUtime=5.92 cores=0,2,4,6
/proc/4625/task/4740/stat : 4740 (java) S 4618 4625 4562 0 -1 1077944384 11699 12891 0 0 554 30 5 3 20 0 15 0 47185530 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170755217648 140171228568194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4742] ppid=4618 vsize=10912096 memory=568348 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4742/stat : 4742 (java) S 4618 4625 4562 0 -1 1077944384 16 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170217121056 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4744] ppid=4618 vsize=10912096 memory=568348 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4744/stat : 4744 (java) S 4618 4625 4562 0 -1 1077944384 4 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170015793920 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4749] ppid=4618 vsize=10912096 memory=568348 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4749/stat : 4749 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140169775503312 140171228575643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4750] ppid=4618 vsize=10912096 memory=568348 CPUtime=3.22 cores=0,2,4,6
/proc/4625/task/4750/stat : 4750 (java) S 4618 4625 4562 0 -1 1077944384 14511 12891 0 0 309 5 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170297862896 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4751] ppid=4618 vsize=10912096 memory=568348 CPUtime=2.27 cores=0,2,4,6
/proc/4625/task/4751/stat : 4751 (java) S 4618 4625 4562 0 -1 1077944384 17382 12891 0 0 217 2 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170296810352 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4753] ppid=4618 vsize=10912096 memory=568348 CPUtime=1.52 cores=0,2,4,6
/proc/4625/task/4753/stat : 4753 (java) S 4618 4625 4562 0 -1 1077944384 14736 12891 0 0 141 3 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170295757296 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4754] ppid=4618 vsize=10912096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4754/stat : 4754 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140169741945696 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4756] ppid=4618 vsize=10912096 memory=4140 CPUtime=1.45 cores=0,2,4,6
/proc/4625/task/4756/stat : 4756 (java) S 4618 4625 4562 0 -1 1077944384 2563 12891 0 0 67 70 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170294704688 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
Current children cumulated CPU time: 2405.44 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 568348 KiB
[startup+2442.3 s]
/proc/loadavg: 1.44 1.27 1.35 4/216 4874
/proc/meminfo: memFree=20859972/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=10912096 memory=568348 CPUtime=2465.89 cores=0,2,4,6
/proc/4625/stat : 4625 (java) S 4618 4625 4562 0 -1 1077944320 177809 12891 0 0 246355 226 5 3 20 0 15 0 47185516 11173986304 142087 33554432000 4194304 4196468 140726455749808 140726455732352 140171228557047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
/proc/4625/statm: 2728024 142087 3517 1 0 2689677 0
[pid=4625/tid=4730] ppid=4618 vsize=10912096 memory=568348 CPUtime=2427.08 cores=0,2,4,6
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 72672 12891 0 0 242673 27 5 3 20 0 15 0 47185528 11173986304 142087 33554432000 4194304 4196468 140726455749808 140171200390752 140170843054571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.22 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 9922 12891 0 0 580 34 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.23 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 13463 12891 0 0 577 38 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.22 cores=0,2,4,6
/proc/4625/task/4737/stat : 4737 (java) S 4618 4625 4562 0 -1 1077944384 8628 12891 0 0 578 36 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170800847632 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4738] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.18 cores=0,2,4,6
/proc/4625/task/4738/stat : 4738 (java) S 4618 4625 4562 0 -1 1077944384 9785 12891 0 0 577 33 5 3 20 0 15 0 47185529 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170799795088 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4740] ppid=4618 vsize=10912096 memory=568348 CPUtime=6.07 cores=0,2,4,6
/proc/4625/task/4740/stat : 4740 (java) S 4618 4625 4562 0 -1 1077944384 11892 12891 0 0 569 30 5 3 20 0 15 0 47185530 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170755217648 140171228568194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4742] ppid=4618 vsize=10912096 memory=568348 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4742/stat : 4742 (java) S 4618 4625 4562 0 -1 1077944384 16 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170217121056 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4744] ppid=4618 vsize=10912096 memory=568348 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4744/stat : 4744 (java) S 4618 4625 4562 0 -1 1077944384 4 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170015793920 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4749] ppid=4618 vsize=10912096 memory=568348 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4749/stat : 4749 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140169775503312 140171228575643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4750] ppid=4618 vsize=10912096 memory=568348 CPUtime=3.22 cores=0,2,4,6
/proc/4625/task/4750/stat : 4750 (java) S 4618 4625 4562 0 -1 1077944384 14511 12891 0 0 309 5 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170297862896 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4751] ppid=4618 vsize=10912096 memory=568348 CPUtime=2.27 cores=0,2,4,6
/proc/4625/task/4751/stat : 4751 (java) S 4618 4625 4562 0 -1 1077944384 17382 12891 0 0 217 2 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170296810352 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4753] ppid=4618 vsize=10912096 memory=568348 CPUtime=1.52 cores=0,2,4,6
/proc/4625/task/4753/stat : 4753 (java) S 4618 4625 4562 0 -1 1077944384 14736 12891 0 0 141 3 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170295757296 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4754] ppid=4618 vsize=10912096 memory=7234863937858397288 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4754/stat : 4754 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140169741945696 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4756] ppid=4618 vsize=10912096 memory=568348 CPUtime=1.49 cores=0,2,4,6
/proc/4625/task/4756/stat : 4756 (java) S 4618 4625 4562 0 -1 1077944384 2597 12891 0 0 69 72 5 3 20 0 15 0 47185534 11173986304 142087 33554432000 4194304 4196468 140726455749808 140170294704688 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
Current children cumulated CPU time: 2465.89 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 568348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.11 s]
/proc/loadavg: 1.71 1.36 1.37 3/215 5005
/proc/meminfo: memFree=20251032/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=10912096 memory=570396 CPUtime=2520.1 cores=0,2,4,6
/proc/4625/stat : 4625 (java) S 4618 4625 4562 0 -1 1077944320 178882 12891 0 0 251770 232 5 3 20 0 15 0 47185516 11173986304 142599 33554432000 4194304 4196468 140726455749808 140726455732352 140171228557047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
/proc/4625/statm: 2728024 142599 3517 1 0 2689677 0
[pid=4625/tid=4730] ppid=4618 vsize=10912096 memory=1728 CPUtime=2480.59 cores=0,2,4,6
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 73174 12891 0 0 248022 29 5 3 20 0 15 0 47185528 11173986304 142599 33554432000 4194304 4196468 140726455749808 140171200390752 140170843769634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.36 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 9939 12891 0 0 593 35 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.37 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 13706 12891 0 0 589 40 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.35 cores=0,2,4,6
/proc/4625/task/4737/stat : 4737 (java) S 4618 4625 4562 0 -1 1077944384 8663 12891 0 0 591 36 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170800847632 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4738] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.32 cores=0,2,4,6
/proc/4625/task/4738/stat : 4738 (java) S 4618 4625 4562 0 -1 1077944384 9842 12891 0 0 590 34 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170799795088 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4740] ppid=4618 vsize=10912096 memory=1240 CPUtime=6.21 cores=0,2,4,6
/proc/4625/task/4740/stat : 4740 (java) S 4618 4625 4562 0 -1 1077944384 12085 12891 0 0 582 31 5 3 20 0 15 0 47185530 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170755217648 140171228568194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4742] ppid=4618 vsize=10912096 memory=5520 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4742/stat : 4742 (java) S 4618 4625 4562 0 -1 1077944384 16 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170217121056 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4744] ppid=4618 vsize=10912096 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4744/stat : 4744 (java) S 4618 4625 4562 0 -1 1077944384 4 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170015793920 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4749] ppid=4618 vsize=10912096 memory=570396 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4749/stat : 4749 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140169775503312 140171228575643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4750] ppid=4618 vsize=10912096 memory=570396 CPUtime=3.22 cores=0,2,4,6
/proc/4625/task/4750/stat : 4750 (java) S 4618 4625 4562 0 -1 1077944384 14513 12891 0 0 309 5 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170297862896 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4751] ppid=4618 vsize=10912096 memory=570396 CPUtime=2.27 cores=0,2,4,6
/proc/4625/task/4751/stat : 4751 (java) S 4618 4625 4562 0 -1 1077944384 17384 12891 0 0 217 2 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170296810352 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4753] ppid=4618 vsize=10912096 memory=570396 CPUtime=1.52 cores=0,2,4,6
/proc/4625/task/4753/stat : 4753 (java) S 4618 4625 4562 0 -1 1077944384 14738 12891 0 0 141 3 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170295757296 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4754] ppid=4618 vsize=10912096 memory=570396 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4754/stat : 4754 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140169741945696 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4756] ppid=4618 vsize=10912096 memory=15784 CPUtime=1.51 cores=0,2,4,6
/proc/4625/task/4756/stat : 4756 (java) S 4618 4625 4562 0 -1 1077944384 2617 12891 0 0 70 73 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170294704688 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 570396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.13 s]
# the end of solver process 4625 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.77 s, system=2.36722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.11 s]
/proc/loadavg: 1.71 1.36 1.37 3/215 5005
/proc/meminfo: memFree=20251032/32770624 swapFree=67108860/67108860
[pid=4625] ppid=4618 vsize=10912096 memory=570396 CPUtime=2520.1 cores=0,2,4,6
/proc/4625/stat : 4625 (java) S 4618 4625 4562 0 -1 1077944320 178882 12891 0 0 251770 232 5 3 20 0 15 0 47185516 11173986304 142599 33554432000 4194304 4196468 140726455749808 140726455732352 140171228557047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
/proc/4625/statm: 2728024 142599 3517 1 0 2689677 0
[pid=4625/tid=4730] ppid=4618 vsize=10912096 memory=1728 CPUtime=2480.59 cores=0,2,4,6
/proc/4625/task/4730/stat : 4730 (java) R 4618 4625 4562 0 -1 4202560 73174 12891 0 0 248022 29 5 3 20 0 15 0 47185528 11173986304 142599 33554432000 4194304 4196468 140726455749808 140171200390752 140170843769634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4734] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.36 cores=0,2,4,6
/proc/4625/task/4734/stat : 4734 (java) S 4618 4625 4562 0 -1 1077944384 9939 12891 0 0 593 35 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140171232799760 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4736] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.37 cores=0,2,4,6
/proc/4625/task/4736/stat : 4736 (java) S 4618 4625 4562 0 -1 1077944384 13706 12891 0 0 589 40 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140171158105232 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4737] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.35 cores=0,2,4,6
/proc/4625/task/4737/stat : 4737 (java) S 4618 4625 4562 0 -1 1077944384 8663 12891 0 0 591 36 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170800847632 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4738] ppid=4618 vsize=10912096 memory=570396 CPUtime=6.32 cores=0,2,4,6
/proc/4625/task/4738/stat : 4738 (java) S 4618 4625 4562 0 -1 1077944384 9842 12891 0 0 590 34 5 3 20 0 15 0 47185529 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170799795088 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4740] ppid=4618 vsize=10912096 memory=1240 CPUtime=6.21 cores=0,2,4,6
/proc/4625/task/4740/stat : 4740 (java) S 4618 4625 4562 0 -1 1077944384 12085 12891 0 0 582 31 5 3 20 0 15 0 47185530 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170755217648 140171228568194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4742] ppid=4618 vsize=10912096 memory=5520 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4742/stat : 4742 (java) S 4618 4625 4562 0 -1 1077944384 16 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170217121056 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4744] ppid=4618 vsize=10912096 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4744/stat : 4744 (java) S 4618 4625 4562 0 -1 1077944384 4 12891 0 0 0 0 5 3 20 0 15 0 47185531 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170015793920 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4749] ppid=4618 vsize=10912096 memory=570396 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4749/stat : 4749 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140169775503312 140171228575643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4750] ppid=4618 vsize=10912096 memory=570396 CPUtime=3.22 cores=0,2,4,6
/proc/4625/task/4750/stat : 4750 (java) S 4618 4625 4562 0 -1 1077944384 14513 12891 0 0 309 5 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170297862896 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4751] ppid=4618 vsize=10912096 memory=570396 CPUtime=2.27 cores=0,2,4,6
/proc/4625/task/4751/stat : 4751 (java) S 4618 4625 4562 0 -1 1077944384 17384 12891 0 0 217 2 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170296810352 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4753] ppid=4618 vsize=10912096 memory=570396 CPUtime=1.52 cores=0,2,4,6
/proc/4625/task/4753/stat : 4753 (java) S 4618 4625 4562 0 -1 1077944384 14738 12891 0 0 141 3 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170295757296 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4754] ppid=4618 vsize=10912096 memory=570396 CPUtime=0.08 cores=0,2,4,6
/proc/4625/task/4754/stat : 4754 (java) S 4618 4625 4562 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140169741945696 140171228567253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
[pid=4625/tid=4756] ppid=4618 vsize=10912096 memory=15784 CPUtime=1.51 cores=0,2,4,6
/proc/4625/task/4756/stat : 4756 (java) S 4618 4625 4562 0 -1 1077944384 2617 12891 0 0 70 73 5 3 20 0 15 0 47185534 11173986304 142599 33554432000 4194304 4196468 140726455749808 140170294704688 140171228568194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140726455757423 140726455760220 140726455760220 140726455762895 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 570396 KiB
Child status: 143
Real time (s): 2496.13
CPU time (s): 2520.14
CPU user time (s): 2517.77
CPU system time (s): 2.36722
CPU usage (%): 100.962
Max. virtual memory (cumulated for all children) (KiB): 10914732
Max. memory (cumulated for all children) (KiB): 570396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.77
system time used= 2.36722
maximum resident set size= 574608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192897
page faults= 0
swaps= 0
block input operations= 168
block output operations= 3704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 193495
involuntary context switches= 8302
# summary of solver processes directly reported to runsolver:
# pid: 4625
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.77
# total CPU system time (s): 2.36722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1963 second user time and 23.7781 second system time
The end