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 (6608 MiB free)
memory of node 1: 16384 MiB (10497 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295665-1532585134/watcher-4295665-1532585134 -o /tmp/evaluation-result-4295665-1532585134/solver-4295665-1532585134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32592 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=959319633 -superng HOME/instance-4295665-1532585134.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=631, runsolver pid=627
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 1.08 1.29 1.27 3/207 690
/proc/meminfo: memFree=17501484/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=9972712 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 4286 13020 0 0 1 0 6 2 20 0 6 0 76076611 10212057088 4649 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2493178 4649 1932 1 0 2481616 0
[pid=631/tid=686] ppid=627 vsize=9972712 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 2150 13020 0 0 1 0 6 2 20 0 6 0 76076620 10212057088 4714 33554432000 4194304 4196468 140728515457120 140302340026960 140302368212125 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=9972712 memory=4294967639 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 6 0 76076621 10212057088 4714 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=9972712 memory=140199625532952 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 6 0 76076621 10212057088 4714 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 6 0 76076621 10212057088 4714 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 6 0 76076621 10212057088 4714 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.209689 s]*
/proc/loadavg: 1.08 1.29 1.27 4/216 699
/proc/meminfo: memFree=17468228/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=10821524 memory=48120 CPUtime=0.26 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 8199 13020 0 0 17 1 6 2 20 0 15 0 76076611 11081240576 12030 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2705381 12030 2970 1 0 2667804 0
[pid=631/tid=686] ppid=627 vsize=10818904 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 5868 13020 0 0 10 1 6 2 20 0 15 0 76076620 11078557696 12397 33554432000 4194304 4196468 140728515457120 140302340015008 140302368212125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10818904 memory=4294967639 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11078557696 12397 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10818904 memory=140199625532952 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11078557696 12397 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11078557696 12397 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11078557696 12397 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10818904 memory=140199625508480 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076622 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 13 13020 0 0 0 0 6 2 20 0 15 0 76076623 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301817603488 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076623 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301683385840 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 478 13020 0 0 1 0 6 2 20 0 15 0 76076626 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 90 13020 0 0 1 0 6 2 20 0 15 0 76076626 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10818904 memory=140199625508480 CPUtime=0.11 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) R 627 631 32560 0 -1 4202560 577 13020 0 0 3 0 6 2 20 0 15 0 76076626 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301891709088 140302352270686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11078557696 12397 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10818904 memory=140199625508480 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076626 11078557696 12397 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 48120 KiB
[startup+0.310304 s]*
/proc/loadavg: 1.08 1.29 1.27 4/216 699
/proc/meminfo: memFree=17449436/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=10819352 memory=57724 CPUtime=0.39 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 10436 13020 0 0 29 2 6 2 20 0 15 0 76076611 11079016448 14431 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2704838 14431 3105 1 0 2667149 0
[pid=631/tid=686] ppid=627 vsize=10819352 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 7060 13020 0 0 19 2 6 2 20 0 15 0 76076620 11079016448 14431 33554432000 4194304 4196468 140728515457120 140302340002208 140302348465894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 14431 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 14431 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 14431 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10819352 memory=2650 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 14431 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076622 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 13 13020 0 0 0 0 6 2 20 0 15 0 76076623 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301817603488 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076623 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301683385840 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 478 13020 0 0 1 0 6 2 20 0 15 0 76076626 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10819352 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 91 13020 0 0 2 0 6 2 20 0 15 0 76076626 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10819352 memory=140199625508480 CPUtime=0.13 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) S 627 631 32560 0 -1 1077944384 600 13020 0 0 5 0 6 2 20 0 15 0 76076626 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301891709168 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11079016448 14431 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10819352 memory=140199625508480 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076626 11079016448 14431 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57724 KiB
[startup+0.700716 s]
/proc/loadavg: 1.08 1.29 1.27 5/216 699
/proc/meminfo: memFree=17398812/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=10819352 memory=90624 CPUtime=1 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 16763 13020 0 0 88 4 6 2 20 0 15 0 76076611 11079016448 22656 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2704838 22656 3238 1 0 2667149 0
[pid=631/tid=686] ppid=627 vsize=10819352 memory=5792307881615119716 CPUtime=0.67 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 12241 13020 0 0 56 3 6 2 20 0 15 0 76076620 11079016448 22656 33554432000 4194304 4196468 140728515457120 140302340011024 140302348465416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10819352 memory=1040 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 22656 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10819352 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 22656 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 22656 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10819352 memory=140199625507361 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11079016448 22656 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 5 13020 0 0 0 0 6 2 20 0 15 0 76076622 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 13 13020 0 0 0 0 6 2 20 0 15 0 76076623 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301817603488 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076623 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301683385840 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10819352 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 1108 13020 0 0 10 0 6 2 20 0 15 0 76076626 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 501 13020 0 0 7 0 6 2 20 0 15 0 76076626 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) S 627 631 32560 0 -1 1077944384 690 13020 0 0 13 0 6 2 20 0 15 0 76076626 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301891709168 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11079016448 22656 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10819352 memory=3708 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076626 11079016448 22656 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90624 KiB
[startup+1.50075 s]
/proc/loadavg: 1.08 1.29 1.27 4/216 699
/proc/meminfo: memFree=17260816/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=10832204 memory=218220 CPUtime=2.89 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 23762 13020 0 0 273 8 6 2 20 0 15 0 76076611 11092176896 54555 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2708051 54555 3449 1 0 2669709 0
[pid=631/tid=686] ppid=627 vsize=10832204 memory=280398953210144 CPUtime=1.47 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 16620 13020 0 0 133 6 6 2 20 0 15 0 76076620 11092176896 54555 33554432000 4194304 4196468 140728515457120 140302340005088 140302352233829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10832204 memory=142889266971942 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11092176896 54555 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10832204 memory=1040 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11092176896 54555 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076621 11092176896 54555 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076621 11092176896 54555 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 13 13020 0 0 0 0 6 2 20 0 15 0 76076622 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10832204 memory=6944656592455360608 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 13 13020 0 0 0 0 6 2 20 0 15 0 76076623 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301817603488 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10832204 memory=7682475212697334586 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076623 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301683385840 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10832204 memory=8764164798296004766 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10832204 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 1975 13020 0 0 47 0 6 2 20 0 15 0 76076626 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10832204 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 1385 13020 0 0 49 0 6 2 20 0 15 0 76076626 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10832204 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) S 627 631 32560 0 -1 1077944384 1551 13020 0 0 42 0 6 2 20 0 15 0 76076626 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301891709168 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10832204 memory=280398953749232 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11092176896 54555 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10832204 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1 13020 0 0 0 0 6 2 20 0 15 0 76076626 11092176896 54555 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 90401 13020 0 0 236354 41 6 2 20 0 15 0 76076620 11176083456 212783 33554432000 4194304 4196468 140728515457120 140302340025072 140301975126474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10914144 memory=851056 CPUtime=8.43 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 9181 13020 0 0 793 42 6 2 20 0 15 0 76076621 11176083456 212783 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10914144 memory=851132 CPUtime=8.39 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 19167 13020 0 0 789 42 6 2 20 0 15 0 76076621 11176083456 212783 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10914144 memory=54 CPUtime=8.41 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 16653 13020 0 0 792 41 6 2 20 0 15 0 76076621 11176083456 212783 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10914144 memory=851132 CPUtime=8.43 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 13613 13020 0 0 791 44 6 2 20 0 15 0 76076621 11176083456 212783 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10914144 memory=851132 CPUtime=7.94 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 15526 13020 0 0 744 42 6 2 20 0 15 0 76076622 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10914144 memory=851132 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 14 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301817603616 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10914144 memory=851056 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301683385856 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10914144 memory=280398955246144 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10914144 memory=280398955212256 CPUtime=4.34 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 15975 13020 0 0 423 3 6 2 20 0 15 0 76076626 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10914144 memory=851132 CPUtime=4.46 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 19912 13020 0 0 435 3 6 2 20 0 15 0 76076626 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10914144 memory=851132 CPUtime=2.02 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) S 627 631 32560 0 -1 1077944384 23074 13020 0 0 191 3 6 2 20 0 15 0 76076626 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301891709168 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212783 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10914144 memory=126 CPUtime=1.37 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1376 13020 0 0 60 69 6 2 20 0 15 0 76076626 11176083456 212783 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 2417.21 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 851132 KiB
[startup+2442.3 s]
/proc/loadavg: 1.07 1.18 1.31 3/215 773
/proc/meminfo: memFree=15862256/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=10914144 memory=851176 CPUtime=2477.82 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 228271 13020 0 0 247485 289 6 2 20 0 15 0 76076611 11176083456 212794 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2728536 212794 3522 1 0 2690189 0
[pid=631/tid=686] ppid=627 vsize=10914144 memory=54 CPUtime=2423.59 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 90983 13020 0 0 242310 41 6 2 20 0 15 0 76076620 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302340024224 140301983777926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10914144 memory=851132 CPUtime=8.63 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 9446 13020 0 0 813 42 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10914144 memory=851132 CPUtime=8.6 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 19179 13020 0 0 808 44 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10914144 memory=851132 CPUtime=8.61 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 16669 13020 0 0 811 42 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10914144 memory=851132 CPUtime=8.64 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 13697 13020 0 0 811 45 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10914144 memory=851132 CPUtime=8.13 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 15722 13020 0 0 762 43 6 2 20 0 15 0 76076622 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10914144 memory=851176 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 14 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301817603616 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10914144 memory=851176 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301683385856 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10914144 memory=851176 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10914144 memory=851176 CPUtime=4.34 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 15977 13020 0 0 423 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10914144 memory=851176 CPUtime=4.46 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 19914 13020 0 0 435 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10914144 memory=851176 CPUtime=2.02 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) S 627 631 32560 0 -1 1077944384 23076 13020 0 0 191 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301891709168 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10914144 memory=2088 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10914144 memory=851176 CPUtime=1.4 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1394 13020 0 0 62 70 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 2477.82 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 851176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2484.11 s]
/proc/loadavg: 1.11 1.19 1.31 3/197 808
/proc/meminfo: memFree=16749668/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=10914144 memory=851176 CPUtime=2520.04 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 228680 13020 0 0 251701 295 6 2 20 0 15 0 76076611 11176083456 212794 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2728536 212794 3522 1 0 2690189 0
[pid=631/tid=686] ppid=627 vsize=10914144 memory=851176 CPUtime=2465.11 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 91295 13020 0 0 246461 42 6 2 20 0 15 0 76076620 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302340024096 140301974462864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10914144 memory=851176 CPUtime=8.77 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 9454 13020 0 0 826 43 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10914144 memory=851176 CPUtime=8.74 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 19185 13020 0 0 821 45 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10914144 memory=851176 CPUtime=8.74 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 16680 13020 0 0 824 42 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10914144 memory=851176 CPUtime=8.77 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 13710 13020 0 0 823 46 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10914144 memory=851176 CPUtime=8.26 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 15765 13020 0 0 775 43 6 2 20 0 15 0 76076622 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10914144 memory=866 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 14 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301817603616 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10914144 memory=851176 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301683385856 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10914144 memory=851176 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10914144 memory=851176 CPUtime=4.34 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 15977 13020 0 0 423 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10914144 memory=851176 CPUtime=4.46 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 19914 13020 0 0 435 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10914144 memory=851176 CPUtime=2.02 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) S 627 631 32560 0 -1 1077944384 23076 13020 0 0 191 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301891709168 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10914144 memory=2088 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10914144 memory=1040 CPUtime=1.43 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1410 13020 0 0 63 72 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 851176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2484.14 s]
# the end of solver process 631 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.09 s, system=2.98045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2484.11 s]
/proc/loadavg: 1.11 1.19 1.31 3/197 808
/proc/meminfo: memFree=16749668/32770624 swapFree=67108796/67108860
[pid=631] ppid=627 vsize=10914144 memory=851176 CPUtime=2520.04 cores=1,3,5,7
/proc/631/stat : 631 (java) S 627 631 32560 0 -1 1077944320 228680 13020 0 0 251701 295 6 2 20 0 15 0 76076611 11176083456 212794 33554432000 4194304 4196468 140728515457120 140728515439664 140302368190199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
/proc/631/statm: 2728536 212794 3522 1 0 2690189 0
[pid=631/tid=686] ppid=627 vsize=10914144 memory=851176 CPUtime=2465.11 cores=1,3,5,7
/proc/631/task/686/stat : 686 (java) R 627 631 32560 0 -1 4202560 91295 13020 0 0 246461 42 6 2 20 0 15 0 76076620 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302340024096 140301974462864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=687] ppid=627 vsize=10914144 memory=851176 CPUtime=8.77 cores=1,3,5,7
/proc/631/task/687/stat : 687 (java) S 627 631 32560 0 -1 1077944384 9454 13020 0 0 826 43 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302372432144 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=688] ppid=627 vsize=10914144 memory=851176 CPUtime=8.74 cores=1,3,5,7
/proc/631/task/688/stat : 688 (java) S 627 631 32560 0 -1 1077944384 19185 13020 0 0 821 45 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302291184016 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=689] ppid=627 vsize=10914144 memory=851176 CPUtime=8.74 cores=1,3,5,7
/proc/631/task/689/stat : 689 (java) S 627 631 32560 0 -1 1077944384 16680 13020 0 0 824 42 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302290131472 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=690] ppid=627 vsize=10914144 memory=851176 CPUtime=8.77 cores=1,3,5,7
/proc/631/task/690/stat : 690 (java) S 627 631 32560 0 -1 1077944384 13710 13020 0 0 823 46 6 2 20 0 15 0 76076621 11176083456 212794 33554432000 4194304 4196468 140728515457120 140302289078928 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=691] ppid=627 vsize=10914144 memory=851176 CPUtime=8.26 cores=1,3,5,7
/proc/631/task/691/stat : 691 (java) S 627 631 32560 0 -1 1077944384 15765 13020 0 0 775 43 6 2 20 0 15 0 76076622 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301894867440 140302368201346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=692] ppid=627 vsize=10914144 memory=866 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/692/stat : 692 (java) S 627 631 32560 0 -1 1077944384 14 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301817603616 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=693] ppid=627 vsize=10914144 memory=851176 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/693/stat : 693 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076623 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301683385856 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=694] ppid=627 vsize=10914144 memory=851176 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/694/stat : 694 (java) S 627 631 32560 0 -1 1077944384 2 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301079407312 140302368208795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=695] ppid=627 vsize=10914144 memory=851176 CPUtime=4.34 cores=1,3,5,7
/proc/631/task/695/stat : 695 (java) S 627 631 32560 0 -1 1077944384 15977 13020 0 0 423 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301893814256 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=696] ppid=627 vsize=10914144 memory=851176 CPUtime=4.46 cores=1,3,5,7
/proc/631/task/696/stat : 696 (java) S 627 631 32560 0 -1 1077944384 19914 13020 0 0 435 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301892761712 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=697] ppid=627 vsize=10914144 memory=851176 CPUtime=2.02 cores=1,3,5,7
/proc/631/task/697/stat : 697 (java) S 627 631 32560 0 -1 1077944384 23076 13020 0 0 191 3 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301891709168 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=698] ppid=627 vsize=10914144 memory=2088 CPUtime=0.08 cores=1,3,5,7
/proc/631/task/698/stat : 698 (java) S 627 631 32560 0 -1 1077944384 3 13020 0 0 0 0 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140300609645152 140302368200405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
[pid=631/tid=699] ppid=627 vsize=10914144 memory=1040 CPUtime=1.43 cores=1,3,5,7
/proc/631/task/699/stat : 699 (java) S 627 631 32560 0 -1 1077944384 1410 13020 0 0 63 72 6 2 20 0 15 0 76076626 11176083456 212794 33554432000 4194304 4196468 140728515457120 140301890657072 140302368201346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29106176 140728515463340 140728515466588 140728515466588 140728515469263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 851176 KiB
Child status: 143
Real time (s): 2484.14
CPU time (s): 2520.07
CPU user time (s): 2517.09
CPU system time (s): 2.98045
CPU usage (%): 101.447
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 851176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.09
system time used= 2.98045
maximum resident set size= 855316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230621
involuntary context switches= 5250
# summary of solver processes directly reported to runsolver:
# pid: 631
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.09
# total CPU system time (s): 2.98045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3344 second user time and 22.9877 second system time
The end