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 (14618 MiB free)
memory of node 1: 16384 MiB (15667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399343-1568699150/watcher-4399343-1568699150 -o /tmp/evaluation-result-4399343-1568699150/solver-4399343-1568699150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 67084890 HOME/instance-4399343-1568699150.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=987, runsolver pid=984
[startup+0.100058 s]*
/proc/loadavg: 8.82 8.62 8.44 8/232 1003
/proc/meminfo: memFree=30996364/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
[pid=989] ppid=987 vsize=15144776 memory=29024 CPUtime=0.13 cores=1,3,5,7
/proc/989/stat : 989 (java) S 987 987 23397 0 -1 1077944320 5647 0 0 0 12 1 0 0 20 0 15 0 446172023 15508250624 7256 33554432000 4194304 4196468 140725106767120 140725106749664 140261328547575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
/proc/989/statm: 3786194 7256 3148 1 0 3748377 0
[pid=989/tid=990] ppid=987 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/989/task/990/stat : 990 (java) R 987 987 23397 0 -1 4202560 3584 0 0 0 9 0 0 0 20 0 15 0 446172023 15508250624 7256 33554432000 4194304 4196468 140725106767120 140261332780464 140261328559510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=991] ppid=987 vsize=15144776 memory=4296865454 CPUtime=0 cores=1,3,5,7
/proc/989/task/991/stat : 991 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15508250624 7256 33554432000 4194304 4196468 140725106767120 140261285100048 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=992] ppid=987 vsize=15144776 memory=288370322002572928 CPUtime=0 cores=1,3,5,7
/proc/989/task/992/stat : 992 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260920187536 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=993] ppid=987 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/993/stat : 993 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260919134480 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=994] ppid=987 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/989/task/994/stat : 994 (java) S 987 987 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446172024 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260918081936 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=995] ppid=987 vsize=15144776 memory=139945850861184 CPUtime=0 cores=1,3,5,7
/proc/989/task/995/stat : 995 (java) S 987 987 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446172025 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260797143792 140261328558722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=996] ppid=987 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/989/task/996/stat : 996 (java) S 987 987 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446172025 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260796090016 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=997] ppid=987 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/997/stat : 997 (java) S 987 987 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446172026 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260795036912 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=998] ppid=987 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/998/stat : 998 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446172028 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260793985488 140261328566171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=999] ppid=987 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/999/stat : 999 (java) S 987 987 23397 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 15 0 446172028 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260792932592 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1000] ppid=987 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/989/task/1000/stat : 1000 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446172028 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260791880048 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1001] ppid=987 vsize=15144776 memory=139945850861184 CPUtime=0.02 cores=1,3,5,7
/proc/989/task/1001/stat : 1001 (java) R 987 987 23397 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 446172028 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260790824784 140261320784702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1002] ppid=987 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/989/task/1002/stat : 1002 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446172028 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260789774688 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1003] ppid=987 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/1003/stat : 1003 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172028 15508250624 7256 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30472 KiB
[startup+0.214847 s]*
/proc/loadavg: 8.82 8.62 8.44 7/232 1003
/proc/meminfo: memFree=30983728/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
[pid=989] ppid=987 vsize=15144776 memory=40204 CPUtime=0.35 cores=1,3,5,7
/proc/989/stat : 989 (java) S 987 987 23397 0 -1 1077944320 9317 0 0 0 33 2 0 0 20 0 15 0 446172023 15508250624 10051 33554432000 4194304 4196468 140725106767120 140725106749664 140261328547575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
/proc/989/statm: 3786194 10051 3267 1 0 3748377 0
[pid=989/tid=990] ppid=987 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/989/task/990/stat : 990 (java) R 987 987 23397 0 -1 1077944384 6633 0 0 0 19 1 0 0 20 0 15 0 446172023 15508250624 10139 33554432000 4194304 4196468 140725106767120 140261332769720 140261330822855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=991] ppid=987 vsize=15144776 memory=4296865454 CPUtime=0 cores=1,3,5,7
/proc/989/task/991/stat : 991 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15508250624 10139 33554432000 4194304 4196468 140725106767120 140261285100048 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=992] ppid=987 vsize=15146892 memory=288370322002572928 CPUtime=0 cores=1,3,5,7
/proc/989/task/992/stat : 992 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15510417408 10139 33554432000 4194304 4196468 140725106767120 140260920187536 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=993] ppid=987 vsize=15146892 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/993/stat : 993 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15510417408 10139 33554432000 4194304 4196468 140725106767120 140260919134480 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=994] ppid=987 vsize=15146892 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/989/task/994/stat : 994 (java) S 987 987 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446172024 15510417408 10139 33554432000 4194304 4196468 140725106767120 140260918081936 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=995] ppid=987 vsize=15146892 memory=139945850861184 CPUtime=0 cores=1,3,5,7
/proc/989/task/995/stat : 995 (java) S 987 987 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446172025 15510417408 10139 33554432000 4194304 4196468 140725106767120 140260797143792 140261328558722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=996] ppid=987 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/989/task/996/stat : 996 (java) S 987 987 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446172025 15512608768 10139 33554432000 4194304 4196468 140725106767120 140260796090016 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=997] ppid=987 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/997/stat : 997 (java) S 987 987 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446172026 15512608768 10142 33554432000 4194304 4196468 140725106767120 140260795036912 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=998] ppid=987 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/998/stat : 998 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446172028 15512608768 10142 33554432000 4194304 4196468 140725106767120 140260793985488 140261328566171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=999] ppid=987 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/989/task/999/stat : 999 (java) S 987 987 23397 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 446172028 15512608768 10142 33554432000 4194304 4196468 140725106767120 140260792932592 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1000] ppid=987 vsize=15149032 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/989/task/1000/stat : 1000 (java) S 987 987 23397 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 446172028 15512608768 10142 33554432000 4194304 4196468 140725106767120 140260791880048 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1001] ppid=987 vsize=15149032 memory=139945850861184 CPUtime=0.08 cores=1,3,5,7
/proc/989/task/1001/stat : 1001 (java) S 987 987 23397 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 446172028 15512608768 10142 33554432000 4194304 4196468 140725106767120 140260790826992 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1002] ppid=987 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/989/task/1002/stat : 1002 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446172028 15512608768 10142 33554432000 4194304 4196468 140725106767120 140260789774688 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1003] ppid=987 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/1003/stat : 1003 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172028 15512608768 10142 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41652 KiB
[startup+0.310572 s]*
/proc/loadavg: 8.82 8.62 8.44 7/232 1003
/proc/meminfo: memFree=30975600/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
[pid=989] ppid=987 vsize=15149032 memory=49784 CPUtime=0.53 cores=1,3,5,7
/proc/989/stat : 989 (java) S 987 987 23397 0 -1 1077944320 10763 0 0 0 50 3 0 0 20 0 15 0 446172023 15512608768 12446 33554432000 4194304 4196468 140725106767120 140725106749664 140261328547575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
/proc/989/statm: 3787258 12446 3366 1 0 3748377 0
[pid=989/tid=990] ppid=987 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/989/task/990/stat : 990 (java) R 987 987 23397 0 -1 4202560 7763 0 0 0 28 2 0 0 20 0 15 0 446172023 15512608768 12517 33554432000 4194304 4196468 140725106767120 140261332781360 140261312628062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=991] ppid=987 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/989/task/991/stat : 991 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15512608768 12517 33554432000 4194304 4196468 140725106767120 140261285100048 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=992] ppid=987 vsize=15149032 memory=3228 CPUtime=0 cores=1,3,5,7
/proc/989/task/992/stat : 992 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260920187536 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=993] ppid=987 vsize=15149032 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/989/task/993/stat : 993 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172024 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260919134480 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=994] ppid=987 vsize=15149032 memory=189616 CPUtime=0 cores=1,3,5,7
/proc/989/task/994/stat : 994 (java) S 987 987 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446172024 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260918081936 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=995] ppid=987 vsize=15149032 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/989/task/995/stat : 995 (java) S 987 987 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446172025 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260797143792 140261328558722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=996] ppid=987 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/996/stat : 996 (java) S 987 987 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446172025 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260796090016 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=997] ppid=987 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/997/stat : 997 (java) S 987 987 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446172026 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260795036912 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=998] ppid=987 vsize=15149032 memory=139945738068432 CPUtime=0 cores=1,3,5,7
/proc/989/task/998/stat : 998 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446172028 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260793985488 140261328566171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=999] ppid=987 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/989/task/999/stat : 999 (java) S 987 987 23397 0 -1 1077944384 623 0 0 0 5 0 0 0 20 0 15 0 446172028 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260792932592 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1000] ppid=987 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/989/task/1000/stat : 1000 (java) S 987 987 23397 0 -1 1077944384 163 0 0 0 4 0 0 0 20 0 15 0 446172028 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260791880048 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1001] ppid=987 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/989/task/1001/stat : 1001 (java) S 987 987 23397 0 -1 1077944384 975 0 0 0 12 0 0 0 20 0 15 0 446172028 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260790826992 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1002] ppid=987 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/1002/stat : 1002 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446172028 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260789774688 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1003] ppid=987 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/1003/stat : 1003 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446172028 15512608768 12517 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51232 KiB
[startup+0.700784 s]
/proc/loadavg: 8.82 8.62 8.44 10/232 1003
/proc/meminfo: memFree=30960032/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
[pid=989] ppid=987 vsize=15417412 memory=79300 CPUtime=1.65 cores=1,3,5,7
/proc/989/stat : 989 (java) S 987 987 23397 0 -1 1077944320 14650 0 0 0 160 5 0 0 20 0 19 0 446172023 15787429888 19825 33554432000 4194304 4196468 140725106767120 140725106749664 140261328547575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
/proc/989/statm: 3854353 19825 3454 1 0 3815453 0
[pid=989/tid=990] ppid=987 vsize=15417412 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/989/task/990/stat : 990 (java) S 987 987 23397 0 -1 1077944384 9186 0 0 0 54 3 0 0 20 0 19 0 446172023 15787429888 19825 33554432000 4194304 4196468 140725106767120 140261332788352 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=991] ppid=987 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/991/stat : 991 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446172024 15787429888 19825 33554432000 4194304 4196468 140725106767120 140261285100048 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=992] ppid=987 vsize=15417412 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/989/task/992/stat : 992 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446172024 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260920187536 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=993] ppid=987 vsize=15417412 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/989/task/993/stat : 993 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446172024 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260919134480 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=994] ppid=987 vsize=15417412 memory=692 CPUtime=0 cores=1,3,5,7
/proc/989/task/994/stat : 994 (java) S 987 987 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446172024 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260918081936 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=995] ppid=987 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/989/task/995/stat : 995 (java) S 987 987 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446172025 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260797143792 140261328558722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=996] ppid=987 vsize=15417412 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/989/task/996/stat : 996 (java) S 987 987 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446172025 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260796090016 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=997] ppid=987 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/989/task/997/stat : 997 (java) S 987 987 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446172026 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260795036912 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=998] ppid=987 vsize=15417412 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/989/task/998/stat : 998 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260793985488 140261328566171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=999] ppid=987 vsize=15417412 memory=1112 CPUtime=0.25 cores=1,3,5,7
/proc/989/task/999/stat : 999 (java) R 987 987 23397 0 -1 4202560 1225 0 0 0 25 0 0 0 20 0 19 0 446172028 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260792919136 140261307794304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1000] ppid=987 vsize=15417412 memory=6048 CPUtime=0.2 cores=1,3,5,7
/proc/989/task/1000/stat : 1000 (java) S 987 987 23397 0 -1 1077944384 834 0 0 0 20 0 0 0 20 0 19 0 446172028 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260791871328 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1001] ppid=987 vsize=15417412 memory=7552 CPUtime=0.36 cores=1,3,5,7
/proc/989/task/1001/stat : 1001 (java) S 987 987 23397 0 -1 1077944384 1905 0 0 0 36 0 0 0 20 0 19 0 446172028 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260790821312 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1002] ppid=987 vsize=15417412 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/989/task/1002/stat : 1002 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260789774688 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1003] ppid=987 vsize=15417412 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/989/task/1003/stat : 1003 (java) S 987 987 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446172028 15787429888 19825 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 80748 KiB
[startup+1.50099 s]
/proc/loadavg: 8.82 8.62 8.44 12/236 1007
/proc/meminfo: memFree=30936892/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/989/task/1003/stat : 1003 (java) S 987 987 23397 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56551 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1016] ppid=987 vsize=15418440 memory=6944613755445342871 CPUtime=12.62 cores=1,3,5,7
/proc/989/task/1016/stat : 1016 (java) R 987 987 23397 0 -1 4202560 286 0 0 0 1262 0 0 0 20 0 19 0 446172314 15788482560 56551 33554432000 4194304 4196468 140725106767120 140260775291616 140260971055741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1017] ppid=987 vsize=15418440 memory=6075463926107164752 CPUtime=12.8 cores=1,3,5,7
/proc/989/task/1017/stat : 1017 (java) R 987 987 23397 0 -1 4202560 840 0 0 0 1279 1 0 0 20 0 19 0 446172314 15788482560 56551 33554432000 4194304 4196468 140725106767120 140260778450568 140260971056755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1018] ppid=987 vsize=15418440 memory=1448 CPUtime=12.9 cores=1,3,5,7
/proc/989/task/1018/stat : 1018 (java) R 987 987 23397 0 -1 4202560 240 0 0 0 1290 0 0 0 20 0 19 0 446172314 15788482560 56551 33554432000 4194304 4196468 140725106767120 140260779503368 140260969981430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1019] ppid=987 vsize=15418440 memory=226204 CPUtime=12.65 cores=1,3,5,7
/proc/989/task/1019/stat : 1019 (java) R 987 987 23397 0 -1 4202560 623 0 0 0 1265 0 0 0 20 0 19 0 446172314 15788482560 56551 33554432000 4194304 4196468 140725106767120 140260777399240 140260969077368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 62.55 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 227652 KiB
[startup+17.601 s]
/proc/loadavg: 8.87 8.65 8.46 9/236 1020
/proc/meminfo: memFree=30793208/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
[pid=989] ppid=987 vsize=15418440 memory=226240 CPUtime=68.89 cores=1,3,5,7
/proc/989/stat : 989 (java) S 987 987 23397 0 -1 1077944320 40735 0 0 0 6878 11 0 0 20 0 19 0 446172023 15788482560 56560 33554432000 4194304 4196468 140725106767120 140725106749664 140261328547575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
/proc/989/statm: 3854610 56560 3523 1 0 3815710 0
[pid=989/tid=990] ppid=987 vsize=15418440 memory=1379 CPUtime=0.57 cores=1,3,5,7
/proc/989/task/990/stat : 990 (java) S 987 987 23397 0 -1 1077944384 9292 0 0 0 54 3 0 0 20 0 19 0 446172023 15788482560 56560 33554432000 4194304 4196468 140725106767120 140261332788352 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=991] ppid=987 vsize=15418440 memory=139945738740681 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/991/stat : 991 (java) S 987 987 23397 0 -1 1077944384 1370 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140261285100048 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=992] ppid=987 vsize=15418440 memory=279891477488368 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/992/stat : 992 (java) S 987 987 23397 0 -1 1077944384 1346 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260920187536 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=993] ppid=987 vsize=15418440 memory=1416 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/993/stat : 993 (java) S 987 987 23397 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260919134480 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=994] ppid=987 vsize=15418440 memory=1716 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/994/stat : 994 (java) S 987 987 23397 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260918081936 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=995] ppid=987 vsize=15418440 memory=692 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/995/stat : 995 (java) S 987 987 23397 0 -1 1077944384 650 0 0 0 1 0 0 0 20 0 19 0 446172025 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260797143792 140261328558722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=996] ppid=987 vsize=15418440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/989/task/996/stat : 996 (java) S 987 987 23397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 446172025 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260796090080 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=997] ppid=987 vsize=15418440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/989/task/997/stat : 997 (java) S 987 987 23397 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 446172026 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260795036928 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=998] ppid=987 vsize=15418440 memory=780 CPUtime=0 cores=1,3,5,7
/proc/989/task/998/stat : 998 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260793985488 140261328566171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=999] ppid=987 vsize=15418440 memory=6947385649911455296 CPUtime=2.12 cores=1,3,5,7
/proc/989/task/999/stat : 999 (java) S 987 987 23397 0 -1 1077944384 9154 0 0 0 211 1 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260792932592 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1000] ppid=987 vsize=15418440 memory=7552 CPUtime=1.95 cores=1,3,5,7
/proc/989/task/1000/stat : 1000 (java) S 987 987 23397 0 -1 1077944384 9118 0 0 0 195 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260791880048 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1001] ppid=987 vsize=15418440 memory=2832 CPUtime=0.56 cores=1,3,5,7
/proc/989/task/1001/stat : 1001 (java) S 987 987 23397 0 -1 1077944384 5119 0 0 0 55 1 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260790826992 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1002] ppid=987 vsize=15418440 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/989/task/1002/stat : 1002 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260789774688 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1003] ppid=987 vsize=15418440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/989/task/1003/stat : 1003 (java) S 987 987 23397 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1016] ppid=987 vsize=15418440 memory=1412 CPUtime=14.19 cores=1,3,5,7
/proc/989/task/1016/stat : 1016 (java) R 987 987 23397 0 -1 4202560 293 0 0 0 1419 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260775291488 140260971756534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1017] ppid=987 vsize=15418440 memory=3260 CPUtime=14.38 cores=1,3,5,7
/proc/989/task/1017/stat : 1017 (java) R 987 987 23397 0 -1 4202560 850 0 0 0 1437 1 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260778453208 140260971755998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1018] ppid=987 vsize=15418440 memory=1452 CPUtime=14.48 cores=1,3,5,7
/proc/989/task/1018/stat : 1018 (java) R 987 987 23397 0 -1 4202560 241 0 0 0 1448 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260779503296 140260971056789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1019] ppid=987 vsize=15418440 memory=193868 CPUtime=14.22 cores=1,3,5,7
/proc/989/task/1019/stat : 1019 (java) R 987 987 23397 0 -1 4202560 627 0 0 0 1422 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260777398664 140260971056627 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 68.89 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 227688 KiB
[startup+18.001 s]*
/proc/loadavg: 8.87 8.65 8.46 9/236 1020
/proc/meminfo: memFree=30793208/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
[pid=989] ppid=987 vsize=15418440 memory=226240 CPUtime=70.5 cores=1,3,5,7
/proc/989/stat : 989 (java) S 987 987 23397 0 -1 1077944320 40757 0 0 0 7039 11 0 0 20 0 19 0 446172023 15788482560 56560 33554432000 4194304 4196468 140725106767120 140725106749664 140261328547575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
/proc/989/statm: 3854610 56560 3523 1 0 3815710 0
[pid=989/tid=990] ppid=987 vsize=15418440 memory=8317482817917895235 CPUtime=0.57 cores=1,3,5,7
/proc/989/task/990/stat : 990 (java) S 987 987 23397 0 -1 1077944384 9292 0 0 0 54 3 0 0 20 0 19 0 446172023 15788482560 56560 33554432000 4194304 4196468 140725106767120 140261332788352 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=991] ppid=987 vsize=15418440 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/991/stat : 991 (java) S 987 987 23397 0 -1 1077944384 1370 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140261285100048 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=992] ppid=987 vsize=15418440 memory=2792 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/992/stat : 992 (java) S 987 987 23397 0 -1 1077944384 1346 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260920187536 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=993] ppid=987 vsize=15418440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/993/stat : 993 (java) S 987 987 23397 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260919134480 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=994] ppid=987 vsize=15418440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/994/stat : 994 (java) S 987 987 23397 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260918081936 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=995] ppid=987 vsize=15418440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/995/stat : 995 (java) S 987 987 23397 0 -1 1077944384 650 0 0 0 1 0 0 0 20 0 19 0 446172025 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260797143792 140261328558722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=996] ppid=987 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/996/stat : 996 (java) S 987 987 23397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 446172025 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260796090080 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=997] ppid=987 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/989/task/997/stat : 997 (java) S 987 987 23397 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 446172026 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260795036928 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=998] ppid=987 vsize=15418440 memory=3906649700097931062 CPUtime=0 cores=1,3,5,7
/proc/989/task/998/stat : 998 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260793985488 140261328566171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=999] ppid=987 vsize=15418440 memory=0 CPUtime=2.12 cores=1,3,5,7
/proc/989/task/999/stat : 999 (java) S 987 987 23397 0 -1 1077944384 9154 0 0 0 211 1 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260792932592 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1000] ppid=987 vsize=15418440 memory=5787136727649956360 CPUtime=1.95 cores=1,3,5,7
/proc/989/task/1000/stat : 1000 (java) S 987 987 23397 0 -1 1077944384 9118 0 0 0 195 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260791880048 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1001] ppid=987 vsize=15418440 memory=139945850861184 CPUtime=0.56 cores=1,3,5,7
/proc/989/task/1001/stat : 1001 (java) S 987 987 23397 0 -1 1077944384 5139 0 0 0 55 1 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260790826992 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1002] ppid=987 vsize=15418440 memory=3689347633693341983 CPUtime=0 cores=1,3,5,7
/proc/989/task/1002/stat : 1002 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260789774688 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1003] ppid=987 vsize=15418440 memory=665094244709335209 CPUtime=0 cores=1,3,5,7
/proc/989/task/1003/stat : 1003 (java) S 987 987 23397 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1016] ppid=987 vsize=15418440 memory=139945737977975 CPUtime=14.6 cores=1,3,5,7
/proc/989/task/1016/stat : 1016 (java) R 987 987 23397 0 -1 4202560 293 0 0 0 1460 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260775291488 140260971056755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1017] ppid=987 vsize=15418440 memory=3472468224898672304 CPUtime=14.79 cores=1,3,5,7
/proc/989/task/1017/stat : 1017 (java) R 987 987 23397 0 -1 4202560 852 0 0 0 1478 1 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260778452936 140260971604159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1018] ppid=987 vsize=15418440 memory=139945737979543 CPUtime=14.89 cores=1,3,5,7
/proc/989/task/1018/stat : 1018 (java) R 987 987 23397 0 -1 4202560 241 0 0 0 1489 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260779503296 140260969981021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1019] ppid=987 vsize=15418440 memory=0 CPUtime=14.61 cores=1,3,5,7
/proc/989/task/1019/stat : 1019 (java) R 987 987 23397 0 -1 4202560 627 0 0 0 1461 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260777398664 140260969825728 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 70.5 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 227688 KiB
[startup+18.2007 s]
/proc/loadavg: 8.87 8.65 8.46 9/236 1020
/proc/meminfo: memFree=30793208/32770624 swapFree=66977408/67108860
[pid=987] ppid=984 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/987/stat : 987 (xcsp3-exec) S 984 987 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446172022 115843072 362 33554432000 4194304 5098028 140736900550272 140736900548376 139974329467516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31010816 140736900555644 140736900555885 140736900555885 140736900558794 0
/proc/987/statm: 28282 362 304 221 0 87 0
[pid=989] ppid=987 vsize=15418440 memory=226240 CPUtime=71.27 cores=1,3,5,7
/proc/989/stat : 989 (java) S 987 987 23397 0 -1 1077944320 40758 0 0 0 7116 11 0 0 20 0 19 0 446172023 15788482560 56560 33554432000 4194304 4196468 140725106767120 140725106749664 140261328547575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
/proc/989/statm: 3854610 56560 3523 1 0 3815710 0
[pid=989/tid=990] ppid=987 vsize=15418440 memory=14414808715888037 CPUtime=0.57 cores=1,3,5,7
/proc/989/task/990/stat : 990 (java) S 987 987 23397 0 -1 1077944384 9292 0 0 0 54 3 0 0 20 0 19 0 446172023 15788482560 56560 33554432000 4194304 4196468 140725106767120 140261332788352 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=991] ppid=987 vsize=15418440 memory=2004 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/991/stat : 991 (java) S 987 987 23397 0 -1 1077944384 1370 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140261285100048 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=992] ppid=987 vsize=15418440 memory=15526306778019 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/992/stat : 992 (java) S 987 987 23397 0 -1 1077944384 1346 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260920187536 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=993] ppid=987 vsize=15418440 memory=288230621803970871 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/993/stat : 993 (java) S 987 987 23397 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260919134480 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=994] ppid=987 vsize=15418440 memory=14414808715888037 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/994/stat : 994 (java) S 987 987 23397 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 19 0 446172024 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260918081936 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=995] ppid=987 vsize=15418440 memory=1164 CPUtime=0.01 cores=1,3,5,7
/proc/989/task/995/stat : 995 (java) S 987 987 23397 0 -1 1077944384 650 0 0 0 1 0 0 0 20 0 19 0 446172025 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260797143792 140261328558722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=996] ppid=987 vsize=15418440 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/989/task/996/stat : 996 (java) S 987 987 23397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 446172025 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260796090080 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=997] ppid=987 vsize=15418440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/989/task/997/stat : 997 (java) S 987 987 23397 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 446172026 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260795036928 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=998] ppid=987 vsize=15418440 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/989/task/998/stat : 998 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260793985488 140261328566171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=999] ppid=987 vsize=15418440 memory=1112 CPUtime=2.12 cores=1,3,5,7
/proc/989/task/999/stat : 999 (java) S 987 987 23397 0 -1 1077944384 9154 0 0 0 211 1 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260792932592 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1000] ppid=987 vsize=15418440 memory=6048 CPUtime=1.95 cores=1,3,5,7
/proc/989/task/1000/stat : 1000 (java) S 987 987 23397 0 -1 1077944384 9118 0 0 0 195 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260791880048 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1001] ppid=987 vsize=15418440 memory=7552 CPUtime=0.56 cores=1,3,5,7
/proc/989/task/1001/stat : 1001 (java) S 987 987 23397 0 -1 1077944384 5139 0 0 0 55 1 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260790826992 140261328558722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1002] ppid=987 vsize=15418440 memory=7740351347498844589 CPUtime=0 cores=1,3,5,7
/proc/989/task/1002/stat : 1002 (java) S 987 987 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260789774688 140261328557781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1003] ppid=987 vsize=15418440 memory=7740351343203877293 CPUtime=0 cores=1,3,5,7
/proc/989/task/1003/stat : 1003 (java) R 987 987 23397 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 446172028 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260788722736 140261328558722 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1016] ppid=987 vsize=15418440 memory=7740351343203877293 CPUtime=14.79 cores=1,3,5,7
/proc/989/task/1016/stat : 1016 (java) R 987 987 23397 0 -1 4202560 293 0 0 0 1479 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260775291728 140260969992784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1017] ppid=987 vsize=15418440 memory=7740351343203877293 CPUtime=14.98 cores=1,3,5,7
/proc/989/task/1017/stat : 1017 (java) R 987 987 23397 0 -1 4202560 852 0 0 0 1497 1 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260778451008 140260971902310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1018] ppid=987 vsize=15418440 memory=7740351343203877293 CPUtime=15.08 cores=1,3,5,7
/proc/989/task/1018/stat : 1018 (java) R 987 987 23397 0 -1 4202560 242 0 0 0 1508 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260779503808 140260971057574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
[pid=989/tid=1019] ppid=987 vsize=15418440 memory=73969 CPUtime=14.8 cores=1,3,5,7
/proc/989/task/1019/stat : 1019 (java) R 987 987 23397 0 -1 4202560 627 0 0 0 1480 0 0 0 20 0 19 0 446172314 15788482560 56560 33554432000 4194304 4196468 140725106767120 140260777398528 140260971962533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12378112 140725106775023 140725106775194 140725106775194 140725106778063 0
Current children cumulated CPU time: 71.27 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 227688 KiB
Child status: 0
Real time (s): 18.2598
CPU time (s): 71.4896
CPU user time (s): 71.3717
CPU system time (s): 0.117876
CPU usage (%): 391.513
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 227688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.3717
system time used= 0.117876
maximum resident set size= 226252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2808
involuntary context switches= 1645
# summary of solver processes directly reported to runsolver:
# pid: 987
# total CPU time (s): 71.4896
# total CPU user time (s): 71.3717
# total CPU system time (s): 0.117876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132893 second user time and 0.240339 second system time
The end