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 (9689 MiB free)
memory of node 1: 16384 MiB (9583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394229-1568331633/watcher-4394229-1568331633 -o /tmp/evaluation-result-4394229-1568331633/solver-4394229-1568331633 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1626062360 HOME/instance-4394229-1568331633.xml
running on 4 cores: 1,3,5,7
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=28305, runsolver pid=28302
Current StackSize limit: 8192 KiB
[startup+0.100543 s]*
/proc/loadavg: 8.00 8.40 7.70 7/233 28321
/proc/meminfo: memFree=19717768/32770624 swapFree=66959212/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
[pid=28307] ppid=28305 vsize=15144768 memory=30336 CPUtime=0.13 cores=1,3,5,7
/proc/28307/stat : 28307 (java) S 28305 28305 18186 0 -1 1077944320 5499 0 0 0 12 1 0 0 20 0 15 0 409103518 15508242432 7584 33554432000 4194304 4196468 140733808187408 140733808169952 140674111098615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
/proc/28307/statm: 3786192 7584 3178 1 0 3748377 0
[pid=28307/tid=28308] ppid=28305 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28307/task/28308/stat : 28308 (java) R 28305 28305 18186 0 -1 4202560 3400 0 0 0 8 1 0 0 20 0 15 0 409103518 15508242432 7584 33554432000 4194304 4196468 140733808187408 140674115331408 140674095179102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28309] ppid=28305 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28309/stat : 28309 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 7584 33554432000 4194304 4196468 140733808187408 140674072058640 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28310] ppid=28305 vsize=15144768 memory=140547146262144 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28310/stat : 28310 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673702402960 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28311] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28311/stat : 28311 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673701350416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28312] ppid=28305 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28312/stat : 28312 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673700297872 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28313] ppid=28305 vsize=15144768 memory=140547146262144 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28313/stat : 28313 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103520 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673579689968 140674111109762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28314] ppid=28305 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28314/stat : 28314 (java) S 28305 28305 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409103521 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673578636192 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28315] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28315/stat : 28315 (java) S 28305 28305 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409103521 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673577583600 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28316] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28316/stat : 28316 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673576532176 140674111117211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28317] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28317/stat : 28317 (java) R 28305 28305 18186 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 409103523 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673575479888 140674111108821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28318] ppid=28305 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28318/stat : 28318 (java) R 28305 28305 18186 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 409103523 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673574418752 140674096764768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28319] ppid=28305 vsize=15144768 memory=140547146262144 CPUtime=0.02 cores=1,3,5,7
/proc/28307/task/28319/stat : 28319 (java) R 28305 28305 18186 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 409103523 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673573374704 140674091058470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28320] ppid=28305 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28320/stat : 28320 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673572322400 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28321] ppid=28305 vsize=15144768 memory=140547146262144 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103524 15508242432 7584 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31784 KiB
[startup+0.210557 s]*
/proc/loadavg: 8.00 8.40 7.70 8/233 28321
/proc/meminfo: memFree=19707356/32770624 swapFree=66959212/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
[pid=28307] ppid=28305 vsize=15144768 memory=41428 CPUtime=0.34 cores=1,3,5,7
/proc/28307/stat : 28307 (java) S 28305 28305 18186 0 -1 1077944320 9025 0 0 0 31 3 0 0 20 0 15 0 409103518 15508242432 10357 33554432000 4194304 4196468 140733808187408 140733808169952 140674111098615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
/proc/28307/statm: 3786192 10357 3302 1 0 3748377 0
[pid=28307/tid=28308] ppid=28305 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28307/task/28308/stat : 28308 (java) R 28305 28305 18186 0 -1 4202560 6206 0 0 0 18 2 0 0 20 0 15 0 409103518 15508242432 10357 33554432000 4194304 4196468 140733808187408 140674115329888 140674103776629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28309] ppid=28305 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28309/stat : 28309 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 10357 33554432000 4194304 4196468 140733808187408 140674072058640 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28310] ppid=28305 vsize=15144768 memory=4049213304050951840 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28310/stat : 28310 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673702402960 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28311] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28311/stat : 28311 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673701350416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28312] ppid=28305 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28312/stat : 28312 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673700297872 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28313] ppid=28305 vsize=15144768 memory=140547146262144 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28313/stat : 28313 (java) S 28305 28305 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409103520 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673579689968 140674111109762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28314] ppid=28305 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28314/stat : 28314 (java) S 28305 28305 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409103521 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673578636192 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28315] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28315/stat : 28315 (java) S 28305 28305 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409103521 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673577583600 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28316] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28316/stat : 28316 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673576532176 140674111117211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28317] ppid=28305 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28307/task/28317/stat : 28317 (java) S 28305 28305 18186 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 409103523 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673575479792 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28318] ppid=28305 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28307/task/28318/stat : 28318 (java) S 28305 28305 18186 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 409103523 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673574427248 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28319] ppid=28305 vsize=15144768 memory=140547146262144 CPUtime=0.08 cores=1,3,5,7
/proc/28307/task/28319/stat : 28319 (java) S 28305 28305 18186 0 -1 1077944384 733 0 0 0 8 0 0 0 20 0 15 0 409103523 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673573374704 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28320] ppid=28305 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28320/stat : 28320 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673572322400 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28321] ppid=28305 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103524 15508242432 10357 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42876 KiB
[startup+0.318485 s]*
/proc/loadavg: 8.00 8.40 7.70 8/233 28321
/proc/meminfo: memFree=19700708/32770624 swapFree=66959212/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
[pid=28307] ppid=28305 vsize=15149024 memory=50704 CPUtime=0.54 cores=1,3,5,7
/proc/28307/stat : 28307 (java) S 28305 28305 18186 0 -1 1077944320 10457 0 0 0 50 4 0 0 20 0 15 0 409103518 15512600576 12676 33554432000 4194304 4196468 140733808187408 140733808169952 140674111098615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
/proc/28307/statm: 3787256 12676 3349 1 0 3748377 0
[pid=28307/tid=28308] ppid=28305 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/28307/task/28308/stat : 28308 (java) R 28305 28305 18186 0 -1 4202560 7420 0 0 0 27 3 0 0 20 0 15 0 409103518 15512600576 12676 33554432000 4194304 4196468 140733808187408 140674115332880 140674095179102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28309] ppid=28305 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28309/stat : 28309 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15512600576 12676 33554432000 4194304 4196468 140733808187408 140674072058640 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28310] ppid=28305 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28310/stat : 28310 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15512600576 12676 33554432000 4194304 4196468 140733808187408 140673702402960 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28311] ppid=28305 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28311/stat : 28311 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15512600576 12676 33554432000 4194304 4196468 140733808187408 140673701350416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28312] ppid=28305 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28312/stat : 28312 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15512600576 12676 33554432000 4194304 4196468 140733808187408 140673700297872 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28313] ppid=28305 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28313/stat : 28313 (java) S 28305 28305 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409103520 15512600576 12676 33554432000 4194304 4196468 140733808187408 140673579689968 140674111109762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28314] ppid=28305 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28314/stat : 28314 (java) S 28305 28305 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409103521 15512600576 12676 33554432000 4194304 4196468 140733808187408 140673578636192 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28315] ppid=28305 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28315/stat : 28315 (java) S 28305 28305 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409103521 15512600576 12676 33554432000 4194304 4196468 140733808187408 140673577583600 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28316] ppid=28305 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28316/stat : 28316 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15512600576 12684 33554432000 4194304 4196468 140733808187408 140673576532176 140674111117211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28317] ppid=28305 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/28307/task/28317/stat : 28317 (java) S 28305 28305 18186 0 -1 1077944384 473 0 0 0 5 0 0 0 20 0 15 0 409103523 15512600576 12684 33554432000 4194304 4196468 140733808187408 140673575479792 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28318] ppid=28305 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28307/task/28318/stat : 28318 (java) S 28305 28305 18186 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 15 0 409103523 15512600576 12684 33554432000 4194304 4196468 140733808187408 140673574427248 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28319] ppid=28305 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28307/task/28319/stat : 28319 (java) S 28305 28305 18186 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 15 0 409103523 15512600576 12684 33554432000 4194304 4196468 140733808187408 140673573374704 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28320] ppid=28305 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28320/stat : 28320 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15512600576 12684 33554432000 4194304 4196468 140733808187408 140673572322400 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28321] ppid=28305 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103524 15512600576 12684 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52152 KiB
[startup+0.704481 s]
/proc/loadavg: 8.00 8.40 7.70 7/233 28321
/proc/meminfo: memFree=19683776/32770624 swapFree=66959212/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
[pid=28307] ppid=28305 vsize=15151148 memory=87552 CPUtime=1.63 cores=1,3,5,7
/proc/28307/stat : 28307 (java) S 28305 28305 18186 0 -1 1077944320 14553 0 0 0 156 7 0 0 20 0 15 0 409103518 15514775552 21888 33554432000 4194304 4196468 140733808187408 140733808169952 140674111098615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
/proc/28307/statm: 3787787 21888 3447 1 0 3748889 0
[pid=28307/tid=28308] ppid=28305 vsize=15151148 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/28307/task/28308/stat : 28308 (java) S 28305 28305 18186 0 -1 1077944384 8864 0 0 0 63 5 0 0 20 0 15 0 409103518 15514775552 21888 33554432000 4194304 4196468 140733808187408 140674115333360 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28309] ppid=28305 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28309/stat : 28309 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15514775552 21888 33554432000 4194304 4196468 140733808187408 140674072058640 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28310] ppid=28305 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28310/stat : 28310 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673702402960 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28311] ppid=28305 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28311/stat : 28311 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103519 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673701350416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28312] ppid=28305 vsize=15151148 memory=38320 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28312/stat : 28312 (java) S 28305 28305 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409103519 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673700297872 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28313] ppid=28305 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28313/stat : 28313 (java) S 28305 28305 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409103520 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673579689968 140674111109762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28314] ppid=28305 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28314/stat : 28314 (java) S 28305 28305 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409103521 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673578636192 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28315] ppid=28305 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28315/stat : 28315 (java) S 28305 28305 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409103521 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673577583600 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28316] ppid=28305 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28316/stat : 28316 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673576532176 140674111117211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28317] ppid=28305 vsize=15151148 memory=1720 CPUtime=0.28 cores=1,3,5,7
/proc/28307/task/28317/stat : 28317 (java) R 28305 28305 18186 0 -1 4202560 1099 0 0 0 28 0 0 0 20 0 15 0 409103523 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673575464608 140674088693472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28318] ppid=28305 vsize=15151148 memory=10604 CPUtime=0.23 cores=1,3,5,7
/proc/28307/task/28318/stat : 28318 (java) R 28305 28305 18186 0 -1 4202560 1161 0 0 0 23 0 0 0 20 0 15 0 409103523 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673574414232 140674111112497 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28319] ppid=28305 vsize=15151148 memory=3360 CPUtime=0.41 cores=1,3,5,7
/proc/28307/task/28319/stat : 28319 (java) S 28305 28305 18186 0 -1 1077944384 2121 0 0 0 41 0 0 0 20 0 15 0 409103523 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673573370656 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28320] ppid=28305 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28320/stat : 28320 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409103523 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673572322400 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28321] ppid=28305 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409103524 15514775552 21888 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 89000 KiB
[startup+1.50078 s]
/proc/loadavg: 8.00 8.40 7.70 8/237 28337
/proc/meminfo: memFree=19619900/32770624 swapFree=66959212/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 535 0 0 0 0 2 0 0 20 0 19 0 409103524 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28428] ppid=28305 vsize=15420480 memory=800 CPUtime=45.7 cores=1,3,5,7
/proc/28307/task/28428/stat : 28428 (java) S 28305 28305 18186 0 -1 1077944384 545 0 0 0 4570 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673555754416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28429] ppid=28305 vsize=15420480 memory=1808 CPUtime=45.45 cores=1,3,5,7
/proc/28307/task/28429/stat : 28429 (java) S 28305 28305 18186 0 -1 1077944384 1707 0 0 0 4545 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673558905808 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28430] ppid=28305 vsize=15420480 memory=1448 CPUtime=45.29 cores=1,3,5,7
/proc/28307/task/28430/stat : 28430 (java) S 28305 28305 18186 0 -1 1077944384 1295 0 0 0 4529 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673561011280 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28431] ppid=28305 vsize=15420480 memory=266580 CPUtime=45.56 cores=1,3,5,7
/proc/28307/task/28431/stat : 28431 (java) R 28305 28305 18186 0 -1 4202560 611 0 0 0 4556 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673559953312 140673757834172 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 261.28 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 270608 KiB
[startup+71.6009 s]
/proc/loadavg: 8.06 8.36 7.74 6/238 28435
/proc/meminfo: memFree=19455316/32770624 swapFree=66959216/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
[pid=28307] ppid=28305 vsize=15420480 memory=269160 CPUtime=261.68 cores=1,3,5,7
/proc/28307/stat : 28307 (java) S 28305 28305 18186 0 -1 1077944320 82158 0 0 0 26144 24 0 0 20 0 19 0 409103518 15790571520 67290 33554432000 4194304 4196468 140733808187408 140733808169952 140674111098615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
/proc/28307/statm: 3855120 67290 3529 1 0 3816222 0
[pid=28307/tid=28308] ppid=28305 vsize=15420480 memory=580 CPUtime=0.71 cores=1,3,5,7
/proc/28307/task/28308/stat : 28308 (java) S 28305 28305 18186 0 -1 1077944384 9642 0 0 0 66 5 0 0 20 0 19 0 409103518 15790571520 67290 33554432000 4194304 4196468 140733808187408 140674115339392 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28309] ppid=28305 vsize=15420480 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28309/stat : 28309 (java) S 28305 28305 18186 0 -1 1077944384 2640 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140674072058640 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28310] ppid=28305 vsize=15420480 memory=10604 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28310/stat : 28310 (java) S 28305 28305 18186 0 -1 1077944384 1972 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673702402960 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28311] ppid=28305 vsize=15420480 memory=3360 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28311/stat : 28311 (java) S 28305 28305 18186 0 -1 1077944384 2197 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673701350416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28312] ppid=28305 vsize=15420480 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28312/stat : 28312 (java) S 28305 28305 18186 0 -1 1077944384 572 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673700297872 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28313] ppid=28305 vsize=15420480 memory=1564 CPUtime=0.04 cores=1,3,5,7
/proc/28307/task/28313/stat : 28313 (java) S 28305 28305 18186 0 -1 1077944384 1627 0 0 0 3 1 0 0 20 0 19 0 409103520 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673579689968 140674111109762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28314] ppid=28305 vsize=15420480 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28314/stat : 28314 (java) S 28305 28305 18186 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409103521 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673578636256 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28315] ppid=28305 vsize=15420480 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28315/stat : 28315 (java) S 28305 28305 18186 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 409103521 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673577583616 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28316] ppid=28305 vsize=15420480 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28316/stat : 28316 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673576532176 140674111117211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28317] ppid=28305 vsize=15420480 memory=1216 CPUtime=3.96 cores=1,3,5,7
/proc/28307/task/28317/stat : 28317 (java) S 28305 28305 18186 0 -1 1077944384 19803 0 0 0 393 3 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673575479792 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28318] ppid=28305 vsize=15420480 memory=984 CPUtime=3.73 cores=1,3,5,7
/proc/28307/task/28318/stat : 28318 (java) S 28305 28305 18186 0 -1 1077944384 21691 0 0 0 371 2 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673574427248 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28319] ppid=28305 vsize=15420480 memory=14004 CPUtime=0.85 cores=1,3,5,7
/proc/28307/task/28319/stat : 28319 (java) S 28305 28305 18186 0 -1 1077944384 8866 0 0 0 84 1 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673573374704 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28320] ppid=28305 vsize=15420480 memory=20500 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28320/stat : 28320 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673572322400 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28321] ppid=28305 vsize=15420480 memory=14048 CPUtime=0.04 cores=1,3,5,7
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 535 0 0 0 2 2 0 0 20 0 19 0 409103524 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28428] ppid=28305 vsize=15420480 memory=2124 CPUtime=45.7 cores=1,3,5,7
/proc/28307/task/28428/stat : 28428 (java) S 28305 28305 18186 0 -1 1077944384 545 0 0 0 4570 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673555754416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28429] ppid=28305 vsize=15420480 memory=500 CPUtime=45.45 cores=1,3,5,7
/proc/28307/task/28429/stat : 28429 (java) S 28305 28305 18186 0 -1 1077944384 1707 0 0 0 4545 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673558905808 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28430] ppid=28305 vsize=15420480 memory=1556 CPUtime=45.29 cores=1,3,5,7
/proc/28307/task/28430/stat : 28430 (java) S 28305 28305 18186 0 -1 1077944384 1295 0 0 0 4529 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673561011280 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28431] ppid=28305 vsize=15420480 memory=928 CPUtime=45.96 cores=1,3,5,7
/proc/28307/task/28431/stat : 28431 (java) R 28305 28305 18186 0 -1 4202560 611 0 0 0 4596 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673559953312 140673757834238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 261.68 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 270608 KiB
[startup+71.8009 s]
/proc/loadavg: 8.06 8.36 7.74 6/238 28435
/proc/meminfo: memFree=19455316/32770624 swapFree=66959216/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
[pid=28307] ppid=28305 vsize=15420480 memory=269160 CPUtime=261.88 cores=1,3,5,7
/proc/28307/stat : 28307 (java) S 28305 28305 18186 0 -1 1077944320 82158 0 0 0 26164 24 0 0 20 0 19 0 409103518 15790571520 67290 33554432000 4194304 4196468 140733808187408 140733808169952 140674111098615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
/proc/28307/statm: 3855120 67290 3529 1 0 3816222 0
[pid=28307/tid=28308] ppid=28305 vsize=15420480 memory=1436 CPUtime=0.71 cores=1,3,5,7
/proc/28307/task/28308/stat : 28308 (java) S 28305 28305 18186 0 -1 1077944384 9642 0 0 0 66 5 0 0 20 0 19 0 409103518 15790571520 67290 33554432000 4194304 4196468 140733808187408 140674115339392 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28309] ppid=28305 vsize=15420480 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28309/stat : 28309 (java) S 28305 28305 18186 0 -1 1077944384 2640 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140674072058640 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28310] ppid=28305 vsize=15420480 memory=2580 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28310/stat : 28310 (java) S 28305 28305 18186 0 -1 1077944384 1972 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673702402960 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28311] ppid=28305 vsize=15420480 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28311/stat : 28311 (java) S 28305 28305 18186 0 -1 1077944384 2197 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673701350416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28312] ppid=28305 vsize=15420480 memory=111636 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28312/stat : 28312 (java) S 28305 28305 18186 0 -1 1077944384 572 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673700297872 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28313] ppid=28305 vsize=15420480 memory=800 CPUtime=0.04 cores=1,3,5,7
/proc/28307/task/28313/stat : 28313 (java) S 28305 28305 18186 0 -1 1077944384 1627 0 0 0 3 1 0 0 20 0 19 0 409103520 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673579689968 140674111109762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28314] ppid=28305 vsize=15420480 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28314/stat : 28314 (java) S 28305 28305 18186 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409103521 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673578636256 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28315] ppid=28305 vsize=15420480 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28315/stat : 28315 (java) S 28305 28305 18186 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 409103521 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673577583616 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28316] ppid=28305 vsize=15420480 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28316/stat : 28316 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673576532176 140674111117211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28317] ppid=28305 vsize=15420480 memory=2728 CPUtime=3.96 cores=1,3,5,7
/proc/28307/task/28317/stat : 28317 (java) S 28305 28305 18186 0 -1 1077944384 19803 0 0 0 393 3 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673575479792 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28318] ppid=28305 vsize=15420480 memory=2596 CPUtime=3.73 cores=1,3,5,7
/proc/28307/task/28318/stat : 28318 (java) S 28305 28305 18186 0 -1 1077944384 21691 0 0 0 371 2 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673574427248 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28319] ppid=28305 vsize=15420480 memory=4104 CPUtime=0.85 cores=1,3,5,7
/proc/28307/task/28319/stat : 28319 (java) S 28305 28305 18186 0 -1 1077944384 8866 0 0 0 84 1 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673573374704 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28320] ppid=28305 vsize=15420480 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28320/stat : 28320 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673572322400 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28321] ppid=28305 vsize=15420480 memory=3172 CPUtime=0.04 cores=1,3,5,7
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 535 0 0 0 2 2 0 0 20 0 19 0 409103524 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28428] ppid=28305 vsize=15420480 memory=1452 CPUtime=45.7 cores=1,3,5,7
/proc/28307/task/28428/stat : 28428 (java) S 28305 28305 18186 0 -1 1077944384 545 0 0 0 4570 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673555754416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28429] ppid=28305 vsize=15420480 memory=234664 CPUtime=45.45 cores=1,3,5,7
/proc/28307/task/28429/stat : 28429 (java) S 28305 28305 18186 0 -1 1077944384 1707 0 0 0 4545 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673558905808 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28430] ppid=28305 vsize=15420480 memory=1412 CPUtime=45.29 cores=1,3,5,7
/proc/28307/task/28430/stat : 28430 (java) S 28305 28305 18186 0 -1 1077944384 1295 0 0 0 4529 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673561011280 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28431] ppid=28305 vsize=15420480 memory=3092 CPUtime=46.16 cores=1,3,5,7
/proc/28307/task/28431/stat : 28431 (java) R 28305 28305 18186 0 -1 4202560 611 0 0 0 4616 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673559953312 140673757834444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 261.88 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 270608 KiB
[startup+71.9009 s]
/proc/loadavg: 8.06 8.36 7.74 6/238 28435
/proc/meminfo: memFree=19455316/32770624 swapFree=66959216/67108860
[pid=28305] ppid=28302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28305/stat : 28305 (xcsp3-exec) S 28302 28305 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409103517 115843072 362 33554432000 4194304 5098028 140728566222304 140728566220408 140367137780348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36974592 140728566227834 140728566228077 140728566228077 140728566230986 0
/proc/28305/statm: 28282 362 304 221 0 87 0
[pid=28307] ppid=28305 vsize=15420480 memory=269160 CPUtime=261.98 cores=1,3,5,7
/proc/28307/stat : 28307 (java) S 28305 28305 18186 0 -1 1077944320 82158 0 0 0 26174 24 0 0 20 0 19 0 409103518 15790571520 67290 33554432000 4194304 4196468 140733808187408 140733808169952 140674111098615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
/proc/28307/statm: 3855120 67290 3529 1 0 3816222 0
[pid=28307/tid=28308] ppid=28305 vsize=15420480 memory=266584 CPUtime=0.71 cores=1,3,5,7
/proc/28307/task/28308/stat : 28308 (java) S 28305 28305 18186 0 -1 1077944384 9642 0 0 0 66 5 0 0 20 0 19 0 409103518 15790571520 67290 33554432000 4194304 4196468 140733808187408 140674115339392 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28309] ppid=28305 vsize=15420480 memory=269160 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28309/stat : 28309 (java) S 28305 28305 18186 0 -1 1077944384 2640 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140674072058640 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28310] ppid=28305 vsize=15420480 memory=269160 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28310/stat : 28310 (java) S 28305 28305 18186 0 -1 1077944384 1972 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673702402960 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28311] ppid=28305 vsize=15420480 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28311/stat : 28311 (java) S 28305 28305 18186 0 -1 1077944384 2197 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673701350416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28312] ppid=28305 vsize=15420480 memory=281094068051360 CPUtime=0.07 cores=1,3,5,7
/proc/28307/task/28312/stat : 28312 (java) S 28305 28305 18186 0 -1 1077944384 572 0 0 0 6 1 0 0 20 0 19 0 409103519 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673700297872 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28313] ppid=28305 vsize=15420480 memory=266584 CPUtime=0.04 cores=1,3,5,7
/proc/28307/task/28313/stat : 28313 (java) S 28305 28305 18186 0 -1 1077944384 1627 0 0 0 3 1 0 0 20 0 19 0 409103520 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673579689968 140674111109762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28314] ppid=28305 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28314/stat : 28314 (java) S 28305 28305 18186 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409103521 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673578636256 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28315] ppid=28305 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28315/stat : 28315 (java) S 28305 28305 18186 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 409103521 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673577583616 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28316] ppid=28305 vsize=15420480 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28316/stat : 28316 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673576532176 140674111117211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28317] ppid=28305 vsize=15420480 memory=1060 CPUtime=3.96 cores=1,3,5,7
/proc/28307/task/28317/stat : 28317 (java) S 28305 28305 18186 0 -1 1077944384 19803 0 0 0 393 3 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673575479792 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28318] ppid=28305 vsize=15420480 memory=1448 CPUtime=3.73 cores=1,3,5,7
/proc/28307/task/28318/stat : 28318 (java) S 28305 28305 18186 0 -1 1077944384 21691 0 0 0 371 2 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673574427248 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28319] ppid=28305 vsize=15420480 memory=269160 CPUtime=0.85 cores=1,3,5,7
/proc/28307/task/28319/stat : 28319 (java) S 28305 28305 18186 0 -1 1077944384 8866 0 0 0 84 1 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673573374704 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28320] ppid=28305 vsize=15420480 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/28307/task/28320/stat : 28320 (java) S 28305 28305 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409103523 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673572322400 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28321] ppid=28305 vsize=15420480 memory=1436 CPUtime=0.04 cores=1,3,5,7
/proc/28307/task/28321/stat : 28321 (java) S 28305 28305 18186 0 -1 1077944384 535 0 0 0 2 2 0 0 20 0 19 0 409103524 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673571268912 140674111109762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28428] ppid=28305 vsize=15420480 memory=5457 CPUtime=45.7 cores=1,3,5,7
/proc/28307/task/28428/stat : 28428 (java) S 28305 28305 18186 0 -1 1077944384 545 0 0 0 4570 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673555754416 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28429] ppid=28305 vsize=15420480 memory=4420 CPUtime=45.45 cores=1,3,5,7
/proc/28307/task/28429/stat : 28429 (java) S 28305 28305 18186 0 -1 1077944384 1707 0 0 0 4545 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673558905808 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28430] ppid=28305 vsize=15420480 memory=1448 CPUtime=45.29 cores=1,3,5,7
/proc/28307/task/28430/stat : 28430 (java) S 28305 28305 18186 0 -1 1077944384 1295 0 0 0 4529 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673561011280 140674111108821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
[pid=28307/tid=28431] ppid=28305 vsize=15420480 memory=260952 CPUtime=46.26 cores=1,3,5,7
/proc/28307/task/28431/stat : 28431 (java) R 28305 28305 18186 0 -1 4202560 611 0 0 0 4626 0 0 0 20 0 19 0 409106041 15790571520 67290 33554432000 4194304 4196468 140733808187408 140673559953312 140673757834080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28626944 140733808194543 140733808194714 140733808194714 140733808197583 0
Current children cumulated CPU time: 261.98 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 270608 KiB
Child status: 0
Real time (s): 71.9513
CPU time (s): 262.039
CPU user time (s): 261.784
CPU system time (s): 0.254905
CPU usage (%): 364.19
Max. virtual memory (cumulated for all children) (KiB): 15535692
Max. memory (cumulated for all children) (KiB): 270608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.784
system time used= 0.254905
maximum resident set size= 270700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5341
involuntary context switches= 5670
# summary of solver processes directly reported to runsolver:
# pid: 28305
# total CPU time (s): 262.039
# total CPU user time (s): 261.784
# total CPU system time (s): 0.254905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.442861 second user time and 0.867506 second system time
The end