2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	SAT	24.4892	4.96306
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 (13805 MiB free)
  memory of node 1: 16384 MiB (12313 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406738-1569346250/watcher-4406738-1569346250 -o /tmp/evaluation-result-4406738-1569346250/solver-4406738-1569346250 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4406738-1569346250.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8847, runsolver pid=8844
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 4.03 3.61 5.68 2/212 8868
/proc/meminfo: memFree=26728200/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
[pid=8849] ppid=8847 vsize=28227396 memory=30220 CPUtime=0.12 cores=0-7
/proc/8849/stat : 8849 (java) S 8847 8847 4774 0 -1 1077944320 5521 0 0 0 10 2 0 0 20 0 20 0 510881612 28904853504 7555 33554432000 4194304 4196468 140730075645968 140730075628512 140097444855543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
/proc/8849/statm: 7056849 7555 3121 1 0 7019032 0
[pid=8849/tid=8850] ppid=8847 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/8849/task/8850/stat : 8850 (java) R 8847 8847 4774 0 -1 4202560 3421 0 0 0 8 1 0 0 20 0 20 0 510881613 28904853504 7555 33554432000 4194304 4196468 140730075645968 140097449087808 140097080913144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8851] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8851/stat : 8851 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140097405815824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8852] ppid=8847 vsize=28227396 memory=15959963836450456 CPUtime=0 cores=0-7
/proc/8849/task/8852/stat : 8852 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096994974864 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8853] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8853/stat : 8853 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096993921808 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8854] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8854/stat : 8854 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096992869264 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8855] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8855/stat : 8855 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096991816208 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8856] ppid=8847 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8849/task/8856/stat : 8856 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096990763664 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8857] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8857/stat : 8857 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096989710608 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8858] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8858/stat : 8858 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096988658064 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8859] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8859/stat : 8859 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881615 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096829647600 140097444866690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8860] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8860/stat : 8860 (java) S 8847 8847 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510881616 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096828593824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8861] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8861/stat : 8861 (java) S 8847 8847 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510881616 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096827540720 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8862] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8862/stat : 8862 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881618 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096826489296 140097444874139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8863] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8863/stat : 8863 (java) R 8847 8847 4774 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510881618 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096825436400 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8864] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8864/stat : 8864 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881618 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096824383856 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8865] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8865/stat : 8865 (java) S 8847 8847 4774 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510881618 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096823330800 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8866] ppid=8847 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8849/task/8866/stat : 8866 (java) R 8847 8847 4774 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 20 0 510881618 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096822278256 140097444867478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8867] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8867/stat : 8867 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881618 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096821226464 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8868] ppid=8847 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8849/task/8868/stat : 8868 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881619 28904853504 7555 33554432000 4194304 4196468 140730075645968 140096820174000 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31676 KiB

[startup+0.210273 s]*
/proc/loadavg: 4.03 3.61 5.68 2/212 8868
/proc/meminfo: memFree=26715284/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
[pid=8849] ppid=8847 vsize=28227396 memory=41524 CPUtime=0.34 cores=0-7
/proc/8849/stat : 8849 (java) S 8847 8847 4774 0 -1 1077944320 9085 0 0 0 30 4 0 0 20 0 20 0 510881612 28904853504 10381 33554432000 4194304 4196468 140730075645968 140730075628512 140097444855543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
/proc/8849/statm: 7056849 10381 3300 1 0 7019032 0
[pid=8849/tid=8850] ppid=8847 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8849/task/8850/stat : 8850 (java) R 8847 8847 4774 0 -1 4202560 6234 0 0 0 17 2 0 0 20 0 20 0 510881613 28904853504 10381 33554432000 4194304 4196468 140730075645968 140097449087456 140097428936030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8851] ppid=8847 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/8849/task/8851/stat : 8851 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140097405815824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8852] ppid=8847 vsize=28227396 memory=15675194619823768 CPUtime=0 cores=0-7
/proc/8849/task/8852/stat : 8852 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096994974864 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8853] ppid=8847 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8849/task/8853/stat : 8853 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096993921808 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8854] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8854/stat : 8854 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096992869264 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8855] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8855/stat : 8855 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096991816208 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8856] ppid=8847 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8849/task/8856/stat : 8856 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096990763664 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8857] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8857/stat : 8857 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096989710608 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8858] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8858/stat : 8858 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881614 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096988658064 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8859] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8859/stat : 8859 (java) S 8847 8847 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510881615 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096829647600 140097444866690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8860] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8860/stat : 8860 (java) S 8847 8847 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510881616 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096828593824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8861] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8861/stat : 8861 (java) S 8847 8847 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510881616 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096827540720 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8862] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8862/stat : 8862 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881618 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096826489296 140097444874139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8863] ppid=8847 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8849/task/8863/stat : 8863 (java) S 8847 8847 4774 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 20 0 510881618 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096825436400 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8864] ppid=8847 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8849/task/8864/stat : 8864 (java) S 8847 8847 4774 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 510881618 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096824383856 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8865] ppid=8847 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/8849/task/8865/stat : 8865 (java) S 8847 8847 4774 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 510881618 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096823330800 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8866] ppid=8847 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/8849/task/8866/stat : 8866 (java) S 8847 8847 4774 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 20 0 510881618 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096822278256 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8867] ppid=8847 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8867/stat : 8867 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881618 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096821226464 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8868] ppid=8847 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8849/task/8868/stat : 8868 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881619 28904853504 10381 33554432000 4194304 4196468 140730075645968 140096820174000 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42980 KiB

[startup+0.309681 s]*
/proc/loadavg: 4.03 3.61 5.68 3/212 8868
/proc/meminfo: memFree=26710196/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
[pid=8849] ppid=8847 vsize=28231652 memory=49936 CPUtime=0.52 cores=0-7
/proc/8849/stat : 8849 (java) S 8847 8847 4774 0 -1 1077944320 10349 0 0 0 47 5 0 0 20 0 20 0 510881612 28909211648 12484 33554432000 4194304 4196468 140730075645968 140730075628512 140097444855543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
/proc/8849/statm: 7057913 12484 3344 1 0 7019032 0
[pid=8849/tid=8850] ppid=8847 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/8849/task/8850/stat : 8850 (java) R 8847 8847 4774 0 -1 4202560 7273 0 0 0 26 3 0 0 20 0 20 0 510881613 28909211648 12484 33554432000 4194304 4196468 140730075645968 140097449083744 140097444877469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8851] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8851/stat : 8851 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12484 33554432000 4194304 4196468 140730075645968 140097405815824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8852] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8852/stat : 8852 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12484 33554432000 4194304 4196468 140730075645968 140096994974864 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8853] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8853/stat : 8853 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12484 33554432000 4194304 4196468 140730075645968 140096993921808 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8854] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8854/stat : 8854 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12484 33554432000 4194304 4196468 140730075645968 140096992869264 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8855] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8855/stat : 8855 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12484 33554432000 4194304 4196468 140730075645968 140096991816208 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8856] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8856/stat : 8856 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096990763664 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8857] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8857/stat : 8857 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096989710608 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8858] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8858/stat : 8858 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881614 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096988658064 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8859] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8859/stat : 8859 (java) S 8847 8847 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510881615 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096829647600 140097444866690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8860] ppid=8847 vsize=28231652 memory=279932278349184 CPUtime=0 cores=0-7
/proc/8849/task/8860/stat : 8860 (java) S 8847 8847 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510881616 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096828593824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8861] ppid=8847 vsize=28231652 memory=279932278353792 CPUtime=0 cores=0-7
/proc/8849/task/8861/stat : 8861 (java) S 8847 8847 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510881616 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096827540720 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8862] ppid=8847 vsize=28231652 memory=279932278358400 CPUtime=0 cores=0-7
/proc/8849/task/8862/stat : 8862 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881618 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096826489296 140097444874139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8863] ppid=8847 vsize=28231652 memory=279932278363008 CPUtime=0.02 cores=0-7
/proc/8849/task/8863/stat : 8863 (java) S 8847 8847 4774 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 20 0 510881618 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096825436400 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8864] ppid=8847 vsize=28231652 memory=279932278367616 CPUtime=0.03 cores=0-7
/proc/8849/task/8864/stat : 8864 (java) R 8847 8847 4774 0 -1 4202560 219 0 0 0 3 0 0 0 20 0 20 0 510881618 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096824374240 140097425555840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8865] ppid=8847 vsize=28231652 memory=279932278372224 CPUtime=0.02 cores=0-7
/proc/8849/task/8865/stat : 8865 (java) S 8847 8847 4774 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 20 0 510881618 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096823330800 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8866] ppid=8847 vsize=28231652 memory=279932278376832 CPUtime=0.12 cores=0-7
/proc/8849/task/8866/stat : 8866 (java) S 8847 8847 4774 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 510881618 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096822278256 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8867] ppid=8847 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8867/stat : 8867 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881618 28909211648 12550 33554432000 4194304 4196468 140730075645968 140096821226464 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8868] ppid=8847 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/8849/task/8868/stat : 8868 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881619 28909211648 12553 33554432000 4194304 4196468 140730075645968 140096820174000 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51392 KiB

[startup+0.700933 s]
/proc/loadavg: 4.19 3.65 5.68 4/212 8868
/proc/meminfo: memFree=26686160/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
[pid=8849] ppid=8847 vsize=28233776 memory=111444 CPUtime=1.8 cores=0-7
/proc/8849/stat : 8849 (java) S 8847 8847 4774 0 -1 1077944320 14431 0 0 0 173 7 0 0 20 0 20 0 510881612 28911386624 27861 33554432000 4194304 4196468 140730075645968 140730075628512 140097444855543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
/proc/8849/statm: 7058444 27861 3445 1 0 7019544 0
[pid=8849/tid=8850] ppid=8847 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/8849/task/8850/stat : 8850 (java) R 8847 8847 4774 0 -1 4202560 8029 0 0 0 63 5 0 0 20 0 20 0 510881613 28911386624 27861 33554432000 4194304 4196468 140730075645968 140097449093200 140097444867478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8851] ppid=8847 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8851/stat : 8851 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28911386624 27861 33554432000 4194304 4196468 140730075645968 140097405815824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8852] ppid=8847 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8852/stat : 8852 (java) S 8847 8847 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881614 28911386624 27861 33554432000 4194304 4196468 140730075645968 140096994974864 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8853] ppid=8847 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/8849/task/8853/stat : 8853 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881614 28911386624 27861 33554432000 4194304 4196468 140730075645968 140096993921808 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0

################
# More data... #
################

[pid=8849/tid=8876] ppid=8847 vsize=28766288 memory=0 CPUtime=0.9 cores=0-7
/proc/8849/task/8876/stat : 8876 (java) R 8847 8847 4774 0 -1 4202560 82 0 0 0 90 0 0 0 20 0 28 0 510881810 29456678912 121299 33554432000 4194304 4196468 140730075645968 140096803589208 140097087575211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
Current children cumulated CPU time: 14.88 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 486652 KiB

[startup+4.00598 s]*
/proc/loadavg: 4.19 3.65 5.68 9/220 8876
/proc/meminfo: memFree=26272968/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
[pid=8849] ppid=8847 vsize=28766288 memory=486240 CPUtime=21.35 cores=0-7
/proc/8849/stat : 8849 (java) S 8847 8847 4774 0 -1 1077944320 26316 0 0 0 2078 57 0 0 20 0 28 0 510881612 29456678912 121560 33554432000 4194304 4196468 140730075645968 140730075628512 140097444855543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
/proc/8849/statm: 7191572 121560 3526 1 0 7152672 0
[pid=8849/tid=8850] ppid=8847 vsize=28766288 memory=8317482817917895235 CPUtime=1.82 cores=0-7
/proc/8849/task/8850/stat : 8850 (java) S 8847 8847 4774 0 -1 1077944384 8710 0 0 0 175 7 0 0 20 0 28 0 510881613 29456678912 121560 33554432000 4194304 4196468 140730075645968 140097449096320 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8851] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8851/stat : 8851 (java) S 8847 8847 4774 0 -1 1077944384 183 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140097405815824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8852] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8852/stat : 8852 (java) S 8847 8847 4774 0 -1 1077944384 179 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096994974864 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8853] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8853/stat : 8853 (java) S 8847 8847 4774 0 -1 1077944384 193 0 0 0 6 4 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096993921808 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8854] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8854/stat : 8854 (java) S 8847 8847 4774 0 -1 1077944384 146 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096992869264 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8855] ppid=8847 vsize=28766288 memory=-7025424297587845161 CPUtime=0.1 cores=0-7
/proc/8849/task/8855/stat : 8855 (java) S 8847 8847 4774 0 -1 1077944384 154 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096991816208 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8856] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8856/stat : 8856 (java) S 8847 8847 4774 0 -1 1077944384 156 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096990763664 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8857] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8857/stat : 8857 (java) S 8847 8847 4774 0 -1 1077944384 132 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096989710608 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8858] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8858/stat : 8858 (java) S 8847 8847 4774 0 -1 1077944384 187 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096988658064 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8859] ppid=8847 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/8849/task/8859/stat : 8859 (java) S 8847 8847 4774 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 510881615 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096829647600 140097444866690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8860] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8860/stat : 8860 (java) S 8847 8847 4774 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 510881616 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096828593888 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8861] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8861/stat : 8861 (java) S 8847 8847 4774 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510881616 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096827540736 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8862] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8862/stat : 8862 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510881618 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096826489296 140097444874139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8863] ppid=8847 vsize=28766288 memory=0 CPUtime=1.1 cores=0-7
/proc/8849/task/8863/stat : 8863 (java) S 8847 8847 4774 0 -1 1077944384 3453 0 0 0 108 2 0 0 20 0 28 0 510881618 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096825436400 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8864] ppid=8847 vsize=28766288 memory=0 CPUtime=1.32 cores=0-7
/proc/8849/task/8864/stat : 8864 (java) S 8847 8847 4774 0 -1 1077944384 3892 0 0 0 131 1 0 0 20 0 28 0 510881618 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096824383856 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8865] ppid=8847 vsize=28766288 memory=0 CPUtime=1.34 cores=0-7
/proc/8849/task/8865/stat : 8865 (java) S 8847 8847 4774 0 -1 1077944384 2778 0 0 0 134 0 0 0 20 0 28 0 510881618 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096823330800 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8866] ppid=8847 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7
/proc/8849/task/8866/stat : 8866 (java) S 8847 8847 4774 0 -1 1077944384 2965 0 0 0 59 0 0 0 20 0 28 0 510881618 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096822278256 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8867] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8867/stat : 8867 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510881618 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096821226464 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8868] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8868/stat : 8868 (java) S 8847 8847 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510881619 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096820174000 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8869] ppid=8847 vsize=28766288 memory=0 CPUtime=1.73 cores=0-7
/proc/8849/task/8869/stat : 8869 (java) R 8847 8847 4774 0 -1 4202560 91 0 0 0 173 0 0 0 20 0 28 0 510881804 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096810956008 140097087575164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8870] ppid=8847 vsize=28766288 memory=0 CPUtime=1.71 cores=0-7
/proc/8849/task/8870/stat : 8870 (java) R 8847 8847 4774 0 -1 4202560 129 0 0 0 171 0 0 0 20 0 28 0 510881810 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096809902360 140097087575164 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8871] ppid=8847 vsize=28766288 memory=0 CPUtime=1.78 cores=0-7
/proc/8849/task/8871/stat : 8871 (java) R 8847 8847 4774 0 -1 4202560 216 0 0 0 178 0 0 0 20 0 28 0 510881810 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096808849512 140097087573913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8872] ppid=8847 vsize=28766288 memory=-1 CPUtime=1.78 cores=0-7
/proc/8849/task/8872/stat : 8872 (java) R 8847 8847 4774 0 -1 4202560 710 0 0 0 178 0 0 0 20 0 28 0 510881810 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096807799144 140097087573936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8873] ppid=8847 vsize=28766288 memory=170997513 CPUtime=1.84 cores=0-7
/proc/8849/task/8873/stat : 8873 (java) R 8847 8847 4774 0 -1 4202560 137 0 0 0 184 0 0 0 20 0 28 0 510881810 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096806743592 140097087445133 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8874] ppid=8847 vsize=28766288 memory=734941310840301667 CPUtime=1.81 cores=0-7
/proc/8849/task/8874/stat : 8874 (java) R 8847 8847 4774 0 -1 4202560 199 0 0 0 181 0 0 0 20 0 28 0 510881810 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096805693720 140097087445107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8875] ppid=8847 vsize=28766288 memory=0 CPUtime=1.85 cores=0-7
/proc/8849/task/8875/stat : 8875 (java) R 8847 8847 4774 0 -1 4202560 68 0 0 0 185 0 0 0 20 0 28 0 510881810 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096804639768 140097087445190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8876] ppid=8847 vsize=28766288 memory=0 CPUtime=1.69 cores=0-7
/proc/8849/task/8876/stat : 8876 (java) R 8847 8847 4774 0 -1 4202560 119 0 0 0 169 0 0 0 20 0 28 0 510881810 29456678912 121560 33554432000 4194304 4196468 140730075645968 140096803589000 140097087575120 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
Current children cumulated CPU time: 21.35 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 487696 KiB

[startup+4.40123 s]
/proc/loadavg: 4.19 3.65 5.68 9/220 8876
/proc/meminfo: memFree=26272968/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
[pid=8849] ppid=8847 vsize=28766288 memory=486552 CPUtime=24.4 cores=0-7
/proc/8849/stat : 8849 (java) S 8847 8847 4774 0 -1 1077944320 27052 0 0 0 2383 57 0 0 20 0 28 0 510881612 29456678912 121638 33554432000 4194304 4196468 140730075645968 140730075628512 140097444855543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
/proc/8849/statm: 7191572 121638 3526 1 0 7152672 0
[pid=8849/tid=8850] ppid=8847 vsize=28766288 memory=4568708734857537077 CPUtime=1.82 cores=0-7
/proc/8849/task/8850/stat : 8850 (java) S 8847 8847 4774 0 -1 1077944384 8710 0 0 0 175 7 0 0 20 0 28 0 510881613 29456678912 121638 33554432000 4194304 4196468 140730075645968 140097449096320 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8851] ppid=8847 vsize=28766288 memory=4568708734857537077 CPUtime=0.1 cores=0-7
/proc/8849/task/8851/stat : 8851 (java) S 8847 8847 4774 0 -1 1077944384 183 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140097405815824 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8852] ppid=8847 vsize=28766288 memory=734122143552452149 CPUtime=0.1 cores=0-7
/proc/8849/task/8852/stat : 8852 (java) S 8847 8847 4774 0 -1 1077944384 179 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096994974864 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8853] ppid=8847 vsize=28766288 memory=4205324539873289781 CPUtime=0.1 cores=0-7
/proc/8849/task/8853/stat : 8853 (java) S 8847 8847 4774 0 -1 1077944384 193 0 0 0 6 4 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096993921808 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8854] ppid=8847 vsize=28766288 memory=6944656592455097440 CPUtime=0.1 cores=0-7
/proc/8849/task/8854/stat : 8854 (java) S 8847 8847 4774 0 -1 1077944384 146 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096992869264 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8855] ppid=8847 vsize=28766288 memory=-6371566972767399765 CPUtime=0.1 cores=0-7
/proc/8849/task/8855/stat : 8855 (java) S 8847 8847 4774 0 -1 1077944384 154 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096991816208 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8856] ppid=8847 vsize=28766288 memory=139970569668223 CPUtime=0.1 cores=0-7
/proc/8849/task/8856/stat : 8856 (java) S 8847 8847 4774 0 -1 1077944384 156 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096990763664 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8857] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8857/stat : 8857 (java) S 8847 8847 4774 0 -1 1077944384 132 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096989710608 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8858] ppid=8847 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/8849/task/8858/stat : 8858 (java) S 8847 8847 4774 0 -1 1077944384 187 0 0 0 5 5 0 0 20 0 28 0 510881614 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096988658064 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8859] ppid=8847 vsize=28766288 memory=279932279325472 CPUtime=0.01 cores=0-7
/proc/8849/task/8859/stat : 8859 (java) S 8847 8847 4774 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 28 0 510881615 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096829647600 140097444866690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8860] ppid=8847 vsize=28766288 memory=288230376992732821 CPUtime=0 cores=0-7
/proc/8849/task/8860/stat : 8860 (java) S 8847 8847 4774 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 510881616 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096828593888 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8861] ppid=8847 vsize=28766288 memory=288292173099628276 CPUtime=0 cores=0-7
/proc/8849/task/8861/stat : 8861 (java) S 8847 8847 4774 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510881616 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096827540736 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8862] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8862/stat : 8862 (java) S 8847 8847 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510881618 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096826489296 140097444874139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8863] ppid=8847 vsize=28766288 memory=0 CPUtime=1.1 cores=0-7
/proc/8849/task/8863/stat : 8863 (java) S 8847 8847 4774 0 -1 1077944384 3453 0 0 0 108 2 0 0 20 0 28 0 510881618 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096825436400 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8864] ppid=8847 vsize=28766288 memory=0 CPUtime=1.32 cores=0-7
/proc/8849/task/8864/stat : 8864 (java) S 8847 8847 4774 0 -1 1077944384 3892 0 0 0 131 1 0 0 20 0 28 0 510881618 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096824383856 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8865] ppid=8847 vsize=28766288 memory=0 CPUtime=1.35 cores=0-7
/proc/8849/task/8865/stat : 8865 (java) R 8847 8847 4774 0 -1 4202560 3116 0 0 0 135 0 0 0 20 0 28 0 510881618 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096823320720 140097437096524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8866] ppid=8847 vsize=28766288 memory=0 CPUtime=0.6 cores=0-7
/proc/8849/task/8866/stat : 8866 (java) S 8847 8847 4774 0 -1 1077944384 3061 0 0 0 60 0 0 0 20 0 28 0 510881618 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096822278256 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8867] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8867/stat : 8867 (java) S 8847 8847 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510881618 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096821226464 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8868] ppid=8847 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8849/task/8868/stat : 8868 (java) S 8847 8847 4774 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 510881619 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096820174000 140097444866690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8869] ppid=8847 vsize=28766288 memory=0 CPUtime=2.11 cores=0-7
/proc/8849/task/8869/stat : 8869 (java) R 8847 8847 4774 0 -1 4202560 94 0 0 0 211 0 0 0 20 0 28 0 510881804 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096810954504 140097087575187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8870] ppid=8847 vsize=28766288 memory=0 CPUtime=2.09 cores=0-7
/proc/8849/task/8870/stat : 8870 (java) R 8847 8847 4774 0 -1 4202560 130 0 0 0 209 0 0 0 20 0 28 0 510881810 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096809904728 140097087575164 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8871] ppid=8847 vsize=28766288 memory=0 CPUtime=2.16 cores=0-7
/proc/8849/task/8871/stat : 8871 (java) R 8847 8847 4774 0 -1 4202560 216 0 0 0 216 0 0 0 20 0 28 0 510881810 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096808849232 140097087575016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8872] ppid=8847 vsize=28766288 memory=279932278145264 CPUtime=2.16 cores=0-7
/proc/8849/task/8872/stat : 8872 (java) R 8847 8847 4774 0 -1 4202560 711 0 0 0 216 0 0 0 20 0 28 0 510881810 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096807796608 140097087575187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8873] ppid=8847 vsize=28766288 memory=7666911487208024677 CPUtime=2.21 cores=0-7
/proc/8849/task/8873/stat : 8873 (java) S 8847 8847 4774 0 -1 1077944384 139 0 0 0 221 0 0 0 20 0 28 0 510881810 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096806748880 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8874] ppid=8847 vsize=28766288 memory=1456 CPUtime=2.17 cores=0-7
/proc/8849/task/8874/stat : 8874 (java) S 8847 8847 4774 0 -1 1077944384 220 0 0 0 217 0 0 0 20 0 28 0 510881810 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096805696336 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8875] ppid=8847 vsize=28766288 memory=486032 CPUtime=2.22 cores=0-7
/proc/8849/task/8875/stat : 8875 (java) S 8847 8847 4774 0 -1 1077944384 111 0 0 0 222 0 0 0 20 0 28 0 510881810 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096804644304 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
[pid=8849/tid=8876] ppid=8847 vsize=28766288 memory=76209899717966 CPUtime=2.07 cores=0-7
/proc/8849/task/8876/stat : 8876 (java) S 8847 8847 4774 0 -1 1077944384 121 0 0 0 207 0 0 0 20 0 28 0 510881810 29456678912 121638 33554432000 4194304 4196468 140730075645968 140096803591760 140097444865749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38711296 140730075653098 140730075653270 140730075653270 140730075656143 0
Current children cumulated CPU time: 24.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 488008 KiB

[startup+4.80086 s]
/proc/loadavg: 4.19 3.65 5.68 9/220 8876
/proc/meminfo: memFree=26272968/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

[startup+4.90044 s]
/proc/loadavg: 4.19 3.65 5.68 9/220 8876
/proc/meminfo: memFree=26272968/32770624 swapFree=66986400/67108860
[pid=8847] ppid=8844 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8847/stat : 8847 (xcsp3-exec) S 8844 8847 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881612 115843072 364 33554432000 4194304 5098028 140728941135360 140728941133464 140348682822268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31711232 140728941138805 140728941139049 140728941139049 140728941141962 0
/proc/8847/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 4.96306
CPU time (s): 24.4892
CPU user time (s): 23.9022
CPU system time (s): 0.586951
CPU usage (%): 493.429
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 488008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9022
system time used= 0.586951
maximum resident set size= 487052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4220
involuntary context switches= 547


# summary of solver processes directly reported to runsolver:
#   pid: 8847
#   total CPU time (s): 24.4892
#   total CPU user time (s): 23.9022
#   total CPU system time (s): 0.586951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055265 second user time and 0.095178 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	7.06352
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4406738

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
