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 (14891 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393011-1568351711/watcher-4393011-1568351711 -o /tmp/evaluation-result-4393011-1568351711/solver-4393011-1568351711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 465874382 HOME/instance-4393011-1568351711.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24230, runsolver pid=24227
[startup+0.100074 s]*
/proc/loadavg: 8.04 8.36 8.04 8/235 24246
/proc/meminfo: memFree=30946380/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
[pid=24232] ppid=24230 vsize=15144768 memory=30164 CPUtime=0.13 cores=1,3,5,7
/proc/24232/stat : 24232 (java) S 24230 24230 22042 0 -1 1077944320 6002 0 0 0 12 1 0 0 20 0 15 0 411409813 15508242432 7541 33554432000 4194304 4196468 140732209720160 140732209702704 140237279411959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
/proc/24232/statm: 3786192 7541 3145 1 0 3748377 0
[pid=24232/tid=24233] ppid=24230 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/24232/task/24233/stat : 24233 (java) R 24230 24230 22042 0 -1 4202560 3864 0 0 0 9 0 0 0 20 0 15 0 411409813 15508242432 7541 33554432000 4194304 4196468 140732209720160 140237283640304 140237279423894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24234] ppid=24230 vsize=15144768 memory=3472468604181026000 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24234/stat : 24234 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15508242432 7541 33554432000 4194304 4196468 140732209720160 140237207452816 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24235] ppid=24230 vsize=15144768 memory=140475285874304 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24235/stat : 24235 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15508242432 7541 33554432000 4194304 4196468 140732209720160 140237206400016 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24236] ppid=24230 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24236/stat : 24236 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15508242432 7541 33554432000 4194304 4196468 140732209720160 140237205347216 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24237] ppid=24230 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24237/stat : 24237 (java) S 24230 24230 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411409814 15508242432 7541 33554432000 4194304 4196468 140732209720160 140237204294416 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24238] ppid=24230 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24238/stat : 24238 (java) S 24230 24230 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411409815 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236747864432 140237279423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24239] ppid=24230 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24239/stat : 24239 (java) S 24230 24230 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411409815 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236746810400 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24240] ppid=24230 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24240/stat : 24240 (java) S 24230 24230 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411409816 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236745757552 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24241] ppid=24230 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24241/stat : 24241 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411409818 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236744705872 140237279430555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24242] ppid=24230 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24242/stat : 24242 (java) R 24230 24230 22042 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 411409818 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236743653440 140237279433306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24243] ppid=24230 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24243/stat : 24243 (java) R 24230 24230 22042 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 411409818 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236742601552 140237279422165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24244] ppid=24230 vsize=15144768 memory=140475285874304 CPUtime=0.02 cores=1,3,5,7
/proc/24232/task/24244/stat : 24244 (java) R 24230 24230 22042 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 411409818 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236741543696 140237279423894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24245] ppid=24230 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24245/stat : 24245 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411409818 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236740496096 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24246] ppid=24230 vsize=15144768 memory=140475285874304 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24246/stat : 24246 (java) R 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409819 15508242432 7541 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31612 KiB
[startup+0.210819 s]*
/proc/loadavg: 8.04 8.36 8.04 6/235 24246
/proc/meminfo: memFree=30933888/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
[pid=24232] ppid=24230 vsize=15144768 memory=40968 CPUtime=0.34 cores=1,3,5,7
/proc/24232/stat : 24232 (java) S 24230 24230 22042 0 -1 1077944320 9489 0 0 0 32 2 0 0 20 0 15 0 411409813 15508242432 10242 33554432000 4194304 4196468 140732209720160 140732209702704 140237279411959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
/proc/24232/statm: 3786192 10242 3265 1 0 3748377 0
[pid=24232/tid=24233] ppid=24230 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/24232/task/24233/stat : 24233 (java) R 24230 24230 22042 0 -1 4202560 6678 0 0 0 18 2 0 0 20 0 15 0 411409813 15508242432 10242 33554432000 4194304 4196468 140732209720160 140237283646944 140237272091181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24234] ppid=24230 vsize=15144768 memory=3472468604181026000 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24234/stat : 24234 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15508242432 10242 33554432000 4194304 4196468 140732209720160 140237207452816 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24235] ppid=24230 vsize=15145792 memory=140475285874304 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24235/stat : 24235 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15509291008 10242 33554432000 4194304 4196468 140732209720160 140237206400016 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24236] ppid=24230 vsize=15145792 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24236/stat : 24236 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15509291008 10242 33554432000 4194304 4196468 140732209720160 140237205347216 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24237] ppid=24230 vsize=15145792 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24237/stat : 24237 (java) S 24230 24230 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411409814 15509291008 10242 33554432000 4194304 4196468 140732209720160 140237204294416 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24238] ppid=24230 vsize=15144768 memory=140475285874304 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24238/stat : 24238 (java) S 24230 24230 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411409815 15508242432 10274 33554432000 4194304 4196468 140732209720160 140236747864432 140237279423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24239] ppid=24230 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24239/stat : 24239 (java) S 24230 24230 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411409815 15508242432 10274 33554432000 4194304 4196468 140732209720160 140236746810400 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24240] ppid=24230 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24240/stat : 24240 (java) S 24230 24230 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411409816 15508242432 10274 33554432000 4194304 4196468 140732209720160 140236745757552 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24241] ppid=24230 vsize=15146884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24241/stat : 24241 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411409818 15510409216 10274 33554432000 4194304 4196468 140732209720160 140236744705872 140237279430555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24242] ppid=24230 vsize=15146884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24232/task/24242/stat : 24242 (java) S 24230 24230 22042 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 411409818 15510409216 10274 33554432000 4194304 4196468 140732209720160 140236743654256 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24243] ppid=24230 vsize=15146884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24232/task/24243/stat : 24243 (java) S 24230 24230 22042 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 411409818 15510409216 10274 33554432000 4194304 4196468 140732209720160 140236742601456 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24244] ppid=24230 vsize=15146884 memory=140475285874304 CPUtime=0.08 cores=1,3,5,7
/proc/24232/task/24244/stat : 24244 (java) S 24230 24230 22042 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 411409818 15510409216 10274 33554432000 4194304 4196468 140732209720160 140236741548656 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24245] ppid=24230 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24245/stat : 24245 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411409818 15512600576 10277 33554432000 4194304 4196468 140732209720160 140236740496096 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24246] ppid=24230 vsize=15149024 memory=140475285874304 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24246/stat : 24246 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409819 15512600576 10277 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42416 KiB
[startup+0.311302 s]*
/proc/loadavg: 8.04 8.36 8.04 7/235 24246
/proc/meminfo: memFree=30927596/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
[pid=24232] ppid=24230 vsize=15149024 memory=50440 CPUtime=0.53 cores=1,3,5,7
/proc/24232/stat : 24232 (java) S 24230 24230 22042 0 -1 1077944320 10929 0 0 0 50 3 0 0 20 0 15 0 411409813 15512600576 12610 33554432000 4194304 4196468 140732209720160 140732209702704 140237279411959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
/proc/24232/statm: 3787256 12610 3338 1 0 3748377 0
[pid=24232/tid=24233] ppid=24230 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/24232/task/24233/stat : 24233 (java) R 24230 24230 22042 0 -1 4202560 7884 0 0 0 28 2 0 0 20 0 15 0 411409813 15512600576 12610 33554432000 4194304 4196468 140732209720160 140237283645056 140237263492446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24234] ppid=24230 vsize=15149024 memory=3472468604181026000 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24234/stat : 24234 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15512600576 12610 33554432000 4194304 4196468 140732209720160 140237207452816 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24235] ppid=24230 vsize=15149024 memory=140475285874304 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24235/stat : 24235 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15512600576 12610 33554432000 4194304 4196468 140732209720160 140237206400016 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24236] ppid=24230 vsize=15149024 memory=2 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24236/stat : 24236 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409814 15512600576 12610 33554432000 4194304 4196468 140732209720160 140237205347216 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24237] ppid=24230 vsize=15149024 memory=140475159947295 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24237/stat : 24237 (java) S 24230 24230 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411409814 15512600576 12610 33554432000 4194304 4196468 140732209720160 140237204294416 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24238] ppid=24230 vsize=15149024 memory=280950319855360 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24238/stat : 24238 (java) S 24230 24230 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411409815 15512600576 12610 33554432000 4194304 4196468 140732209720160 140236747864432 140237279423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24239] ppid=24230 vsize=15149024 memory=140475159924239 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24239/stat : 24239 (java) S 24230 24230 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411409815 15512600576 12610 33554432000 4194304 4196468 140732209720160 140236746810400 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24240] ppid=24230 vsize=15149024 memory=280950445807712 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24240/stat : 24240 (java) S 24230 24230 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411409816 15512600576 12610 33554432000 4194304 4196468 140732209720160 140236745757552 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24241] ppid=24230 vsize=15149024 memory=140475159928847 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24241/stat : 24241 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411409818 15512600576 12610 33554432000 4194304 4196468 140732209720160 140236744705872 140237279430555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24242] ppid=24230 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24232/task/24242/stat : 24242 (java) S 24230 24230 22042 0 -1 1077944384 491 0 0 0 4 0 0 0 20 0 15 0 411409818 15512600576 12618 33554432000 4194304 4196468 140732209720160 140236743654256 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24243] ppid=24230 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/24232/task/24243/stat : 24243 (java) S 24230 24230 22042 0 -1 1077944384 382 0 0 0 4 0 0 0 20 0 15 0 411409818 15512600576 12618 33554432000 4194304 4196468 140732209720160 140236742601456 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24244] ppid=24230 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24232/task/24244/stat : 24244 (java) S 24230 24230 22042 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 411409818 15512600576 12618 33554432000 4194304 4196468 140732209720160 140236741548656 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24245] ppid=24230 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24245/stat : 24245 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411409818 15512600576 12618 33554432000 4194304 4196468 140732209720160 140236740496096 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24246] ppid=24230 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24246/stat : 24246 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411409819 15512600576 12618 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51888 KiB
[startup+0.701227 s]
/proc/loadavg: 8.04 8.36 8.04 10/235 24246
/proc/meminfo: memFree=30907540/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
[pid=24232] ppid=24230 vsize=15417404 memory=96148 CPUtime=1.76 cores=1,3,5,7
/proc/24232/stat : 24232 (java) S 24230 24230 22042 0 -1 1077944320 15284 0 0 0 171 5 0 0 20 0 19 0 411409813 15787421696 24037 33554432000 4194304 4196468 140732209720160 140732209702704 140237279411959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
/proc/24232/statm: 3854351 24037 3460 1 0 3815453 0
[pid=24232/tid=24233] ppid=24230 vsize=15417404 memory=1088 CPUtime=0.55 cores=1,3,5,7
/proc/24232/task/24233/stat : 24233 (java) S 24230 24230 22042 0 -1 1077944384 9094 0 0 0 52 3 0 0 20 0 19 0 411409813 15787421696 24037 33554432000 4194304 4196468 140732209720160 140237283652736 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24234] ppid=24230 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24234/stat : 24234 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411409814 15787421696 24037 33554432000 4194304 4196468 140732209720160 140237207452816 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24235] ppid=24230 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24235/stat : 24235 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411409814 15787421696 24037 33554432000 4194304 4196468 140732209720160 140237206400016 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24236] ppid=24230 vsize=15417404 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24236/stat : 24236 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411409814 15787421696 24037 33554432000 4194304 4196468 140732209720160 140237205347216 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24237] ppid=24230 vsize=15417404 memory=624 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24237/stat : 24237 (java) S 24230 24230 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411409814 15787421696 24037 33554432000 4194304 4196468 140732209720160 140237204294416 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24238] ppid=24230 vsize=15417404 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24238/stat : 24238 (java) S 24230 24230 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236747864432 140237279423106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24239] ppid=24230 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24239/stat : 24239 (java) S 24230 24230 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236746810400 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24240] ppid=24230 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24240/stat : 24240 (java) S 24230 24230 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411409816 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236745757552 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24241] ppid=24230 vsize=15417404 memory=38316 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24241/stat : 24241 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236744705872 140237279430555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24242] ppid=24230 vsize=15417404 memory=1988 CPUtime=0.29 cores=1,3,5,7
/proc/24232/task/24242/stat : 24242 (java) R 24230 24230 22042 0 -1 4202560 1383 0 0 0 29 0 0 0 20 0 19 0 411409818 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236743640760 140237262898081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24243] ppid=24230 vsize=15417404 memory=988 CPUtime=0.26 cores=1,3,5,7
/proc/24232/task/24243/stat : 24243 (java) R 24230 24230 22042 0 -1 4202560 1453 0 0 0 26 0 0 0 20 0 19 0 411409818 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236742582472 140237262908747 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24244] ppid=24230 vsize=15417404 memory=1428 CPUtime=0.35 cores=1,3,5,7
/proc/24232/task/24244/stat : 24244 (java) R 24230 24230 22042 0 -1 4202560 1901 0 0 0 35 0 0 0 20 0 19 0 411409818 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236741543456 140237272508795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24245] ppid=24230 vsize=15417404 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24245/stat : 24245 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236740496096 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24246] ppid=24230 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24246/stat : 24246 (java) S 24230 24230 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411409819 15787421696 24037 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 97596 KiB
[startup+1.50323 s]
/proc/loadavg: 8.04 8.36 8.04 11/239 24250
/proc/meminfo: memFree=30866032/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24232/task/24246/stat : 24246 (java) S 24230 24230 22042 0 -1 1077944384 569 0 0 0 0 1 0 0 20 0 19 0 411409819 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24247] ppid=24230 vsize=15417404 memory=12040 CPUtime=38.74 cores=1,3,5,7
/proc/24232/task/24247/stat : 24247 (java) R 24230 24230 22042 0 -1 4202560 477 0 0 0 3874 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236730469024 140236878388477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24248] ppid=24230 vsize=15417404 memory=22916 CPUtime=38.11 cores=1,3,5,7
/proc/24232/task/24248/stat : 24248 (java) R 24230 24230 22042 0 -1 4202560 1602 0 0 0 3810 1 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236729417592 140236879163626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24249] ppid=24230 vsize=15417404 memory=1556 CPUtime=38.88 cores=1,3,5,7
/proc/24232/task/24249/stat : 24249 (java) R 24230 24230 22042 0 -1 4202560 480 0 0 0 3888 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236728364648 140236878301335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24250] ppid=24230 vsize=15417404 memory=532 CPUtime=38.41 cores=1,3,5,7
/proc/24232/task/24250/stat : 24250 (java) R 24230 24230 22042 0 -1 4202560 1677 0 0 0 3841 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236727313000 140236878191294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 158.92 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 225412 KiB
[startup+40.6012 s]
/proc/loadavg: 8.21 8.37 8.06 9/237 24253
/proc/meminfo: memFree=30751284/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
[pid=24232] ppid=24230 vsize=15417404 memory=223964 CPUtime=160.48 cores=1,3,5,7
/proc/24232/stat : 24232 (java) S 24230 24230 22042 0 -1 1077944320 40173 0 0 0 16035 13 0 0 20 0 19 0 411409813 15787421696 55991 33554432000 4194304 4196468 140732209720160 140732209702704 140237279411959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
/proc/24232/statm: 3854351 55991 3534 1 0 3815453 0
[pid=24232/tid=24233] ppid=24230 vsize=15417404 memory=6791534058613427641 CPUtime=0.55 cores=1,3,5,7
/proc/24232/task/24233/stat : 24233 (java) S 24230 24230 22042 0 -1 1077944384 9094 0 0 0 52 3 0 0 20 0 19 0 411409813 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237283652736 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24234] ppid=24230 vsize=15417404 memory=106252860394218 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24234/stat : 24234 (java) S 24230 24230 22042 0 -1 1077944384 847 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237207452816 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24235] ppid=24230 vsize=15417404 memory=106252860394218 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24235/stat : 24235 (java) S 24230 24230 22042 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237206400016 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24236] ppid=24230 vsize=15417404 memory=106252860394218 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24236/stat : 24236 (java) S 24230 24230 22042 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237205347216 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24237] ppid=24230 vsize=15417404 memory=106252860394218 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24237/stat : 24237 (java) S 24230 24230 22042 0 -1 1077944384 856 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237204294416 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24238] ppid=24230 vsize=15417404 memory=106252860394218 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24238/stat : 24238 (java) S 24230 24230 22042 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236747864432 140237279423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24239] ppid=24230 vsize=15417404 memory=106252860393962 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24239/stat : 24239 (java) S 24230 24230 22042 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236746810464 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24240] ppid=24230 vsize=15417404 memory=106252860393962 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24240/stat : 24240 (java) S 24230 24230 22042 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 411409816 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236745757568 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24241] ppid=24230 vsize=15417404 memory=106252860393706 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24241/stat : 24241 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236744705872 140237279430555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24242] ppid=24230 vsize=15417404 memory=12040 CPUtime=1.87 cores=1,3,5,7
/proc/24232/task/24242/stat : 24242 (java) S 24230 24230 22042 0 -1 1077944384 8111 0 0 0 187 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236743654256 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24243] ppid=24230 vsize=15417404 memory=22916 CPUtime=1.61 cores=1,3,5,7
/proc/24232/task/24243/stat : 24243 (java) S 24230 24230 22042 0 -1 1077944384 7283 0 0 0 159 2 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236742601456 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24244] ppid=24230 vsize=15417404 memory=1556 CPUtime=0.58 cores=1,3,5,7
/proc/24232/task/24244/stat : 24244 (java) S 24230 24230 22042 0 -1 1077944384 6084 0 0 0 57 1 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236741548656 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24245] ppid=24230 vsize=15417404 memory=532 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24245/stat : 24245 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236740496096 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24246] ppid=24230 vsize=15417404 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24246/stat : 24246 (java) S 24230 24230 22042 0 -1 1077944384 569 0 0 0 0 1 0 0 20 0 19 0 411409819 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24247] ppid=24230 vsize=15417404 memory=1720 CPUtime=39.13 cores=1,3,5,7
/proc/24232/task/24247/stat : 24247 (java) R 24230 24230 22042 0 -1 4202560 477 0 0 0 3913 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236730469024 140236878389734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24248] ppid=24230 vsize=15417404 memory=1976 CPUtime=38.5 cores=1,3,5,7
/proc/24232/task/24248/stat : 24248 (java) R 24230 24230 22042 0 -1 4202560 1604 0 0 0 3849 1 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236729417592 140236878251152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24249] ppid=24230 vsize=15417404 memory=2432 CPUtime=39.27 cores=1,3,5,7
/proc/24232/task/24249/stat : 24249 (java) R 24230 24230 22042 0 -1 4202560 480 0 0 0 3927 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236728364648 140236878388540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24250] ppid=24230 vsize=15417404 memory=1436 CPUtime=38.79 cores=1,3,5,7
/proc/24232/task/24250/stat : 24250 (java) R 24230 24230 22042 0 -1 4202560 1677 0 0 0 3879 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236727313000 140236878223502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 160.48 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 225412 KiB
[startup+40.8012 s]
/proc/loadavg: 8.21 8.37 8.06 9/237 24253
/proc/meminfo: memFree=30751284/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
[pid=24232] ppid=24230 vsize=15417404 memory=223964 CPUtime=161.27 cores=1,3,5,7
/proc/24232/stat : 24232 (java) S 24230 24230 22042 0 -1 1077944320 40177 0 0 0 16114 13 0 0 20 0 19 0 411409813 15787421696 55991 33554432000 4194304 4196468 140732209720160 140732209702704 140237279411959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
/proc/24232/statm: 3854351 55991 3534 1 0 3815453 0
[pid=24232/tid=24233] ppid=24230 vsize=15417404 memory=14698482732632482 CPUtime=0.55 cores=1,3,5,7
/proc/24232/task/24233/stat : 24233 (java) S 24230 24230 22042 0 -1 1077944384 9094 0 0 0 52 3 0 0 20 0 19 0 411409813 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237283652736 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24234] ppid=24230 vsize=15417404 memory=1720 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24234/stat : 24234 (java) S 24230 24230 22042 0 -1 1077944384 847 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237207452816 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24235] ppid=24230 vsize=15417404 memory=1976 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24235/stat : 24235 (java) S 24230 24230 22042 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237206400016 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24236] ppid=24230 vsize=15417404 memory=7086240636162691427 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24236/stat : 24236 (java) S 24230 24230 22042 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237205347216 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24237] ppid=24230 vsize=15417404 memory=7740110344165609817 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24237/stat : 24237 (java) S 24230 24230 22042 0 -1 1077944384 856 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237204294416 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24238] ppid=24230 vsize=15417404 memory=5787221536915148880 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24238/stat : 24238 (java) S 24230 24230 22042 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236747864432 140237279423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24239] ppid=24230 vsize=15417404 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24239/stat : 24239 (java) S 24230 24230 22042 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236746810464 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24240] ppid=24230 vsize=15417404 memory=-8253362664378450574 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24240/stat : 24240 (java) S 24230 24230 22042 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 411409816 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236745757568 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24241] ppid=24230 vsize=15417404 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24241/stat : 24241 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236744705872 140237279430555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24242] ppid=24230 vsize=15417404 memory=6944613755495348631 CPUtime=1.87 cores=1,3,5,7
/proc/24232/task/24242/stat : 24242 (java) S 24230 24230 22042 0 -1 1077944384 8111 0 0 0 187 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236743654256 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24243] ppid=24230 vsize=15417404 memory=8764446273926488160 CPUtime=1.61 cores=1,3,5,7
/proc/24232/task/24243/stat : 24243 (java) S 24230 24230 22042 0 -1 1077944384 7283 0 0 0 159 2 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236742601456 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24244] ppid=24230 vsize=15417404 memory=4137284780655939955 CPUtime=0.58 cores=1,3,5,7
/proc/24232/task/24244/stat : 24244 (java) S 24230 24230 22042 0 -1 1077944384 6084 0 0 0 57 1 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236741548656 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24245] ppid=24230 vsize=15417404 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24245/stat : 24245 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236740496096 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24246] ppid=24230 vsize=15417404 memory=288230617509003574 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24246/stat : 24246 (java) S 24230 24230 22042 0 -1 1077944384 569 0 0 0 0 1 0 0 20 0 19 0 411409819 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24247] ppid=24230 vsize=15417404 memory=14698482732632482 CPUtime=39.33 cores=1,3,5,7
/proc/24232/task/24247/stat : 24247 (java) R 24230 24230 22042 0 -1 4202560 477 0 0 0 3933 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236730469024 140236878224726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24248] ppid=24230 vsize=15417404 memory=1804 CPUtime=38.7 cores=1,3,5,7
/proc/24232/task/24248/stat : 24248 (java) R 24230 24230 22042 0 -1 4202560 1606 0 0 0 3869 1 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236729417592 140236878886464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24249] ppid=24230 vsize=15417404 memory=920 CPUtime=39.47 cores=1,3,5,7
/proc/24232/task/24249/stat : 24249 (java) R 24230 24230 22042 0 -1 4202560 481 0 0 0 3947 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236728364648 140236878252313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24250] ppid=24230 vsize=15417404 memory=3848 CPUtime=38.99 cores=1,3,5,7
/proc/24232/task/24250/stat : 24250 (java) R 24230 24230 22042 0 -1 4202560 1678 0 0 0 3899 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236727313000 140236878222051 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 161.27 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 225412 KiB
[startup+40.9012 s]
/proc/loadavg: 8.21 8.37 8.06 9/237 24253
/proc/meminfo: memFree=30751284/32770624 swapFree=66940760/67108860
[pid=24230] ppid=24227 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24230/stat : 24230 (xcsp3-exec) S 24227 24230 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411409812 115843072 362 33554432000 4194304 5098028 140730655982368 140730655980472 139908804653692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11616256 140730655990651 140730655990893 140730655990893 140730655993802 0
/proc/24230/statm: 28282 362 304 221 0 87 0
[pid=24232] ppid=24230 vsize=15417404 memory=223964 CPUtime=161.67 cores=1,3,5,7
/proc/24232/stat : 24232 (java) S 24230 24230 22042 0 -1 1077944320 40179 0 0 0 16154 13 0 0 20 0 19 0 411409813 15787421696 55991 33554432000 4194304 4196468 140732209720160 140732209702704 140237279411959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
/proc/24232/statm: 3854351 55991 3534 1 0 3815453 0
[pid=24232/tid=24233] ppid=24230 vsize=15417404 memory=1448 CPUtime=0.55 cores=1,3,5,7
/proc/24232/task/24233/stat : 24233 (java) S 24230 24230 22042 0 -1 1077944384 9094 0 0 0 52 3 0 0 20 0 19 0 411409813 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237283652736 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24234] ppid=24230 vsize=15417404 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24234/stat : 24234 (java) S 24230 24230 22042 0 -1 1077944384 847 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237207452816 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24235] ppid=24230 vsize=15417404 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24235/stat : 24235 (java) S 24230 24230 22042 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237206400016 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24236] ppid=24230 vsize=15417404 memory=800 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24236/stat : 24236 (java) S 24230 24230 22042 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237205347216 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24237] ppid=24230 vsize=15417404 memory=1764 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24237/stat : 24237 (java) S 24230 24230 22042 0 -1 1077944384 856 0 0 0 1 0 0 0 20 0 19 0 411409814 15787421696 55991 33554432000 4194304 4196468 140732209720160 140237204294416 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24238] ppid=24230 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24238/stat : 24238 (java) S 24230 24230 22042 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236747864432 140237279423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24239] ppid=24230 vsize=15417404 memory=223964 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24239/stat : 24239 (java) S 24230 24230 22042 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 411409815 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236746810464 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24240] ppid=24230 vsize=15417404 memory=223964 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24240/stat : 24240 (java) S 24230 24230 22042 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 411409816 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236745757568 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24241] ppid=24230 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24241/stat : 24241 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236744705872 140237279430555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24242] ppid=24230 vsize=15417404 memory=79 CPUtime=1.87 cores=1,3,5,7
/proc/24232/task/24242/stat : 24242 (java) S 24230 24230 22042 0 -1 1077944384 8111 0 0 0 187 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236743654256 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24243] ppid=24230 vsize=15417404 memory=280950319694368 CPUtime=1.61 cores=1,3,5,7
/proc/24232/task/24243/stat : 24243 (java) S 24230 24230 22042 0 -1 1077944384 7283 0 0 0 159 2 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236742601456 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24244] ppid=24230 vsize=15417404 memory=1448 CPUtime=0.58 cores=1,3,5,7
/proc/24232/task/24244/stat : 24244 (java) S 24230 24230 22042 0 -1 1077944384 6084 0 0 0 57 1 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236741548656 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24245] ppid=24230 vsize=15417404 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/24232/task/24245/stat : 24245 (java) S 24230 24230 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411409818 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236740496096 140237279422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24246] ppid=24230 vsize=15417404 memory=38316 CPUtime=0.01 cores=1,3,5,7
/proc/24232/task/24246/stat : 24246 (java) S 24230 24230 22042 0 -1 1077944384 569 0 0 0 0 1 0 0 20 0 19 0 411409819 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236739443376 140237279423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24247] ppid=24230 vsize=15417404 memory=3620 CPUtime=39.43 cores=1,3,5,7
/proc/24232/task/24247/stat : 24247 (java) R 24230 24230 22042 0 -1 4202560 477 0 0 0 3943 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236730469024 140236878079467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24248] ppid=24230 vsize=15417404 memory=38316 CPUtime=38.8 cores=1,3,5,7
/proc/24232/task/24248/stat : 24248 (java) R 24230 24230 22042 0 -1 4202560 1606 0 0 0 3879 1 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236729417592 140236878350893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24249] ppid=24230 vsize=15417404 memory=1448 CPUtime=39.57 cores=1,3,5,7
/proc/24232/task/24249/stat : 24249 (java) R 24230 24230 22042 0 -1 4202560 481 0 0 0 3957 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236728364648 140236878190170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
[pid=24232/tid=24250] ppid=24230 vsize=15417404 memory=1448 CPUtime=39.09 cores=1,3,5,7
/proc/24232/task/24250/stat : 24250 (java) R 24230 24230 22042 0 -1 4202560 1680 0 0 0 3909 0 0 0 20 0 19 0 411409870 15787421696 55991 33554432000 4194304 4196468 140732209720160 140236727313000 140236877004690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140732209722351 140732209722522 140732209722522 140732209725391 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 225412 KiB
Child status: 0
Real time (s): 40.9351
CPU time (s): 161.792
CPU user time (s): 161.649
CPU system time (s): 0.142926
CPU usage (%): 395.24
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 225412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.649
system time used= 0.142926
maximum resident set size= 224016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42627
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= 3208
involuntary context switches= 3830
# summary of solver processes directly reported to runsolver:
# pid: 24230
# total CPU time (s): 161.792
# total CPU user time (s): 161.649
# total CPU system time (s): 0.142926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.284032 second user time and 0.506656 second system time
The end