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 (9790 MiB free)
memory of node 1: 16384 MiB (13008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293893-1532384285/watcher-4293893-1532384285 -o /tmp/evaluation-result-4293893-1532384285/solver-4293893-1532384285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=814305953 HOME/instance-4293893-1532384285.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17454, runsolver pid=17451
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.43 1.47 1.46 3/206 17511
/proc/meminfo: memFree=23339868/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=9972712 memory=15172 CPUtime=0.08 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 4480 13038 0 0 1 0 4 3 20 0 6 0 55991653 10212057088 3793 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2493178 3793 1934 1 0 2481616 0
[pid=17454/tid=17507] ppid=17451 vsize=9972712 memory=4279135703946854028 CPUtime=0.08 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 2304 13038 0 0 1 0 4 3 20 0 6 0 55991662 10212057088 3859 33554432000 4194304 4196468 140722961417680 140622565892688 140622579367929 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 6 0 55991663 10212057088 3859 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=9972712 memory=140344766178944 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 6 0 55991663 10212057088 3859 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 6 0 55991663 10212057088 3859 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 2 13038 0 0 0 0 4 3 20 0 6 0 55991663 10212057088 3859 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15172 KiB
[startup+0.209806 s]*
/proc/loadavg: 1.43 1.47 1.46 3/215 17520
/proc/meminfo: memFree=23320188/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=10818904 memory=41764 CPUtime=0.25 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 8128 13038 0 0 17 1 4 3 20 0 15 0 55991653 11078557696 10441 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2704726 10441 2987 1 0 2667149 0
[pid=17454/tid=17507] ppid=17451 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 4627 13038 0 0 10 1 4 3 20 0 15 0 55991662 11078557696 10441 33554432000 4194304 4196468 140722961417680 140622565873040 140622594077853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11078557696 10441 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=10818904 memory=140344766178944 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11078557696 10441 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11078557696 10441 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 2 13038 0 0 0 0 4 3 20 0 15 0 55991663 11078557696 10441 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=10818904 memory=140344766178944 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 2 13038 0 0 0 0 4 3 20 0 15 0 55991664 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 13 13038 0 0 0 0 4 3 20 0 15 0 55991665 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621524231456 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991665 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621390014064 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 557 13038 0 0 1 0 4 3 20 0 15 0 55991668 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 74 13038 0 0 1 0 4 3 20 0 15 0 55991668 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=10818904 memory=140344766178944 CPUtime=0.1 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) R 17451 17454 15121 0 -1 4202560 672 13038 0 0 3 0 4 3 20 0 15 0 55991668 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621594175856 140622573179469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=10818904 memory=140344766178944 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991668 11078557696 10441 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41764 KiB
[startup+0.310113 s]*
/proc/loadavg: 1.43 1.47 1.46 3/215 17520
/proc/meminfo: memFree=23308528/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=10819352 memory=52492 CPUtime=0.38 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 10673 13038 0 0 28 3 4 3 20 0 15 0 55991653 11079016448 13123 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2704838 13123 3106 1 0 2667149 0
[pid=17454/tid=17507] ppid=17451 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 7116 13038 0 0 19 2 4 3 20 0 15 0 55991662 11079016448 13123 33554432000 4194304 4196468 140722961417680 140622565867936 140622594069791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=10819352 memory=7300986251812819024 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 13123 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 13123 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 13123 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 2 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 13123 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 2 13038 0 0 0 0 4 3 20 0 15 0 55991664 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 13 13038 0 0 0 0 4 3 20 0 15 0 55991665 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621524231456 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991665 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621390014064 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 559 13038 0 0 1 0 4 3 20 0 15 0 55991668 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 78 13038 0 0 1 0 4 3 20 0 15 0 55991668 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) S 17451 17454 15121 0 -1 1077944384 703 13038 0 0 4 0 4 3 20 0 15 0 55991668 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621594175856 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991668 11079016448 13123 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52492 KiB
[startup+0.700743 s]
/proc/loadavg: 1.64 1.52 1.47 3/215 17520
/proc/meminfo: memFree=23296528/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=10819352 memory=85412 CPUtime=0.99 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 17084 13038 0 0 87 5 4 3 20 0 15 0 55991653 11079016448 21353 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2704838 21353 3238 1 0 2667149 0
[pid=17454/tid=17507] ppid=17451 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 12285 13038 0 0 56 3 4 3 20 0 15 0 55991662 11079016448 21353 33554432000 4194304 4196468 140722961417680 140622565877648 140622594077853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 21353 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=10819352 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 21353 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 21353 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 2 13038 0 0 0 0 4 3 20 0 15 0 55991663 11079016448 21353 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 5 13038 0 0 0 0 4 3 20 0 15 0 55991664 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 13 13038 0 0 0 0 4 3 20 0 15 0 55991665 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621524231456 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991665 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621390014064 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=10819352 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 969 13038 0 0 8 0 4 3 20 0 15 0 55991668 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=10819352 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 700 13038 0 0 8 0 4 3 20 0 15 0 55991668 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) S 17451 17454 15121 0 -1 1077944384 910 13038 0 0 13 0 4 3 20 0 15 0 55991668 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621594175856 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991668 11079016448 21353 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85412 KiB
[startup+1.50076 s]
/proc/loadavg: 1.64 1.52 1.47 3/215 17520
/proc/meminfo: memFree=23252740/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=10832204 memory=177024 CPUtime=2.96 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 24500 13038 0 0 281 8 4 3 20 0 15 0 55991653 11092176896 44256 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2708051 44256 3451 1 0 2669709 0
[pid=17454/tid=17507] ppid=17451 vsize=10832204 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 16596 13038 0 0 133 6 4 3 20 0 15 0 55991662 11092176896 44256 33554432000 4194304 4196468 140722961417680 140622565881024 140622578136414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11092176896 44256 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11092176896 44256 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991663 11092176896 44310 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 2 13038 0 0 0 0 4 3 20 0 15 0 55991663 11092176896 44310 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=10832204 memory=1399103955520229747 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 6 13038 0 0 0 0 4 3 20 0 15 0 55991664 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=10832204 memory=280689266206976 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 13 13038 0 0 0 0 4 3 20 0 15 0 55991665 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621524231456 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991665 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621390014064 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=10832204 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=10832204 memory=1704 CPUtime=0.58 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 1960 13038 0 0 51 0 4 3 20 0 15 0 55991668 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=10832204 memory=9924 CPUtime=0.57 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 1930 13038 0 0 50 0 4 3 20 0 15 0 55991668 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=10832204 memory=5788 CPUtime=0.52 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) S 17451 17454 15121 0 -1 1077944384 1794 13038 0 0 45 0 4 3 20 0 15 0 55991668 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621594175856 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=10832204 memory=1936 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=10832204 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 1 13038 0 0 0 0 4 3 20 0 15 0 55991668 11092176896 44310 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 157849 13038 0 0 246271 48 4 3 20 0 15 0 55991662 11178180608 395556 33554432000 4194304 4196468 140722961417680 140622565875920 140622216558809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=10916192 memory=6791534058613427641 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 72061 13038 0 0 877 48 4 3 20 0 15 0 55991663 11178180608 395556 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=10916192 memory=4126316290023845779 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 72071 13038 0 0 877 48 4 3 20 0 15 0 55991663 11178180608 395556 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=10916192 memory=19876 CPUtime=9.26 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 72782 13038 0 0 874 45 4 3 20 0 15 0 55991663 11178180608 395556 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=10916192 memory=22084 CPUtime=9.29 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 71184 13038 0 0 879 43 4 3 20 0 15 0 55991663 11178180608 395556 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=10916192 memory=24292 CPUtime=1.57 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 27499 13038 0 0 139 11 4 3 20 0 15 0 55991664 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=10916192 memory=26500 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 73 13038 0 0 0 0 4 3 20 0 15 0 55991665 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621524231520 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=10916192 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 55 13038 0 0 0 0 4 3 20 0 15 0 55991665 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621390014080 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=10916192 memory=288230621803970871 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=10916192 memory=13847456437766436 CPUtime=6.74 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 75232 13038 0 0 660 7 4 3 20 0 15 0 55991668 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=10916192 memory=5788 CPUtime=7.94 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 71595 13038 0 0 780 7 4 3 20 0 15 0 55991668 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=10916192 memory=1936 CPUtime=2.68 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) S 17451 17454 15121 0 -1 1077944384 70109 13038 0 0 253 8 4 3 20 0 15 0 55991668 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621594175856 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=10916192 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 15 0 55991668 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=10916192 memory=8364 CPUtime=1.14 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 2792 13038 0 0 52 55 4 3 20 0 15 0 55991668 11178180608 395556 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1582224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.03 s]
# the end of solver process 17454 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.7 s, system=3.16995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.4 s]
/proc/loadavg: 1.52 1.60 1.65 3/215 17857
/proc/meminfo: memFree=18854292/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=11112808 memory=1586436 CPUtime=2520.22 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 695709 13038 0 0 251703 312 4 3 20 0 17 0 55991653 11379515392 396609 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2778202 396609 3544 1 0 2739855 0
[pid=17454/tid=17507] ppid=17451 vsize=11112808 memory=4616 CPUtime=2463.46 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 157849 13038 0 0 246291 48 4 3 20 0 17 0 55991662 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622565875920 140622206963173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=11112808 memory=6791534058613427641 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 72061 13038 0 0 877 48 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=11112808 memory=1582224 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 72071 13038 0 0 877 48 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=11112808 memory=4052 CPUtime=9.26 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 72782 13038 0 0 874 45 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=11112808 memory=18252 CPUtime=9.29 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 71184 13038 0 0 879 43 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=11112808 memory=6791534058613427641 CPUtime=1.57 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 27499 13038 0 0 139 11 4 3 20 0 17 0 55991664 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=11112808 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 73 13038 0 0 0 0 4 3 20 0 17 0 55991665 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621524231520 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=11112808 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 55 13038 0 0 0 0 4 3 20 0 17 0 55991665 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621390014080 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=11112808 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 125 13038 0 0 0 0 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=11112808 memory=1582224 CPUtime=6.74 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 75232 13038 0 0 660 7 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=11112808 memory=1232 CPUtime=7.94 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 71595 13038 0 0 780 7 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=11112808 memory=2344 CPUtime=2.68 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) S 17451 17454 15121 0 -1 1077944384 70109 13038 0 0 253 8 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621594175856 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=11112808 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=11112808 memory=2420 CPUtime=1.14 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 2792 13038 0 0 52 55 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 1586436 KiB
[startup+2474.8 s]
/proc/loadavg: 1.52 1.60 1.65 3/215 17857
/proc/meminfo: memFree=18854292/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=11112808 memory=1586436 CPUtime=2520.62 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 695709 13038 0 0 251743 312 4 3 20 0 17 0 55991653 11379515392 396609 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2778202 396609 3544 1 0 2739855 0
[pid=17454/tid=17507] ppid=17451 vsize=11112808 memory=288230621803970871 CPUtime=2463.86 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 157849 13038 0 0 246331 48 4 3 20 0 17 0 55991662 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622565875920 140622216561719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=11112808 memory=13847456437766436 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 72061 13038 0 0 877 48 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=11112808 memory=5788 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 72071 13038 0 0 877 48 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=11112808 memory=1936 CPUtime=9.26 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 72782 13038 0 0 874 45 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=11112808 memory=1196 CPUtime=9.29 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 71184 13038 0 0 879 43 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=11112808 memory=8364 CPUtime=1.57 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 27499 13038 0 0 139 11 4 3 20 0 17 0 55991664 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=11112808 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 73 13038 0 0 0 0 4 3 20 0 17 0 55991665 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621524231520 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=11112808 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 55 13038 0 0 0 0 4 3 20 0 17 0 55991665 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621390014080 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=11112808 memory=2200 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 125 13038 0 0 0 0 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=11112808 memory=7528 CPUtime=6.74 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 75232 13038 0 0 660 7 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=11112808 memory=844 CPUtime=7.94 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 71595 13038 0 0 780 7 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=11112808 memory=1800 CPUtime=2.68 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) S 17451 17454 15121 0 -1 1077944384 70109 13038 0 0 253 8 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621594175856 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=11112808 memory=920 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=11112808 memory=1582224 CPUtime=1.14 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 2792 13038 0 0 52 55 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 2520.62 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 1586436 KiB
[startup+2475 s]*
/proc/loadavg: 1.52 1.60 1.65 3/217 17859
/proc/meminfo: memFree=18850196/32770624 swapFree=67108860/67108860
[pid=17454] ppid=17451 vsize=11112808 memory=1586436 CPUtime=2520.83 cores=1,3,5,7
/proc/17454/stat : 17454 (java) S 17451 17454 15121 0 -1 1077944320 695709 13038 0 0 251764 312 4 3 20 0 17 0 55991653 11379515392 396609 33554432000 4194304 4196468 140722961417680 140722961400224 140622594055927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
/proc/17454/statm: 2778202 396609 3544 1 0 2739855 0
[pid=17454/tid=17507] ppid=17451 vsize=11112808 memory=6791534058613427641 CPUtime=2464.07 cores=1,3,5,7
/proc/17454/task/17507/stat : 17507 (java) R 17451 17454 15121 0 -1 4202560 157849 13038 0 0 246352 48 4 3 20 0 17 0 55991662 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622565875920 140622206963285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17508] ppid=17451 vsize=11112808 memory=4126316290023845779 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17508/stat : 17508 (java) S 17451 17454 15121 0 -1 1077944384 72061 13038 0 0 877 48 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622598298000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17509] ppid=17451 vsize=11112808 memory=7666648566439897191 CPUtime=9.32 cores=1,3,5,7
/proc/17454/task/17509/stat : 17509 (java) S 17451 17454 15121 0 -1 1077944384 72071 13038 0 0 877 48 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622532339984 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17510] ppid=17451 vsize=11112808 memory=-6803086799399446668 CPUtime=9.26 cores=1,3,5,7
/proc/17454/task/17510/stat : 17510 (java) S 17451 17454 15121 0 -1 1077944384 72782 13038 0 0 874 45 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622166330000 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17511] ppid=17451 vsize=11112808 memory=3056367694063705242 CPUtime=9.29 cores=1,3,5,7
/proc/17454/task/17511/stat : 17511 (java) S 17451 17454 15121 0 -1 1077944384 71184 13038 0 0 879 43 4 3 20 0 17 0 55991663 11379515392 396609 33554432000 4194304 4196468 140722961417680 140622165277200 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17512] ppid=17451 vsize=11112808 memory=288286696896987698 CPUtime=1.57 cores=1,3,5,7
/proc/17454/task/17512/stat : 17512 (java) S 17451 17454 15121 0 -1 1077944384 27499 13038 0 0 139 11 4 3 20 0 17 0 55991664 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621597334128 140622594067074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17513] ppid=17451 vsize=11112808 memory=319315141995807488 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17513/stat : 17513 (java) S 17451 17454 15121 0 -1 1077944384 73 13038 0 0 0 0 4 3 20 0 17 0 55991665 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621524231520 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17514] ppid=17451 vsize=11112808 memory=4280780479590382394 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17514/stat : 17514 (java) S 17451 17454 15121 0 -1 1077944384 55 13038 0 0 0 0 4 3 20 0 17 0 55991665 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621390014080 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17515] ppid=17451 vsize=11112808 memory=7234560296469818227 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17515/stat : 17515 (java) S 17451 17454 15121 0 -1 1077944384 125 13038 0 0 0 0 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621149723216 140622594074523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17516] ppid=17451 vsize=11112808 memory=-6370472967186438285 CPUtime=6.74 cores=1,3,5,7
/proc/17454/task/17516/stat : 17516 (java) S 17451 17454 15121 0 -1 1077944384 75232 13038 0 0 660 7 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621596280944 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17517] ppid=17451 vsize=11112808 memory=-7237376778107720589 CPUtime=7.94 cores=1,3,5,7
/proc/17454/task/17517/stat : 17517 (java) S 17451 17454 15121 0 -1 1077944384 71595 13038 0 0 780 7 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621595228144 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17518] ppid=17451 vsize=11112808 memory=4715149631486799209 CPUtime=2.68 cores=1,3,5,7
/proc/17454/task/17518/stat : 17518 (java) S 17451 17454 15121 0 -1 1077944384 70109 13038 0 0 253 8 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621594175856 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17519] ppid=17451 vsize=11112808 memory=-6295573171833193158 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17519/stat : 17519 (java) S 17451 17454 15121 0 -1 1077944384 3 13038 0 0 0 0 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621116164576 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17520] ppid=17451 vsize=11112808 memory=4856378205598661425 CPUtime=1.14 cores=1,3,5,7
/proc/17454/task/17520/stat : 17520 (java) S 17451 17454 15121 0 -1 1077944384 2792 13038 0 0 52 55 4 3 20 0 17 0 55991668 11379515392 396609 33554432000 4194304 4196468 140722961417680 140621593123760 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17858] ppid=17451 vsize=11112808 memory=-6509062226350856859 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17858/stat : 17858 (java) S 17451 17454 15121 0 -1 1077944384 67 13038 0 0 0 0 4 3 20 0 17 0 56239074 11379515392 396609 33554432000 4194304 4196468 140722961417680 140620584706544 140622594066133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
[pid=17454/tid=17859] ppid=17451 vsize=11112808 memory=4137562983521232745 CPUtime=0.07 cores=1,3,5,7
/proc/17454/task/17859/stat : 17859 (java) S 17451 17454 15121 0 -1 1077944384 21 13038 0 0 0 0 4 3 20 0 17 0 56239074 11379515392 396609 33554432000 4194304 4196468 140722961417680 140620450490208 140622594067074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23146496 140722961418863 140722961421660 140722961421660 140722961424335 0
Current children cumulated CPU time: 2520.83 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 1586436 KiB
Child status: 143
Real time (s): 2475.03
CPU time (s): 2520.87
CPU user time (s): 2517.7
CPU system time (s): 3.16995
CPU usage (%): 101.852
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 3546836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.7
system time used= 3.16995
maximum resident set size= 3565268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 710009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78600
involuntary context switches= 1683
# summary of solver processes directly reported to runsolver:
# pid: 17454
# total CPU time (s): 2520.87
# total CPU user time (s): 2517.7
# total CPU system time (s): 3.16995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6101 second user time and 21.0329 second system time
The end