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 (10171 MiB free)
memory of node 1: 16384 MiB (12672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406318-1569414766/watcher-4406318-1569414766 -o /var/tmp/evaluation-result-4406318-1569414766/solver-4406318-1569414766 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1569396627-18796 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1611737593 HOME/instance-4406318-1569414766.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=23992, runsolver pid=23989
Current StackSize limit: 8192 KiB
[startup+0.103003 s]*
/proc/loadavg: 2.01 2.09 2.29 3/229 24008
/proc/meminfo: memFree=23374532/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
[pid=23994] ppid=23992 vsize=15144776 memory=28900 CPUtime=0.13 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23992 18764 0 -1 1077944320 5714 0 0 0 12 1 0 0 20 0 15 0 517413059 15508250624 7225 33554432000 4194304 4196468 140732142483424 140732142465968 140658845306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
/proc/23994/statm: 3786194 7225 3182 1 0 3748377 0
[pid=23994/tid=23995] ppid=23992 vsize=15144776 memory=8180089925722843723 CPUtime=0.1 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) S 23992 23992 18764 0 -1 1077944384 3598 0 0 0 9 1 0 0 20 0 15 0 517413059 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658849536912 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23996] ppid=23992 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658773347216 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23997] ppid=23992 vsize=15144776 memory=140631251138176 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658772294416 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23998] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658771242128 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23999] ppid=23992 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658434501648 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24000] ppid=23992 vsize=15144776 memory=140631251138176 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413061 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658381117552 140658845317762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24001] ppid=23992 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23992 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517413062 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658380063520 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24002] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517413062 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658379011184 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) R 23992 23992 18764 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 517413064 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658376907472 140658845316821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) R 23992 23992 18764 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 15 0 517413065 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658375846224 140658829277608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15144776 memory=140631251138176 CPUtime=0.02 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23992 18764 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 15 0 517413065 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658374802288 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15144776 memory=140631251138176 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413065 15508250624 7225 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30356 KiB
[startup+0.211029 s]*
/proc/loadavg: 2.01 2.09 2.29 4/229 24008
/proc/meminfo: memFree=23361340/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
[pid=23994] ppid=23992 vsize=15144776 memory=41048 CPUtime=0.35 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23992 18764 0 -1 1077944320 9489 0 0 0 32 3 0 0 20 0 15 0 517413059 15508250624 10262 33554432000 4194304 4196468 140732142483424 140732142465968 140658845306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
/proc/23994/statm: 3786194 10262 3310 1 0 3748377 0
[pid=23994/tid=23995] ppid=23992 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) R 23992 23992 18764 0 -1 4202560 6611 0 0 0 18 2 0 0 20 0 15 0 517413059 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658849536176 140658845328541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23996] ppid=23992 vsize=15144776 memory=9276 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658773347216 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23997] ppid=23992 vsize=15144776 memory=3834312821479594545 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658772294416 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23998] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658771242128 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23999] ppid=23992 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658434501648 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24000] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23992 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517413061 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658381117552 140658845317762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24001] ppid=23992 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23992 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517413062 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658380063520 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24002] ppid=23992 vsize=15144776 memory=140631251138176 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517413062 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658379011184 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) S 23992 23992 18764 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 517413064 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658376907376 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) S 23992 23992 18764 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 517413065 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658375854576 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) R 23992 23992 18764 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 517413065 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658374802288 140658824689082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413065 15508250624 10262 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42504 KiB
[startup+0.311571 s]*
/proc/loadavg: 2.01 2.09 2.29 4/229 24008
/proc/meminfo: memFree=23354316/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
[pid=23994] ppid=23992 vsize=15149032 memory=50052 CPUtime=0.54 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23992 18764 0 -1 1077944320 10862 0 0 0 50 4 0 0 20 0 15 0 517413059 15512608768 12513 33554432000 4194304 4196468 140732142483424 140732142465968 140658845306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
/proc/23994/statm: 3787258 12513 3356 1 0 3748377 0
[pid=23994/tid=23995] ppid=23992 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) R 23992 23992 18764 0 -1 4202560 7812 0 0 0 27 3 0 0 20 0 15 0 517413059 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658849537728 140658829387102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23996] ppid=23992 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658773347216 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23997] ppid=23992 vsize=15149032 memory=3546926896011037324 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658772294416 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23998] ppid=23992 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658771242128 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23999] ppid=23992 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658434501648 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24000] ppid=23992 vsize=15149032 memory=140631251138176 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23992 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517413061 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658381117552 140658845317762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24001] ppid=23992 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23992 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517413062 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658380063520 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24002] ppid=23992 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517413062 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658379011184 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) R 23992 23992 18764 0 -1 4202560 451 0 0 0 4 0 0 0 20 0 15 0 517413064 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658376907376 140658822567872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) S 23992 23992 18764 0 -1 1077944384 452 0 0 0 4 0 0 0 20 0 15 0 517413065 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658375854576 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15149032 memory=140631251138176 CPUtime=0.13 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23992 18764 0 -1 1077944384 845 0 0 0 13 0 0 0 20 0 15 0 517413065 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658374802288 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15149032 memory=140631251138176 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413065 15512608768 12513 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51508 KiB
[startup+0.7014 s]
/proc/loadavg: 2.01 2.09 2.29 6/229 24008
/proc/meminfo: memFree=23340440/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
[pid=23994] ppid=23992 vsize=15151156 memory=73224 CPUtime=1.58 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23992 18764 0 -1 1077944320 14239 0 0 0 152 6 0 0 20 0 15 0 517413059 15514783744 18306 33554432000 4194304 4196468 140732142483424 140732142465968 140658845306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
/proc/23994/statm: 3787789 18306 3457 1 0 3748889 0
[pid=23994/tid=23995] ppid=23992 vsize=15151156 memory=2120 CPUtime=0.67 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) R 23992 23992 18764 0 -1 4202560 8806 0 0 0 64 3 0 0 20 0 15 0 517413059 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658849541888 140658454753977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23996] ppid=23992 vsize=15151156 memory=508 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658773347216 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23997] ppid=23992 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658772294416 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23998] ppid=23992 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413060 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658771242128 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23999] ppid=23992 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23992 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517413060 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658434501648 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24000] ppid=23992 vsize=15151156 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23992 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517413061 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658381117552 140658845317762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24001] ppid=23992 vsize=15151156 memory=864 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23992 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658380063520 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24002] ppid=23992 vsize=15151156 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658379011184 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15151156 memory=7086240636128743779 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15151156 memory=7453282923427948884 CPUtime=0.27 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) R 23992 23992 18764 0 -1 4202560 1282 0 0 0 26 1 0 0 20 0 15 0 517413064 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658376888392 140658828838085 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15151156 memory=4639059877604708710 CPUtime=0.27 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) R 23992 23992 18764 0 -1 4202560 1043 0 0 0 27 0 0 0 20 0 15 0 517413065 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658375840600 140658829213268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15151156 memory=8514726395715219869 CPUtime=0.33 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23992 18764 0 -1 1077944384 1799 0 0 0 33 0 0 0 20 0 15 0 517413065 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658374802288 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15151156 memory=7525629757741886052 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517413065 15514783744 18306 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 74680 KiB
[startup+1.50089 s]
/proc/loadavg: 2.01 2.09 2.29 5/229 24008
/proc/meminfo: memFree=23309684/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 67296 33554432000 4194304 4196468 140732142483424 140658379011200 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15514783744 67296 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15151156 memory=269184 CPUtime=2.33 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) S 23992 23992 18764 0 -1 1077944384 24611 0 0 0 229 4 0 0 20 0 15 0 517413064 15514783744 67296 33554432000 4194304 4196468 140732142483424 140658376907376 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15151156 memory=1456 CPUtime=2.26 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) S 23992 23992 18764 0 -1 1077944384 17037 0 0 0 224 2 0 0 20 0 15 0 517413065 15514783744 67296 33554432000 4194304 4196468 140732142483424 140658375854576 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15151156 memory=269184 CPUtime=0.52 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23992 18764 0 -1 1077944384 8163 0 0 0 51 1 0 0 20 0 15 0 517413065 15514783744 67296 33554432000 4194304 4196468 140732142483424 140658374802288 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15151156 memory=65832 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15514783744 67296 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15151156 memory=988 CPUtime=0.5 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1041 0 0 0 18 32 0 0 20 0 15 0 517413065 15514783744 67296 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 2390.83 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 270640 KiB
[startup+2442.3 s]
/proc/loadavg: 0.73 0.73 1.03 2/209 24304
/proc/meminfo: memFree=25362712/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
[pid=23994] ppid=23992 vsize=15151156 memory=273488 CPUtime=2450.98 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23992 18764 0 -1 1077944320 97487 0 0 0 245016 82 0 0 20 0 15 0 517413059 15514783744 68372 33554432000 4194304 4196468 140732142483424 140732142465968 140658845306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
/proc/23994/statm: 3787789 68372 3507 1 0 3748889 0
[pid=23994/tid=23995] ppid=23992 vsize=15151156 memory=273488 CPUtime=2439.6 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) R 23992 23992 18764 0 -1 4202560 22827 0 0 0 243951 9 0 0 20 0 15 0 517413059 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658849546320 140658456829183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23996] ppid=23992 vsize=15151156 memory=273488 CPUtime=1.15 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23992 18764 0 -1 1077944384 3815 0 0 0 104 11 0 0 20 0 15 0 517413060 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658773347216 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23997] ppid=23992 vsize=15151156 memory=1456 CPUtime=1.13 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23992 18764 0 -1 1077944384 4176 0 0 0 104 9 0 0 20 0 15 0 517413060 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658772294416 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23998] ppid=23992 vsize=15151156 memory=273488 CPUtime=1.15 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23992 18764 0 -1 1077944384 5244 0 0 0 105 10 0 0 20 0 15 0 517413060 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658771242128 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23999] ppid=23992 vsize=15151156 memory=1456 CPUtime=1.15 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23992 18764 0 -1 1077944384 3257 0 0 0 105 10 0 0 20 0 15 0 517413060 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658434501648 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24000] ppid=23992 vsize=15151156 memory=273488 CPUtime=1.08 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23992 18764 0 -1 1077944384 5907 0 0 0 99 9 0 0 20 0 15 0 517413061 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658381117552 140658845317762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24001] ppid=23992 vsize=15151156 memory=273488 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23992 18764 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658380063584 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24002] ppid=23992 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658379011200 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15151156 memory=273488 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15151156 memory=804 CPUtime=2.33 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) S 23992 23992 18764 0 -1 1077944384 24613 0 0 0 229 4 0 0 20 0 15 0 517413064 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658376907376 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15151156 memory=1804 CPUtime=2.26 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) S 23992 23992 18764 0 -1 1077944384 17039 0 0 0 224 2 0 0 20 0 15 0 517413065 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658375854576 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15151156 memory=1456 CPUtime=0.52 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23992 18764 0 -1 1077944384 8165 0 0 0 51 1 0 0 20 0 15 0 517413065 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658374802288 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15151156 memory=271440 CPUtime=0.51 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1056 0 0 0 19 32 0 0 20 0 15 0 517413065 15514783744 68372 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 2450.98 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 274944 KiB
[startup+2502.3 s]
/proc/loadavg: 0.82 0.76 1.02 2/208 24308
/proc/meminfo: memFree=25358684/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
[pid=23994] ppid=23992 vsize=15151156 memory=277700 CPUtime=2511.15 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23992 18764 0 -1 1077944320 98653 0 0 0 251031 84 0 0 20 0 15 0 517413059 15514783744 69425 33554432000 4194304 4196468 140732142483424 140732142465968 140658845306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
/proc/23994/statm: 3787789 69425 3507 1 0 3748889 0
[pid=23994/tid=23995] ppid=23992 vsize=15151156 memory=1456 CPUtime=2499.5 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) R 23992 23992 18764 0 -1 4202560 23187 0 0 0 249941 9 0 0 20 0 15 0 517413059 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658849546240 140658456902567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23996] ppid=23992 vsize=15151156 memory=275652 CPUtime=1.2 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23992 18764 0 -1 1077944384 3848 0 0 0 109 11 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658773347216 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23997] ppid=23992 vsize=15151156 memory=275564 CPUtime=1.19 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23992 18764 0 -1 1077944384 4628 0 0 0 110 9 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658772294416 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23998] ppid=23992 vsize=15151156 memory=1456 CPUtime=1.21 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23992 18764 0 -1 1077944384 5302 0 0 0 110 11 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658771242128 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23999] ppid=23992 vsize=15151156 memory=275564 CPUtime=1.2 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23992 18764 0 -1 1077944384 3308 0 0 0 110 10 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658434501648 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24000] ppid=23992 vsize=15151156 memory=1456 CPUtime=1.12 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23992 18764 0 -1 1077944384 6098 0 0 0 103 9 0 0 20 0 15 0 517413061 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658381117552 140658845317762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24001] ppid=23992 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23992 18764 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658380063584 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24002] ppid=23992 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658379011200 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15151156 memory=132 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15151156 memory=1456 CPUtime=2.33 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) S 23992 23992 18764 0 -1 1077944384 24615 0 0 0 229 4 0 0 20 0 15 0 517413064 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658376907376 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15151156 memory=275564 CPUtime=2.26 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) S 23992 23992 18764 0 -1 1077944384 17041 0 0 0 224 2 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658375854576 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15151156 memory=1456 CPUtime=0.52 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23992 18764 0 -1 1077944384 8167 0 0 0 51 1 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658374802288 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15151156 memory=277700 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15151156 memory=1456 CPUtime=0.53 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1071 0 0 0 20 33 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 2511.15 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 279156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.2 s]
/proc/loadavg: 0.77 0.75 1.02 2/208 24308
/proc/meminfo: memFree=25358372/32770624 swapFree=66966900/67108860
[pid=23992] ppid=23989 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (xcsp3-exec) S 23989 23992 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517413059 115843072 364 33554432000 4194304 5098028 140723485476224 140723485474328 140294093329020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34238464 140723485479766 140723485480025 140723485480025 140723485482950 0
/proc/23992/statm: 28282 364 305 221 0 87 0
[pid=23994] ppid=23992 vsize=15151156 memory=277700 CPUtime=2520.07 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23992 18764 0 -1 1077944320 98667 0 0 0 251923 84 0 0 20 0 15 0 517413059 15514783744 69425 33554432000 4194304 4196468 140732142483424 140732142465968 140658845306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
/proc/23994/statm: 3787789 69425 3507 1 0 3748889 0
[pid=23994/tid=23995] ppid=23992 vsize=15151156 memory=776 CPUtime=2508.38 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) R 23992 23992 18764 0 -1 4202560 23195 0 0 0 250829 9 0 0 20 0 15 0 517413059 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658849546432 140658454741580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23996] ppid=23992 vsize=15151156 memory=6791534058613427641 CPUtime=1.21 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23992 18764 0 -1 1077944384 3850 0 0 0 110 11 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658773347216 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23997] ppid=23992 vsize=15151156 memory=277700 CPUtime=1.19 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23992 18764 0 -1 1077944384 4629 0 0 0 110 9 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658772294416 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23998] ppid=23992 vsize=15151156 memory=277700 CPUtime=1.21 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23992 18764 0 -1 1077944384 5303 0 0 0 110 11 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658771242128 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=23999] ppid=23992 vsize=15151156 memory=271440 CPUtime=1.21 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23992 18764 0 -1 1077944384 3310 0 0 0 111 10 0 0 20 0 15 0 517413060 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658434501648 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24000] ppid=23992 vsize=15151156 memory=1056 CPUtime=1.13 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23992 18764 0 -1 1077944384 6098 0 0 0 104 9 0 0 20 0 15 0 517413061 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658381117552 140658845317762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24001] ppid=23992 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23992 18764 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658380063584 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24002] ppid=23992 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23992 18764 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517413062 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658379011200 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24003] ppid=23992 vsize=15151156 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413064 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658377959504 140658845325211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24004] ppid=23992 vsize=15151156 memory=8144 CPUtime=2.33 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) S 23992 23992 18764 0 -1 1077944384 24615 0 0 0 229 4 0 0 20 0 15 0 517413064 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658376907376 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24005] ppid=23992 vsize=15151156 memory=10492 CPUtime=2.26 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) S 23992 23992 18764 0 -1 1077944384 17041 0 0 0 224 2 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658375854576 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24006] ppid=23992 vsize=15151156 memory=14012 CPUtime=0.52 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23992 18764 0 -1 1077944384 8167 0 0 0 51 1 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658374802288 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24007] ppid=23992 vsize=15151156 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) S 23992 23992 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658373749728 140658845316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
[pid=23994/tid=24008] ppid=23992 vsize=15151156 memory=4872558044660077418 CPUtime=0.53 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) S 23992 23992 18764 0 -1 1077944384 1071 0 0 0 20 33 0 0 20 0 15 0 517413065 15514783744 69425 33554432000 4194304 4196468 140732142483424 140658372696496 140658845317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8310784 140732142486491 140732142486666 140732142486666 140732142489551 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 279156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.21 s]
# the end of solver process 23992 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00117 s, system=0.00117 s
[startup+2511.21 s]
# the end of solver process 23994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.25 s, system=0.848657 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): 2511.21
CPU time (s): 2520.09
CPU user time (s): 2519.25
CPU system time (s): 0.848657
CPU usage (%): 100.354
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 279156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.25
system time used= 0.848657
maximum resident set size= 278152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85762
involuntary context switches= 2014
# summary of solver processes directly reported to runsolver:
# pid: 23992,23994
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.25
# total CPU system time (s): 0.848657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3706 second user time and 22.686 second system time
The end