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 (3709 MiB free)
memory of node 1: 16384 MiB (1755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402681-1568970834/watcher-4402681-1568970834 -o /var/tmp/evaluation-result-4402681-1568970834/solver-4402681-1568970834 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4402681-1568970834.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=639, runsolver pid=636
[startup+0.100058 s]*
/proc/loadavg: 1.43 1.49 1.43 3/218 697
/proc/meminfo: memFree=5589612/32770624 swapFree=66972100/67108860
[pid=639] ppid=636 vsize=9972712 memory=16640 CPUtime=0.09 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 4390 13294 0 0 1 0 5 3 20 0 6 0 473025247 10212057088 4160 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2493178 4160 1932 1 0 2481616 0
[pid=639/tid=693] ppid=636 vsize=9972712 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 2253 13294 0 0 1 0 5 3 20 0 6 0 473025256 10212057088 4738 33554432000 4194304 4196468 140724259719792 140063360733776 140063388918941 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=9972712 memory=4294967638 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 6 0 473025256 10212057088 4738 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=9972712 memory=140069257149426 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 6 0 473025256 10212057088 4738 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 6 0 473025256 10212057088 4738 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 6 0 473025256 10212057088 4738 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16640 KiB
[startup+0.210216 s]*
/proc/loadavg: 1.43 1.49 1.43 4/227 706
/proc/meminfo: memFree=5563440/32770624 swapFree=66972100/67108860
[pid=639] ppid=636 vsize=10819716 memory=45176 CPUtime=0.27 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 7073 13294 0 0 18 1 5 3 20 0 15 0 473025247 11079389184 11294 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2704933 11294 3179 1 0 2667149 0
[pid=639/tid=693] ppid=636 vsize=10821220 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 3985 13294 0 0 11 0 5 3 20 0 15 0 473025256 11080929280 11690 33554432000 4194304 4196468 140724259719792 140063360709376 140063381576733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10821220 memory=4294967638 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11080929280 11690 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10821220 memory=140069257149426 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11080929280 11690 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025256 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10821220 memory=140069257119360 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025258 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 473025258 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062842938784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025259 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062708721136 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10821220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) S 636 639 31341 0 -1 1077944384 351 13294 0 0 1 0 5 3 20 0 15 0 473025261 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062914516976 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10821220 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) R 636 639 31341 0 -1 4202560 311 13294 0 0 1 0 5 3 20 0 15 0 473025261 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062913464432 140063366691339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10821220 memory=140069257119360 CPUtime=0.11 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 620 13294 0 0 3 0 5 3 20 0 15 0 473025261 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11080929280 11690 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10821220 memory=140069257119360 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025262 11080929280 11690 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 45176 KiB
[startup+0.310577 s]*
/proc/loadavg: 1.43 1.49 1.43 3/227 706
/proc/meminfo: memFree=5553976/32770624 swapFree=66972100/67108860
[pid=639] ppid=636 vsize=10820196 memory=54076 CPUtime=0.41 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 10747 13294 0 0 30 3 5 3 20 0 15 0 473025247 11079880704 13519 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2705049 13519 3311 1 0 2667149 0
[pid=639/tid=693] ppid=636 vsize=10820196 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 7227 13294 0 0 19 2 5 3 20 0 15 0 473025256 11079880704 13519 33554432000 4194304 4196468 140724259719792 140063360705936 140063372951067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11079880704 13519 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11079880704 13519 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10820196 memory=4294970952 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025256 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025258 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 473025258 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062842938784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025259 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062708721136 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) S 636 639 31341 0 -1 1077944384 352 13294 0 0 2 0 5 3 20 0 15 0 473025261 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062914516976 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) S 636 639 31341 0 -1 1077944384 318 13294 0 0 2 0 5 3 20 0 15 0 473025261 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062913464432 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10820196 memory=140069257119360 CPUtime=0.13 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 638 13294 0 0 5 0 5 3 20 0 15 0 473025261 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11079880704 13519 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10820196 memory=140069257119360 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025262 11079880704 13519 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54076 KiB
[startup+0.701671 s]
/proc/loadavg: 1.43 1.49 1.43 4/227 706
/proc/meminfo: memFree=5537476/32770624 swapFree=66972100/67108860
[pid=639] ppid=636 vsize=10824364 memory=87980 CPUtime=1.15 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 15191 13294 0 0 102 5 5 3 20 0 15 0 473025247 11084148736 21995 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2706091 21995 3513 1 0 2668173 0
[pid=639/tid=693] ppid=636 vsize=10824364 memory=7595725831727968097 CPUtime=0.67 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 10448 13294 0 0 55 4 5 3 20 0 15 0 473025256 11084148736 21995 33554432000 4194304 4196468 140724259719792 140063360713440 140062993411923 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10824364 memory=4294967932 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11084148736 21995 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10824364 memory=280138302378768 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11084148736 21995 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10824364 memory=2110419758289412 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025256 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10824364 memory=140069257118193 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025256 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 5 13294 0 0 0 0 5 3 20 0 15 0 473025258 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 473025258 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062842938784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025259 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062708721136 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) R 636 639 31341 0 -1 4202560 777 13294 0 0 12 0 5 3 20 0 15 0 473025261 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062914516976 140063372866723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) S 636 639 31341 0 -1 1077944384 927 13294 0 0 16 0 5 3 20 0 15 0 473025261 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062913464432 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 802 13294 0 0 17 0 5 3 20 0 15 0 473025261 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11084148736 21995 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10824364 memory=3612 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025262 11084148736 21995 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87980 KiB
[startup+1.5007 s]
/proc/loadavg: 1.43 1.49 1.43 6/227 706
/proc/meminfo: memFree=5469028/32770624 swapFree=66972100/67108860
[pid=639] ppid=636 vsize=10830584 memory=220316 CPUtime=3.35 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 23677 13294 0 0 318 9 5 3 20 0 15 0 473025247 11090518016 55079 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2707646 55079 3586 1 0 2669709 0
[pid=639/tid=693] ppid=636 vsize=10830584 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 14046 13294 0 0 130 6 5 3 20 0 15 0 473025256 11090518016 55079 33554432000 4194304 4196468 140724259719792 140063360722224 140063388918941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10830584 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 265 13294 0 0 0 0 5 3 20 0 15 0 473025256 11090518016 55079 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10830584 memory=140069151503782 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 4 13294 0 0 0 0 5 3 20 0 15 0 473025256 11090518016 55079 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10830584 memory=6947385649911455296 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 6 13294 0 0 0 0 5 3 20 0 15 0 473025256 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10830584 memory=12024 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 64 13294 0 0 0 0 5 3 20 0 15 0 473025256 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10830584 memory=2120 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 98 13294 0 0 0 0 5 3 20 0 15 0 473025258 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10830584 memory=500 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 15 13294 0 0 0 0 5 3 20 0 15 0 473025258 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062842938784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10830584 memory=3612 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025259 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062708721136 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10830584 memory=42508 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10830584 memory=992 CPUtime=0.76 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) S 636 639 31341 0 -1 1077944384 2429 13294 0 0 68 0 5 3 20 0 15 0 473025261 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062914516976 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10830584 memory=2044 CPUtime=0.81 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) S 636 639 31341 0 -1 1077944384 2521 13294 0 0 73 0 5 3 20 0 15 0 473025261 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062913464432 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10830584 memory=1408 CPUtime=0.5 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 2014 13294 0 0 42 0 5 3 20 0 15 0 473025261 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10830584 memory=6947385649911455296 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11090518016 55079 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10830584 memory=7163936547268814951 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 473025262 11090518016 55079 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 10830584 KiB
################
# More data... #
################
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 112220 13294 0 0 235863 64 5 3 20 0 15 0 473025256 11107315712 115155 33554432000 4194304 4196468 140724259719792 140063360732848 140063010852726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10846988 memory=6947385649911455296 CPUtime=14.28 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 18608 13294 0 0 1373 47 5 3 20 0 15 0 473025256 11107315712 115155 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10846988 memory=460620 CPUtime=14.29 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 18143 13294 0 0 1374 47 5 3 20 0 15 0 473025256 11107315712 115155 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10846988 memory=460616 CPUtime=14.31 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 19920 13294 0 0 1372 51 5 3 20 0 15 0 473025256 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10846988 memory=460620 CPUtime=14.28 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 14689 13294 0 0 1374 46 5 3 20 0 15 0 473025256 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10846988 memory=460620 CPUtime=6.3 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 14018 13294 0 0 560 62 5 3 20 0 15 0 473025258 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10846988 memory=460620 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 16 13294 0 0 0 0 5 3 20 0 15 0 473025258 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062842938848 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 4 13294 0 0 0 0 5 3 20 0 15 0 473025259 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062708721152 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10846988 memory=460620 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10846988 memory=1716 CPUtime=7.2 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) S 636 639 31341 0 -1 1077944384 20600 13294 0 0 709 3 5 3 20 0 15 0 473025261 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062914516976 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10846988 memory=460620 CPUtime=7.28 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) S 636 639 31341 0 -1 1077944384 19487 13294 0 0 717 3 5 3 20 0 15 0 473025261 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062913464432 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10846988 memory=460620 CPUtime=2.34 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 11314 13294 0 0 224 2 5 3 20 0 15 0 473025261 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10846988 memory=460620 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11107315712 115155 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10846988 memory=460620 CPUtime=1.43 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 935 13294 0 0 63 72 5 3 20 0 15 0 473025262 11107315712 115155 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 2440.46 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 460620 KiB
[startup+2442.3 s]
/proc/loadavg: 1.31 1.33 1.34 3/227 1064
/proc/meminfo: memFree=5297280/32770624 swapFree=66972108/67108860
[pid=639] ppid=636 vsize=10846988 memory=442660 CPUtime=2501.63 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 254996 13294 0 0 249789 366 5 3 20 0 15 0 473025247 11107315712 110665 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2711747 110665 3640 1 0 2673805 0
[pid=639/tid=693] ppid=636 vsize=10846988 memory=457024 CPUtime=2418.69 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 113346 13294 0 0 241797 64 5 3 20 0 15 0 473025256 11107315712 110665 33554432000 4194304 4196468 140724259719792 140063360732736 140063010852726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10846988 memory=459076 CPUtime=14.69 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 19047 13294 0 0 1413 48 5 3 20 0 15 0 473025256 11107315712 110665 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10846988 memory=465400 CPUtime=14.69 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 18535 13294 0 0 1414 47 5 3 20 0 15 0 473025256 11107315712 110665 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10846988 memory=460616 CPUtime=14.72 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 20333 13294 0 0 1412 52 5 3 20 0 15 0 473025256 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10846988 memory=443688 CPUtime=14.68 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 14980 13294 0 0 1412 48 5 3 20 0 15 0 473025256 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10846988 memory=442660 CPUtime=6.48 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 14175 13294 0 0 577 63 5 3 20 0 15 0 473025258 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10846988 memory=444712 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 16 13294 0 0 0 0 5 3 20 0 15 0 473025258 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062842938848 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10846988 memory=452920 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 4 13294 0 0 0 0 5 3 20 0 15 0 473025259 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062708721152 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10846988 memory=445224 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10846988 memory=445224 CPUtime=7.2 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) S 636 639 31341 0 -1 1077944384 20603 13294 0 0 709 3 5 3 20 0 15 0 473025261 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062914516976 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10846988 memory=443688 CPUtime=7.28 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) S 636 639 31341 0 -1 1077944384 19489 13294 0 0 717 3 5 3 20 0 15 0 473025261 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062913464432 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10846988 memory=780 CPUtime=2.34 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 11316 13294 0 0 224 2 5 3 20 0 15 0 473025261 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10846988 memory=11624 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11107315712 110665 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10846988 memory=740 CPUtime=1.47 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 940 13294 0 0 65 74 5 3 20 0 15 0 473025262 11107315712 110665 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 2501.63 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 442660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.3 s]
/proc/loadavg: 1.43 1.36 1.35 3/227 1067
/proc/meminfo: memFree=5285156/32770624 swapFree=66972108/67108860
[pid=639] ppid=636 vsize=10846988 memory=459776 CPUtime=2520 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 259601 13294 0 0 251623 369 5 3 20 0 15 0 473025247 11107315712 114944 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2711747 114944 3640 1 0 2673805 0
[pid=639/tid=693] ppid=636 vsize=10846988 memory=460192 CPUtime=2436.48 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 116105 13294 0 0 243575 65 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140063360732112 140063007555351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10846988 memory=1716 CPUtime=14.81 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 19423 13294 0 0 1425 48 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10846988 memory=439584 CPUtime=14.83 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 19064 13294 0 0 1427 48 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10846988 memory=454980 CPUtime=14.85 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 20831 13294 0 0 1425 52 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10846988 memory=459636 CPUtime=14.81 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 15337 13294 0 0 1425 48 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10846988 memory=460288 CPUtime=6.53 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 14247 13294 0 0 582 63 5 3 20 0 15 0 473025258 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10846988 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 16 13294 0 0 0 0 5 3 20 0 15 0 473025258 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062842938848 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10846988 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 4 13294 0 0 0 0 5 3 20 0 15 0 473025259 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062708721152 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10846988 memory=1432 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10846988 memory=11624 CPUtime=7.2 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) S 636 639 31341 0 -1 1077944384 20603 13294 0 0 709 3 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062914516976 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10846988 memory=438044 CPUtime=7.28 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) S 636 639 31341 0 -1 1077944384 19489 13294 0 0 717 3 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062913464432 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10846988 memory=438044 CPUtime=2.34 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 11316 13294 0 0 224 2 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10846988 memory=460192 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11107315712 114944 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10846988 memory=2896 CPUtime=1.48 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 954 13294 0 0 65 75 5 3 20 0 15 0 473025262 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 459776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.33 s]
# the end of solver process 639 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.31 s, system=3.7388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.3 s]
/proc/loadavg: 1.43 1.36 1.35 3/227 1067
/proc/meminfo: memFree=5285156/32770624 swapFree=66972108/67108860
[pid=639] ppid=636 vsize=10846988 memory=459776 CPUtime=2520 cores=0,2,4,6
/proc/639/stat : 639 (java) S 636 639 31341 0 -1 1077944320 259601 13294 0 0 251623 369 5 3 20 0 15 0 473025247 11107315712 114944 33554432000 4194304 4196468 140724259719792 140724259702336 140063388897015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
/proc/639/statm: 2711747 114944 3640 1 0 2673805 0
[pid=639/tid=693] ppid=636 vsize=10846988 memory=460192 CPUtime=2436.48 cores=0,2,4,6
/proc/639/task/693/stat : 693 (java) R 636 639 31341 0 -1 4202560 116105 13294 0 0 243575 65 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140063360732112 140063007555351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=694] ppid=636 vsize=10846988 memory=1716 CPUtime=14.81 cores=0,2,4,6
/proc/639/task/694/stat : 694 (java) S 636 639 31341 0 -1 1077944384 19423 13294 0 0 1425 48 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140063393138960 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=695] ppid=636 vsize=10846988 memory=439584 CPUtime=14.83 cores=0,2,4,6
/proc/639/task/695/stat : 695 (java) S 636 639 31341 0 -1 1077944384 19064 13294 0 0 1427 48 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140063314098576 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=696] ppid=636 vsize=10846988 memory=454980 CPUtime=14.85 cores=0,2,4,6
/proc/639/task/696/stat : 696 (java) S 636 639 31341 0 -1 1077944384 20831 13294 0 0 1425 52 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062961248784 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=697] ppid=636 vsize=10846988 memory=459636 CPUtime=14.81 cores=0,2,4,6
/proc/639/task/697/stat : 697 (java) S 636 639 31341 0 -1 1077944384 15337 13294 0 0 1425 48 5 3 20 0 15 0 473025256 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062960196240 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=698] ppid=636 vsize=10846988 memory=460288 CPUtime=6.53 cores=0,2,4,6
/proc/639/task/698/stat : 698 (java) S 636 639 31341 0 -1 1077944384 14247 13294 0 0 582 63 5 3 20 0 15 0 473025258 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062915570160 140063388908162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=699] ppid=636 vsize=10846988 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/699/stat : 699 (java) S 636 639 31341 0 -1 1077944384 16 13294 0 0 0 0 5 3 20 0 15 0 473025258 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062842938848 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=700] ppid=636 vsize=10846988 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/700/stat : 700 (java) S 636 639 31341 0 -1 1077944384 4 13294 0 0 0 0 5 3 20 0 15 0 473025259 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062708721152 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=701] ppid=636 vsize=10846988 memory=1432 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/701/stat : 701 (java) S 636 639 31341 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062104742608 140063388915611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=702] ppid=636 vsize=10846988 memory=11624 CPUtime=7.2 cores=0,2,4,6
/proc/639/task/702/stat : 702 (java) S 636 639 31341 0 -1 1077944384 20603 13294 0 0 709 3 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062914516976 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=703] ppid=636 vsize=10846988 memory=438044 CPUtime=7.28 cores=0,2,4,6
/proc/639/task/703/stat : 703 (java) S 636 639 31341 0 -1 1077944384 19489 13294 0 0 717 3 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062913464432 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=704] ppid=636 vsize=10846988 memory=438044 CPUtime=2.34 cores=0,2,4,6
/proc/639/task/704/stat : 704 (java) S 636 639 31341 0 -1 1077944384 11316 13294 0 0 224 2 5 3 20 0 15 0 473025261 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062912411888 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=705] ppid=636 vsize=10846988 memory=460192 CPUtime=0.08 cores=0,2,4,6
/proc/639/task/705/stat : 705 (java) S 636 639 31341 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 473025262 11107315712 114944 33554432000 4194304 4196468 140724259719792 140061634980448 140063388907221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
[pid=639/tid=706] ppid=636 vsize=10846988 memory=2896 CPUtime=1.48 cores=0,2,4,6
/proc/639/task/706/stat : 706 (java) S 636 639 31341 0 -1 1077944384 954 13294 0 0 65 75 5 3 20 0 15 0 473025262 11107315712 114944 33554432000 4194304 4196468 140724259719792 140062911359792 140063388908162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8142848 140724259727972 140724259730613 140724259730613 140724259733455 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 459776 KiB
Child status: 143
Real time (s): 2460.33
CPU time (s): 2520.05
CPU user time (s): 2516.31
CPU system time (s): 3.7388
CPU usage (%): 102.427
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2025980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.31
system time used= 3.7388
maximum resident set size= 2028028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190075
involuntary context switches= 7144
# summary of solver processes directly reported to runsolver:
# pid: 639
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.31
# total CPU system time (s): 3.7388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4208 second user time and 22.9337 second system time
The end