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 (13975 MiB free)
memory of node 1: 16384 MiB (14134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270029-1502621259/watcher-4270029-1502621259 -o /tmp/evaluation-result-4270029-1502621259/solver-4270029-1502621259 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1567626891 HOME/instance-4270029-1502621259.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=8647, runsolver pid=8644
Current StackSize limit: 8192 KiB
[startup+0.101656 s]*
/proc/loadavg: 1.20 1.41 1.54 4/218 8663
/proc/meminfo: memFree=28765496/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13978596 memory=30380 CPUtime=0.12 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 5443 0 0 0 11 1 0 0 20 0 15 0 95206995 14314082304 7595 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3494649 7595 2870 1 0 3482966 0
[pid=8649/tid=8650] ppid=8647 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) R 8647 8647 6338 0 -1 4202560 3391 0 0 0 8 1 0 0 20 0 15 0 95206996 14314082304 7595 33554432000 4194304 4196468 140723756208896 140470324119344 140470319898006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13978596 memory=3472467818827887824 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14314082304 7595 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13978596 memory=139689932736128 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14314082304 7595 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14314082304 7595 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206996 14314082304 7595 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) S 8647 8647 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206998 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469860985072 140470319897218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206998 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206998 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) S 8647 8647 6338 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 95207001 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469294320368 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) S 8647 8647 6338 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 95207001 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469293267824 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13978596 memory=139689932736128 CPUtime=0.01 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) R 8647 8647 6338 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 95207001 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469292214768 140470299180386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13978596 memory=139689932736128 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207001 14314082304 7595 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31760 KiB
[startup+0.21079 s]*
/proc/loadavg: 1.20 1.41 1.54 4/218 8663
/proc/meminfo: memFree=28753944/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13982852 memory=42684 CPUtime=0.33 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 8232 0 0 0 31 2 0 0 20 0 15 0 95206995 14318440448 10671 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3495713 10671 3085 1 0 3482966 0
[pid=8649/tid=8650] ppid=8647 vsize=13982852 memory=4499834149035483540 CPUtime=0.19 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) R 8647 8647 6338 0 -1 4202560 5382 0 0 0 18 1 0 0 20 0 15 0 95206996 14318440448 10671 33554432000 4194304 4196468 140723756208896 140470324087872 140470319907997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13982852 memory=3472467818827887824 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14318440448 10671 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13982852 memory=139689932736128 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14318440448 10671 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14318440448 10671 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206996 14318440448 10671 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13982852 memory=139689932736128 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) S 8647 8647 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206998 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469860985072 140470319897218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206998 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206998 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) S 8647 8647 6338 0 -1 1077944384 615 0 0 0 3 0 0 0 20 0 15 0 95207001 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469294320368 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) S 8647 8647 6338 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 95207001 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469293267824 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13982852 memory=139689932736128 CPUtime=0.08 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) R 8647 8647 6338 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 15 0 95207001 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469292214768 140470304048080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13982852 memory=139689932736128 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207001 14318440448 10671 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 44064 KiB
[startup+0.310523 s]*
/proc/loadavg: 1.20 1.41 1.54 5/218 8663
/proc/meminfo: memFree=28746996/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13982928 memory=49588 CPUtime=0.5 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 9052 0 0 0 48 2 0 0 20 0 15 0 95206995 14318518272 12397 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3495732 12397 3099 1 0 3482966 0
[pid=8649/tid=8650] ppid=8647 vsize=13982928 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) R 8647 8647 6338 0 -1 4202560 6035 0 0 0 28 2 0 0 20 0 15 0 95206996 14318518272 12397 33554432000 4194304 4196468 140723756208896 140470324118400 140470303966558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13982928 memory=3472467818827887824 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14318518272 12397 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13982928 memory=139689932736128 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14318518272 12397 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13982928 memory=6 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14318518272 12397 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13982928 memory=139689784911903 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206996 14318518272 12397 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13982928 memory=279379569803040 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) S 8647 8647 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206998 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469860985072 140470319897218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13982928 memory=139689784888847 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206998 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13982928 memory=279379717634144 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206998 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13982928 memory=139689784893455 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) S 8647 8647 6338 0 -1 1077944384 635 0 0 0 4 0 0 0 20 0 15 0 95207001 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469294320368 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13982928 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) S 8647 8647 6338 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 15 0 95207001 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469293267824 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) S 8647 8647 6338 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 95207001 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469292214768 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13982928 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207001 14318518272 12397 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 50968 KiB
[startup+0.700808 s]
/proc/loadavg: 1.34 1.43 1.55 5/218 8663
/proc/meminfo: memFree=28732916/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13984976 memory=69160 CPUtime=1.62 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 12458 0 0 0 158 4 0 0 20 0 15 0 95206995 14320615424 17290 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3496244 17290 3204 1 0 3483478 0
[pid=8649/tid=8650] ppid=8647 vsize=13984976 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) R 8647 8647 6338 0 -1 4202560 6588 0 0 0 65 2 0 0 20 0 15 0 95206996 14320615424 17290 33554432000 4194304 4196468 140723756208896 140470324125152 140469942226944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 17290 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13984976 memory=7588935152971043413 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 17290 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 17290 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 17290 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) S 8647 8647 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469860985072 140470319897218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13984976 memory=28000 CPUtime=0.31 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) R 8647 8647 6338 0 -1 4202560 1834 0 0 0 31 0 0 0 20 0 15 0 95207001 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469294313136 140470299142646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13984976 memory=2428 CPUtime=0.29 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) R 8647 8647 6338 0 -1 4202560 1091 0 0 0 29 0 0 0 20 0 15 0 95207001 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469293249232 140470303273682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13984976 memory=1292 CPUtime=0.3 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) S 8647 8647 6338 0 -1 1077944384 1660 0 0 0 30 0 0 0 20 0 15 0 95207001 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469292214768 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 17290 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70540 KiB
[startup+1.50085 s]
/proc/loadavg: 1.34 1.43 1.55 3/218 8663
/proc/meminfo: memFree=28724136/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13984976 memory=209644 CPUtime=62.58 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 43686 0 0 0 6248 10 0 0 20 0 15 0 95206995 14320615424 52411 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3496244 52411 3261 1 0 3483478 0
[pid=8649/tid=8650] ppid=8647 vsize=13984976 memory=1380 CPUtime=59.16 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) S 8647 8647 6338 0 -1 1077944384 10369 0 0 0 5911 5 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470324124880 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13984976 memory=205520 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13984976 memory=589972050867744050 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) R 8647 8647 6338 0 -1 4202560 808 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469860983584 140470304242220 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13984976 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13984976 memory=205500 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13984976 memory=70 CPUtime=1.38 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) S 8647 8647 6338 0 -1 1077944384 10163 0 0 0 138 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469294320368 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13984976 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) S 8647 8647 6338 0 -1 1077944384 13015 0 0 0 149 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469293267824 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13984976 memory=4781 CPUtime=0.46 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) S 8647 8647 6338 0 -1 1077944384 5553 0 0 0 45 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469292214768 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13984976 memory=1440 CPUtime=0.01 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1162 0 0 0 0 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 62.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211024 KiB
[startup+59.6007 s]
/proc/loadavg: 1.74 1.53 1.58 3/217 8744
/proc/meminfo: memFree=28633888/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13984976 memory=209644 CPUtime=62.98 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 43687 0 0 0 6288 10 0 0 20 0 15 0 95206995 14320615424 52411 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3496244 52411 3261 1 0 3483478 0
[pid=8649/tid=8650] ppid=8647 vsize=13984976 memory=2540 CPUtime=59.56 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) R 8647 8647 6338 0 -1 4202560 10370 0 0 0 5951 5 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470324124880 140469945788822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13984976 memory=2900 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13984976 memory=205520 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) S 8647 8647 6338 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469860985072 140470319897218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13984976 memory=2904 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13984976 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) S 8647 8647 6338 0 -1 1077944384 10163 0 0 0 138 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469294320368 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13984976 memory=138 CPUtime=1.5 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) S 8647 8647 6338 0 -1 1077944384 13015 0 0 0 149 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469293267824 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13984976 memory=150 CPUtime=0.46 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) S 8647 8647 6338 0 -1 1077944384 5553 0 0 0 45 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469292214768 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13984976 memory=46 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13984976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1162 0 0 0 0 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 62.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211024 KiB
[startup+59.8007 s]
/proc/loadavg: 1.74 1.53 1.58 3/217 8744
/proc/meminfo: memFree=28633888/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13984976 memory=209644 CPUtime=63.18 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 43688 0 0 0 6308 10 0 0 20 0 15 0 95206995 14320615424 52411 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3496244 52411 3261 1 0 3483478 0
[pid=8649/tid=8650] ppid=8647 vsize=13984976 memory=0 CPUtime=59.76 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) R 8647 8647 6338 0 -1 4202560 10371 0 0 0 5971 5 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470324124880 140469946754680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13984976 memory=99432 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13984976 memory=4080 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) S 8647 8647 6338 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469860985072 140470319897218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13984976 memory=932 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13984976 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13984976 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13984976 memory=6508 CPUtime=1.38 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) S 8647 8647 6338 0 -1 1077944384 10163 0 0 0 138 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469294320368 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13984976 memory=840 CPUtime=1.5 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) S 8647 8647 6338 0 -1 1077944384 13015 0 0 0 149 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469293267824 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13984976 memory=1692 CPUtime=0.46 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) S 8647 8647 6338 0 -1 1077944384 5553 0 0 0 45 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469292214768 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13984976 memory=792 CPUtime=0.01 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1162 0 0 0 0 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 63.18 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211024 KiB
[startup+59.9007 s]
/proc/loadavg: 1.74 1.53 1.58 3/217 8744
/proc/meminfo: memFree=28633888/32770624 swapFree=67108860/67108860
[pid=8647] ppid=8644 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8647/stat : 8647 (xcsp3-exec) S 8644 8647 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95206995 9740288 345 33554432000 4194304 5098028 140722218843536 140722218841640 139702926750332 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8404992 140722218845300 140722218845504 140722218845504 140722218848235 0
/proc/8647/statm: 2378 345 289 221 0 87 0
[pid=8649] ppid=8647 vsize=13984976 memory=209644 CPUtime=63.28 cores=0,2,4,6
/proc/8649/stat : 8649 (java) S 8647 8647 6338 0 -1 1077944320 43688 0 0 0 6318 10 0 0 20 0 15 0 95206995 14320615424 52411 33554432000 4194304 4196468 140723756208896 140723756191440 140470319886071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
/proc/8649/statm: 3496244 52411 3261 1 0 3483478 0
[pid=8649/tid=8650] ppid=8647 vsize=13984976 memory=1204 CPUtime=59.86 cores=0,2,4,6
/proc/8649/task/8650/stat : 8650 (java) R 8647 8647 6338 0 -1 4202560 10371 0 0 0 5981 5 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470324124880 140469945593099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8651] ppid=8647 vsize=13984976 memory=205520 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8651/stat : 8651 (java) S 8647 8647 6338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470272506896 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8652] ppid=8647 vsize=13984976 memory=16572 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8652/stat : 8652 (java) S 8647 8647 6338 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470271454352 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8653] ppid=8647 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8653/stat : 8653 (java) S 8647 8647 6338 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470270401296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8654] ppid=8647 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8654/stat : 8654 (java) S 8647 8647 6338 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 95206996 14320615424 52411 33554432000 4194304 4196468 140723756208896 140470269348752 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8655] ppid=8647 vsize=13984976 memory=205500 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8655/stat : 8655 (java) S 8647 8647 6338 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469860985072 140470319897218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8656] ppid=8647 vsize=13984976 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8656/stat : 8656 (java) S 8647 8647 6338 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469859931296 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8657] ppid=8647 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8657/stat : 8657 (java) S 8647 8647 6338 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 95206998 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469296423664 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8658] ppid=8647 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8658/stat : 8658 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469295372240 140470319904667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8659] ppid=8647 vsize=13984976 memory=205520 CPUtime=1.38 cores=0,2,4,6
/proc/8649/task/8659/stat : 8659 (java) S 8647 8647 6338 0 -1 1077944384 10163 0 0 0 138 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469294320368 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8660] ppid=8647 vsize=13984976 memory=1380 CPUtime=1.5 cores=0,2,4,6
/proc/8649/task/8660/stat : 8660 (java) S 8647 8647 6338 0 -1 1077944384 13015 0 0 0 149 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469293267824 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8661] ppid=8647 vsize=13984976 memory=1380 CPUtime=0.46 cores=0,2,4,6
/proc/8649/task/8661/stat : 8661 (java) S 8647 8647 6338 0 -1 1077944384 5553 0 0 0 45 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469292214768 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8662] ppid=8647 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8649/task/8662/stat : 8662 (java) S 8647 8647 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469291162464 140470319896277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
[pid=8649/tid=8663] ppid=8647 vsize=13984976 memory=209644 CPUtime=0.01 cores=0,2,4,6
/proc/8649/task/8663/stat : 8663 (java) S 8647 8647 6338 0 -1 1077944384 1162 0 0 0 0 1 0 0 20 0 15 0 95207001 14320615424 52411 33554432000 4194304 4196468 140723756208896 140469290109488 140470319897218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 27021312 140723756217501 140723756217676 140723756217676 140723756220367 0
Current children cumulated CPU time: 63.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211024 KiB
Child status: 0
Real time (s): 59.9097
CPU time (s): 63.3083
CPU user time (s): 63.1931
CPU system time (s): 0.115201
CPU usage (%): 105.673
Max. virtual memory (cumulated for all children) (KiB): 13996548
Max. memory (cumulated for all children) (KiB): 211024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.1931
system time used= 0.115201
maximum resident set size= 209724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3701
involuntary context switches= 81
# summary of solver processes directly reported to runsolver:
# pid: 8647
# total CPU time (s): 63.3083
# total CPU user time (s): 63.1931
# total CPU system time (s): 0.115201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.366787 second user time and 0.582885 second system time
The end