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 (15262 MiB free)
memory of node 1: 16384 MiB (15312 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400405-1568674632/watcher-4400405-1568674632 -o /tmp/evaluation-result-4400405-1568674632/solver-4400405-1568674632 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 580007786 HOME/instance-4400405-1568674632.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=985, runsolver pid=982
Current StackSize limit: 8192 KiB
[startup+0.102003 s]*
/proc/loadavg: 8.76 8.62 7.04 6/233 1001
/proc/meminfo: memFree=31291988/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
[pid=987] ppid=985 vsize=15144776 memory=29708 CPUtime=0.12 cores=0,2,4,6
/proc/987/stat : 987 (java) S 985 985 32513 0 -1 1077944320 5817 0 0 0 11 1 0 0 20 0 15 0 443716236 15508250624 7427 33554432000 4194304 4196468 140722106117520 140722106100064 140450594426615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
/proc/987/statm: 3786194 7427 3151 1 0 3748377 0
[pid=987/tid=988] ppid=985 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/987/task/988/stat : 988 (java) R 985 985 32513 0 -1 4202560 3763 0 0 0 9 0 0 0 20 0 15 0 443716236 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450598658792 140450594438550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=989] ppid=985 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/987/task/989/stat : 989 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450547047184 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=990] ppid=985 vsize=15144776 memory=139720983033472 CPUtime=0 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450545994640 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=991] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450544942096 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=992] ppid=985 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 985 985 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450543889552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=993] ppid=985 vsize=15144776 memory=139720983033472 CPUtime=0 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 985 985 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443716238 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450130208752 140450594437762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=994] ppid=985 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 985 985 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443716239 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450061083552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=995] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/995/stat : 995 (java) S 985 985 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443716239 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450060030960 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=996] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443716241 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450058979536 140450594445211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=997] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 985 985 32513 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 443716241 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450057927152 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=998] ppid=985 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/998/stat : 998 (java) S 985 985 32513 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 443716241 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450056874608 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=999] ppid=985 vsize=15144776 memory=139720983033472 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) R 985 985 32513 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 443716242 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450055822064 140450573367006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1000] ppid=985 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443716242 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450054769760 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1001] ppid=985 vsize=15144776 memory=139720983033472 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716242 15508250624 7427 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31156 KiB
[startup+0.210805 s]*
/proc/loadavg: 8.76 8.62 7.04 7/233 1001
/proc/meminfo: memFree=31278584/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
[pid=987] ppid=985 vsize=15144776 memory=41228 CPUtime=0.33 cores=0,2,4,6
/proc/987/stat : 987 (java) S 985 985 32513 0 -1 1077944320 9482 0 0 0 30 3 0 0 20 0 15 0 443716236 15508250624 10307 33554432000 4194304 4196468 140722106117520 140722106100064 140450594426615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
/proc/987/statm: 3786194 10307 3318 1 0 3748377 0
[pid=987/tid=988] ppid=985 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/987/task/988/stat : 988 (java) R 985 985 32513 0 -1 4202560 6659 0 0 0 18 2 0 0 20 0 15 0 443716236 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450598664080 140450594447962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=989] ppid=985 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/987/task/989/stat : 989 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450547047184 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=990] ppid=985 vsize=15144776 memory=139720983061085 CPUtime=0 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450545994640 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=991] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450544942096 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=992] ppid=985 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 985 985 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443716237 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450543889552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=993] ppid=985 vsize=15144776 memory=139720983033472 CPUtime=0 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 985 985 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 443716238 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450130208752 140450594437762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=994] ppid=985 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 985 985 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443716239 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450061083552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=995] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/995/stat : 995 (java) S 985 985 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443716239 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450060030960 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=996] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443716241 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450058979536 140450594445211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=997] ppid=985 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 985 985 32513 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 15 0 443716241 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450057927152 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=998] ppid=985 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/998/stat : 998 (java) S 985 985 32513 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 443716241 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450056874608 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=999] ppid=985 vsize=15144776 memory=139720983033472 CPUtime=0.08 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) S 985 985 32513 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 15 0 443716242 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450055822064 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1000] ppid=985 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443716242 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450054769760 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1001] ppid=985 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716242 15508250624 10307 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42676 KiB
[startup+0.310596 s]*
/proc/loadavg: 8.76 8.62 7.04 7/233 1001
/proc/meminfo: memFree=31272144/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
[pid=987] ppid=985 vsize=15149032 memory=50008 CPUtime=0.53 cores=0,2,4,6
/proc/987/stat : 987 (java) S 985 985 32513 0 -1 1077944320 10822 0 0 0 49 4 0 0 20 0 15 0 443716236 15512608768 12502 33554432000 4194304 4196468 140722106117520 140722106100064 140450594426615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
/proc/987/statm: 3787258 12502 3360 1 0 3748377 0
[pid=987/tid=988] ppid=985 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/987/task/988/stat : 988 (java) R 985 985 32513 0 -1 4202560 7850 0 0 0 27 2 0 0 20 0 15 0 443716236 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450598657728 140450594447962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=989] ppid=985 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/987/task/989/stat : 989 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450547047184 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=990] ppid=985 vsize=15149032 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450545994640 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=991] ppid=985 vsize=15149032 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716237 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450544942096 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=992] ppid=985 vsize=15149032 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 985 985 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443716237 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450543889552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=993] ppid=985 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 985 985 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 443716238 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450130208752 140450594437762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=994] ppid=985 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 985 985 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443716239 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450061083552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=995] ppid=985 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/995/stat : 995 (java) S 985 985 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443716239 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450060030960 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=996] ppid=985 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443716241 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450058979536 140450594445211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=997] ppid=985 vsize=15149032 memory=139720856258656 CPUtime=0.04 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 985 985 32513 0 -1 1077944384 497 0 0 0 4 0 0 0 20 0 15 0 443716241 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450057927152 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=998] ppid=985 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/987/task/998/stat : 998 (java) S 985 985 32513 0 -1 1077944384 462 0 0 0 5 0 0 0 20 0 15 0 443716241 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450056874608 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=999] ppid=985 vsize=15149032 memory=3467969846420956850 CPUtime=0.12 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) S 985 985 32513 0 -1 1077944384 772 0 0 0 12 0 0 0 20 0 15 0 443716242 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450055822064 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1000] ppid=985 vsize=15149032 memory=2319389199166349359 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443716242 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450054769760 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1001] ppid=985 vsize=15149032 memory=3905102765948655280 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443716242 15512608768 12572 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51456 KiB
[startup+0.703941 s]
/proc/loadavg: 8.76 8.62 7.04 9/233 1001
/proc/meminfo: memFree=31257620/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
[pid=987] ppid=985 vsize=15419460 memory=87284 CPUtime=1.51 cores=0,2,4,6
/proc/987/stat : 987 (java) S 985 985 32513 0 -1 1077944320 14563 0 0 0 144 7 0 0 20 0 19 0 443716236 15789527040 21821 33554432000 4194304 4196468 140722106117520 140722106100064 140450594426615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
/proc/987/statm: 3854865 21821 3453 1 0 3815965 0
[pid=987/tid=988] ppid=985 vsize=15419460 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/987/task/988/stat : 988 (java) S 985 985 32513 0 -1 1077944384 9490 0 0 0 62 4 0 0 20 0 19 0 443716236 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450598667392 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=989] ppid=985 vsize=15419460 memory=51 CPUtime=0 cores=0,2,4,6
/proc/987/task/989/stat : 989 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443716237 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450547047184 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=990] ppid=985 vsize=15419460 memory=110 CPUtime=0 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443716237 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450545994640 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=991] ppid=985 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443716237 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450544942096 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=992] ppid=985 vsize=15419460 memory=3 CPUtime=0 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 985 985 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443716237 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450543889552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=993] ppid=985 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 985 985 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 443716238 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450130208752 140450594437762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=994] ppid=985 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 985 985 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443716239 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450061083552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=995] ppid=985 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/995/stat : 995 (java) S 985 985 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 443716239 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450060030960 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=996] ppid=985 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716241 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450058979536 140450594445211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=997] ppid=985 vsize=15419460 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 985 985 32513 0 -1 1077944384 970 0 0 0 16 0 0 0 20 0 19 0 443716241 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450057927152 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=998] ppid=985 vsize=15419460 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/987/task/998/stat : 998 (java) S 985 985 32513 0 -1 1077944384 943 0 0 0 22 0 0 0 20 0 19 0 443716241 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450056874608 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=999] ppid=985 vsize=15419460 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) R 985 985 32513 0 -1 1077944384 1704 0 0 0 39 0 0 0 20 0 19 0 443716242 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450055822192 140450594436821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1000] ppid=985 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716242 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450054769760 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1001] ppid=985 vsize=15419460 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443716242 15789527040 21821 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 88732 KiB
[startup+1.50792 s]
/proc/loadavg: 8.76 8.62 7.04 12/237 1009
/proc/meminfo: memFree=31210844/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 19 0 443716242 16062173184 60249 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1140] ppid=985 vsize=15685716 memory=7162529228219961448 CPUtime=3.7 cores=0,2,4,6
/proc/987/task/1140/stat : 1140 (java) R 985 985 32513 0 -1 4202560 175 0 0 0 370 0 0 0 20 0 19 0 443717621 16062173184 60249 33554432000 4194304 4196468 140722106117520 140450040532112 140450213240008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1141] ppid=985 vsize=15685716 memory=7162529228219961448 CPUtime=3.69 cores=0,2,4,6
/proc/987/task/1141/stat : 1141 (java) R 985 985 32513 0 -1 4202560 327 0 0 0 369 0 0 0 20 0 19 0 443717621 16062173184 60249 33554432000 4194304 4196468 140722106117520 140450039480320 140450217261781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1142] ppid=985 vsize=15685716 memory=7162529228219961448 CPUtime=3.65 cores=0,2,4,6
/proc/987/task/1142/stat : 1142 (java) R 985 985 32513 0 -1 4202560 60 0 0 0 365 0 0 0 20 0 19 0 443717621 16062173184 60249 33554432000 4194304 4196468 140722106117520 140450041586312 140450217261580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1143] ppid=985 vsize=15685716 memory=7162529228219961448 CPUtime=3.67 cores=0,2,4,6
/proc/987/task/1143/stat : 1143 (java) R 985 985 32513 0 -1 4202560 316 0 0 0 367 0 0 0 20 0 19 0 443717621 16062173184 60249 33554432000 4194304 4196468 140722106117520 140450035269392 140450219570829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 68.31 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 242444 KiB
[startup+19.2009 s]
/proc/loadavg: 8.89 8.66 7.07 9/237 1143
/proc/meminfo: memFree=31076852/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
[pid=987] ppid=985 vsize=15685716 memory=234328 CPUtime=74.69 cores=0,2,4,6
/proc/987/stat : 987 (java) S 985 985 32513 0 -1 1077944320 53352 0 0 0 7449 20 0 0 20 0 19 0 443716236 16062173184 58582 33554432000 4194304 4196468 140722106117520 140722106100064 140450594426615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
/proc/987/statm: 3921429 58582 3532 1 0 3882529 0
[pid=987/tid=988] ppid=985 vsize=15685716 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/987/task/988/stat : 988 (java) S 985 985 32513 0 -1 1077944384 9880 0 0 0 64 4 0 0 20 0 19 0 443716236 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450598667392 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=989] ppid=985 vsize=15685716 memory=4580 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/989/stat : 989 (java) S 985 985 32513 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450547047184 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=990] ppid=985 vsize=15685716 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) S 985 985 32513 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 19 0 443716237 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450545994640 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=991] ppid=985 vsize=15685716 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 985 985 32513 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450544942096 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=992] ppid=985 vsize=15685716 memory=243152 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 985 985 32513 0 -1 1077944384 1001 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450543889552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=993] ppid=985 vsize=15685716 memory=-3472574513799858007 CPUtime=0.01 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 985 985 32513 0 -1 1077944384 770 0 0 0 1 0 0 0 20 0 19 0 443716238 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450130208752 140450594437762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=994] ppid=985 vsize=15685716 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 985 985 32513 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 443716239 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450061083616 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=995] ppid=985 vsize=15685716 memory=234328 CPUtime=0 cores=0,2,4,6
/proc/987/task/995/stat : 995 (java) S 985 985 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 443716239 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450060030976 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=996] ppid=985 vsize=15685716 memory=242552 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716241 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450058979536 140450594445211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=997] ppid=985 vsize=15685716 memory=47756 CPUtime=3.32 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 985 985 32513 0 -1 1077944384 10882 0 0 0 330 2 0 0 20 0 19 0 443716241 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450057927152 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=998] ppid=985 vsize=15685716 memory=55 CPUtime=3.73 cores=0,2,4,6
/proc/987/task/998/stat : 998 (java) S 985 985 32513 0 -1 1077944384 15960 0 0 0 370 3 0 0 20 0 19 0 443716241 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450056874608 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=999] ppid=985 vsize=15685716 memory=9303 CPUtime=0.74 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) S 985 985 32513 0 -1 1077944384 5507 0 0 0 72 2 0 0 20 0 19 0 443716242 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450055822064 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1000] ppid=985 vsize=15685716 memory=22370 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716242 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450054769760 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1001] ppid=985 vsize=15685716 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 19 0 443716242 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1140] ppid=985 vsize=15685716 memory=240976 CPUtime=5.3 cores=0,2,4,6
/proc/987/task/1140/stat : 1140 (java) R 985 985 32513 0 -1 4202560 190 0 0 0 530 0 0 0 20 0 19 0 443717621 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450040534704 140450219570058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1141] ppid=985 vsize=15685716 memory=3992 CPUtime=5.26 cores=0,2,4,6
/proc/987/task/1141/stat : 1141 (java) R 985 985 32513 0 -1 4202560 341 0 0 0 526 0 0 0 20 0 19 0 443717621 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450039480600 140450219810446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1142] ppid=985 vsize=15685716 memory=2828 CPUtime=5.24 cores=0,2,4,6
/proc/987/task/1142/stat : 1142 (java) R 985 985 32513 0 -1 4202560 62 0 0 0 524 0 0 0 20 0 19 0 443717621 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450041586392 140450220671552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1143] ppid=985 vsize=15685716 memory=676 CPUtime=5.27 cores=0,2,4,6
/proc/987/task/1143/stat : 1143 (java) R 985 985 32513 0 -1 4202560 321 0 0 0 527 0 0 0 20 0 19 0 443717621 16062173184 58582 33554432000 4194304 4196468 140722106117520 140450035269584 140450218989746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 74.69 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 235776 KiB
[startup+19.6009 s]
/proc/loadavg: 8.89 8.66 7.07 9/237 1143
/proc/meminfo: memFree=31076852/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
[pid=987] ppid=985 vsize=15685716 memory=233376 CPUtime=76.28 cores=0,2,4,6
/proc/987/stat : 987 (java) S 985 985 32513 0 -1 1077944320 55982 0 0 0 7608 20 0 0 20 0 19 0 443716236 16062173184 58344 33554432000 4194304 4196468 140722106117520 140722106100064 140450594426615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
/proc/987/statm: 3921429 58344 3532 1 0 3882529 0
[pid=987/tid=988] ppid=985 vsize=15685716 memory=4126316290023845779 CPUtime=0.68 cores=0,2,4,6
/proc/987/task/988/stat : 988 (java) S 985 985 32513 0 -1 1077944384 9880 0 0 0 64 4 0 0 20 0 19 0 443716236 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450598667392 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=989] ppid=985 vsize=15685716 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/989/stat : 989 (java) S 985 985 32513 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450547047184 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=990] ppid=985 vsize=15685716 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) S 985 985 32513 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450545994640 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=991] ppid=985 vsize=15685716 memory=2012 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 985 985 32513 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450544942096 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=992] ppid=985 vsize=15685716 memory=1412 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 985 985 32513 0 -1 1077944384 1001 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450543889552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=993] ppid=985 vsize=15685716 memory=1668 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 985 985 32513 0 -1 1077944384 771 0 0 0 1 1 0 0 20 0 19 0 443716238 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450130208752 140450594437762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=994] ppid=985 vsize=15685716 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 985 985 32513 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 443716239 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450061083616 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=995] ppid=985 vsize=15685716 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/987/task/995/stat : 995 (java) S 985 985 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 443716239 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450060030976 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=996] ppid=985 vsize=15685716 memory=6036 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716241 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450058979536 140450594445211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=997] ppid=985 vsize=15685716 memory=303148748257886234 CPUtime=3.33 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 985 985 32513 0 -1 1077944384 11667 0 0 0 331 2 0 0 20 0 19 0 443716241 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450057927152 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=998] ppid=985 vsize=15685716 memory=288230596050944315 CPUtime=3.75 cores=0,2,4,6
/proc/987/task/998/stat : 998 (java) S 985 985 32513 0 -1 1077944384 17028 0 0 0 372 3 0 0 20 0 19 0 443716241 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450056874608 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=999] ppid=985 vsize=15685716 memory=15825503609162137 CPUtime=0.74 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) S 985 985 32513 0 -1 1077944384 5591 0 0 0 72 2 0 0 20 0 19 0 443716242 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450055822064 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1000] ppid=985 vsize=15685716 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716242 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450054769760 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1001] ppid=985 vsize=15685716 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 912 0 0 0 0 0 0 0 20 0 19 0 443716242 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1140] ppid=985 vsize=15685716 memory=241964 CPUtime=5.7 cores=0,2,4,6
/proc/987/task/1140/stat : 1140 (java) R 985 985 32513 0 -1 4202560 388 0 0 0 570 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450040534152 140450220233144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1141] ppid=985 vsize=15685716 memory=1412 CPUtime=5.66 cores=0,2,4,6
/proc/987/task/1141/stat : 1141 (java) R 985 985 32513 0 -1 4202560 568 0 0 0 566 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450039480264 140450218460427 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1142] ppid=985 vsize=15685716 memory=1448 CPUtime=5.63 cores=0,2,4,6
/proc/987/task/1142/stat : 1142 (java) R 985 985 32513 0 -1 4202560 120 0 0 0 563 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450041585648 140450219571408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1143] ppid=985 vsize=15685716 memory=0 CPUtime=5.65 cores=0,2,4,6
/proc/987/task/1143/stat : 1143 (java) R 985 985 32513 0 -1 4202560 520 0 0 0 565 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450035271192 140450213239763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 76.28 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 234824 KiB
[startup+19.8009 s]
/proc/loadavg: 8.89 8.66 7.07 9/237 1143
/proc/meminfo: memFree=31076852/32770624 swapFree=66997368/67108860
[pid=985] ppid=982 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/985/stat : 985 (xcsp3-exec) S 982 985 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443716236 115843072 362 33554432000 4194304 5098028 140726367073088 140726367071192 140066451935868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20578304 140726367081339 140726367081581 140726367081581 140726367084490 0
/proc/985/statm: 28282 362 304 221 0 87 0
[pid=987] ppid=985 vsize=15685716 memory=233376 CPUtime=77.08 cores=0,2,4,6
/proc/987/stat : 987 (java) S 985 985 32513 0 -1 1077944320 56003 0 0 0 7688 20 0 0 20 0 19 0 443716236 16062173184 58344 33554432000 4194304 4196468 140722106117520 140722106100064 140450594426615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
/proc/987/statm: 3921429 58344 3532 1 0 3882529 0
[pid=987/tid=988] ppid=985 vsize=15685716 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/987/task/988/stat : 988 (java) S 985 985 32513 0 -1 1077944384 9880 0 0 0 64 4 0 0 20 0 19 0 443716236 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450598667392 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=989] ppid=985 vsize=15685716 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/989/stat : 989 (java) S 985 985 32513 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450547047184 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=990] ppid=985 vsize=15685716 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) S 985 985 32513 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450545994640 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=991] ppid=985 vsize=15685716 memory=241760 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 985 985 32513 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450544942096 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=992] ppid=985 vsize=15685716 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 985 985 32513 0 -1 1077944384 1001 0 0 0 2 0 0 0 20 0 19 0 443716237 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450543889552 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=993] ppid=985 vsize=15685716 memory=235560 CPUtime=0.02 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 985 985 32513 0 -1 1077944384 771 0 0 0 1 1 0 0 20 0 19 0 443716238 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450130208752 140450594437762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=994] ppid=985 vsize=15685716 memory=776 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 985 985 32513 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 443716239 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450061083616 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=995] ppid=985 vsize=15685716 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/987/task/995/stat : 995 (java) S 985 985 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 443716239 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450060030976 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=996] ppid=985 vsize=15685716 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716241 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450058979536 140450594445211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=997] ppid=985 vsize=15685716 memory=25908 CPUtime=3.33 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 985 985 32513 0 -1 1077944384 11667 0 0 0 331 2 0 0 20 0 19 0 443716241 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450057927152 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=998] ppid=985 vsize=15685716 memory=12024 CPUtime=3.75 cores=0,2,4,6
/proc/987/task/998/stat : 998 (java) S 985 985 32513 0 -1 1077944384 17028 0 0 0 372 3 0 0 20 0 19 0 443716241 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450056874608 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=999] ppid=985 vsize=15685716 memory=1412 CPUtime=0.74 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) S 985 985 32513 0 -1 1077944384 5591 0 0 0 72 2 0 0 20 0 19 0 443716242 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450055822064 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1000] ppid=985 vsize=15685716 memory=2836 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 985 985 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443716242 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450054769760 140450594436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1001] ppid=985 vsize=15685716 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 985 985 32513 0 -1 1077944384 912 0 0 0 0 0 0 0 20 0 19 0 443716242 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450053716272 140450594437762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1140] ppid=985 vsize=15685716 memory=234328 CPUtime=5.9 cores=0,2,4,6
/proc/987/task/1140/stat : 1140 (java) R 985 985 32513 0 -1 4202560 390 0 0 0 590 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450040534152 140450221290761 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1141] ppid=985 vsize=15685716 memory=500 CPUtime=5.86 cores=0,2,4,6
/proc/987/task/1141/stat : 1141 (java) R 985 985 32513 0 -1 4202560 575 0 0 0 586 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450039480264 140450220318646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1142] ppid=985 vsize=15685716 memory=1560 CPUtime=5.83 cores=0,2,4,6
/proc/987/task/1142/stat : 1142 (java) R 985 985 32513 0 -1 4202560 128 0 0 0 583 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450041585648 140450218964580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
[pid=987/tid=1143] ppid=985 vsize=15685716 memory=932 CPUtime=5.85 cores=0,2,4,6
/proc/987/task/1143/stat : 1143 (java) R 985 985 32513 0 -1 4202560 524 0 0 0 585 0 0 0 20 0 19 0 443717621 16062173184 58344 33554432000 4194304 4196468 140722106117520 140450035271192 140450217261506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28278784 140722106123247 140722106123418 140722106123418 140722106126287 0
Current children cumulated CPU time: 77.08 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 234824 KiB
Child status: 0
Real time (s): 19.8419
CPU time (s): 77.2184
CPU user time (s): 77.0058
CPU system time (s): 0.21266
CPU usage (%): 389.168
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 244864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.0058
system time used= 0.21266
maximum resident set size= 246376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57502
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= 5166
involuntary context switches= 2451
# summary of solver processes directly reported to runsolver:
# pid: 985
# total CPU time (s): 77.2184
# total CPU user time (s): 77.0058
# total CPU system time (s): 0.21266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.15577 second user time and 0.247232 second system time
The end