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 (13174 MiB free)
memory of node 1: 16384 MiB (10000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406085-1569414689/watcher-4406085-1569414689 -o /tmp/evaluation-result-4406085-1569414689/solver-4406085-1569414689 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569408644-5935 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1460766365 HOME/instance-4406085-1569414689.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7516, runsolver pid=7513
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.47 4.38 3.61 4/228 7532
/proc/meminfo: memFree=23714144/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15144776 memory=29652 CPUtime=0.12 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 5809 0 0 0 11 1 0 0 20 0 15 0 517739929 15508250624 7413 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3786194 7413 3165 1 0 3748377 0
[pid=7518/tid=7519] ppid=7516 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 3735 0 0 0 8 1 0 0 20 0 15 0 517739930 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753688107664 139753667954014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15144776 memory=3472468473597723856 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15144776 memory=140344702572160 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739932 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517739932 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753150895392 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517739932 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753149843056 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) R 7516 7516 5904 0 -1 4202560 435 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753147738224 139753664286832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) R 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753146685424 139753683884674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15144776 memory=140344702572160 CPUtime=0.02 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) R 7516 7516 5904 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 517739935 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753145633136 139753662798272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15144776 memory=140344702572160 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 7413 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31100 KiB
[startup+0.210834 s]*
/proc/loadavg: 4.47 4.38 3.61 4/228 7532
/proc/meminfo: memFree=23701616/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15144776 memory=40288 CPUtime=0.34 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 9339 0 0 0 31 3 0 0 20 0 15 0 517739929 15508250624 10072 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3786194 10072 3297 1 0 3748377 0
[pid=7518/tid=7519] ppid=7516 vsize=15144776 memory=4500116723524083353 CPUtime=0.2 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 15 0 517739930 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753688107648 139753683885462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15144776 memory=3472468473597723856 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15144776 memory=140344702572160 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15144776 memory=140344702572160 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517739932 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517739932 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753150895392 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517739932 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753149843056 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) S 7516 7516 5904 0 -1 1077944384 521 0 0 0 3 0 0 0 20 0 15 0 517739935 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753147738224 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) S 7516 7516 5904 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 15 0 517739935 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753146685424 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15144776 memory=140344702572160 CPUtime=0.08 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) R 7516 7516 5904 0 -1 4202560 787 0 0 0 8 0 0 0 20 0 15 0 517739935 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753145633136 139753676110654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15144776 memory=140344702572160 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739935 15508250624 10072 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41736 KiB
[startup+0.313454 s]*
/proc/loadavg: 4.47 4.38 3.61 4/228 7532
/proc/meminfo: memFree=23693716/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15149032 memory=49980 CPUtime=0.54 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 10841 0 0 0 50 4 0 0 20 0 15 0 517739929 15512608768 12495 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3787258 12495 3370 1 0 3748377 0
[pid=7518/tid=7519] ppid=7516 vsize=15149032 memory=4572174317528259473 CPUtime=0.3 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 7818 0 0 0 27 3 0 0 20 0 15 0 517739930 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753688108856 139753683895453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15149032 memory=3472468640930252464 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15149032 memory=140344702572160 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15149032 memory=4 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739930 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15149032 memory=140344566095647 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15149032 memory=280689132170528 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517739932 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15149032 memory=140344566072591 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517739932 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753150895392 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15149032 memory=280689268530184 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517739932 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753149843056 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15149032 memory=140344566095647 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) S 7516 7516 5904 0 -1 1077944384 550 0 0 0 4 0 0 0 20 0 15 0 517739935 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753147738224 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) S 7516 7516 5904 0 -1 1077944384 240 0 0 0 4 0 0 0 20 0 15 0 517739935 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753146685424 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) S 7516 7516 5904 0 -1 1077944384 943 0 0 0 13 0 0 0 20 0 15 0 517739935 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753145633136 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15149032 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739935 15512608768 12566 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51428 KiB
[startup+0.701394 s]
/proc/loadavg: 4.47 4.38 3.61 4/228 7532
/proc/meminfo: memFree=23677668/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15151156 memory=73784 CPUtime=1.62 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 15694 0 0 0 157 5 0 0 20 0 15 0 517739929 15514783744 18446 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3787789 18446 3454 1 0 3748889 0
[pid=7518/tid=7519] ppid=7516 vsize=15151156 memory=8320808402720076596 CPUtime=0.67 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 9215 0 0 0 64 3 0 0 20 0 15 0 517739930 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753688111696 139753290243296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15151156 memory=7238798801034818613 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15151156 memory=5788645481112754274 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15151156 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739930 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15151156 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517739930 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753150895392 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753149843056 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15151156 memory=1096 CPUtime=0.28 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) R 7516 7516 5904 0 -1 4202560 1843 0 0 0 28 0 0 0 20 0 15 0 517739935 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753147724104 139753663566631 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15151156 memory=1228 CPUtime=0.29 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) R 7516 7516 5904 0 -1 4202560 1278 0 0 0 29 0 0 0 20 0 15 0 517739935 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753146676752 139753668263381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15151156 memory=6152 CPUtime=0.33 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) S 7516 7516 5904 0 -1 1077944384 2050 0 0 0 33 0 0 0 20 0 15 0 517739935 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753145633136 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 18446 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 75232 KiB
[startup+1.50083 s]
/proc/loadavg: 4.43 4.37 3.61 5/228 7532
/proc/meminfo: memFree=23654852/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15151156 memory=233260 CPUtime=2122.29 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 81988 0 0 0 212170 59 0 0 20 0 15 0 517739929 15514783744 58315 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3787789 58315 3513 1 0 3748889 0
[pid=7518/tid=7519] ppid=7516 vsize=15151156 memory=1096 CPUtime=2112.71 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 20080 0 0 0 211263 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753688113248 139753290931541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15151156 memory=1228 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2727 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15151156 memory=8112282956445269571 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 4370 0 0 0 69 5 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15151156 memory=3984 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 2820 0 0 0 67 7 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15151156 memory=2832 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2729 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15151156 memory=784 CPUtime=0.96 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 5166 0 0 0 89 7 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15151156 memory=916 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753150895456 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15151156 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753149843072 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15151156 memory=2912 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15151156 memory=2596 CPUtime=2.03 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) S 7516 7516 5904 0 -1 1077944384 13211 0 0 0 202 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753147738224 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15151156 memory=1448 CPUtime=2.43 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) S 7516 7516 5904 0 -1 1077944384 19590 0 0 0 241 2 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753146685424 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15151156 memory=1448 CPUtime=0.51 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) S 7516 7516 5904 0 -1 1077944384 8572 0 0 0 50 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753145633136 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15151156 memory=233260 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15151156 memory=2832 CPUtime=0.61 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1320 0 0 0 30 31 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 2122.29 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 234708 KiB
[startup+2116 s]*
/proc/loadavg: 1.78 1.71 1.93 3/227 7821
/proc/meminfo: memFree=24847160/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15151156 memory=233260 CPUtime=2123.1 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 81988 0 0 0 212251 59 0 0 20 0 15 0 517739929 15514783744 58315 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3787789 58315 3513 1 0 3748889 0
[pid=7518/tid=7519] ppid=7516 vsize=15151156 memory=8112282956445269571 CPUtime=2113.52 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 20080 0 0 0 211344 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753688113248 139753291088869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15151156 memory=-7003737579269690708 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2727 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15151156 memory=1448 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 4370 0 0 0 69 5 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15151156 memory=179484 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 2820 0 0 0 67 7 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15151156 memory=8112282956445269571 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2729 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15151156 memory=924 CPUtime=0.96 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 5166 0 0 0 89 7 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753150895456 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15151156 memory=1748 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753149843072 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15151156 memory=288230596050944315 CPUtime=2.03 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) S 7516 7516 5904 0 -1 1077944384 13211 0 0 0 202 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753147738224 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15151156 memory=13571487609129518 CPUtime=2.43 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) S 7516 7516 5904 0 -1 1077944384 19590 0 0 0 241 2 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753146685424 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15151156 memory=-7003737579269690708 CPUtime=0.51 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) S 7516 7516 5904 0 -1 1077944384 8572 0 0 0 50 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753145633136 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15151156 memory=2912 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15151156 memory=2596 CPUtime=0.61 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1320 0 0 0 30 31 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 2123.1 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 234708 KiB
[startup+2116.8 s]
/proc/loadavg: 1.78 1.71 1.93 3/227 7821
/proc/meminfo: memFree=24847160/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15151156 memory=233260 CPUtime=2123.89 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 81988 0 0 0 212330 59 0 0 20 0 15 0 517739929 15514783744 58315 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3787789 58315 3513 1 0 3748889 0
[pid=7518/tid=7519] ppid=7516 vsize=15151156 memory=808 CPUtime=2114.31 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 20080 0 0 0 211423 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753688113136 139753290244051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15151156 memory=1804 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2727 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15151156 memory=6152 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 4370 0 0 0 69 5 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15151156 memory=780 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 2820 0 0 0 67 7 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15151156 memory=14008 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2729 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15151156 memory=8112282956445269571 CPUtime=0.96 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 5166 0 0 0 89 7 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753150895456 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15151156 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753149843072 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15151156 memory=500 CPUtime=2.03 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) S 7516 7516 5904 0 -1 1077944384 13211 0 0 0 202 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753147738224 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15151156 memory=928 CPUtime=2.43 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) S 7516 7516 5904 0 -1 1077944384 19590 0 0 0 241 2 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753146685424 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15151156 memory=1984 CPUtime=0.51 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) S 7516 7516 5904 0 -1 1077944384 8572 0 0 0 50 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753145633136 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15151156 memory=2364 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15151156 memory=1744 CPUtime=0.61 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1320 0 0 0 30 31 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 2123.89 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 234708 KiB
[startup+2117 s]*
/proc/loadavg: 1.80 1.71 1.93 3/227 7821
/proc/meminfo: memFree=24847160/32770624 swapFree=66941120/67108860
[pid=7516] ppid=7513 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7516/stat : 7516 (xcsp3-exec) S 7513 7516 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517739929 115843072 362 33554432000 4194304 5098028 140725647762176 140725647760280 139676488155772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40591360 140725647770490 140725647770733 140725647770733 140725647773642 0
/proc/7516/statm: 28282 362 304 221 0 87 0
[pid=7518] ppid=7516 vsize=15151156 memory=233260 CPUtime=2124.1 cores=0,2,4,6
/proc/7518/stat : 7518 (java) S 7516 7516 5904 0 -1 1077944320 81988 0 0 0 212351 59 0 0 20 0 15 0 517739929 15514783744 58315 33554432000 4194304 4196468 140730761122896 140730761105440 139753683873527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
/proc/7518/statm: 3787789 58315 3513 1 0 3748889 0
[pid=7518/tid=7519] ppid=7516 vsize=15151156 memory=8112282956445269571 CPUtime=2114.52 cores=0,2,4,6
/proc/7518/task/7519/stat : 7519 (java) R 7516 7516 5904 0 -1 4202560 20080 0 0 0 211444 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753688113136 139753292763703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7520] ppid=7516 vsize=15151156 memory=-7003737579269690708 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7520/stat : 7520 (java) S 7516 7516 5904 0 -1 1077944384 2727 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753611913616 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7521] ppid=7516 vsize=15151156 memory=1804 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7521/stat : 7521 (java) S 7516 7516 5904 0 -1 1077944384 4370 0 0 0 69 5 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753610860816 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7522] ppid=7516 vsize=15151156 memory=916 CPUtime=0.74 cores=0,2,4,6
/proc/7518/task/7522/stat : 7522 (java) S 7516 7516 5904 0 -1 1077944384 2820 0 0 0 67 7 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753609808528 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7523] ppid=7516 vsize=15151156 memory=3848 CPUtime=0.73 cores=0,2,4,6
/proc/7518/task/7523/stat : 7523 (java) S 7516 7516 5904 0 -1 1077944384 2729 0 0 0 65 8 0 0 20 0 15 0 517739930 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753608755728 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7524] ppid=7516 vsize=15151156 memory=2912 CPUtime=0.96 cores=0,2,4,6
/proc/7518/task/7524/stat : 7524 (java) S 7516 7516 5904 0 -1 1077944384 5166 0 0 0 89 7 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753151949424 139753683884674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7525] ppid=7516 vsize=15151156 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7525/stat : 7525 (java) S 7516 7516 5904 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753150895456 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7526] ppid=7516 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7526/stat : 7526 (java) S 7516 7516 5904 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 517739932 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753149843072 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7527] ppid=7516 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7527/stat : 7527 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753148791376 139753683892123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7528] ppid=7516 vsize=15151156 memory=3240 CPUtime=2.03 cores=0,2,4,6
/proc/7518/task/7528/stat : 7528 (java) S 7516 7516 5904 0 -1 1077944384 13211 0 0 0 202 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753147738224 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7529] ppid=7516 vsize=15151156 memory=1448 CPUtime=2.43 cores=0,2,4,6
/proc/7518/task/7529/stat : 7529 (java) S 7516 7516 5904 0 -1 1077944384 19590 0 0 0 241 2 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753146685424 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7530] ppid=7516 vsize=15151156 memory=233260 CPUtime=0.51 cores=0,2,4,6
/proc/7518/task/7530/stat : 7530 (java) S 7516 7516 5904 0 -1 1077944384 8572 0 0 0 50 1 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753145633136 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7531] ppid=7516 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/7518/task/7531/stat : 7531 (java) S 7516 7516 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753144580576 139753683883733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
[pid=7518/tid=7532] ppid=7516 vsize=15151156 memory=3196 CPUtime=0.61 cores=0,2,4,6
/proc/7518/task/7532/stat : 7532 (java) S 7516 7516 5904 0 -1 1077944384 1320 0 0 0 30 31 0 0 20 0 15 0 517739935 15514783744 58315 33554432000 4194304 4196468 140730761122896 139753143528368 139753683884674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140730761130991 140730761131162 140730761131162 140730761134031 0
Current children cumulated CPU time: 2124.1 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 234708 KiB
Child status: 0
Real time (s): 2117.1
CPU time (s): 2124.21
CPU user time (s): 2123.61
CPU system time (s): 0.604781
CPU usage (%): 100.336
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 234708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2123.61
system time used= 0.604781
maximum resident set size= 233328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70869
involuntary context switches= 3183
# summary of solver processes directly reported to runsolver:
# pid: 7516
# total CPU time (s): 2124.21
# total CPU user time (s): 2123.61
# total CPU system time (s): 0.604781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9414 second user time and 19.7515 second system time
The end