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 (15267 MiB free)
memory of node 1: 16384 MiB (15528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393043-1568316838/watcher-4393043-1568316838 -o /tmp/evaluation-result-4393043-1568316838/solver-4393043-1568316838 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2080423560 HOME/instance-4393043-1568316838.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=12174, runsolver pid=12171
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 8.32 8.38 7.61 6/234 12190
/proc/meminfo: memFree=31519192/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
[pid=12176] ppid=12174 vsize=15144768 memory=29148 CPUtime=0.13 cores=0,2,4,6
/proc/12176/stat : 12176 (java) S 12174 12174 6753 0 -1 1077944320 5687 0 0 0 12 1 0 0 20 0 15 0 407946469 15508242432 7287 33554432000 4194304 4196468 140721216194224 140721216176768 140431144718071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
/proc/12176/statm: 3786192 7287 3149 1 0 3748377 0
[pid=12176/tid=12177] ppid=12174 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/12176/task/12177/stat : 12177 (java) R 12174 12174 6753 0 -1 4202560 3603 0 0 0 9 0 0 0 20 0 15 0 407946470 15508242432 7287 33554432000 4194304 4196468 140721216194224 140431148950848 140431128761701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12178] ppid=12174 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12178/stat : 12178 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 7287 33554432000 4194304 4196468 140721216194224 140431072758928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12179] ppid=12174 vsize=15144768 memory=140665990010496 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12179/stat : 12179 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 7287 33554432000 4194304 4196468 140721216194224 140431071706128 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12180] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12180/stat : 12180 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 7287 33554432000 4194304 4196468 140721216194224 140431070653328 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12181] ppid=12174 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12181/stat : 12181 (java) S 12174 12174 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430734125840 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12182] ppid=12174 vsize=15144768 memory=140665990010496 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12182/stat : 12182 (java) S 12174 12174 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946472 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430680529264 140431144729218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12183] ppid=12174 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12183/stat : 12183 (java) S 12174 12174 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946472 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430679475232 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12184] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12184/stat : 12184 (java) S 12174 12174 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946472 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430678422384 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12185] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12185/stat : 12185 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430677370704 140431144736667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12186] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12186/stat : 12186 (java) S 12174 12174 6753 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430676319088 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12187] ppid=12174 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12187/stat : 12187 (java) R 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430675266288 140431144729218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12188] ppid=12174 vsize=15144768 memory=140665990010496 CPUtime=0.02 cores=0,2,4,6
/proc/12176/task/12188/stat : 12188 (java) R 12174 12174 6753 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 407946475 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430674213488 140431144730006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12189] ppid=12174 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12189/stat : 12189 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430673160928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12190] ppid=12174 vsize=15144768 memory=140665990010496 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 7287 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30600 KiB
[startup+0.211036 s]*
/proc/loadavg: 8.32 8.38 7.61 6/234 12190
/proc/meminfo: memFree=31506436/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
[pid=12176] ppid=12174 vsize=15144768 memory=39960 CPUtime=0.34 cores=0,2,4,6
/proc/12176/stat : 12176 (java) S 12174 12174 6753 0 -1 1077944320 9280 0 0 0 31 3 0 0 20 0 15 0 407946469 15508242432 9990 33554432000 4194304 4196468 140721216194224 140721216176768 140431144718071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
/proc/12176/statm: 3786192 9990 3259 1 0 3748377 0
[pid=12176/tid=12177] ppid=12174 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/12176/task/12177/stat : 12177 (java) R 12174 12174 6753 0 -1 4202560 6559 0 0 0 18 2 0 0 20 0 15 0 407946470 15508242432 9990 33554432000 4194304 4196468 140721216194224 140431148952192 140431144730006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12178] ppid=12174 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12178/stat : 12178 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 9990 33554432000 4194304 4196468 140721216194224 140431072758928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12179] ppid=12174 vsize=15144768 memory=140665990022539 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12179/stat : 12179 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 9990 33554432000 4194304 4196468 140721216194224 140431071706128 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12180] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12180/stat : 12180 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 9990 33554432000 4194304 4196468 140721216194224 140431070653328 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12181] ppid=12174 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12181/stat : 12181 (java) S 12174 12174 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946470 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430734125840 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12182] ppid=12174 vsize=15144768 memory=140665990010496 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12182/stat : 12182 (java) S 12174 12174 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407946472 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430680529264 140431144729218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12183] ppid=12174 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12183/stat : 12183 (java) S 12174 12174 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946472 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430679475232 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12184] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12184/stat : 12184 (java) S 12174 12174 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946472 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430678422384 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12185] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12185/stat : 12185 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430677370704 140431144736667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12186] ppid=12174 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12176/task/12186/stat : 12186 (java) S 12174 12174 6753 0 -1 1077944384 516 0 0 0 3 0 0 0 20 0 15 0 407946475 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430676319088 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12187] ppid=12174 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12176/task/12187/stat : 12187 (java) S 12174 12174 6753 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 15 0 407946475 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430675266288 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12188] ppid=12174 vsize=15144768 memory=140665990010496 CPUtime=0.08 cores=0,2,4,6
/proc/12176/task/12188/stat : 12188 (java) R 12174 12174 6753 0 -1 4202560 787 0 0 0 8 0 0 0 20 0 15 0 407946475 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430674213296 140431124641585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12189] ppid=12174 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12189/stat : 12189 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430673160928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12190] ppid=12174 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946475 15508242432 9990 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41412 KiB
[startup+0.31221 s]*
/proc/loadavg: 8.32 8.38 7.61 8/234 12190
/proc/meminfo: memFree=31501584/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
[pid=12176] ppid=12174 vsize=15149024 memory=50000 CPUtime=0.53 cores=0,2,4,6
/proc/12176/stat : 12176 (java) S 12174 12174 6753 0 -1 1077944320 10734 0 0 0 50 3 0 0 20 0 15 0 407946469 15512600576 12500 33554432000 4194304 4196468 140721216194224 140721216176768 140431144718071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
/proc/12176/statm: 3787256 12500 3372 1 0 3748377 0
[pid=12176/tid=12177] ppid=12174 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/12176/task/12177/stat : 12177 (java) R 12174 12174 6753 0 -1 4202560 7695 0 0 0 27 3 0 0 20 0 15 0 407946470 15512600576 12500 33554432000 4194304 4196468 140721216194224 140431148949184 140431128798558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12178] ppid=12174 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12178/stat : 12178 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15512600576 12500 33554432000 4194304 4196468 140721216194224 140431072758928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12179] ppid=12174 vsize=15149024 memory=3155436 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12179/stat : 12179 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15512600576 12500 33554432000 4194304 4196468 140721216194224 140431071706128 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12180] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12180/stat : 12180 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15512600576 12500 33554432000 4194304 4196468 140721216194224 140431070653328 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12181] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12181/stat : 12181 (java) S 12174 12174 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946470 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430734125840 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12182] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12182/stat : 12182 (java) S 12174 12174 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407946472 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430680529264 140431144729218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12183] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12183/stat : 12183 (java) S 12174 12174 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946472 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430679475232 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12184] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12184/stat : 12184 (java) S 12174 12174 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946472 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430678422384 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12185] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12185/stat : 12185 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430677370704 140431144736667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12186] ppid=12174 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/12176/task/12186/stat : 12186 (java) R 12174 12174 6753 0 -1 4202560 668 0 0 0 6 0 0 0 20 0 15 0 407946475 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430676309472 140431126241271 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12187] ppid=12174 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12176/task/12187/stat : 12187 (java) S 12174 12174 6753 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 15 0 407946475 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430675266288 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12188] ppid=12174 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12176/task/12188/stat : 12188 (java) S 12174 12174 6753 0 -1 1077944384 936 0 0 0 13 0 0 0 20 0 15 0 407946475 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430674213488 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12189] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12189/stat : 12189 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430673160928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12190] ppid=12174 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946475 15512600576 12500 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51452 KiB
[startup+0.70084 s]
/proc/loadavg: 8.32 8.38 7.61 8/234 12190
/proc/meminfo: memFree=31453364/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
[pid=12176] ppid=12174 vsize=15151148 memory=173756 CPUtime=1.57 cores=0,2,4,6
/proc/12176/stat : 12176 (java) S 12174 12174 6753 0 -1 1077944320 14123 0 0 0 150 7 0 0 20 0 15 0 407946469 15514775552 43439 33554432000 4194304 4196468 140721216194224 140721216176768 140431144718071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
/proc/12176/statm: 3787787 43439 3435 1 0 3748889 0
[pid=12176/tid=12177] ppid=12174 vsize=15151148 memory=1788115682561 CPUtime=0.68 cores=0,2,4,6
/proc/12176/task/12177/stat : 12177 (java) R 12174 12174 6753 0 -1 4202560 8330 0 0 0 63 5 0 0 20 0 15 0 407946470 15514775552 43439 33554432000 4194304 4196468 140721216194224 140431148953128 140430753660692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12178] ppid=12174 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12178/stat : 12178 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15514775552 43439 33554432000 4194304 4196468 140721216194224 140431072758928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12179] ppid=12174 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12179/stat : 12179 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15514775552 43439 33554432000 4194304 4196468 140721216194224 140431071706128 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12180] ppid=12174 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12180/stat : 12180 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946470 15514775552 43439 33554432000 4194304 4196468 140721216194224 140431070653328 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12181] ppid=12174 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12181/stat : 12181 (java) S 12174 12174 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946470 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430734125840 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12182] ppid=12174 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12182/stat : 12182 (java) S 12174 12174 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407946472 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430680529264 140431144729218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12183] ppid=12174 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12183/stat : 12183 (java) S 12174 12174 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946472 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430679475232 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12184] ppid=12174 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12184/stat : 12184 (java) S 12174 12174 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946472 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430678422384 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12185] ppid=12174 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12185/stat : 12185 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430677370704 140431144736667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12186] ppid=12174 vsize=15151148 memory=1764 CPUtime=0.33 cores=0,2,4,6
/proc/12176/task/12186/stat : 12186 (java) R 12174 12174 6753 0 -1 4202560 1623 0 0 0 33 0 0 0 20 0 15 0 407946475 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430676304552 140431123795713 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12187] ppid=12174 vsize=15151148 memory=111632 CPUtime=0.3 cores=0,2,4,6
/proc/12176/task/12187/stat : 12187 (java) R 12174 12174 6753 0 -1 4202560 1139 0 0 0 30 0 0 0 20 0 15 0 407946475 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430675252168 140431144739418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12188] ppid=12174 vsize=15151148 memory=804 CPUtime=0.23 cores=0,2,4,6
/proc/12176/task/12188/stat : 12188 (java) S 12174 12174 6753 0 -1 1077944384 1724 0 0 0 23 0 0 0 20 0 15 0 407946475 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430674213488 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12189] ppid=12174 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12189/stat : 12189 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946475 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430673160928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12190] ppid=12174 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946475 15514775552 43439 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 175208 KiB
[startup+1.50104 s]
/proc/loadavg: 8.32 8.38 7.61 6/234 12190
/proc/meminfo: memFree=31341316/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164807 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12191] ppid=12174 vsize=15417404 memory=7014444751693833280 CPUtime=3.37 cores=0,2,4,6
/proc/12176/task/12191/stat : 12191 (java) R 12174 12174 6753 0 -1 4202560 307 0 0 0 337 0 0 0 20 0 19 0 407947854 15787421696 1164807 33554432000 4194304 4196468 140721216194224 140430595218144 140430756120203 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12192] ppid=12174 vsize=15417404 memory=0 CPUtime=3.34 cores=0,2,4,6
/proc/12176/task/12192/stat : 12192 (java) R 12174 12174 6753 0 -1 4202560 313 0 0 0 334 0 0 0 20 0 19 0 407947854 15787421696 1164807 33554432000 4194304 4196468 140721216194224 140430594167064 140430756346288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12193] ppid=12174 vsize=15417404 memory=192951405797155 CPUtime=3.6 cores=0,2,4,6
/proc/12176/task/12193/stat : 12193 (java) R 12174 12174 6753 0 -1 4202560 226 0 0 0 360 0 0 0 20 0 19 0 407947854 15787421696 1164807 33554432000 4194304 4196468 140721216194224 140430593113800 140430756347258 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12194] ppid=12174 vsize=15417404 memory=192951405797156 CPUtime=3.1 cores=0,2,4,6
/proc/12176/task/12194/stat : 12194 (java) R 12174 12174 6753 0 -1 4202560 197 0 0 0 310 0 0 0 20 0 19 0 407947854 15787421696 1164807 33554432000 4194304 4196468 140721216194224 140430592063656 140430756346288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 46.5 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4660680 KiB
[startup+18.4008 s]
/proc/loadavg: 8.07 8.32 7.61 11/237 12195
/proc/meminfo: memFree=26879904/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
[pid=12176] ppid=12174 vsize=15417404 memory=4659328 CPUtime=49.68 cores=0,2,4,6
/proc/12176/stat : 12176 (java) S 12174 12174 6753 0 -1 1077944320 47944 0 0 0 4473 495 0 0 20 0 19 0 407946469 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140721216176768 140431144718071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
/proc/12176/statm: 3854351 1164832 3519 1 0 3815453 0
[pid=12176/tid=12177] ppid=12174 vsize=15417404 memory=6791534058613427641 CPUtime=6.92 cores=0,2,4,6
/proc/12176/task/12177/stat : 12177 (java) S 12174 12174 6753 0 -1 1077944384 10185 0 0 0 682 10 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431148958848 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12178] ppid=12174 vsize=15417404 memory=54470184536554 CPUtime=5.23 cores=0,2,4,6
/proc/12176/task/12178/stat : 12178 (java) S 12174 12174 6753 0 -1 1077944384 4180 0 0 0 398 125 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431072758928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12179] ppid=12174 vsize=15417404 memory=140665883399856 CPUtime=5.26 cores=0,2,4,6
/proc/12176/task/12179/stat : 12179 (java) S 12174 12174 6753 0 -1 1077944384 3674 0 0 0 411 115 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431071706128 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12180] ppid=12174 vsize=15417404 memory=7588935152971048277 CPUtime=5.27 cores=0,2,4,6
/proc/12176/task/12180/stat : 12180 (java) S 12174 12174 6753 0 -1 1077944384 3717 0 0 0 408 119 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431070653328 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12181] ppid=12174 vsize=15417404 memory=1452 CPUtime=5.25 cores=0,2,4,6
/proc/12176/task/12181/stat : 12181 (java) S 12174 12174 6753 0 -1 1077944384 3324 0 0 0 406 119 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430734125840 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12182] ppid=12174 vsize=15417404 memory=4659328 CPUtime=1.6 cores=0,2,4,6
/proc/12176/task/12182/stat : 12182 (java) S 12174 12174 6753 0 -1 1077944384 9872 0 0 0 159 1 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430680529264 140431144729218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12183] ppid=12174 vsize=15417404 memory=192951405797159 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12183/stat : 12183 (java) S 12174 12174 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430679475296 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12184] ppid=12174 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12184/stat : 12184 (java) S 12174 12174 6753 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430678422400 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12185] ppid=12174 vsize=15417404 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12185/stat : 12185 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430677370704 140431144736667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12186] ppid=12174 vsize=15417404 memory=192951405797162 CPUtime=1.62 cores=0,2,4,6
/proc/12176/task/12186/stat : 12186 (java) S 12174 12174 6753 0 -1 1077944384 3973 0 0 0 162 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430676319088 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12187] ppid=12174 vsize=15417404 memory=192951405797163 CPUtime=1.26 cores=0,2,4,6
/proc/12176/task/12187/stat : 12187 (java) S 12174 12174 6753 0 -1 1077944384 2973 0 0 0 125 1 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430675266288 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12188] ppid=12174 vsize=15417404 memory=1328 CPUtime=0.6 cores=0,2,4,6
/proc/12176/task/12188/stat : 12188 (java) S 12174 12174 6753 0 -1 1077944384 2988 0 0 0 59 1 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430674213488 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12189] ppid=12174 vsize=15417404 memory=780 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12189/stat : 12189 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430673160928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12190] ppid=12174 vsize=15417404 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12191] ppid=12174 vsize=15417404 memory=1692 CPUtime=4.15 cores=0,2,4,6
/proc/12176/task/12191/stat : 12191 (java) R 12174 12174 6753 0 -1 4202560 343 0 0 0 415 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430595218856 140430756120174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12192] ppid=12174 vsize=15417404 memory=1028 CPUtime=4.13 cores=0,2,4,6
/proc/12176/task/12192/stat : 12192 (java) R 12174 12174 6753 0 -1 4202560 547 0 0 0 413 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430594167096 140430756498226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12193] ppid=12174 vsize=15417404 memory=1060 CPUtime=4.39 cores=0,2,4,6
/proc/12176/task/12193/stat : 12193 (java) R 12174 12174 6753 0 -1 4202560 323 0 0 0 439 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430593113720 140430756346288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12194] ppid=12174 vsize=15417404 memory=2828 CPUtime=3.89 cores=0,2,4,6
/proc/12176/task/12194/stat : 12194 (java) R 12174 12174 6753 0 -1 4202560 497 0 0 0 389 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430592061944 140430756339071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 49.68 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4660780 KiB
[startup+19.201 s]
/proc/loadavg: 8.07 8.32 7.61 10/237 12195
/proc/meminfo: memFree=26879904/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
[pid=12176] ppid=12174 vsize=15417404 memory=4659328 CPUtime=52.86 cores=0,2,4,6
/proc/12176/stat : 12176 (java) S 12174 12174 6753 0 -1 1077944320 48590 0 0 0 4791 495 0 0 20 0 19 0 407946469 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140721216176768 140431144718071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
/proc/12176/statm: 3854351 1164832 3519 1 0 3815453 0
[pid=12176/tid=12177] ppid=12174 vsize=15417404 memory=6943526294502006880 CPUtime=6.92 cores=0,2,4,6
/proc/12176/task/12177/stat : 12177 (java) S 12174 12174 6753 0 -1 1077944384 10185 0 0 0 682 10 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431148958848 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12178] ppid=12174 vsize=15417404 memory=-7361174377247368086 CPUtime=5.23 cores=0,2,4,6
/proc/12176/task/12178/stat : 12178 (java) S 12174 12174 6753 0 -1 1077944384 4180 0 0 0 398 125 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431072758928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12179] ppid=12174 vsize=15417404 memory=-2672971631320983069 CPUtime=5.26 cores=0,2,4,6
/proc/12176/task/12179/stat : 12179 (java) S 12174 12174 6753 0 -1 1077944384 3674 0 0 0 411 115 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431071706128 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12180] ppid=12174 vsize=15417404 memory=0 CPUtime=5.27 cores=0,2,4,6
/proc/12176/task/12180/stat : 12180 (java) S 12174 12174 6753 0 -1 1077944384 3717 0 0 0 408 119 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431070653328 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12181] ppid=12174 vsize=15417404 memory=281331767602112 CPUtime=5.25 cores=0,2,4,6
/proc/12176/task/12181/stat : 12181 (java) S 12174 12174 6753 0 -1 1077944384 3324 0 0 0 406 119 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430734125840 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12182] ppid=12174 vsize=15417404 memory=6944656591801717918 CPUtime=1.6 cores=0,2,4,6
/proc/12176/task/12182/stat : 12182 (java) S 12174 12174 6753 0 -1 1077944384 9872 0 0 0 159 1 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430680529264 140431144729218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12183] ppid=12174 vsize=15417404 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12183/stat : 12183 (java) S 12174 12174 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430679475296 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12184] ppid=12174 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12184/stat : 12184 (java) S 12174 12174 6753 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430678422400 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12185] ppid=12174 vsize=15417404 memory=3280676 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12185/stat : 12185 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430677370704 140431144736667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12186] ppid=12174 vsize=15417404 memory=1452 CPUtime=1.63 cores=0,2,4,6
/proc/12176/task/12186/stat : 12186 (java) S 12174 12174 6753 0 -1 1077944384 4297 0 0 0 163 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430676319088 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12187] ppid=12174 vsize=15417404 memory=3057556 CPUtime=1.26 cores=0,2,4,6
/proc/12176/task/12187/stat : 12187 (java) S 12174 12174 6753 0 -1 1077944384 2973 0 0 0 125 1 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430675266288 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12188] ppid=12174 vsize=15417404 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/12176/task/12188/stat : 12188 (java) S 12174 12174 6753 0 -1 1077944384 2990 0 0 0 59 1 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430674213488 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12189] ppid=12174 vsize=15417404 memory=2542428 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12189/stat : 12189 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430673160928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12190] ppid=12174 vsize=15417404 memory=2538844 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12191] ppid=12174 vsize=15417404 memory=16760 CPUtime=4.95 cores=0,2,4,6
/proc/12176/task/12191/stat : 12191 (java) R 12174 12174 6753 0 -1 4202560 483 0 0 0 495 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430595217952 140430756120179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12192] ppid=12174 vsize=15417404 memory=56 CPUtime=4.93 cores=0,2,4,6
/proc/12176/task/12192/stat : 12192 (java) R 12174 12174 6753 0 -1 4202560 654 0 0 0 493 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430594168168 140430756120179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12193] ppid=12174 vsize=15417404 memory=288230617509003574 CPUtime=5.18 cores=0,2,4,6
/proc/12176/task/12193/stat : 12193 (java) R 12174 12174 6753 0 -1 4202560 380 0 0 0 518 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430593113720 140430756391609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12194] ppid=12174 vsize=15417404 memory=14689690934577591 CPUtime=4.68 cores=0,2,4,6
/proc/12176/task/12194/stat : 12194 (java) R 12174 12174 6753 0 -1 4202560 513 0 0 0 468 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430592063704 140430756120179 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 52.86 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4660780 KiB
[startup+19.601 s]
/proc/loadavg: 8.07 8.32 7.61 10/237 12195
/proc/meminfo: memFree=26879904/32770624 swapFree=66979456/67108860
[pid=12174] ppid=12171 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12174/stat : 12174 (xcsp3-exec) S 12171 12174 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407946469 115843072 363 33554432000 4194304 5098028 140724161407440 140724161405544 139781482844796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30003200 140724161414010 140724161414253 140724161414253 140724161417162 0
/proc/12174/statm: 28282 363 304 221 0 87 0
[pid=12176] ppid=12174 vsize=15417404 memory=4659328 CPUtime=54.46 cores=0,2,4,6
/proc/12176/stat : 12176 (java) S 12174 12174 6753 0 -1 1077944320 48677 0 0 0 4951 495 0 0 20 0 19 0 407946469 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140721216176768 140431144718071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
/proc/12176/statm: 3854351 1164832 3519 1 0 3815453 0
[pid=12176/tid=12177] ppid=12174 vsize=15417404 memory=6791534058613427641 CPUtime=6.92 cores=0,2,4,6
/proc/12176/task/12177/stat : 12177 (java) S 12174 12174 6753 0 -1 1077944384 10185 0 0 0 682 10 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431148958848 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12178] ppid=12174 vsize=15417404 memory=301741416391115062 CPUtime=5.23 cores=0,2,4,6
/proc/12176/task/12178/stat : 12178 (java) S 12174 12174 6753 0 -1 1077944384 4180 0 0 0 398 125 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431072758928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12179] ppid=12174 vsize=15417404 memory=14689690934577591 CPUtime=5.26 cores=0,2,4,6
/proc/12176/task/12179/stat : 12179 (java) S 12174 12174 6753 0 -1 1077944384 3674 0 0 0 411 115 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431071706128 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12180] ppid=12174 vsize=15417404 memory=6944656575208382560 CPUtime=5.27 cores=0,2,4,6
/proc/12176/task/12180/stat : 12180 (java) S 12174 12174 6753 0 -1 1077944384 3717 0 0 0 408 119 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140431070653328 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12181] ppid=12174 vsize=15417404 memory=6944656592387989600 CPUtime=5.25 cores=0,2,4,6
/proc/12176/task/12181/stat : 12181 (java) S 12174 12174 6753 0 -1 1077944384 3324 0 0 0 406 119 0 0 20 0 19 0 407946470 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430734125840 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12182] ppid=12174 vsize=15417404 memory=6944656592387989600 CPUtime=1.6 cores=0,2,4,6
/proc/12176/task/12182/stat : 12182 (java) S 12174 12174 6753 0 -1 1077944384 9872 0 0 0 159 1 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430680529264 140431144729218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12183] ppid=12174 vsize=15417404 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12183/stat : 12183 (java) S 12174 12174 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430679475296 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12184] ppid=12174 vsize=15417404 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12184/stat : 12184 (java) S 12174 12174 6753 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 407946472 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430678422400 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12185] ppid=12174 vsize=15417404 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12185/stat : 12185 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430677370704 140431144736667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12186] ppid=12174 vsize=15417404 memory=6944656592387989600 CPUtime=1.63 cores=0,2,4,6
/proc/12176/task/12186/stat : 12186 (java) S 12174 12174 6753 0 -1 1077944384 4297 0 0 0 163 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430676319088 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12187] ppid=12174 vsize=15417404 memory=6944656575208382560 CPUtime=1.26 cores=0,2,4,6
/proc/12176/task/12187/stat : 12187 (java) S 12174 12174 6753 0 -1 1077944384 2973 0 0 0 125 1 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430675266288 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12188] ppid=12174 vsize=15417404 memory=7228951842409965414 CPUtime=0.6 cores=0,2,4,6
/proc/12176/task/12188/stat : 12188 (java) S 12174 12174 6753 0 -1 1077944384 2990 0 0 0 59 1 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430674213488 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12189] ppid=12174 vsize=15417404 memory=1312 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12189/stat : 12189 (java) S 12174 12174 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430673160928 140431144728277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12190] ppid=12174 vsize=15417404 memory=281331767474736 CPUtime=0 cores=0,2,4,6
/proc/12176/task/12190/stat : 12190 (java) S 12174 12174 6753 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 407946475 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430672108208 140431144729218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12191] ppid=12174 vsize=15417404 memory=2120 CPUtime=5.35 cores=0,2,4,6
/proc/12176/task/12191/stat : 12191 (java) R 12174 12174 6753 0 -1 4202560 545 0 0 0 535 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430595217952 140430756120156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12192] ppid=12174 vsize=15417404 memory=11976 CPUtime=5.33 cores=0,2,4,6
/proc/12176/task/12192/stat : 12192 (java) R 12174 12174 6753 0 -1 4202560 655 0 0 0 533 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430594168168 140430756339056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12193] ppid=12174 vsize=15417404 memory=5732 CPUtime=5.58 cores=0,2,4,6
/proc/12176/task/12193/stat : 12193 (java) R 12174 12174 6753 0 -1 4202560 402 0 0 0 558 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430593113720 140430756822200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
[pid=12176/tid=12194] ppid=12174 vsize=15417404 memory=512 CPUtime=5.07 cores=0,2,4,6
/proc/12176/task/12194/stat : 12194 (java) R 12174 12174 6753 0 -1 4202560 515 0 0 0 507 0 0 0 20 0 19 0 407947854 15787421696 1164832 33554432000 4194304 4196468 140721216194224 140430592063704 140430756346288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30838784 140721216197615 140721216197786 140721216197786 140721216200655 0
Current children cumulated CPU time: 54.46 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4660780 KiB
Child status: 0
Real time (s): 19.6338
CPU time (s): 54.519
CPU user time (s): 49.5372
CPU system time (s): 4.9818
CPU usage (%): 277.679
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 4660780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5372
system time used= 4.9818
maximum resident set size= 4659556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3429
involuntary context switches= 1374
# summary of solver processes directly reported to runsolver:
# pid: 12174
# total CPU time (s): 54.519
# total CPU user time (s): 49.5372
# total CPU system time (s): 4.9818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136569 second user time and 0.269545 second system time
The end