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 (6228 MiB free)
memory of node 1: 16384 MiB (2594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403491-1568991858/watcher-4403491-1568991858 -o /tmp/evaluation-result-4403491-1568991858/solver-4403491-1568991858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568991179-12314 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1882053667 HOME/instance-4403491-1568991858.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12604, runsolver pid=12601
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 8.65 7.71 4.77 4/231 12620
/proc/meminfo: memFree=9005304/32770624 swapFree=66959532/67108860
[pid=12604] ppid=12601 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12604/stat : 12604 (xcsp3-exec) S 12601 12604 12283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475454667 115843072 362 33554432000 4194304 5098028 140723287338208 140723287336312 140525993173628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28880896 140723287343994 140723287344237 140723287344237 140723287347146 0
/proc/12604/statm: 28282 362 304 221 0 87 0
[pid=12606] ppid=12604 vsize=15144776 memory=29344 CPUtime=0.12 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12604 12604 12283 0 -1 1077944320 5814 0 0 0 11 1 0 0 20 0 15 0 475454667 15508250624 7336 33554432000 4194304 4196468 140727048836512 140727048819056 140415712079607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
/proc/12606/statm: 3786194 7336 3120 1 0 3748377 0
[pid=12606/tid=12607] ppid=12604 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/12606/task/12607/stat : 12607 (java) R 12604 12604 12283 0 -1 4202560 3724 0 0 0 8 1 0 0 20 0 15 0 475454667 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415716310928 140415712091542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12608] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12608/stat : 12608 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415640119696 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12609] ppid=12604 vsize=15144776 memory=3472753734672131744 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12609/stat : 12609 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415639066896 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12610] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12610/stat : 12610 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415638014608 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12611] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12611/stat : 12611 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415636961808 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12612] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12612/stat : 12612 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454669 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415046404720 140415712090754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12613] ppid=12604 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12613/stat : 12613 (java) S 12604 12604 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475454670 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415045350688 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12614] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12614/stat : 12614 (java) S 12604 12604 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475454670 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415044298352 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12615] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12615/stat : 12615 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415043246672 140415712098203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12616] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12616/stat : 12616 (java) R 12604 12604 12283 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415042193520 140415712090754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12617] ppid=12604 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12617/stat : 12617 (java) R 12604 12604 12283 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415041140720 140415712100954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12618] ppid=12604 vsize=15144776 memory=140656329041536 CPUtime=0.02 cores=0,2,4,6
/proc/12606/task/12618/stat : 12618 (java) R 12604 12604 12283 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 475454673 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415040088432 140415712100954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12619] ppid=12604 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12619/stat : 12619 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415039035872 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12620] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12620/stat : 12620 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 7336 33554432000 4194304 4196468 140727048836512 140415037983664 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30792 KiB
[startup+0.210795 s]*
/proc/loadavg: 8.65 7.71 4.77 4/231 12620
/proc/meminfo: memFree=8987840/32770624 swapFree=66959532/67108860
[pid=12604] ppid=12601 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12604/stat : 12604 (xcsp3-exec) S 12601 12604 12283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475454667 115843072 362 33554432000 4194304 5098028 140723287338208 140723287336312 140525993173628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28880896 140723287343994 140723287344237 140723287344237 140723287347146 0
/proc/12604/statm: 28282 362 304 221 0 87 0
[pid=12606] ppid=12604 vsize=15144776 memory=40384 CPUtime=0.34 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12604 12604 12283 0 -1 1077944320 9339 0 0 0 31 3 0 0 20 0 15 0 475454667 15508250624 10096 33554432000 4194304 4196468 140727048836512 140727048819056 140415712079607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
/proc/12606/statm: 3786194 10096 3308 1 0 3748377 0
[pid=12606/tid=12607] ppid=12604 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/12606/task/12607/stat : 12607 (java) R 12604 12604 12283 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 475454667 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415716317920 140415712101533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12608] ppid=12604 vsize=15144776 memory=1946936 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12608/stat : 12608 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415640119696 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12609] ppid=12604 vsize=15144776 memory=140656332601032 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12609/stat : 12609 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415639066896 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12610] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12610/stat : 12610 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415638014608 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12611] ppid=12604 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12611/stat : 12611 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415636961808 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12612] ppid=12604 vsize=15144776 memory=140656329041536 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12612/stat : 12612 (java) S 12604 12604 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475454669 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415046404720 140415712090754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12613] ppid=12604 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12613/stat : 12613 (java) S 12604 12604 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475454670 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415045350688 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12614] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12614/stat : 12614 (java) S 12604 12604 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475454670 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415044298352 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12615] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12615/stat : 12615 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415043246672 140415712098203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12616] ppid=12604 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12606/task/12616/stat : 12616 (java) S 12604 12604 12283 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 475454673 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415042193520 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12617] ppid=12604 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12606/task/12617/stat : 12617 (java) S 12604 12604 12283 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 15 0 475454673 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415041140720 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12618] ppid=12604 vsize=15144776 memory=140656329041536 CPUtime=0.07 cores=0,2,4,6
/proc/12606/task/12618/stat : 12618 (java) S 12604 12604 12283 0 -1 1077944384 788 0 0 0 7 0 0 0 20 0 15 0 475454673 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415040088432 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12619] ppid=12604 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12619/stat : 12619 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415039035872 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12620] ppid=12604 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12620/stat : 12620 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454673 15508250624 10096 33554432000 4194304 4196468 140727048836512 140415037983664 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41832 KiB
[startup+0.31065 s]*
/proc/loadavg: 8.65 7.71 4.77 7/231 12620
/proc/meminfo: memFree=8974108/32770624 swapFree=66959532/67108860
[pid=12604] ppid=12601 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12604/stat : 12604 (xcsp3-exec) S 12601 12604 12283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475454667 115843072 362 33554432000 4194304 5098028 140723287338208 140723287336312 140525993173628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28880896 140723287343994 140723287344237 140723287344237 140723287347146 0
/proc/12604/statm: 28282 362 304 221 0 87 0
[pid=12606] ppid=12604 vsize=15149032 memory=50648 CPUtime=0.52 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12604 12604 12283 0 -1 1077944320 10707 0 0 0 48 4 0 0 20 0 15 0 475454667 15512608768 12662 33554432000 4194304 4196468 140727048836512 140727048819056 140415712079607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
/proc/12606/statm: 3787258 12662 3364 1 0 3748377 0
[pid=12606/tid=12607] ppid=12604 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/12606/task/12607/stat : 12607 (java) R 12604 12604 12283 0 -1 4202560 7760 0 0 0 27 3 0 0 20 0 15 0 475454667 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415716310720 140415696160094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12608] ppid=12604 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12608/stat : 12608 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415640119696 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12609] ppid=12604 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12609/stat : 12609 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415639066896 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12610] ppid=12604 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12610/stat : 12610 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415638014608 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12611] ppid=12604 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12611/stat : 12611 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415636961808 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12612] ppid=12604 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12612/stat : 12612 (java) S 12604 12604 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475454669 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415046404720 140415712090754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12613] ppid=12604 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12613/stat : 12613 (java) S 12604 12604 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475454670 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415045350688 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12614] ppid=12604 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12614/stat : 12614 (java) S 12604 12604 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475454670 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415044298352 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12615] ppid=12604 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12615/stat : 12615 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415043246672 140415712098203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12616] ppid=12604 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/12606/task/12616/stat : 12616 (java) S 12604 12604 12283 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 15 0 475454673 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415042193520 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12617] ppid=12604 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12606/task/12617/stat : 12617 (java) S 12604 12604 12283 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 15 0 475454673 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415041140720 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12618] ppid=12604 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12606/task/12618/stat : 12618 (java) S 12604 12604 12283 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 15 0 475454673 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415040088432 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12619] ppid=12604 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12619/stat : 12619 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415039035872 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12620] ppid=12604 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12620/stat : 12620 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454673 15512608768 12662 33554432000 4194304 4196468 140727048836512 140415037983664 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52096 KiB
[startup+0.700777 s]
/proc/loadavg: 8.65 7.71 4.77 9/231 12620
/proc/meminfo: memFree=8941692/32770624 swapFree=66959532/67108860
[pid=12604] ppid=12601 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12604/stat : 12604 (xcsp3-exec) S 12601 12604 12283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475454667 115843072 362 33554432000 4194304 5098028 140723287338208 140723287336312 140525993173628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28880896 140723287343994 140723287344237 140723287344237 140723287347146 0
/proc/12604/statm: 28282 362 304 221 0 87 0
[pid=12606] ppid=12604 vsize=15151156 memory=93088 CPUtime=1.61 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12604 12604 12283 0 -1 1077944320 14595 0 0 0 155 6 0 0 20 0 15 0 475454667 15514783744 23206 33554432000 4194304 4196468 140727048836512 140727048819056 140415712079607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
/proc/12606/statm: 3787789 23272 3450 1 0 3748889 0
[pid=12606/tid=12607] ppid=12604 vsize=15151156 memory=-3704326594973231466 CPUtime=0.66 cores=0,2,4,6
/proc/12606/task/12607/stat : 12607 (java) R 12604 12604 12283 0 -1 4202560 9026 0 0 0 62 4 0 0 20 0 15 0 475454667 15514783744 23272 33554432000 4194304 4196468 140727048836512 140415716314672 140415318669953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12608] ppid=12604 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12608/stat : 12608 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15514783744 23272 33554432000 4194304 4196468 140727048836512 140415640119696 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12609] ppid=12604 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12609/stat : 12609 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454668 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415639066896 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12610] ppid=12604 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12610/stat : 12610 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415638014608 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12611] ppid=12604 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12611/stat : 12611 (java) S 12604 12604 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475454668 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415636961808 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12612] ppid=12604 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12612/stat : 12612 (java) S 12604 12604 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475454669 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415046404720 140415712090754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12613] ppid=12604 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12613/stat : 12613 (java) S 12604 12604 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475454670 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415045350688 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12614] ppid=12604 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12614/stat : 12614 (java) S 12604 12604 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475454670 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415044298352 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12615] ppid=12604 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12615/stat : 12615 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415043246672 140415712098203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12616] ppid=12604 vsize=15151156 memory=620 CPUtime=0.26 cores=0,2,4,6
/proc/12606/task/12616/stat : 12616 (java) R 12604 12604 12283 0 -1 4202560 1326 0 0 0 26 0 0 0 20 0 15 0 475454673 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415042179792 140415691318016 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12617] ppid=12604 vsize=15151156 memory=1496 CPUtime=0.25 cores=0,2,4,6
/proc/12606/task/12617/stat : 12617 (java) R 12604 12604 12283 0 -1 4202560 1175 0 0 0 25 0 0 0 20 0 15 0 475454673 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415041132672 140415692779904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12618] ppid=12604 vsize=15151156 memory=1016 CPUtime=0.4 cores=0,2,4,6
/proc/12606/task/12618/stat : 12618 (java) S 12604 12604 12283 0 -1 1077944384 1838 0 0 0 40 0 0 0 20 0 15 0 475454673 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415040088432 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12619] ppid=12604 vsize=15151156 memory=6044 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12619/stat : 12619 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475454673 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415039035872 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12620] ppid=12604 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12620/stat : 12620 (java) S 12604 12604 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475454673 15514783744 23338 33554432000 4194304 4196468 140727048836512 140415037983664 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94536 KiB
[startup+1.50088 s]
/proc/loadavg: 8.65 7.71 4.77 13/239 12628
/proc/meminfo: memFree=8768964/32770624 swapFree=66959532/67108860
[pid=12604] ppid=12601 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12604/stat : 12604 (xcsp3-exec) S 12601 12604 12283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475454667 115843072 362 33554432000 4194304 5098028 140723287338208 140723287336312 140525993173628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28880896 140723287343994 140723287344237 140723287344237 140723287347146 0
/proc/12604/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12606/stat : 12606 (java) S 12604 12604 12283 0 -1 1077944320 66090 0 0 0 207305 55 0 0 20 0 19 0 475454667 15787429888 110562 33554432000 4194304 4196468 140727048836512 140727048819056 140415712079607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
/proc/12606/statm: 3854353 110562 3538 1 0 3815453 0
[pid=12606/tid=12607] ppid=12604 vsize=15417412 memory=780 CPUtime=0.87 cores=0,2,4,6
/proc/12606/task/12607/stat : 12607 (java) S 12604 12604 12283 0 -1 1077944384 9109 0 0 0 82 5 0 0 20 0 19 0 475454667 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415716320384 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12608] ppid=12604 vsize=15417412 memory=620 CPUtime=0.87 cores=0,2,4,6
/proc/12606/task/12608/stat : 12608 (java) S 12604 12604 12283 0 -1 1077944384 2370 0 0 0 78 9 0 0 20 0 19 0 475454668 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415640119696 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12609] ppid=12604 vsize=15417412 memory=6791534058613427641 CPUtime=0.86 cores=0,2,4,6
/proc/12606/task/12609/stat : 12609 (java) S 12604 12604 12283 0 -1 1077944384 3683 0 0 0 78 8 0 0 20 0 19 0 475454668 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415639066896 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12610] ppid=12604 vsize=15417412 memory=6044 CPUtime=0.87 cores=0,2,4,6
/proc/12606/task/12610/stat : 12610 (java) S 12604 12604 12283 0 -1 1077944384 2121 0 0 0 79 8 0 0 20 0 19 0 475454668 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415638014608 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12611] ppid=12604 vsize=15417412 memory=14012 CPUtime=0.87 cores=0,2,4,6
/proc/12606/task/12611/stat : 12611 (java) S 12604 12604 12283 0 -1 1077944384 1476 0 0 0 77 10 0 0 20 0 19 0 475454668 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415636961808 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12612] ppid=12604 vsize=15417412 memory=2116 CPUtime=0.52 cores=0,2,4,6
/proc/12606/task/12612/stat : 12612 (java) S 12604 12604 12283 0 -1 1077944384 6764 0 0 0 48 4 0 0 20 0 19 0 475454669 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415046404720 140415712090754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12613] ppid=12604 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12613/stat : 12613 (java) S 12604 12604 12283 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 475454670 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415045350752 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12614] ppid=12604 vsize=15417412 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12614/stat : 12614 (java) S 12604 12604 12283 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475454670 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415044298368 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12615] ppid=12604 vsize=15417412 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12615/stat : 12615 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475454673 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415043246672 140415712098203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12616] ppid=12604 vsize=15417412 memory=6944656592455360604 CPUtime=2.15 cores=0,2,4,6
/proc/12606/task/12616/stat : 12616 (java) S 12604 12604 12283 0 -1 1077944384 8711 0 0 0 215 0 0 0 20 0 19 0 475454673 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415042193520 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12617] ppid=12604 vsize=15417412 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/12606/task/12617/stat : 12617 (java) S 12604 12604 12283 0 -1 1077944384 9894 0 0 0 185 1 0 0 20 0 19 0 475454673 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415041140720 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12618] ppid=12604 vsize=15417412 memory=7084821286523977827 CPUtime=0.67 cores=0,2,4,6
/proc/12606/task/12618/stat : 12618 (java) S 12604 12604 12283 0 -1 1077944384 5746 0 0 0 66 1 0 0 20 0 19 0 475454673 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415040088432 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12619] ppid=12604 vsize=15417412 memory=7517440534958337387 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12619/stat : 12619 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475454673 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415039035872 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12620] ppid=12604 vsize=15417412 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/12606/task/12620/stat : 12620 (java) S 12604 12604 12283 0 -1 1077944384 293 0 0 0 6 6 0 0 20 0 19 0 475454673 15787429888 110562 33554432000 4194304 4196468 140727048836512 140415037983664 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12625] ppid=12604 vsize=15417412 memory=1448 CPUtime=515.59 cores=0,2,4,6
/proc/12606/task/12625/stat : 12625 (java) R 12604 12604 12283 0 -1 4202560 1492 0 0 0 51557 2 0 0 20 0 19 0 475454757 15787429888 110562 33554432000 4194304 4196468 140727048836512 140414567828480 140415321551962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12626] ppid=12604 vsize=15417412 memory=1016 CPUtime=516.56 cores=0,2,4,6
/proc/12606/task/12626/stat : 12626 (java) R 12604 12604 12283 0 -1 4202560 5691 0 0 0 51649 7 0 0 20 0 19 0 475454757 15787429888 110562 33554432000 4194304 4196468 140727048836512 140414566777448 140415321239651 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12627] ppid=12604 vsize=15417412 memory=6044 CPUtime=516.03 cores=0,2,4,6
/proc/12606/task/12627/stat : 12627 (java) R 12604 12604 12283 0 -1 4202560 1142 0 0 0 51603 0 0 0 20 0 19 0 475454757 15787429888 110562 33554432000 4194304 4196468 140727048836512 140414565724416 140415321239705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12628] ppid=12604 vsize=15417412 memory=14012 CPUtime=515.63 cores=0,2,4,6
/proc/12606/task/12628/stat : 12628 (java) R 12604 12604 12283 0 -1 4202560 6253 0 0 0 51560 3 0 0 20 0 19 0 475454757 15787429888 110562 33554432000 4194304 4196468 140727048836512 140414564673904 140415321671330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
Current children cumulated CPU time: 2073.6 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 443696 KiB
[startup+582.302 s]
/proc/loadavg: 8.55 8.50 6.55 10/238 12680
/proc/meminfo: memFree=8119444/32770624 swapFree=66959532/67108860
[pid=12604] ppid=12601 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12604/stat : 12604 (xcsp3-exec) S 12601 12604 12283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475454667 115843072 362 33554432000 4194304 5098028 140723287338208 140723287336312 140525993173628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28880896 140723287343994 140723287344237 140723287344237 140723287347146 0
/proc/12604/statm: 28282 362 304 221 0 87 0
[pid=12606] ppid=12604 vsize=15417412 memory=442876 CPUtime=2311.62 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12604 12604 12283 0 -1 1077944320 66893 0 0 0 231104 58 0 0 20 0 19 0 475454667 15787429888 110719 33554432000 4194304 4196468 140727048836512 140727048819056 140415712079607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
/proc/12606/statm: 3854353 110719 3540 1 0 3815453 0
[pid=12606/tid=12607] ppid=12604 vsize=15417412 memory=6044 CPUtime=0.87 cores=0,2,4,6
/proc/12606/task/12607/stat : 12607 (java) S 12604 12604 12283 0 -1 1077944384 9109 0 0 0 82 5 0 0 20 0 19 0 475454667 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415716320384 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12608] ppid=12604 vsize=15417412 memory=14012 CPUtime=0.93 cores=0,2,4,6
/proc/12606/task/12608/stat : 12608 (java) S 12604 12604 12283 0 -1 1077944384 2397 0 0 0 84 9 0 0 20 0 19 0 475454668 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415640119696 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12609] ppid=12604 vsize=15417412 memory=6791534058613427641 CPUtime=0.93 cores=0,2,4,6
/proc/12606/task/12609/stat : 12609 (java) S 12604 12604 12283 0 -1 1077944384 3708 0 0 0 84 9 0 0 20 0 19 0 475454668 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415639066896 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12610] ppid=12604 vsize=15417412 memory=524 CPUtime=0.93 cores=0,2,4,6
/proc/12606/task/12610/stat : 12610 (java) S 12604 12604 12283 0 -1 1077944384 2168 0 0 0 85 8 0 0 20 0 19 0 475454668 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415638014608 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12611] ppid=12604 vsize=15417412 memory=1568 CPUtime=0.93 cores=0,2,4,6
/proc/12606/task/12611/stat : 12611 (java) S 12604 12604 12283 0 -1 1077944384 1784 0 0 0 83 10 0 0 20 0 19 0 475454668 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415636961808 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12612] ppid=12604 vsize=15417412 memory=928 CPUtime=0.62 cores=0,2,4,6
/proc/12606/task/12612/stat : 12612 (java) S 12604 12604 12283 0 -1 1077944384 6818 0 0 0 57 5 0 0 20 0 19 0 475454669 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415046404720 140415712090754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12613] ppid=12604 vsize=15417412 memory=3520 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12613/stat : 12613 (java) S 12604 12604 12283 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 475454670 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415045350752 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12614] ppid=12604 vsize=15417412 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12614/stat : 12614 (java) S 12604 12604 12283 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475454670 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415044298368 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12615] ppid=12604 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12615/stat : 12615 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475454673 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415043246672 140415712098203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12616] ppid=12604 vsize=15417412 memory=808 CPUtime=2.15 cores=0,2,4,6
/proc/12606/task/12616/stat : 12616 (java) S 12604 12604 12283 0 -1 1077944384 8711 0 0 0 215 0 0 0 20 0 19 0 475454673 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415042193520 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12617] ppid=12604 vsize=15417412 memory=1448 CPUtime=1.86 cores=0,2,4,6
/proc/12606/task/12617/stat : 12617 (java) S 12604 12604 12283 0 -1 1077944384 9894 0 0 0 185 1 0 0 20 0 19 0 475454673 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415041140720 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12618] ppid=12604 vsize=15417412 memory=1764 CPUtime=0.67 cores=0,2,4,6
/proc/12606/task/12618/stat : 12618 (java) S 12604 12604 12283 0 -1 1077944384 5747 0 0 0 66 1 0 0 20 0 19 0 475454673 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415040088432 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12619] ppid=12604 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12619/stat : 12619 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475454673 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415039035872 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12620] ppid=12604 vsize=15417412 memory=442876 CPUtime=0.12 cores=0,2,4,6
/proc/12606/task/12620/stat : 12620 (java) S 12604 12604 12283 0 -1 1077944384 297 0 0 0 6 6 0 0 20 0 19 0 475454673 15787429888 110719 33554432000 4194304 4196468 140727048836512 140415037983664 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 61 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12625] ppid=12604 vsize=15417412 memory=111632 CPUtime=574.93 cores=0,2,4,6
/proc/12606/task/12625/stat : 12625 (java) R 12604 12604 12283 0 -1 4202560 1568 0 0 0 57491 2 0 0 20 0 19 0 475454757 15787429888 110719 33554432000 4194304 4196468 140727048836512 140414567828584 140415321551998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12626] ppid=12604 vsize=15417412 memory=800 CPUtime=576 cores=0,2,4,6
/proc/12606/task/12626/stat : 12626 (java) R 12604 12604 12283 0 -1 4202560 5785 0 0 0 57593 7 0 0 20 0 19 0 475454757 15787429888 110719 33554432000 4194304 4196468 140727048836512 140414566780256 140415323243802 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12627] ppid=12604 vsize=15417412 memory=4108 CPUtime=575.47 cores=0,2,4,6
/proc/12606/task/12627/stat : 12627 (java) R 12604 12604 12283 0 -1 4202560 1177 0 0 0 57547 0 0 0 20 0 19 0 475454757 15787429888 110719 33554432000 4194304 4196468 140727048836512 140414565724480 140415322874055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12628] ppid=12604 vsize=15417412 memory=1808 CPUtime=575.05 cores=0,2,4,6
/proc/12606/task/12628/stat : 12628 (java) R 12604 12604 12283 0 -1 4202560 6385 0 0 0 57502 3 0 0 20 0 19 0 475454757 15787429888 110719 33554432000 4194304 4196468 140727048836512 140414564670992 140415321671234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
Current children cumulated CPU time: 2311.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 444324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.902 s]
/proc/loadavg: 8.22 8.41 6.64 9/238 12684
/proc/meminfo: memFree=8119576/32770624 swapFree=66959532/67108860
[pid=12604] ppid=12601 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12604/stat : 12604 (xcsp3-exec) S 12601 12604 12283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475454667 115843072 362 33554432000 4194304 5098028 140723287338208 140723287336312 140525993173628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28880896 140723287343994 140723287344237 140723287344237 140723287347146 0
/proc/12604/statm: 28282 362 304 221 0 87 0
[pid=12606] ppid=12604 vsize=15417412 memory=443000 CPUtime=2520.23 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12604 12604 12283 0 -1 1077944320 68006 0 0 0 251962 61 0 0 20 0 19 0 475454667 15787429888 110750 33554432000 4194304 4196468 140727048836512 140727048819056 140415712079607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
/proc/12606/statm: 3854353 110750 3540 1 0 3815453 0
[pid=12606/tid=12607] ppid=12604 vsize=15417412 memory=6044 CPUtime=0.87 cores=0,2,4,6
/proc/12606/task/12607/stat : 12607 (java) S 12604 12604 12283 0 -1 1077944384 9109 0 0 0 82 5 0 0 20 0 19 0 475454667 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415716320384 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12608] ppid=12604 vsize=15417412 memory=14012 CPUtime=1 cores=0,2,4,6
/proc/12606/task/12608/stat : 12608 (java) S 12604 12604 12283 0 -1 1077944384 2473 0 0 0 90 10 0 0 20 0 19 0 475454668 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415640119696 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12609] ppid=12604 vsize=15417412 memory=2116 CPUtime=1 cores=0,2,4,6
/proc/12606/task/12609/stat : 12609 (java) S 12604 12604 12283 0 -1 1077944384 3751 0 0 0 91 9 0 0 20 0 19 0 475454668 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415639066896 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12610] ppid=12604 vsize=15417412 memory=6791534058613427641 CPUtime=1.01 cores=0,2,4,6
/proc/12606/task/12610/stat : 12610 (java) S 12604 12604 12283 0 -1 1077944384 2306 0 0 0 92 9 0 0 20 0 19 0 475454668 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415638014608 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12611] ppid=12604 vsize=15417412 memory=6044 CPUtime=1.01 cores=0,2,4,6
/proc/12606/task/12611/stat : 12611 (java) S 12604 12604 12283 0 -1 1077944384 1860 0 0 0 90 11 0 0 20 0 19 0 475454668 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415636961808 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12612] ppid=12604 vsize=15417412 memory=14012 CPUtime=0.72 cores=0,2,4,6
/proc/12606/task/12612/stat : 12612 (java) S 12604 12604 12283 0 -1 1077944384 7049 0 0 0 65 7 0 0 20 0 19 0 475454669 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415046404720 140415712090754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12613] ppid=12604 vsize=15417412 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12613/stat : 12613 (java) S 12604 12604 12283 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 475454670 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415045350752 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12614] ppid=12604 vsize=15417412 memory=30356 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12614/stat : 12614 (java) S 12604 12604 12283 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475454670 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415044298368 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12615] ppid=12604 vsize=15417412 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12615/stat : 12615 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475454673 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415043246672 140415712098203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12616] ppid=12604 vsize=15417412 memory=524 CPUtime=2.15 cores=0,2,4,6
/proc/12606/task/12616/stat : 12616 (java) S 12604 12604 12283 0 -1 1077944384 8713 0 0 0 215 0 0 0 20 0 19 0 475454673 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415042193520 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12617] ppid=12604 vsize=15417412 memory=1568 CPUtime=1.86 cores=0,2,4,6
/proc/12606/task/12617/stat : 12617 (java) S 12604 12604 12283 0 -1 1077944384 9897 0 0 0 185 1 0 0 20 0 19 0 475454673 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415041140720 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12618] ppid=12604 vsize=15417412 memory=6791534058613427641 CPUtime=0.67 cores=0,2,4,6
/proc/12606/task/12618/stat : 12618 (java) S 12604 12604 12283 0 -1 1077944384 5749 0 0 0 66 1 0 0 20 0 19 0 475454673 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415040088432 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12619] ppid=12604 vsize=15417412 memory=524 CPUtime=0 cores=0,2,4,6
/proc/12606/task/12619/stat : 12619 (java) S 12604 12604 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475454673 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415039035872 140415712089813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12620] ppid=12604 vsize=15417412 memory=1568 CPUtime=0.19 cores=0,2,4,6
/proc/12606/task/12620/stat : 12620 (java) S 12604 12604 12283 0 -1 1077944384 318 0 0 0 13 6 0 0 20 0 19 0 475454673 15787429888 110750 33554432000 4194304 4196468 140727048836512 140415037983664 140415712090754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 61 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12625] ppid=12604 vsize=15417412 memory=928 CPUtime=627.05 cores=0,2,4,6
/proc/12606/task/12625/stat : 12625 (java) R 12604 12604 12283 0 -1 4202560 1704 0 0 0 62703 2 0 0 20 0 19 0 475454757 15787429888 110750 33554432000 4194304 4196468 140727048836512 140414567828368 140415323243762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12626] ppid=12604 vsize=15417412 memory=443000 CPUtime=628.06 cores=0,2,4,6
/proc/12606/task/12626/stat : 12626 (java) R 12604 12604 12283 0 -1 4202560 5918 0 0 0 62799 7 0 0 20 0 19 0 475454757 15787429888 110750 33554432000 4194304 4196468 140727048836512 140414566780352 140415322879780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12627] ppid=12604 vsize=15417412 memory=1448 CPUtime=627.52 cores=0,2,4,6
/proc/12606/task/12627/stat : 12627 (java) R 12604 12604 12283 0 -1 4202560 1275 0 0 0 62752 0 0 0 20 0 19 0 475454757 15787429888 110750 33554432000 4194304 4196468 140727048836512 140414565724616 140415321551233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
[pid=12606/tid=12628] ppid=12604 vsize=15417412 memory=387780 CPUtime=627.03 cores=0,2,4,6
/proc/12606/task/12628/stat : 12628 (java) R 12604 12604 12283 0 -1 4202560 6539 0 0 0 62700 3 0 0 20 0 19 0 475454757 15787429888 110750 33554432000 4194304 4196468 140727048836512 140414564671168 140415321671471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13398016 140727048840175 140727048840346 140727048840346 140727048843215 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 444448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.927 s]
# the end of solver process 12604 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002332 s
[startup+634.983 s]
# the end of solver process 12606 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.93 s, system=0.619345 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 634.983
CPU time (s): 2520.55
CPU user time (s): 2519.93
CPU system time (s): 0.619345
CPU usage (%): 396.947
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 578944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.619345
maximum resident set size= 586640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39680
involuntary context switches= 45976
# summary of solver processes directly reported to runsolver:
# pid: 12604,12606
# total CPU time (s): 2520.55
# total CPU user time (s): 2519.93
# total CPU system time (s): 0.619345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01144 second user time and 6.98274 second system time
The end