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 (4021 MiB free)
memory of node 1: 16384 MiB (8136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295574-1532585122/watcher-4295574-1532585122 -o /tmp/evaluation-result-4295574-1532585122/solver-4295574-1532585122 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532582651-32661 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=959319633 HOME/instance-4295574-1532585122.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=533, runsolver pid=528
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.40 1.26 1.17 3/187 593
/proc/meminfo: memFree=12445280/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=9972712 memory=14700 CPUtime=0.08 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 3813 13221 0 0 1 0 4 3 20 0 6 0 76075360 10212057088 3675 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2493178 3675 1608 1 0 2481616 0
[pid=533/tid=593] ppid=528 vsize=9972712 memory=8390339637985935414 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 2114 13221 0 0 0 0 4 3 20 0 6 0 76075369 10212057088 4137 33554432000 4194304 4196468 140731033057408 140201886814800 140201900660565 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=9972712 memory=4294967625 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 6 0 76075370 10212057088 4137 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=9972712 memory=4123520983583782560 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 6 0 76075370 10212057088 4137 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 6 0 76075370 10212057088 4137 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 6 0 76075370 10212057088 4137 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14700 KiB
[startup+0.20974 s]*
/proc/loadavg: 1.40 1.26 1.17 3/215 656
/proc/meminfo: memFree=12413004/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=10818904 memory=39524 CPUtime=0.24 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 7071 13221 0 0 16 1 4 3 20 0 15 0 76075360 11078557696 9881 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2704726 9881 2945 1 0 2667149 0
[pid=533/tid=593] ppid=528 vsize=10818904 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 4328 13221 0 0 10 1 4 3 20 0 15 0 76075369 11078557696 10541 33554432000 4194304 4196468 140731033057408 140201886801872 140201895254864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10818904 memory=288230613314699287 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075370 11078557696 10541 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10818904 memory=3690332093937710752 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075370 11078557696 10541 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075370 11078557696 10541 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075370 11078557696 10541 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10818904 memory=139962387101312 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075371 11078557696 10541 33554432000 4194304 4196468 140731033057408 140201441544944 140201914989186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 13 13221 0 0 0 0 4 3 20 0 15 0 76075372 11078557696 10607 33554432000 4194304 4196468 140731033057408 140201355634336 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075372 11078557696 10607 33554432000 4194304 4196468 140731033057408 140200751654128 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11078557696 10607 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) S 528 533 32629 0 -1 1077944384 478 13221 0 0 1 0 4 3 20 0 15 0 76075375 11078557696 10607 33554432000 4194304 4196468 140731033057408 140201440491760 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) S 528 533 32629 0 -1 1077944384 123 13221 0 0 0 0 4 3 20 0 15 0 76075375 11078557696 10607 33554432000 4194304 4196468 140731033057408 140201439439216 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10818904 memory=139962387101312 CPUtime=0.1 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 616 13221 0 0 3 0 4 3 20 0 15 0 76075375 11078557696 10607 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11078557696 10607 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10818904 memory=139962387101312 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075375 11078557696 10607 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39524 KiB
[startup+0.310312 s]*
/proc/loadavg: 1.40 1.26 1.17 4/215 656
/proc/meminfo: memFree=12388416/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=10819352 memory=53240 CPUtime=0.37 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 10396 13221 0 0 27 3 4 3 20 0 15 0 76075360 11079016448 13310 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2704838 13310 3064 1 0 2667149 0
[pid=533/tid=593] ppid=528 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 6970 13221 0 0 19 2 4 3 20 0 15 0 76075369 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201886790048 140201899058526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075371 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201441544944 140201914989186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 13 13221 0 0 0 0 4 3 20 0 15 0 76075372 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201355634336 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075372 11079016448 13352 33554432000 4194304 4196468 140731033057408 140200751654128 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11079016448 13352 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) S 528 533 32629 0 -1 1077944384 478 13221 0 0 2 0 4 3 20 0 15 0 76075375 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201440491760 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) S 528 533 32629 0 -1 1077944384 126 13221 0 0 1 0 4 3 20 0 15 0 76075375 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201439439216 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 626 13221 0 0 4 0 4 3 20 0 15 0 76075375 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11079016448 13352 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075375 11079016448 13352 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53240 KiB
[startup+0.700835 s]
/proc/loadavg: 1.40 1.26 1.17 2/196 673
/proc/meminfo: memFree=12427996/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=10819352 memory=86184 CPUtime=0.98 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 16763 13221 0 0 86 5 4 3 20 0 15 0 76075360 11079016448 21546 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2704838 21546 3237 1 0 2667149 0
[pid=533/tid=593] ppid=528 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 12135 13221 0 0 54 4 4 3 20 0 15 0 76075369 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201886801040 140201914999965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10819352 memory=7373626587451119203 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10819352 memory=7235689679765591913 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10819352 memory=7161959616721874032 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10819352 memory=3472328296227679313 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075370 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) R 528 533 32629 0 -1 4202560 5 13221 0 0 0 0 4 3 20 0 15 0 76075371 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201441544944 140201907695191 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 13 13221 0 0 0 0 4 3 20 0 15 0 76075372 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201355634336 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075372 11079016448 21546 33554432000 4194304 4196468 140731033057408 140200751654128 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10819352 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11079016448 21546 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10819352 memory=8865 CPUtime=0.18 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) S 528 533 32629 0 -1 1077944384 1179 13221 0 0 11 0 4 3 20 0 15 0 76075375 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201440491760 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10819352 memory=4420 CPUtime=0.13 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) S 528 533 32629 0 -1 1077944384 504 13221 0 0 6 0 4 3 20 0 15 0 76075375 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201439439216 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10819352 memory=6628 CPUtime=0.2 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 724 13221 0 0 13 0 4 3 20 0 15 0 76075375 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11079016448 21546 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10819352 memory=8868 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075375 11079016448 21546 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86184 KiB
[startup+1.50074 s]
/proc/loadavg: 1.40 1.26 1.17 5/216 753
/proc/meminfo: memFree=12320848/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=10830156 memory=228628 CPUtime=3.07 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 23354 13221 0 0 289 11 4 3 20 0 15 0 76075360 11090079744 57157 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2707539 57157 3470 1 0 2669197 0
[pid=533/tid=593] ppid=528 vsize=10830156 memory=1404 CPUtime=1.43 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 15275 13221 0 0 128 8 4 3 20 0 15 0 76075369 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201886791096 140201899032091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 7 13221 0 0 0 0 4 3 20 0 15 0 76075370 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10830156 memory=279924493762976 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 53 13221 0 0 0 0 4 3 20 0 15 0 76075370 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10830156 memory=3184237882322852288 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 291 13221 0 0 0 0 4 3 20 0 15 0 76075370 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 30 13221 0 0 0 0 4 3 20 0 15 0 76075370 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) S 528 533 32629 0 -1 1077944384 93 13221 0 0 0 0 4 3 20 0 15 0 76075371 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201441544944 140201914989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 14 13221 0 0 0 0 4 3 20 0 15 0 76075372 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201355634336 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 2 13221 0 0 0 0 4 3 20 0 15 0 76075372 11090079744 57157 33554432000 4194304 4196468 140731033057408 140200751654144 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11090079744 57157 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10830156 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) R 528 533 32629 0 -1 4202560 2395 13221 0 0 59 0 4 3 20 0 15 0 76075375 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201440491760 140201894671131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10830156 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) R 528 533 32629 0 -1 4202560 1314 13221 0 0 51 0 4 3 20 0 15 0 76075375 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201439425096 140201894234632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10830156 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 1685 13221 0 0 46 0 4 3 20 0 15 0 76075375 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11090079744 57157 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1 13221 0 0 0 0 4 3 20 0 15 0 76075375 11090079744 57157 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 105084 13221 0 0 235440 67 4 3 20 0 15 0 76075369 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201886812048 140201522317777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10914144 memory=1762848 CPUtime=11.75 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 17717 13221 0 0 1101 67 4 3 20 0 15 0 76075370 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10914144 memory=1762848 CPUtime=11.76 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 22366 13221 0 0 1106 63 4 3 20 0 15 0 76075370 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10914144 memory=1762848 CPUtime=11.76 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 19445 13221 0 0 1105 64 4 3 20 0 15 0 76075370 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10914144 memory=1762832 CPUtime=11.78 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 16018 13221 0 0 1109 62 4 3 20 0 15 0 76075370 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10914144 memory=1762848 CPUtime=11.5 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) S 528 533 32629 0 -1 1077944384 21937 13221 0 0 1089 54 4 3 20 0 15 0 76075371 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201441544944 140201914989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10914144 memory=1762848 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 16 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201355634400 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10914144 memory=1762848 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 440712 33554432000 4194304 4196468 140731033057408 140200751654144 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10914144 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 440712 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10914144 memory=6947385649911455296 CPUtime=4.48 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) S 528 533 32629 0 -1 1077944384 16374 13221 0 0 438 3 4 3 20 0 15 0 76075375 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201440491760 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10914144 memory=1762848 CPUtime=3.97 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) S 528 533 32629 0 -1 1077944384 14877 13221 0 0 388 2 4 3 20 0 15 0 76075375 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201439439216 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10914144 memory=1762848 CPUtime=1.93 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 17613 13221 0 0 183 3 4 3 20 0 15 0 76075375 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10914144 memory=1231980 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 440712 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10914144 memory=2416 CPUtime=1.52 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1123 13221 0 0 66 79 4 3 20 0 15 0 76075375 11176083456 440712 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 2425.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1762848 KiB
[startup+2442.3 s]
/proc/loadavg: 1.83 1.44 1.35 3/215 828
/proc/meminfo: memFree=9474300/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=10914144 memory=1764916 CPUtime=2485.95 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 257005 13221 0 0 248192 396 4 3 20 0 15 0 76075360 11176083456 441229 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2728536 441229 3522 1 0 2690189 0
[pid=533/tid=593] ppid=528 vsize=10914144 memory=1764916 CPUtime=2414.42 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 106075 13221 0 0 241367 68 4 3 20 0 15 0 76075369 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201886812288 140201522170461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.06 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 18242 13221 0 0 1131 68 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.08 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 22553 13221 0 0 1136 65 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10914144 memory=147 CPUtime=12.09 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 19521 13221 0 0 1136 66 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.09 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 16072 13221 0 0 1139 63 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10914144 memory=1764916 CPUtime=11.8 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) S 528 533 32629 0 -1 1077944384 22300 13221 0 0 1118 55 4 3 20 0 15 0 76075371 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201441544944 140201914989186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 16 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201355634400 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200751654144 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10914144 memory=1764916 CPUtime=4.48 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) S 528 533 32629 0 -1 1077944384 16378 13221 0 0 438 3 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201440491760 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10914144 memory=1228 CPUtime=3.97 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) S 528 533 32629 0 -1 1077944384 14881 13221 0 0 388 2 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201439439216 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10914144 memory=1764916 CPUtime=1.93 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 17617 13221 0 0 183 3 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10914144 memory=1764916 CPUtime=1.55 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1152 13221 0 0 67 81 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 2485.95 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1764916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.9 s]
/proc/loadavg: 2.05 1.55 1.39 3/215 829
/proc/meminfo: memFree=9464876/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=10914144 memory=1764916 CPUtime=2520.06 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 258187 13221 0 0 251597 402 4 3 20 0 15 0 76075360 11176083456 441229 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2728536 441229 3522 1 0 2690189 0
[pid=533/tid=593] ppid=528 vsize=10914144 memory=1764916 CPUtime=2447.61 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 106633 13221 0 0 244685 69 4 3 20 0 15 0 76075369 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201886812928 140201522170491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.24 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 18292 13221 0 0 1149 68 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.26 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 22625 13221 0 0 1153 66 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.26 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 19773 13221 0 0 1153 66 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.27 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 16117 13221 0 0 1156 64 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10914144 memory=1764916 CPUtime=11.98 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) S 528 533 32629 0 -1 1077944384 22483 13221 0 0 1135 56 4 3 20 0 15 0 76075371 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201441544944 140201914989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 16 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201355634400 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200751654144 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10914144 memory=279924494424224 CPUtime=4.48 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) S 528 533 32629 0 -1 1077944384 16380 13221 0 0 438 3 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201440491760 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10914144 memory=1764916 CPUtime=3.97 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) S 528 533 32629 0 -1 1077944384 14883 13221 0 0 388 2 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201439439216 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10914144 memory=1764916 CPUtime=1.93 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 17619 13221 0 0 183 3 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10914144 memory=1764916 CPUtime=1.57 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1168 13221 0 0 67 83 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1764916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.93 s]
# the end of solver process 533 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.04 s, system=4.07513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.9 s]
/proc/loadavg: 2.05 1.55 1.39 3/215 829
/proc/meminfo: memFree=9464876/32770624 swapFree=67108860/67108860
[pid=533] ppid=528 vsize=10914144 memory=1764916 CPUtime=2520.06 cores=1,3,5,7
/proc/533/stat : 533 (java) S 528 533 32629 0 -1 1077944320 258187 13221 0 0 251597 402 4 3 20 0 15 0 76075360 11176083456 441229 33554432000 4194304 4196468 140731033057408 140731033039952 140201914978039 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
/proc/533/statm: 2728536 441229 3522 1 0 2690189 0
[pid=533/tid=593] ppid=528 vsize=10914144 memory=1764916 CPUtime=2447.61 cores=1,3,5,7
/proc/533/task/593/stat : 593 (java) R 528 533 32629 0 -1 4202560 106633 13221 0 0 244685 69 4 3 20 0 15 0 76075369 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201886812928 140201522170491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=594] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.24 cores=1,3,5,7
/proc/533/task/594/stat : 594 (java) S 528 533 32629 0 -1 1077944384 18292 13221 0 0 1149 68 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201919220240 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=595] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.26 cores=1,3,5,7
/proc/533/task/595/stat : 595 (java) S 528 533 32629 0 -1 1077944384 22625 13221 0 0 1153 66 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201834039952 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=598] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.26 cores=1,3,5,7
/proc/533/task/598/stat : 598 (java) S 528 533 32629 0 -1 1077944384 19773 13221 0 0 1153 66 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201832986896 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=599] ppid=528 vsize=10914144 memory=1764916 CPUtime=12.27 cores=1,3,5,7
/proc/533/task/599/stat : 599 (java) S 528 533 32629 0 -1 1077944384 16117 13221 0 0 1156 64 4 3 20 0 15 0 76075370 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201831934352 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=606] ppid=528 vsize=10914144 memory=1764916 CPUtime=11.98 cores=1,3,5,7
/proc/533/task/606/stat : 606 (java) S 528 533 32629 0 -1 1077944384 22483 13221 0 0 1135 56 4 3 20 0 15 0 76075371 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201441544944 140201914989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=607] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/607/stat : 607 (java) S 528 533 32629 0 -1 1077944384 16 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201355634400 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=608] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/608/stat : 608 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075372 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200751654144 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=630] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/630/stat : 630 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200444254672 140201914996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=632] ppid=528 vsize=10914144 memory=279924494424224 CPUtime=4.48 cores=1,3,5,7
/proc/533/task/632/stat : 632 (java) S 528 533 32629 0 -1 1077944384 16380 13221 0 0 438 3 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201440491760 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=635] ppid=528 vsize=10914144 memory=1764916 CPUtime=3.97 cores=1,3,5,7
/proc/533/task/635/stat : 635 (java) S 528 533 32629 0 -1 1077944384 14883 13221 0 0 388 2 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201439439216 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=636] ppid=528 vsize=10914144 memory=1764916 CPUtime=1.93 cores=1,3,5,7
/proc/533/task/636/stat : 636 (java) S 528 533 32629 0 -1 1077944384 17619 13221 0 0 183 3 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201438386160 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=639] ppid=528 vsize=10914144 memory=1764916 CPUtime=0.07 cores=1,3,5,7
/proc/533/task/639/stat : 639 (java) S 528 533 32629 0 -1 1077944384 3 13221 0 0 0 0 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140200410696032 140201914988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
[pid=533/tid=641] ppid=528 vsize=10914144 memory=1764916 CPUtime=1.57 cores=1,3,5,7
/proc/533/task/641/stat : 641 (java) S 528 533 32629 0 -1 1077944384 1168 13221 0 0 67 83 4 3 20 0 15 0 76075375 11176083456 441229 33554432000 4194304 4196468 140731033057408 140201437334576 140201914989186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27430912 140731033066095 140731033068892 140731033068892 140731033071567 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1764916 KiB
Child status: 143
Real time (s): 2475.93
CPU time (s): 2520.12
CPU user time (s): 2516.04
CPU system time (s): 4.07513
CPU usage (%): 101.785
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1764916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.04
system time used= 4.07513
maximum resident set size= 1769120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 311500
involuntary context switches= 7149
# summary of solver processes directly reported to runsolver:
# pid: 533
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.04
# total CPU system time (s): 4.07513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3599 second user time and 24.8485 second system time
The end