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 (8931 MiB free)
memory of node 1: 16384 MiB (10390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403423-1568992741/watcher-4403423-1568992741 -o /var/tmp/evaluation-result-4403423-1568992741/solver-4403423-1568992741 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 971736077 HOME/instance-4403423-1568992741.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
Current StackSize limit: 8192 KiB
solver pid=31038, runsolver pid=31035
[startup+0.101536 s]*
/proc/loadavg: 8.73 8.55 8.52 7/233 31054
/proc/meminfo: memFree=19770324/32770624 swapFree=67002252/67108860
[pid=31038] ppid=31035 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31038/stat : 31038 (xcsp3-exec) S 31035 31038 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475522734 115843072 363 33554432000 4194304 5098028 140724308336160 140724308334264 140413620982396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22458368 140724308341591 140724308341849 140724308341849 140724308344774 0
/proc/31038/statm: 28282 363 304 221 0 87 0
[pid=31040] ppid=31038 vsize=15144776 memory=28704 CPUtime=0.14 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31038 31038 25111 0 -1 1077944320 5670 0 0 0 13 1 0 0 20 0 15 0 475522734 15508250624 7176 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3786194 7176 3177 1 0 3748377 0
[pid=31040/tid=31041] ppid=31038 vsize=15144776 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) S 31038 31038 25111 0 -1 1077944384 3544 0 0 0 9 1 0 0 20 0 15 0 475522734 15508250624 7176 33554432000 4194304 4196468 140734685786512 139715431508864 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 7176 33554432000 4194304 4196468 140734685786512 139715355319440 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31038 vsize=15144776 memory=139693651416704 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 7176 33554432000 4194304 4196468 140734685786512 139715018091536 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 7176 33554432000 4194304 4196468 140734685786512 139715017038736 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) S 31038 31038 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 7176 33554432000 4194304 4196468 140734685786512 139715015985936 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31038 vsize=15144776 memory=139693651416704 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31038 31038 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475522736 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714963081584 139715427289730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31038 31038 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475522737 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714962027552 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31038 31038 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475522737 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714960974704 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522739 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714959923024 139715427297179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) R 31038 31038 25111 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 475522739 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714958871504 139715427288789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) R 31038 31038 25111 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 15 0 475522739 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714957810112 139715407979385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31038 vsize=15144776 memory=139693651416704 CPUtime=0.02 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31038 31038 25111 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 475522739 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714956765808 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31038 vsize=15144776 memory=139693651416704 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522740 15508250624 7176 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30156 KiB
[startup+0.210729 s]*
/proc/loadavg: 8.73 8.55 8.52 8/233 31054
/proc/meminfo: memFree=19757856/32770624 swapFree=67002252/67108860
[pid=31038] ppid=31035 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31038/stat : 31038 (xcsp3-exec) S 31035 31038 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475522734 115843072 363 33554432000 4194304 5098028 140724308336160 140724308334264 140413620982396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22458368 140724308341591 140724308341849 140724308341849 140724308344774 0
/proc/31038/statm: 28282 363 304 221 0 87 0
[pid=31040] ppid=31038 vsize=15144776 memory=40292 CPUtime=0.34 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31038 31038 25111 0 -1 1077944320 9304 0 0 0 31 3 0 0 20 0 15 0 475522734 15508250624 10073 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3786194 10073 3288 1 0 3748377 0
[pid=31040/tid=31041] ppid=31038 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) R 31038 31038 25111 0 -1 4202560 6529 0 0 0 18 2 0 0 20 0 15 0 475522734 15508250624 10073 33554432000 4194304 4196468 140734685786512 139715431516032 139715419956597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31038 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 10073 33554432000 4194304 4196468 140734685786512 139715355319440 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31038 vsize=15144776 memory=139693654945432 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 10073 33554432000 4194304 4196468 140734685786512 139715018091536 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 10073 33554432000 4194304 4196468 140734685786512 139715017038736 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) S 31038 31038 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475522735 15508250624 10073 33554432000 4194304 4196468 140734685786512 139715015985936 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31038 vsize=15144776 memory=139693651416704 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31038 31038 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475522736 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714963081584 139715427289730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31038 31038 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475522737 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714962027552 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31038 31038 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475522737 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714960974704 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522739 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714959923024 139715427297179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31038 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) S 31038 31038 25111 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 15 0 475522739 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714958871408 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31038 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) S 31038 31038 25111 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 475522739 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714957818608 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31038 vsize=15144776 memory=139693651416704 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31038 31038 25111 0 -1 1077944384 813 0 0 0 8 0 0 0 20 0 15 0 475522739 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714956765808 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522740 15508250624 10073 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41744 KiB
[startup+0.310612 s]*
/proc/loadavg: 8.73 8.55 8.52 6/233 31054
/proc/meminfo: memFree=19750088/32770624 swapFree=67002252/67108860
[pid=31038] ppid=31035 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31038/stat : 31038 (xcsp3-exec) S 31035 31038 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475522734 115843072 363 33554432000 4194304 5098028 140724308336160 140724308334264 140413620982396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22458368 140724308341591 140724308341849 140724308341849 140724308344774 0
/proc/31038/statm: 28282 363 304 221 0 87 0
[pid=31040] ppid=31038 vsize=15149032 memory=49288 CPUtime=0.52 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31038 31038 25111 0 -1 1077944320 10680 0 0 0 48 4 0 0 20 0 15 0 475522734 15512608768 12322 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3787258 12322 3322 1 0 3748377 0
[pid=31040/tid=31041] ppid=31038 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) R 31038 31038 25111 0 -1 4202560 7730 0 0 0 27 3 0 0 20 0 15 0 475522734 15512608768 12322 33554432000 4194304 4196468 140734685786512 139715431509696 139715411359070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31038 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15512608768 12322 33554432000 4194304 4196468 140734685786512 139715355319440 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31038 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522735 15512608768 12322 33554432000 4194304 4196468 140734685786512 139715018091536 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15512608768 12322 33554432000 4194304 4196468 140734685786512 139715017038736 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) S 31038 31038 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475522735 15512608768 12322 33554432000 4194304 4196468 140734685786512 139715015985936 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31038 31038 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475522736 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714963081584 139715427289730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31038 31038 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475522737 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714962027552 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31038 31038 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475522737 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714960974704 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522739 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714959923024 139715427297179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31038 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) S 31038 31038 25111 0 -1 1077944384 425 0 0 0 4 0 0 0 20 0 15 0 475522739 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714958871408 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31038 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) S 31038 31038 25111 0 -1 1077944384 255 0 0 0 3 0 0 0 20 0 15 0 475522739 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714957818608 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31038 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31038 31038 25111 0 -1 1077944384 964 0 0 0 13 0 0 0 20 0 15 0 475522739 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714956765808 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522740 15512608768 12322 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50740 KiB
[startup+0.700857 s]
/proc/loadavg: 8.73 8.55 8.52 8/233 31054
/proc/meminfo: memFree=19724696/32770624 swapFree=67002252/67108860
[pid=31038] ppid=31035 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31038/stat : 31038 (xcsp3-exec) S 31035 31038 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475522734 115843072 363 33554432000 4194304 5098028 140724308336160 140724308334264 140413620982396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22458368 140724308341591 140724308341849 140724308341849 140724308344774 0
/proc/31038/statm: 28282 363 304 221 0 87 0
[pid=31040] ppid=31038 vsize=15151156 memory=102820 CPUtime=1.81 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31038 31038 25111 0 -1 1077944320 15848 0 0 0 175 6 0 0 20 0 15 0 475522734 15514783744 25705 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3787789 25705 3443 1 0 3748889 0
[pid=31040/tid=31041] ppid=31038 vsize=15151156 memory=29952 CPUtime=0.67 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) R 31038 31038 25111 0 -1 4202560 9050 0 0 0 63 4 0 0 20 0 15 0 475522734 15514783744 25705 33554432000 4194304 4196468 140734685786512 139715431513792 139715034619776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31038 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15514783744 25705 33554432000 4194304 4196468 140734685786512 139715355319440 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31038 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522735 15514783744 25705 33554432000 4194304 4196468 140734685786512 139715018091536 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31038 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522735 15514783744 25705 33554432000 4194304 4196468 140734685786512 139715017038736 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31038 vsize=15151156 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) S 31038 31038 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475522735 15514783744 25705 33554432000 4194304 4196468 140734685786512 139715015985936 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31038 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31038 31038 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475522736 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714963081584 139715427289730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31038 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31038 31038 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714962027552 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31038 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31038 31038 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714960974704 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31038 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522739 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714959923024 139715427297179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31038 vsize=15151156 memory=2676 CPUtime=0.37 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) R 31038 31038 25111 0 -1 4202560 1763 0 0 0 37 0 0 0 20 0 15 0 475522739 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714958853792 139715406933120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31038 vsize=15151156 memory=1764 CPUtime=0.37 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) R 31038 31038 25111 0 -1 4202560 1576 0 0 0 37 0 0 0 20 0 15 0 475522739 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714957796816 139715408799758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31038 vsize=15151156 memory=111632 CPUtime=0.35 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31038 31038 25111 0 -1 1077944384 2149 0 0 0 35 0 0 0 20 0 15 0 475522739 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714956765808 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31038 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31038 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31038 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31038 31038 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475522740 15514783744 25705 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 104272 KiB
[startup+1.50085 s]
/proc/loadavg: 8.73 8.55 8.52 8/233 31054
/proc/meminfo: memFree=19601884/32770624 swapFree=67002252/67108860
[pid=31038] ppid=31035 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31038/stat : 31038 (xcsp3-exec) S 31035 31038 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475522734 115843072 363 33554432000 4194304 5098028 140724308336160 140724308334264 140413620982396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22458368 140724308341591 140724308341849 140724308341849 140724308344774 0
/proc/31038/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 2522.37 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12610960 KiB
[startup+816.801 s]
/proc/loadavg: 6.82 7.11 7.23 9/231 31218
/proc/meminfo: memFree=186560/32770624 swapFree=67002252/67108860
[pid=31040] ppid=31035 vsize=15151156 memory=12610960 CPUtime=2525.53 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31035 31038 25111 0 -1 1077944320 6724907 0 0 0 250875 1678 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3787789 3152740 3510 1 0 3748889 0
[pid=31040/tid=31041] ppid=31035 vsize=15151156 memory=988 CPUtime=165.09 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) S 31035 31038 25111 0 -1 1077944384 32204 0 0 0 16462 47 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715431515648 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31035 vsize=15151156 memory=2024 CPUtime=568.83 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) R 31035 31038 25111 0 -1 4202560 1624697 0 0 0 56457 426 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715355319640 139715412229713 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31035 vsize=15151156 memory=6791534058613427641 CPUtime=569.34 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) R 31035 31038 25111 0 -1 4202560 1919211 0 0 0 56553 381 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715018091736 139715411976358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31035 vsize=15151156 memory=1452 CPUtime=570.04 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) R 31035 31038 25111 0 -1 4202560 1486525 0 0 0 56609 395 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715017038624 139715411976222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31035 vsize=15151156 memory=12610960 CPUtime=569.92 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) R 31035 31038 25111 0 -1 4202560 1417898 0 0 0 56590 402 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715015986136 139715411976335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31035 vsize=15151156 memory=1556 CPUtime=77.95 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31035 31038 25111 0 -1 1077944384 216599 0 0 0 7781 14 0 0 20 0 15 0 475522736 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714963079904 139715427288789 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31035 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31035 31038 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714962027616 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31035 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31035 31038 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714960974720 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31035 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31035 31038 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714959922672 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31035 vsize=15151156 memory=776 CPUtime=1.77 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) S 31035 31038 25111 0 -1 1077944384 11941 0 0 0 175 2 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714958871456 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31035 vsize=15151156 memory=3540 CPUtime=1.39 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) S 31035 31038 25111 0 -1 1077944384 5488 0 0 0 139 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714957818656 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31035 vsize=15151156 memory=1228 CPUtime=0.6 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31035 31038 25111 0 -1 1077944384 8469 0 0 0 59 1 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714956765568 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31035 vsize=15151156 memory=10600 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31035 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31035 vsize=15151156 memory=1736 CPUtime=0.49 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31035 31038 25111 0 -1 1077944384 570 0 0 0 21 28 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current cumulated CPU time of completed processes: 0.002298 s
Current children cumulated CPU time: 2525.53 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12610960 KiB
[startup+817.201 s]
/proc/loadavg: 6.82 7.11 7.23 10/231 31218
/proc/meminfo: memFree=186560/32770624 swapFree=67002252/67108860
[pid=31040] ppid=31035 vsize=15151156 memory=12610960 CPUtime=2527.09 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31035 31038 25111 0 -1 1077944320 6724941 0 0 0 251031 1678 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3787789 3152740 3510 1 0 3748889 0
[pid=31040/tid=31041] ppid=31035 vsize=15151156 memory=6791534058613427641 CPUtime=165.09 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) S 31035 31038 25111 0 -1 1077944384 32204 0 0 0 16462 47 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715431515648 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31035 vsize=15151156 memory=1412 CPUtime=569.23 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) R 31035 31038 25111 0 -1 4202560 1624697 0 0 0 56497 426 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715355319440 139715412268247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31035 vsize=15151156 memory=3168 CPUtime=569.72 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) R 31035 31038 25111 0 -1 4202560 1919211 0 0 0 56591 381 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715018091736 139715411978511 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31035 vsize=15151156 memory=1452 CPUtime=570.43 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) R 31035 31038 25111 0 -1 4202560 1486525 0 0 0 56648 395 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715017038936 139715412268143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31035 vsize=15151156 memory=12618568 CPUtime=570.31 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) R 31035 31038 25111 0 -1 4202560 1417932 0 0 0 56629 402 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715015986136 139715412268048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31035 vsize=15151156 memory=796 CPUtime=77.96 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31035 31038 25111 0 -1 1077944384 216599 0 0 0 7782 14 0 0 20 0 15 0 475522736 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714963080128 139715427288789 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31035 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31035 31038 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714962027616 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31035 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31035 31038 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714960974720 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31035 vsize=15151156 memory=3820 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31035 31038 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714959922672 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31035 vsize=15151156 memory=2592 CPUtime=1.77 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) S 31035 31038 25111 0 -1 1077944384 11941 0 0 0 175 2 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714958871456 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31035 vsize=15151156 memory=2704 CPUtime=1.39 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) S 31035 31038 25111 0 -1 1077944384 5488 0 0 0 139 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714957818656 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31035 vsize=15151156 memory=1412 CPUtime=0.6 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31035 31038 25111 0 -1 1077944384 8469 0 0 0 59 1 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714956765568 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31035 vsize=15151156 memory=3176 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31035 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31035 vsize=15151156 memory=1452 CPUtime=0.49 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31035 31038 25111 0 -1 1077944384 570 0 0 0 21 28 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current cumulated CPU time of completed processes: 0.002298 s
Current children cumulated CPU time: 2527.09 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12610960 KiB
[startup+817.401 s]
/proc/loadavg: 6.82 7.11 7.23 10/231 31218
/proc/meminfo: memFree=186560/32770624 swapFree=67002252/67108860
[pid=31040] ppid=31035 vsize=15151156 memory=12610960 CPUtime=2527.89 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31035 31038 25111 0 -1 1077944320 6724943 0 0 0 251111 1678 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3787789 3152740 3510 1 0 3748889 0
[pid=31040/tid=31041] ppid=31035 vsize=15151156 memory=303430223234596890 CPUtime=165.09 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) S 31035 31038 25111 0 -1 1077944384 32204 0 0 0 16462 47 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715431515648 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31035 vsize=15151156 memory=288230621803970871 CPUtime=569.43 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) R 31035 31038 25111 0 -1 4202560 1624697 0 0 0 56517 426 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715355319440 139715412274984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31035 vsize=15151156 memory=14689690934577713 CPUtime=569.92 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) R 31035 31038 25111 0 -1 4202560 1919211 0 0 0 56611 381 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715018091736 139715411977551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31035 vsize=15151156 memory=12618612 CPUtime=570.63 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) R 31035 31038 25111 0 -1 4202560 1486525 0 0 0 56668 395 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715017038936 139715412275136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31035 vsize=15151156 memory=4108 CPUtime=570.51 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) R 31035 31038 25111 0 -1 4202560 1417932 0 0 0 56649 402 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715015986136 139715411736186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31035 vsize=15151156 memory=1398720917958146503 CPUtime=77.96 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31035 31038 25111 0 -1 1077944384 216599 0 0 0 7782 14 0 0 20 0 15 0 475522736 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714963080128 139715427288789 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31035 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31035 31038 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714962027616 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31035 vsize=15151156 memory=12610960 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31035 31038 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714960974720 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31035 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31035 31038 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714959922672 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31035 vsize=15151156 memory=1808 CPUtime=1.77 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) S 31035 31038 25111 0 -1 1077944384 11941 0 0 0 175 2 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714958871456 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31035 vsize=15151156 memory=920 CPUtime=1.39 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) S 31035 31038 25111 0 -1 1077944384 5488 0 0 0 139 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714957818656 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31035 vsize=15151156 memory=3820 CPUtime=0.6 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31035 31038 25111 0 -1 1077944384 8469 0 0 0 59 1 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714956765568 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31035 vsize=15151156 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31035 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31035 vsize=15151156 memory=2704 CPUtime=0.49 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31035 31038 25111 0 -1 1077944384 572 0 0 0 21 28 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current cumulated CPU time of completed processes: 0.002298 s
Current children cumulated CPU time: 2527.89 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12610960 KiB
[startup+817.501 s]
/proc/loadavg: 6.82 7.11 7.23 10/231 31218
/proc/meminfo: memFree=186560/32770624 swapFree=67002252/67108860
[pid=31040] ppid=31035 vsize=15151156 memory=12610960 CPUtime=2528.29 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31035 31038 25111 0 -1 1077944320 6724943 0 0 0 251151 1678 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 140734685769056 139715427278583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
/proc/31040/statm: 3787789 3152740 3510 1 0 3748889 0
[pid=31040/tid=31041] ppid=31035 vsize=15151156 memory=12610960 CPUtime=165.09 cores=1,3,5,7
/proc/31040/task/31041/stat : 31041 (java) S 31035 31038 25111 0 -1 1077944384 32204 0 0 0 16462 47 0 0 20 0 15 0 475522734 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715431515648 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31042] ppid=31035 vsize=15151156 memory=12610960 CPUtime=569.53 cores=1,3,5,7
/proc/31040/task/31042/stat : 31042 (java) R 31035 31038 25111 0 -1 4202560 1624697 0 0 0 56527 426 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715355319440 139715412274935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31043] ppid=31035 vsize=15151156 memory=12610960 CPUtime=570.02 cores=1,3,5,7
/proc/31040/task/31043/stat : 31043 (java) R 31035 31038 25111 0 -1 4202560 1919211 0 0 0 56621 381 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715018091736 139715411977968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31044] ppid=31035 vsize=15151156 memory=1452 CPUtime=570.73 cores=1,3,5,7
/proc/31040/task/31044/stat : 31044 (java) R 31035 31038 25111 0 -1 4202560 1486525 0 0 0 56678 395 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715017038936 139715412274964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31045] ppid=31035 vsize=15151156 memory=12610960 CPUtime=570.61 cores=1,3,5,7
/proc/31040/task/31045/stat : 31045 (java) R 31035 31038 25111 0 -1 4202560 1417932 0 0 0 56659 402 0 0 20 0 15 0 475522735 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139715015986136 139715412275152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31046] ppid=31035 vsize=15151156 memory=12610960 CPUtime=77.96 cores=1,3,5,7
/proc/31040/task/31046/stat : 31046 (java) S 31035 31038 25111 0 -1 1077944384 216599 0 0 0 7782 14 0 0 20 0 15 0 475522736 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714963080128 139715427288789 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31047] ppid=31035 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31047/stat : 31047 (java) S 31035 31038 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714962027616 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31048] ppid=31035 vsize=15151156 memory=12610960 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31048/stat : 31048 (java) S 31035 31038 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475522737 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714960974720 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31049] ppid=31035 vsize=15151156 memory=12610960 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31049/stat : 31049 (java) S 31035 31038 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714959922672 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31050] ppid=31035 vsize=15151156 memory=12610960 CPUtime=1.77 cores=1,3,5,7
/proc/31040/task/31050/stat : 31050 (java) S 31035 31038 25111 0 -1 1077944384 11941 0 0 0 175 2 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714958871456 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31051] ppid=31035 vsize=15151156 memory=12610960 CPUtime=1.39 cores=1,3,5,7
/proc/31040/task/31051/stat : 31051 (java) S 31035 31038 25111 0 -1 1077944384 5488 0 0 0 139 0 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714957818656 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31052] ppid=31035 vsize=15151156 memory=932 CPUtime=0.6 cores=1,3,5,7
/proc/31040/task/31052/stat : 31052 (java) S 31035 31038 25111 0 -1 1077944384 8469 0 0 0 59 1 0 0 20 0 15 0 475522739 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714956765568 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31053] ppid=31035 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/31040/task/31053/stat : 31053 (java) S 31035 31038 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714955713248 139715427288789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
[pid=31040/tid=31054] ppid=31035 vsize=15151156 memory=12610960 CPUtime=0.49 cores=1,3,5,7
/proc/31040/task/31054/stat : 31054 (java) S 31035 31038 25111 0 -1 1077944384 572 0 0 0 21 28 0 0 20 0 15 0 475522740 15514783744 3152740 33554432000 4194304 4196468 140734685786512 139714954660528 139715427289730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140734685795291 140734685795466 140734685795466 140734685798351 0
Current cumulated CPU time of completed processes: 0.002298 s
Current children cumulated CPU time: 2528.29 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12610960 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 817.696
CPU time (s): 2528.53
CPU user time (s): 2511.56
CPU system time (s): 16.9711
CPU usage (%): 309.226
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12612412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.56
system time used= 16.9711
maximum resident set size= 12611304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6725492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28792
involuntary context switches= 42356
# summary of solver processes directly reported to runsolver:
# pid: 31038,31040
# total CPU time (s): 2528.53
# total CPU user time (s): 2511.56
# total CPU system time (s): 16.9711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26704 second user time and 8.79201 second system time
The end