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 (14808 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-4393036-1568351955/watcher-4393036-1568351955 -o /tmp/evaluation-result-4393036-1568351955/solver-4393036-1568351955 -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 1166662685 HOME/instance-4393036-1568351955.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
solver pid=24491, runsolver pid=24488
Current StackSize limit: 8192 KiB
[startup+0.100272 s]*
/proc/loadavg: 9.14 8.59 8.19 7/234 24507
/proc/meminfo: memFree=30862460/32770624 swapFree=66940760/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
[pid=24493] ppid=24491 vsize=15144768 memory=29136 CPUtime=0.13 cores=1,3,5,7
/proc/24493/stat : 24493 (java) S 24491 24491 22042 0 -1 1077944320 5740 0 0 0 12 1 0 0 20 0 15 0 411434174 15508242432 7284 33554432000 4194304 4196468 140724708075520 140724708058064 139805288738551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
/proc/24493/statm: 3786192 7284 3180 1 0 3748377 0
[pid=24493/tid=24494] ppid=24491 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 22042 0 -1 4202560 3611 0 0 0 8 1 0 0 20 0 15 0 411434174 15508242432 7284 33554432000 4194304 4196468 140724708075520 139805292960608 139805280975678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24495] ppid=24491 vsize=15144768 memory=3472468350554420432 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 7284 33554432000 4194304 4196468 140724708075520 139805216778768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24496] ppid=24491 vsize=15144768 memory=140221659268736 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 7284 33554432000 4194304 4196468 140724708075520 139805215726224 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24497] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 7284 33554432000 4194304 4196468 140724708075520 139805214673168 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24498] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 7284 33554432000 4194304 4196468 140724708075520 139805213620624 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24499] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411434176 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804431313648 139805288749698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24500] ppid=24491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411434176 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804430259872 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24501] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411434177 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804429206768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24502] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804428155344 139805288757147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24503] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 22042 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804427102448 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24504] ppid=24491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 22042 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804426049904 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24505] ppid=24491 vsize=15144768 memory=140221659268736 CPUtime=0.02 cores=1,3,5,7
/proc/24493/task/24505/stat : 24505 (java) R 24491 24491 22042 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 411434179 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804424996848 139805288750486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24506] ppid=24491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804423944544 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24507] ppid=24491 vsize=15144768 memory=140221659268736 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 7284 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30588 KiB
[startup+0.210697 s]*
/proc/loadavg: 9.14 8.59 8.19 6/234 24507
/proc/meminfo: memFree=30848864/32770624 swapFree=66940760/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
[pid=24493] ppid=24491 vsize=15144768 memory=40916 CPUtime=0.34 cores=1,3,5,7
/proc/24493/stat : 24493 (java) S 24491 24491 22042 0 -1 1077944320 9464 0 0 0 31 3 0 0 20 0 15 0 411434174 15508242432 10229 33554432000 4194304 4196468 140724708075520 140724708058064 139805288738551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
/proc/24493/statm: 3786192 10229 3273 1 0 3748377 0
[pid=24493/tid=24494] ppid=24491 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 22042 0 -1 4202560 6651 0 0 0 18 2 0 0 20 0 15 0 411434174 15508242432 10229 33554432000 4194304 4196468 140724708075520 139805292973536 139805272819068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24495] ppid=24491 vsize=15144768 memory=3472468350554420432 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 10229 33554432000 4194304 4196468 140724708075520 139805216778768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24496] ppid=24491 vsize=15144768 memory=140221659268736 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 10229 33554432000 4194304 4196468 140724708075520 139805215726224 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24497] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 10229 33554432000 4194304 4196468 140724708075520 139805214673168 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24498] ppid=24491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411434175 15508242432 10229 33554432000 4194304 4196468 140724708075520 139805213620624 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24499] ppid=24491 vsize=15144768 memory=140221659268736 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411434176 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804431313648 139805288749698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24500] ppid=24491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411434176 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804430259872 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24501] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411434177 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804429206768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24502] ppid=24491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804428155344 139805288757147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24503] ppid=24491 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 22042 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 411434179 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804427102448 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24504] ppid=24491 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 22042 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 411434179 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804426049904 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24505] ppid=24491 vsize=15144768 memory=140221659268736 CPUtime=0.08 cores=1,3,5,7
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 22042 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 15 0 411434179 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804424996848 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24506] ppid=24491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804423944544 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24507] ppid=24491 vsize=15144768 memory=140221659268736 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434179 15508242432 10229 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42368 KiB
[startup+0.313814 s]*
/proc/loadavg: 9.14 8.59 8.19 7/234 24507
/proc/meminfo: memFree=30841336/32770624 swapFree=66940760/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
[pid=24493] ppid=24491 vsize=15149024 memory=50216 CPUtime=0.52 cores=1,3,5,7
/proc/24493/stat : 24493 (java) S 24491 24491 22042 0 -1 1077944320 10926 0 0 0 49 3 0 0 20 0 15 0 411434174 15512600576 12554 33554432000 4194304 4196468 140724708075520 140724708058064 139805288738551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
/proc/24493/statm: 3787256 12554 3348 1 0 3748377 0
[pid=24493/tid=24494] ppid=24491 vsize=15149024 memory=8514701219880992413 CPUtime=0.29 cores=1,3,5,7
/proc/24493/task/24494/stat : 24494 (java) R 24491 24491 22042 0 -1 4202560 7863 0 0 0 27 2 0 0 20 0 15 0 411434174 15512600576 12554 33554432000 4194304 4196468 140724708075520 139805292966320 139805272819038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24495] ppid=24491 vsize=15149024 memory=3472468350554420432 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411434175 15512600576 12554 33554432000 4194304 4196468 140724708075520 139805216778768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24496] ppid=24491 vsize=15149024 memory=140221659268736 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434175 15512600576 12554 33554432000 4194304 4196468 140724708075520 139805215726224 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24497] ppid=24491 vsize=15149024 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434175 15512600576 12554 33554432000 4194304 4196468 140724708075520 139805214673168 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24498] ppid=24491 vsize=15149024 memory=140221555550239 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411434175 15512600576 12554 33554432000 4194304 4196468 140724708075520 139805213620624 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24499] ppid=24491 vsize=15149024 memory=280443111061248 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411434176 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804431313648 139805288749698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24500] ppid=24491 vsize=15149024 memory=140221555527183 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411434176 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804430259872 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24501] ppid=24491 vsize=15149024 memory=280443214805088 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411434177 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804429206768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24502] ppid=24491 vsize=15149024 memory=140221555531791 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411434179 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804428155344 139805288757147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24503] ppid=24491 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 22042 0 -1 1077944384 383 0 0 0 3 0 0 0 20 0 15 0 411434179 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804427102448 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24504] ppid=24491 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 22042 0 -1 1077944384 497 0 0 0 5 0 0 0 20 0 15 0 411434179 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804426049904 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24505] ppid=24491 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 22042 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 15 0 411434179 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804424996848 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24506] ppid=24491 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411434179 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804423944544 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24507] ppid=24491 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411434179 15512600576 12554 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51668 KiB
[startup+0.700815 s]
/proc/loadavg: 9.14 8.59 8.19 8/234 24507
/proc/meminfo: memFree=30822528/32770624 swapFree=66940760/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
[pid=24493] ppid=24491 vsize=15417404 memory=91540 CPUtime=1.72 cores=1,3,5,7
/proc/24493/stat : 24493 (java) S 24491 24491 22042 0 -1 1077944320 14702 0 0 0 167 5 0 0 20 0 19 0 411434174 15787421696 22885 33554432000 4194304 4196468 140724708075520 140724708058064 139805288738551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
/proc/24493/statm: 3854351 22885 3462 1 0 3815453 0
[pid=24493/tid=24494] ppid=24491 vsize=15417404 memory=5865469479800824941 CPUtime=0.54 cores=1,3,5,7
/proc/24493/task/24494/stat : 24494 (java) S 24491 24491 22042 0 -1 1077944384 9043 0 0 0 51 3 0 0 20 0 19 0 411434174 15787421696 22885 33554432000 4194304 4196468 140724708075520 139805292979328 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24495] ppid=24491 vsize=15417404 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411434175 15787421696 22885 33554432000 4194304 4196468 140724708075520 139805216778768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24496] ppid=24491 vsize=15417404 memory=6935649255827793216 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411434175 15787421696 22885 33554432000 4194304 4196468 140724708075520 139805215726224 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24497] ppid=24491 vsize=15417404 memory=8514726395715351173 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411434175 15787421696 22885 33554432000 4194304 4196468 140724708075520 139805214673168 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24498] ppid=24491 vsize=15417404 memory=-7395679465411339351 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411434175 15787421696 22885 33554432000 4194304 4196468 140724708075520 139805213620624 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24499] ppid=24491 vsize=15417404 memory=-9181546051567709026 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 411434176 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804431313648 139805288749698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24500] ppid=24491 vsize=15417404 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411434176 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804430259872 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24501] ppid=24491 vsize=15417404 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411434177 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804429206768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24502] ppid=24491 vsize=15417404 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804428155344 139805288757147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24503] ppid=24491 vsize=15417404 memory=38316 CPUtime=0.29 cores=1,3,5,7
/proc/24493/task/24503/stat : 24503 (java) R 24491 24491 22042 0 -1 4202560 1157 0 0 0 29 0 0 0 20 0 19 0 411434179 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804427091088 139805272235335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24504] ppid=24491 vsize=15417404 memory=1988 CPUtime=0.26 cores=1,3,5,7
/proc/24493/task/24504/stat : 24504 (java) R 24491 24491 22042 0 -1 4202560 1170 0 0 0 26 0 0 0 20 0 19 0 411434179 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804426041184 139805266046688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24505] ppid=24491 vsize=15417404 memory=988 CPUtime=0.35 cores=1,3,5,7
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 22042 0 -1 1077944384 1876 0 0 0 35 0 0 0 20 0 19 0 411434179 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804424994640 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24506] ppid=24491 vsize=15417404 memory=7090143983960547920 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804423944544 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24507] ppid=24491 vsize=15417404 memory=7589801671532310637 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 22885 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 92992 KiB
[startup+1.51082 s]
/proc/loadavg: 9.37 8.64 8.21 12/238 24511
/proc/meminfo: memFree=30794048/32770624 swapFree=66940760/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1278 0 0 0 2 4 0 0 20 0 19 0 411434179 15787421696 52156 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24508] ppid=24491 vsize=15417404 memory=988 CPUtime=232.45 cores=1,3,5,7
/proc/24493/task/24508/stat : 24508 (java) R 24491 24491 22042 0 -1 4202560 778 0 0 0 23245 0 0 0 20 0 19 0 411434231 15787421696 52156 33554432000 4194304 4196468 140724708075520 139804413683728 139804899128363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24509] ppid=24491 vsize=15417404 memory=780 CPUtime=231.53 cores=1,3,5,7
/proc/24493/task/24509/stat : 24509 (java) R 24491 24491 22042 0 -1 4202560 2072 0 0 0 23152 1 0 0 20 0 19 0 411434231 15787421696 52156 33554432000 4194304 4196468 140724708075520 139804412628904 139804899615042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24510] ppid=24491 vsize=15417404 memory=5972 CPUtime=232.68 cores=1,3,5,7
/proc/24493/task/24510/stat : 24510 (java) R 24491 24491 22042 0 -1 4202560 686 0 0 0 23268 0 0 0 20 0 19 0 411434231 15787421696 52156 33554432000 4194304 4196468 140724708075520 139804411575712 139804898632548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24511] ppid=24491 vsize=15417404 memory=624 CPUtime=232.11 cores=1,3,5,7
/proc/24493/task/24511/stat : 24511 (java) R 24491 24491 22042 0 -1 4202560 2107 0 0 0 23211 0 0 0 20 0 19 0 411434231 15787421696 52156 33554432000 4194304 4196468 140724708075520 139804410523464 139804899128550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 934.84 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 210076 KiB
[startup+236.802 s]
/proc/loadavg: 8.98 8.65 8.30 9/238 24616
/proc/meminfo: memFree=30438196/32770624 swapFree=66940764/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
[pid=24493] ppid=24491 vsize=15417404 memory=206060 CPUtime=941.22 cores=1,3,5,7
/proc/24493/stat : 24493 (java) S 24491 24491 22042 0 -1 1077944320 60540 0 0 0 94104 18 0 0 20 0 19 0 411434174 15787421696 51515 33554432000 4194304 4196468 140724708075520 140724708058064 139805288738551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
/proc/24493/statm: 3854351 51515 3536 1 0 3815453 0
[pid=24493/tid=24494] ppid=24491 vsize=15417404 memory=1428 CPUtime=0.54 cores=1,3,5,7
/proc/24493/task/24494/stat : 24494 (java) S 24491 24491 22042 0 -1 1077944384 9043 0 0 0 51 3 0 0 20 0 19 0 411434174 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805292979328 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24495] ppid=24491 vsize=15417404 memory=1772 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 22042 0 -1 1077944384 963 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805216778768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24496] ppid=24491 vsize=15417404 memory=1056 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 22042 0 -1 1077944384 919 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805215726224 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24497] ppid=24491 vsize=15417404 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 22042 0 -1 1077944384 1314 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805214673168 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24498] ppid=24491 vsize=15417404 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 22042 0 -1 1077944384 3177 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805213620624 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24499] ppid=24491 vsize=15417404 memory=208624 CPUtime=0.02 cores=1,3,5,7
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 22042 0 -1 1077944384 1778 0 0 0 2 0 0 0 20 0 19 0 411434176 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804431313648 139805288749698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24500] ppid=24491 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 22042 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 411434176 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804430259936 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24501] ppid=24491 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 22042 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 411434177 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804429206784 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24502] ppid=24491 vsize=15417404 memory=2112 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804428155344 139805288757147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24503] ppid=24491 vsize=15417404 memory=12040 CPUtime=2.02 cores=1,3,5,7
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 22042 0 -1 1077944384 17315 0 0 0 200 2 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804427102448 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24504] ppid=24491 vsize=15417404 memory=22920 CPUtime=2.42 cores=1,3,5,7
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 22042 0 -1 1077944384 9734 0 0 0 241 1 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804426049904 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24505] ppid=24491 vsize=15417404 memory=1556 CPUtime=0.59 cores=1,3,5,7
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 22042 0 -1 1077944384 7941 0 0 0 58 1 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804424996848 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24506] ppid=24491 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804423944544 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24507] ppid=24491 vsize=15417404 memory=5972 CPUtime=0.06 cores=1,3,5,7
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1278 0 0 0 2 4 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24508] ppid=24491 vsize=15417404 memory=624 CPUtime=234.05 cores=1,3,5,7
/proc/24493/task/24508/stat : 24508 (java) R 24491 24491 22042 0 -1 4202560 778 0 0 0 23405 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804413681000 139804899017144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24509] ppid=24491 vsize=15417404 memory=4004 CPUtime=233.13 cores=1,3,5,7
/proc/24493/task/24509/stat : 24509 (java) R 24491 24491 22042 0 -1 4202560 2073 0 0 0 23312 1 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804412631760 139804899218404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24510] ppid=24491 vsize=15417404 memory=2832 CPUtime=234.26 cores=1,3,5,7
/proc/24493/task/24510/stat : 24510 (java) R 24491 24491 22042 0 -1 4202560 688 0 0 0 23426 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804411576096 139804898631867 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24511] ppid=24491 vsize=15417404 memory=532 CPUtime=233.71 cores=1,3,5,7
/proc/24493/task/24511/stat : 24511 (java) R 24491 24491 22042 0 -1 4202560 2107 0 0 0 23371 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804410523464 139804898444282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 941.22 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 207512 KiB
[startup+237.202 s]
/proc/loadavg: 8.90 8.64 8.29 11/238 24616
/proc/meminfo: memFree=30438076/32770624 swapFree=66940764/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
[pid=24493] ppid=24491 vsize=15417404 memory=206060 CPUtime=942.8 cores=1,3,5,7
/proc/24493/stat : 24493 (java) S 24491 24491 22042 0 -1 1077944320 60540 0 0 0 94262 18 0 0 20 0 19 0 411434174 15787421696 51515 33554432000 4194304 4196468 140724708075520 140724708058064 139805288738551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
/proc/24493/statm: 3854351 51515 3536 1 0 3815453 0
[pid=24493/tid=24494] ppid=24491 vsize=15417404 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/24493/task/24494/stat : 24494 (java) S 24491 24491 22042 0 -1 1077944384 9043 0 0 0 51 3 0 0 20 0 19 0 411434174 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805292979328 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24495] ppid=24491 vsize=15417404 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 22042 0 -1 1077944384 963 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805216778768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24496] ppid=24491 vsize=15417404 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 22042 0 -1 1077944384 919 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805215726224 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24497] ppid=24491 vsize=15417404 memory=206060 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 22042 0 -1 1077944384 1314 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805214673168 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24498] ppid=24491 vsize=15417404 memory=2680 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 22042 0 -1 1077944384 3177 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805213620624 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24499] ppid=24491 vsize=15417404 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 22042 0 -1 1077944384 1778 0 0 0 2 0 0 0 20 0 19 0 411434176 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804431313648 139805288749698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24500] ppid=24491 vsize=15417404 memory=476488 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 22042 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 411434176 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804430259936 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24501] ppid=24491 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 22042 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 411434177 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804429206784 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24502] ppid=24491 vsize=15417404 memory=532 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804428155344 139805288757147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24503] ppid=24491 vsize=15417404 memory=206060 CPUtime=2.02 cores=1,3,5,7
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 22042 0 -1 1077944384 17315 0 0 0 200 2 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804427102448 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24504] ppid=24491 vsize=15417404 memory=208624 CPUtime=2.42 cores=1,3,5,7
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 22042 0 -1 1077944384 9734 0 0 0 241 1 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804426049904 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24505] ppid=24491 vsize=15417404 memory=920 CPUtime=0.59 cores=1,3,5,7
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 22042 0 -1 1077944384 7941 0 0 0 58 1 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804424996848 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24506] ppid=24491 vsize=15417404 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804423944544 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24507] ppid=24491 vsize=15417404 memory=2648 CPUtime=0.06 cores=1,3,5,7
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1278 0 0 0 2 4 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24508] ppid=24491 vsize=15417404 memory=2648 CPUtime=234.45 cores=1,3,5,7
/proc/24493/task/24508/stat : 24508 (java) R 24491 24491 22042 0 -1 4202560 778 0 0 0 23445 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804413681000 139804898634300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24509] ppid=24491 vsize=15417404 memory=4100 CPUtime=233.53 cores=1,3,5,7
/proc/24493/task/24509/stat : 24509 (java) R 24491 24491 22042 0 -1 4202560 2073 0 0 0 23352 1 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804412631760 139804898824896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24510] ppid=24491 vsize=15417404 memory=1412 CPUtime=234.65 cores=1,3,5,7
/proc/24493/task/24510/stat : 24510 (java) R 24491 24491 22042 0 -1 4202560 688 0 0 0 23465 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804411576096 139804899128045 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24511] ppid=24491 vsize=15417404 memory=3562 CPUtime=234.11 cores=1,3,5,7
/proc/24493/task/24511/stat : 24511 (java) R 24491 24491 22042 0 -1 4202560 2107 0 0 0 23411 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804410523464 139804898442014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 942.8 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 207512 KiB
[startup+237.602 s]
/proc/loadavg: 8.90 8.64 8.29 11/238 24616
/proc/meminfo: memFree=30438076/32770624 swapFree=66940764/67108860
[pid=24491] ppid=24488 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24491/stat : 24491 (xcsp3-exec) S 24488 24491 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411434173 115843072 363 33554432000 4194304 5098028 140730129218672 140730129216776 140526324847228 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35799040 140730129224570 140730129224813 140730129224813 140730129227722 0
/proc/24491/statm: 28282 363 304 221 0 87 0
[pid=24493] ppid=24491 vsize=15417404 memory=206060 CPUtime=944.4 cores=1,3,5,7
/proc/24493/stat : 24493 (java) S 24491 24491 22042 0 -1 1077944320 60540 0 0 0 94422 18 0 0 20 0 19 0 411434174 15787421696 51515 33554432000 4194304 4196468 140724708075520 140724708058064 139805288738551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
/proc/24493/statm: 3854351 51515 3536 1 0 3815453 0
[pid=24493/tid=24494] ppid=24491 vsize=15417404 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/24493/task/24494/stat : 24494 (java) S 24491 24491 22042 0 -1 1077944384 9043 0 0 0 51 3 0 0 20 0 19 0 411434174 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805292979328 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24495] ppid=24491 vsize=15417404 memory=206060 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (java) S 24491 24491 22042 0 -1 1077944384 963 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805216778768 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24496] ppid=24491 vsize=15417404 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (java) S 24491 24491 22042 0 -1 1077944384 919 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805215726224 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24497] ppid=24491 vsize=15417404 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (java) S 24491 24491 22042 0 -1 1077944384 1314 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805214673168 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24498] ppid=24491 vsize=15417404 memory=1772 CPUtime=0.07 cores=1,3,5,7
/proc/24493/task/24498/stat : 24498 (java) S 24491 24491 22042 0 -1 1077944384 3177 0 0 0 6 1 0 0 20 0 19 0 411434175 15787421696 51515 33554432000 4194304 4196468 140724708075520 139805213620624 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24499] ppid=24491 vsize=15417404 memory=1056 CPUtime=0.02 cores=1,3,5,7
/proc/24493/task/24499/stat : 24499 (java) S 24491 24491 22042 0 -1 1077944384 1778 0 0 0 2 0 0 0 20 0 19 0 411434176 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804431313648 139805288749698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24500] ppid=24491 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24500/stat : 24500 (java) S 24491 24491 22042 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 411434176 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804430259936 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24501] ppid=24491 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24501/stat : 24501 (java) S 24491 24491 22042 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 411434177 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804429206784 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24502] ppid=24491 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24502/stat : 24502 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804428155344 139805288757147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24503] ppid=24491 vsize=15417404 memory=220936 CPUtime=2.02 cores=1,3,5,7
/proc/24493/task/24503/stat : 24503 (java) S 24491 24491 22042 0 -1 1077944384 17315 0 0 0 200 2 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804427102448 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24504] ppid=24491 vsize=15417404 memory=6791534058613427641 CPUtime=2.42 cores=1,3,5,7
/proc/24493/task/24504/stat : 24504 (java) S 24491 24491 22042 0 -1 1077944384 9734 0 0 0 241 1 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804426049904 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24505] ppid=24491 vsize=15417404 memory=1556 CPUtime=0.59 cores=1,3,5,7
/proc/24493/task/24505/stat : 24505 (java) S 24491 24491 22042 0 -1 1077944384 7941 0 0 0 58 1 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804424996848 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24506] ppid=24491 vsize=15417404 memory=11340 CPUtime=0 cores=1,3,5,7
/proc/24493/task/24506/stat : 24506 (java) S 24491 24491 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804423944544 139805288748757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24507] ppid=24491 vsize=15417404 memory=1532 CPUtime=0.06 cores=1,3,5,7
/proc/24493/task/24507/stat : 24507 (java) S 24491 24491 22042 0 -1 1077944384 1278 0 0 0 2 4 0 0 20 0 19 0 411434179 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804422892592 139805288749698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24508] ppid=24491 vsize=15417404 memory=1088 CPUtime=234.85 cores=1,3,5,7
/proc/24493/task/24508/stat : 24508 (java) R 24491 24491 22042 0 -1 4202560 778 0 0 0 23485 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804413681000 139804899023668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24509] ppid=24491 vsize=15417404 memory=988 CPUtime=233.93 cores=1,3,5,7
/proc/24493/task/24509/stat : 24509 (java) R 24491 24491 22042 0 -1 4202560 2073 0 0 0 23392 1 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804412631760 139804897202655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24510] ppid=24491 vsize=15417404 memory=2112 CPUtime=235.04 cores=1,3,5,7
/proc/24493/task/24510/stat : 24510 (java) R 24491 24491 22042 0 -1 4202560 688 0 0 0 23504 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804411576096 139804898822923 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
[pid=24493/tid=24511] ppid=24491 vsize=15417404 memory=12040 CPUtime=234.51 cores=1,3,5,7
/proc/24493/task/24511/stat : 24511 (java) R 24491 24491 22042 0 -1 4202560 2107 0 0 0 23451 0 0 0 20 0 19 0 411434231 15787421696 51515 33554432000 4194304 4196468 140724708075520 139804410523464 139804898032964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140724708082671 140724708082842 140724708082842 140724708085711 0
Current children cumulated CPU time: 944.4 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 207512 KiB
Child status: 0
Real time (s): 237.68
CPU time (s): 944.66
CPU user time (s): 944.468
CPU system time (s): 0.191771
CPU usage (%): 397.449
Max. virtual memory (cumulated for all children) (KiB): 15532948
Max. memory (cumulated for all children) (KiB): 243924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 944.468
system time used= 0.191771
maximum resident set size= 242476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8646
involuntary context switches= 19737
# summary of solver processes directly reported to runsolver:
# pid: 24491
# total CPU time (s): 944.66
# total CPU user time (s): 944.468
# total CPU system time (s): 0.191771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49274 second user time and 2.77264 second system time
The end