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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	OPT	6	353.01	47.0797
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 (14747 MiB free)
  memory of node 1: 16384 MiB (15170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393864-1568419491/watcher-4393864-1568419491 -o /tmp/evaluation-result-4393864-1568419491/solver-4393864-1568419491 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1426430 HOME/instance-4393864-1568419491.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
Current StackSize limit: 8192 KiB

solver pid=14884, runsolver pid=14881

[startup+0.100117 s]*
/proc/loadavg: 6.63 7.66 6.15 2/212 14905
/proc/meminfo: memFree=30618864/32770624 swapFree=66997544/67108860
[pid=14884] ppid=14881 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14884/stat : 14884 (xcsp3-exec) S 14881 14884 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203693 115843072 363 33554432000 4194304 5098028 140732596281504 140732596279608 139682902753916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140732596290424 140732596290665 140732596290665 140732596293578 0
/proc/14884/statm: 28282 363 304 221 0 87 0
[pid=14886] ppid=14884 vsize=28227388 memory=29936 CPUtime=0.12 cores=0-7
/proc/14886/stat : 14886 (java) S 14884 14884 12749 0 -1 1077944320 5961 0 0 0 11 1 0 0 20 0 20 0 418203693 28904845312 7484 33554432000 4194304 4196468 140732523995472 140732523978016 140618016329463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
/proc/14886/statm: 7056847 7484 3117 1 0 7019032 0
[pid=14886/tid=14887] ppid=14884 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14886/task/14887/stat : 14887 (java) R 14884 14884 12749 0 -1 4202560 3868 0 0 0 8 1 0 0 20 0 20 0 418203693 28904845312 7484 33554432000 4194304 4196468 140732523995472 140618020564000 140617999687883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14888] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14888/stat : 14888 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617968949648 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14889] ppid=14884 vsize=28227388 memory=288370315231823488 CPUtime=0 cores=0-7
/proc/14886/task/14889/stat : 14889 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617566771472 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14890] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14890/stat : 14890 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617565719184 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14891] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14891/stat : 14891 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617564666384 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14892] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14892/stat : 14892 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617563614096 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14893] ppid=14884 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14886/task/14893/stat : 14893 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617562561296 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14894] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14894/stat : 14894 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617561509008 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14895] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14895/stat : 14895 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 7484 33554432000 4194304 4196468 140732523995472 140617560456208 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14896] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14896/stat : 14896 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203695 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616998496368 140618016340610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14897] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14897/stat : 14897 (java) S 14884 14884 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203696 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616997442336 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14898] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14898/stat : 14898 (java) S 14884 14884 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203696 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616996390000 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14899] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14899/stat : 14899 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616995338320 140618016348059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14900] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14900/stat : 14900 (java) S 14884 14884 12749 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616994286192 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14901] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14901/stat : 14901 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616993233392 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14902] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14902/stat : 14902 (java) S 14884 14884 12749 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616992181104 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14903] ppid=14884 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/14886/task/14903/stat : 14903 (java) S 14884 14884 12749 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 418203699 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616991128304 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14904] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14904/stat : 14904 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616990075232 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14905] ppid=14884 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14886/task/14905/stat : 14905 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 7484 33554432000 4194304 4196468 140732523995472 140616989022512 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31388 KiB

[startup+0.210215 s]*
/proc/loadavg: 6.63 7.66 6.15 2/212 14905
/proc/meminfo: memFree=30606656/32770624 swapFree=66997544/67108860
[pid=14884] ppid=14881 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14884/stat : 14884 (xcsp3-exec) S 14881 14884 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203693 115843072 363 33554432000 4194304 5098028 140732596281504 140732596279608 139682902753916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140732596290424 140732596290665 140732596290665 140732596293578 0
/proc/14884/statm: 28282 363 304 221 0 87 0
[pid=14886] ppid=14884 vsize=28227388 memory=41324 CPUtime=0.32 cores=0-7
/proc/14886/stat : 14886 (java) S 14884 14884 12749 0 -1 1077944320 9532 0 0 0 30 2 0 0 20 0 20 0 418203693 28904845312 10331 33554432000 4194304 4196468 140732523995472 140732523978016 140618016329463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
/proc/14886/statm: 7056847 10331 3301 1 0 7019032 0
[pid=14886/tid=14887] ppid=14884 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14886/task/14887/stat : 14887 (java) R 14884 14884 12749 0 -1 4202560 6672 0 0 0 18 2 0 0 20 0 20 0 418203693 28904845312 10331 33554432000 4194304 4196468 140732523995472 140618020563584 140618016341398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14888] ppid=14884 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/14886/task/14888/stat : 14888 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617968949648 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14889] ppid=14884 vsize=28227388 memory=139939080124790 CPUtime=0 cores=0-7
/proc/14886/task/14889/stat : 14889 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617566771472 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14890] ppid=14884 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14886/task/14890/stat : 14890 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617565719184 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14891] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14891/stat : 14891 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617564666384 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14892] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14892/stat : 14892 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617563614096 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14893] ppid=14884 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14886/task/14893/stat : 14893 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617562561296 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14894] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14894/stat : 14894 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617561509008 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14895] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14895/stat : 14895 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28904845312 10331 33554432000 4194304 4196468 140732523995472 140617560456208 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14896] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14896/stat : 14896 (java) S 14884 14884 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418203695 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616998496368 140618016340610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14897] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14897/stat : 14897 (java) S 14884 14884 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203696 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616997442336 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14898] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14898/stat : 14898 (java) S 14884 14884 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203696 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616996390000 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14899] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14899/stat : 14899 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616995338320 140618016348059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14900] ppid=14884 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14886/task/14900/stat : 14900 (java) S 14884 14884 12749 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 418203699 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616994286192 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14901] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14901/stat : 14901 (java) S 14884 14884 12749 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616993233392 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14902] ppid=14884 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/14886/task/14902/stat : 14902 (java) S 14884 14884 12749 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 418203699 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616992181104 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14903] ppid=14884 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/14886/task/14903/stat : 14903 (java) R 14884 14884 12749 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 20 0 418203699 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616991128112 140617994955294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14904] ppid=14884 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14904/stat : 14904 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616990075232 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14905] ppid=14884 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14886/task/14905/stat : 14905 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203699 28904845312 10331 33554432000 4194304 4196468 140732523995472 140616989022512 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42776 KiB

[startup+0.309699 s]*
/proc/loadavg: 6.63 7.66 6.15 4/212 14905
/proc/meminfo: memFree=30598900/32770624 swapFree=66997544/67108860
[pid=14884] ppid=14881 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14884/stat : 14884 (xcsp3-exec) S 14881 14884 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203693 115843072 363 33554432000 4194304 5098028 140732596281504 140732596279608 139682902753916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140732596290424 140732596290665 140732596290665 140732596293578 0
/proc/14884/statm: 28282 363 304 221 0 87 0
[pid=14886] ppid=14884 vsize=28231644 memory=50088 CPUtime=0.51 cores=0-7
/proc/14886/stat : 14886 (java) S 14884 14884 12749 0 -1 1077944320 10912 0 0 0 48 3 0 0 20 0 20 0 418203693 28909203456 12522 33554432000 4194304 4196468 140732523995472 140732523978016 140618016329463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
/proc/14886/statm: 7057911 12522 3337 1 0 7019032 0
[pid=14886/tid=14887] ppid=14884 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/14886/task/14887/stat : 14887 (java) R 14884 14884 12749 0 -1 4202560 7796 0 0 0 27 2 0 0 20 0 20 0 418203693 28909203456 12522 33554432000 4194304 4196468 140732523995472 140618020560080 140618000409950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14888] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14888/stat : 14888 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617968949648 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14889] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14889/stat : 14889 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617566771472 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14890] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14890/stat : 14890 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617565719184 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14891] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14891/stat : 14891 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617564666384 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14892] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14892/stat : 14892 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617563614096 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14893] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14893/stat : 14893 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617562561296 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14894] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14894/stat : 14894 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617561509008 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14895] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14895/stat : 14895 (java) S 14884 14884 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203694 28909203456 12522 33554432000 4194304 4196468 140732523995472 140617560456208 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14896] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14896/stat : 14896 (java) S 14884 14884 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418203695 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616998496368 140618016340610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14897] ppid=14884 vsize=28231644 memory=279877920169344 CPUtime=0 cores=0-7
/proc/14886/task/14897/stat : 14897 (java) S 14884 14884 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203696 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616997442336 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14898] ppid=14884 vsize=28231644 memory=279877920173952 CPUtime=0 cores=0-7
/proc/14886/task/14898/stat : 14898 (java) S 14884 14884 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203696 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616996390000 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14899] ppid=14884 vsize=28231644 memory=279877920178560 CPUtime=0 cores=0-7
/proc/14886/task/14899/stat : 14899 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203699 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616995338320 140618016348059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14900] ppid=14884 vsize=28231644 memory=279877920183168 CPUtime=0.02 cores=0-7
/proc/14886/task/14900/stat : 14900 (java) S 14884 14884 12749 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 20 0 418203699 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616994286192 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14901] ppid=14884 vsize=28231644 memory=279877920187776 CPUtime=0.02 cores=0-7
/proc/14886/task/14901/stat : 14901 (java) R 14884 14884 12749 0 -1 4202560 213 0 0 0 2 0 0 0 20 0 20 0 418203699 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616993214408 140618001453055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14902] ppid=14884 vsize=28231644 memory=279877920192384 CPUtime=0.03 cores=0-7
/proc/14886/task/14902/stat : 14902 (java) S 14884 14884 12749 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 20 0 418203699 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616992181104 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14903] ppid=14884 vsize=28231644 memory=279877920196992 CPUtime=0.12 cores=0-7
/proc/14886/task/14903/stat : 14903 (java) S 14884 14884 12749 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 418203699 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616991128304 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14904] ppid=14884 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14904/stat : 14904 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203699 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616990075232 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14905] ppid=14884 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/14886/task/14905/stat : 14905 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203699 28909203456 12522 33554432000 4194304 4196468 140732523995472 140616989022512 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51540 KiB

[startup+0.701039 s]
/proc/loadavg: 6.63 7.66 6.15 4/212 14905
/proc/meminfo: memFree=30575652/32770624 swapFree=66997544/67108860
[pid=14884] ppid=14881 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14884/stat : 14884 (xcsp3-exec) S 14881 14884 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203693 115843072 363 33554432000 4194304 5098028 140732596281504 140732596279608 139682902753916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140732596290424 140732596290665 140732596290665 140732596293578 0
/proc/14884/statm: 28282 363 304 221 0 87 0
[pid=14886] ppid=14884 vsize=28233768 memory=128696 CPUtime=1.94 cores=0-7
/proc/14886/stat : 14886 (java) S 14884 14884 12749 0 -1 1077944320 15681 0 0 0 188 6 0 0 20 0 20 0 418203693 28911378432 32174 33554432000 4194304 4196468 140732523995472 140732523978016 140618016329463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
/proc/14886/statm: 7058442 32174 3447 1 0 7019544 0
[pid=14886/tid=14887] ppid=14884 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/14886/task/14887/stat : 14887 (java) R 14884 14884 12749 0 -1 4202560 8339 0 0 0 64 3 0 0 20 0 20 0 418203693 28911378432 32174 33554432000 4194304 4196468 140732523995472 140618020566128 140617648734484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14888] ppid=14884 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14888/stat : 14888 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28911378432 32174 33554432000 4194304 4196468 140732523995472 140617968949648 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14889] ppid=14884 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14889/stat : 14889 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203694 28911378432 32174 33554432000 4194304 4196468 140732523995472 140617566771472 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14890] ppid=14884 vsize=28233768 memory=4008 CPUtime=0 cores=0-7
/proc/14886/task/14890/stat : 14890 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203694 28911378432 32174 33554432000 4194304 4196468 140732523995472 140617565719184 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0

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

[pid=14886/tid=14903] ppid=14884 vsize=28769356 memory=0 CPUtime=1.1 cores=0-7
/proc/14886/task/14903/stat : 14903 (java) S 14884 14884 12749 0 -1 1077944384 8549 0 0 0 108 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616991128304 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14904] ppid=14884 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/14886/task/14904/stat : 14904 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616990075232 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14905] ppid=14884 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7
/proc/14886/task/14905/stat : 14905 (java) S 14884 14884 12749 0 -1 1077944384 1156 0 0 0 0 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616989022512 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14994] ppid=14884 vsize=28769356 memory=0 CPUtime=39.92 cores=0-7
/proc/14886/task/14994/stat : 14994 (java) R 14884 14884 12749 0 -1 4202560 6499 0 0 0 3966 26 0 0 20 0 28 0 418204214 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616976663296 140617658358643 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14995] ppid=14884 vsize=28769356 memory=0 CPUtime=40.48 cores=0-7
/proc/14886/task/14995/stat : 14995 (java) R 14884 14884 12749 0 -1 4202560 497 0 0 0 4048 0 0 0 20 0 28 0 418204214 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616972451552 140617651262598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14996] ppid=14884 vsize=28769356 memory=0 CPUtime=40.18 cores=0-7
/proc/14886/task/14996/stat : 14996 (java) R 14884 14884 12749 0 -1 4202560 5834 0 0 0 4009 9 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616974557704 140617657397316 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14997] ppid=14884 vsize=28769356 memory=0 CPUtime=40.2 cores=0-7
/proc/14886/task/14997/stat : 14997 (java) R 14884 14884 12749 0 -1 4202560 3599 0 0 0 4013 7 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616979812376 140617653453430 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14998] ppid=14884 vsize=28769356 memory=500 CPUtime=40.3 cores=0-7
/proc/14886/task/14998/stat : 14998 (java) R 14884 14884 12749 0 -1 4202560 516 0 0 0 4029 1 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616969294552 140617658358619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14999] ppid=14884 vsize=28769356 memory=928 CPUtime=40.48 cores=0-7
/proc/14886/task/14999/stat : 14999 (java) R 14884 14884 12749 0 -1 4202560 6873 0 0 0 4008 40 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616973504232 140617651918076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=15000] ppid=14884 vsize=28769356 memory=1528 CPUtime=39.96 cores=0-7
/proc/14886/task/15000/stat : 15000 (java) R 14884 14884 12749 0 -1 4202560 624 0 0 0 3996 0 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616971399176 140617657397316 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=15001] ppid=14884 vsize=28769356 memory=1448 CPUtime=40.32 cores=0-7
/proc/14886/task/15001/stat : 15001 (java) R 14884 14884 12749 0 -1 4202560 635 0 0 0 4032 0 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616975609736 140617657397794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
Current children cumulated CPU time: 348.11 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 3491972 KiB

[startup+46.8021 s]
/proc/loadavg: 7.72 7.81 6.28 9/220 15004
/proc/meminfo: memFree=27151288/32770624 swapFree=66997544/67108860
[pid=14884] ppid=14881 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14884/stat : 14884 (xcsp3-exec) S 14881 14884 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203693 115843072 363 33554432000 4194304 5098028 140732596281504 140732596279608 139682902753916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140732596290424 140732596290665 140732596290665 140732596293578 0
/proc/14884/statm: 28282 363 304 221 0 87 0
[pid=14886] ppid=14884 vsize=28769356 memory=3490520 CPUtime=351.3 cores=0-7
/proc/14886/stat : 14886 (java) S 14884 14884 12749 0 -1 1077944320 102414 0 0 0 34949 181 0 0 20 0 28 0 418203693 29459820544 872630 33554432000 4194304 4196468 140732523995472 140732523978016 140618016329463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
/proc/14886/statm: 7192339 872630 3531 1 0 7153441 0
[pid=14886/tid=14887] ppid=14884 vsize=28769356 memory=7523376918531162212 CPUtime=3.59 cores=0-7
/proc/14886/task/14887/stat : 14887 (java) S 14884 14884 12749 0 -1 1077944384 11481 0 0 0 348 11 0 0 20 0 28 0 418203693 29459820544 872630 33554432000 4194304 4196468 140732523995472 140618020570240 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14888] ppid=14884 vsize=28769356 memory=4642197910265684584 CPUtime=0.24 cores=0-7
/proc/14886/task/14888/stat : 14888 (java) S 14884 14884 12749 0 -1 1077944384 1142 0 0 0 16 8 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617968949648 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14889] ppid=14884 vsize=28769356 memory=7739532043930854488 CPUtime=0.24 cores=0-7
/proc/14886/task/14889/stat : 14889 (java) S 14884 14884 12749 0 -1 1077944384 526 0 0 0 16 8 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617566771472 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14890] ppid=14884 vsize=28769356 memory=0 CPUtime=0.25 cores=0-7
/proc/14886/task/14890/stat : 14890 (java) S 14884 14884 12749 0 -1 1077944384 448 0 0 0 18 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617565719184 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14891] ppid=14884 vsize=28769356 memory=6791534058613427641 CPUtime=0.25 cores=0-7
/proc/14886/task/14891/stat : 14891 (java) S 14884 14884 12749 0 -1 1077944384 1234 0 0 0 18 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617564666384 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14892] ppid=14884 vsize=28769356 memory=3490520 CPUtime=0.22 cores=0-7
/proc/14886/task/14892/stat : 14892 (java) S 14884 14884 12749 0 -1 1077944384 386 0 0 0 15 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617563614096 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14893] ppid=14884 vsize=28769356 memory=3467992 CPUtime=0.23 cores=0-7
/proc/14886/task/14893/stat : 14893 (java) S 14884 14884 12749 0 -1 1077944384 416 0 0 0 15 8 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617562561296 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14894] ppid=14884 vsize=28769356 memory=1980 CPUtime=0.22 cores=0-7
/proc/14886/task/14894/stat : 14894 (java) S 14884 14884 12749 0 -1 1077944384 820 0 0 0 15 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617561509008 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14895] ppid=14884 vsize=28769356 memory=2552 CPUtime=0.21 cores=0-7
/proc/14886/task/14895/stat : 14895 (java) S 14884 14884 12749 0 -1 1077944384 825 0 0 0 14 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617560456208 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14896] ppid=14884 vsize=28769356 memory=1760 CPUtime=0.04 cores=0-7
/proc/14886/task/14896/stat : 14896 (java) S 14884 14884 12749 0 -1 1077944384 3457 0 0 0 3 1 0 0 20 0 28 0 418203695 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616998496368 140618016340610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14897] ppid=14884 vsize=28769356 memory=111632 CPUtime=0 cores=0-7
/proc/14886/task/14897/stat : 14897 (java) S 14884 14884 12749 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 418203696 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616997442400 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14898] ppid=14884 vsize=28769356 memory=1452 CPUtime=0 cores=0-7
/proc/14886/task/14898/stat : 14898 (java) S 14884 14884 12749 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 418203696 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616996390016 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14899] ppid=14884 vsize=28769356 memory=3490520 CPUtime=0 cores=0-7
/proc/14886/task/14899/stat : 14899 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616995338320 140618016348059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14900] ppid=14884 vsize=28769356 memory=920 CPUtime=5.34 cores=0-7
/proc/14886/task/14900/stat : 14900 (java) S 14884 14884 12749 0 -1 1077944384 16679 0 0 0 532 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616994286192 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14901] ppid=14884 vsize=28769356 memory=4768 CPUtime=4.77 cores=0-7
/proc/14886/task/14901/stat : 14901 (java) S 14884 14884 12749 0 -1 1077944384 11221 0 0 0 474 3 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616993233392 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14902] ppid=14884 vsize=28769356 memory=4104 CPUtime=4.51 cores=0-7
/proc/14886/task/14902/stat : 14902 (java) S 14884 14884 12749 0 -1 1077944384 15053 0 0 0 447 4 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616992181104 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14903] ppid=14884 vsize=28769356 memory=1128 CPUtime=1.1 cores=0-7
/proc/14886/task/14903/stat : 14903 (java) S 14884 14884 12749 0 -1 1077944384 8988 0 0 0 108 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616991128304 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14904] ppid=14884 vsize=28769356 memory=772 CPUtime=0 cores=0-7
/proc/14886/task/14904/stat : 14904 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616990075232 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14905] ppid=14884 vsize=28769356 memory=4008 CPUtime=0.02 cores=0-7
/proc/14886/task/14905/stat : 14905 (java) S 14884 14884 12749 0 -1 1077944384 1156 0 0 0 0 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616989022512 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14994] ppid=14884 vsize=28769356 memory=948 CPUtime=40.32 cores=0-7
/proc/14886/task/14994/stat : 14994 (java) R 14884 14884 12749 0 -1 4202560 6519 0 0 0 4006 26 0 0 20 0 28 0 418204214 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616976663296 140618001539422 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14995] ppid=14884 vsize=28769356 memory=2832 CPUtime=40.88 cores=0-7
/proc/14886/task/14995/stat : 14995 (java) R 14884 14884 12749 0 -1 4202560 497 0 0 0 4088 0 0 0 20 0 28 0 418204214 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616972451552 140617653452964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14996] ppid=14884 vsize=28769356 memory=3490520 CPUtime=40.58 cores=0-7
/proc/14886/task/14996/stat : 14996 (java) R 14884 14884 12749 0 -1 4202560 5850 0 0 0 4049 9 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616974557704 140617649922748 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14997] ppid=14884 vsize=28769356 memory=1452 CPUtime=40.6 cores=0-7
/proc/14886/task/14997/stat : 14997 (java) R 14884 14884 12749 0 -1 4202560 3612 0 0 0 4053 7 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616979814936 140617658399445 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14998] ppid=14884 vsize=28769356 memory=3467780 CPUtime=40.7 cores=0-7
/proc/14886/task/14998/stat : 14998 (java) R 14884 14884 12749 0 -1 4202560 516 0 0 0 4069 1 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616969294552 140617657397316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14999] ppid=14884 vsize=28769356 memory=628 CPUtime=40.89 cores=0-7
/proc/14886/task/14999/stat : 14999 (java) R 14884 14884 12749 0 -1 4202560 6923 0 0 0 4048 41 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616973504232 140617654485788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=15000] ppid=14884 vsize=28769356 memory=1056 CPUtime=40.36 cores=0-7
/proc/14886/task/15000/stat : 15000 (java) R 14884 14884 12749 0 -1 4202560 624 0 0 0 4036 0 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616971399176 140617657397316 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=15001] ppid=14884 vsize=28769356 memory=1452 CPUtime=40.72 cores=0-7
/proc/14886/task/15001/stat : 15001 (java) R 14884 14884 12749 0 -1 4202560 637 0 0 0 4072 0 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616975609736 140617657393185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
Current children cumulated CPU time: 351.3 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 3491972 KiB

[startup+47.0021 s]*
/proc/loadavg: 7.72 7.81 6.28 7/220 15004
/proc/meminfo: memFree=27151288/32770624 swapFree=66997544/67108860
[pid=14884] ppid=14881 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14884/stat : 14884 (xcsp3-exec) S 14881 14884 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418203693 115843072 363 33554432000 4194304 5098028 140732596281504 140732596279608 139682902753916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36933632 140732596290424 140732596290665 140732596290665 140732596293578 0
/proc/14884/statm: 28282 363 304 221 0 87 0
[pid=14886] ppid=14884 vsize=28769356 memory=3490520 CPUtime=352.93 cores=0-7
/proc/14886/stat : 14886 (java) S 14884 14884 12749 0 -1 1077944320 102595 0 0 0 35111 182 0 0 20 0 28 0 418203693 29459820544 872630 33554432000 4194304 4196468 140732523995472 140732523978016 140618016329463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
/proc/14886/statm: 7192339 872630 3531 1 0 7153441 0
[pid=14886/tid=14887] ppid=14884 vsize=28769356 memory=8317482817917895235 CPUtime=3.59 cores=0-7
/proc/14886/task/14887/stat : 14887 (java) S 14884 14884 12749 0 -1 1077944384 11481 0 0 0 348 11 0 0 20 0 28 0 418203693 29459820544 872630 33554432000 4194304 4196468 140732523995472 140618020570240 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14888] ppid=14884 vsize=28769356 memory=6791534058613427641 CPUtime=0.24 cores=0-7
/proc/14886/task/14888/stat : 14888 (java) S 14884 14884 12749 0 -1 1077944384 1142 0 0 0 16 8 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617968949648 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14889] ppid=14884 vsize=28769356 memory=7516879831424984175 CPUtime=0.24 cores=0-7
/proc/14886/task/14889/stat : 14889 (java) S 14884 14884 12749 0 -1 1077944384 526 0 0 0 16 8 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617566771472 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14890] ppid=14884 vsize=28769356 memory=7516879831424984175 CPUtime=0.25 cores=0-7
/proc/14886/task/14890/stat : 14890 (java) S 14884 14884 12749 0 -1 1077944384 448 0 0 0 18 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617565719184 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14891] ppid=14884 vsize=28769356 memory=6791534058613427641 CPUtime=0.25 cores=0-7
/proc/14886/task/14891/stat : 14891 (java) S 14884 14884 12749 0 -1 1077944384 1234 0 0 0 18 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617564666384 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14892] ppid=14884 vsize=28769356 memory=288230617509003574 CPUtime=0.22 cores=0-7
/proc/14886/task/14892/stat : 14892 (java) S 14884 14884 12749 0 -1 1077944384 386 0 0 0 15 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617563614096 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14893] ppid=14884 vsize=28769356 memory=15252636593031516 CPUtime=0.23 cores=0-7
/proc/14886/task/14893/stat : 14893 (java) S 14884 14884 12749 0 -1 1077944384 416 0 0 0 15 8 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617562561296 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14894] ppid=14884 vsize=28769356 memory=10392 CPUtime=0.22 cores=0-7
/proc/14886/task/14894/stat : 14894 (java) S 14884 14884 12749 0 -1 1077944384 820 0 0 0 15 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617561509008 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14895] ppid=14884 vsize=28769356 memory=12024 CPUtime=0.21 cores=0-7
/proc/14886/task/14895/stat : 14895 (java) S 14884 14884 12749 0 -1 1077944384 825 0 0 0 14 7 0 0 20 0 28 0 418203694 29459820544 872630 33554432000 4194304 4196468 140732523995472 140617560456208 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14896] ppid=14884 vsize=28769356 memory=1556 CPUtime=0.04 cores=0-7
/proc/14886/task/14896/stat : 14896 (java) S 14884 14884 12749 0 -1 1077944384 3457 0 0 0 3 1 0 0 20 0 28 0 418203695 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616998496368 140618016340610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14897] ppid=14884 vsize=28769356 memory=500 CPUtime=0 cores=0-7
/proc/14886/task/14897/stat : 14897 (java) S 14884 14884 12749 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 418203696 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616997442400 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14898] ppid=14884 vsize=28769356 memory=928 CPUtime=0 cores=0-7
/proc/14886/task/14898/stat : 14898 (java) S 14884 14884 12749 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 418203696 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616996390016 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14899] ppid=14884 vsize=28769356 memory=1528 CPUtime=0 cores=0-7
/proc/14886/task/14899/stat : 14899 (java) S 14884 14884 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616995338320 140618016348059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14900] ppid=14884 vsize=28769356 memory=6791534058613427641 CPUtime=5.34 cores=0-7
/proc/14886/task/14900/stat : 14900 (java) S 14884 14884 12749 0 -1 1077944384 16679 0 0 0 532 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616994286192 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14901] ppid=14884 vsize=28769356 memory=876 CPUtime=4.77 cores=0-7
/proc/14886/task/14901/stat : 14901 (java) S 14884 14884 12749 0 -1 1077944384 11221 0 0 0 474 3 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616993233392 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14902] ppid=14884 vsize=28769356 memory=1980 CPUtime=4.51 cores=0-7
/proc/14886/task/14902/stat : 14902 (java) S 14884 14884 12749 0 -1 1077944384 15053 0 0 0 447 4 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616992181104 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14903] ppid=14884 vsize=28769356 memory=2552 CPUtime=1.1 cores=0-7
/proc/14886/task/14903/stat : 14903 (java) S 14884 14884 12749 0 -1 1077944384 8988 0 0 0 108 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616991128304 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14904] ppid=14884 vsize=28769356 memory=1760 CPUtime=0 cores=0-7
/proc/14886/task/14904/stat : 14904 (java) S 14884 14884 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616990075232 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14905] ppid=14884 vsize=28769356 memory=303430223234596890 CPUtime=0.02 cores=0-7
/proc/14886/task/14905/stat : 14905 (java) S 14884 14884 12749 0 -1 1077944384 1156 0 0 0 0 2 0 0 20 0 28 0 418203699 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616989022512 140618016340610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14994] ppid=14884 vsize=28769356 memory=1452 CPUtime=40.53 cores=0-7
/proc/14886/task/14994/stat : 14994 (java) R 14884 14884 12749 0 -1 4202560 6531 0 0 0 4026 27 0 0 20 0 28 0 418204214 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616976663296 140617654196966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14995] ppid=14884 vsize=28769356 memory=3490520 CPUtime=41.08 cores=0-7
/proc/14886/task/14995/stat : 14995 (java) S 14884 14884 12749 0 -1 1077944384 520 0 0 0 4108 0 0 0 20 0 28 0 418204214 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616972456912 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14996] ppid=14884 vsize=28769356 memory=0 CPUtime=40.78 cores=0-7
/proc/14886/task/14996/stat : 14996 (java) S 14884 14884 12749 0 -1 1077944384 5880 0 0 0 4069 9 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616974562640 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14997] ppid=14884 vsize=28769356 memory=0 CPUtime=40.8 cores=0-7
/proc/14886/task/14997/stat : 14997 (java) S 14884 14884 12749 0 -1 1077944384 3654 0 0 0 4073 7 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616979817680 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14998] ppid=14884 vsize=28769356 memory=0 CPUtime=40.9 cores=0-7
/proc/14886/task/14998/stat : 14998 (java) S 14884 14884 12749 0 -1 1077944384 520 0 0 0 4089 1 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616969299536 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=14999] ppid=14884 vsize=28769356 memory=0 CPUtime=41.1 cores=0-7
/proc/14886/task/14999/stat : 14999 (java) R 14884 14884 12749 0 -1 4202560 6953 0 0 0 4069 41 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616973504232 140617651918227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=15000] ppid=14884 vsize=28769356 memory=0 CPUtime=40.56 cores=0-7
/proc/14886/task/15000/stat : 15000 (java) S 14884 14884 12749 0 -1 1077944384 646 0 0 0 4056 0 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616971404112 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
[pid=14886/tid=15001] ppid=14884 vsize=28769356 memory=0 CPUtime=40.92 cores=0-7
/proc/14886/task/15001/stat : 15001 (java) S 14884 14884 12749 0 -1 1077944384 655 0 0 0 4092 0 0 0 20 0 28 0 418204215 29459820544 872630 33554432000 4194304 4196468 140732523995472 140616975614672 140618016339669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17600512 140732524004330 140732524004502 140732524004502 140732524007375 0
Current children cumulated CPU time: 352.93 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 3491972 KiB

Child status: 0
Real time (s): 47.0797
CPU time (s): 353.01
CPU user time (s): 351.164
CPU system time (s): 1.84632
CPU usage (%): 749.814
Max. virtual memory (cumulated for all children) (KiB): 28882484
Max. memory (cumulated for all children) (KiB): 3491972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 351.164
system time used= 1.84632
maximum resident set size= 3490544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7437
involuntary context switches= 4774


# summary of solver processes directly reported to runsolver:
#   pid: 14884
#   total CPU time (s): 353.01
#   total CPU user time (s): 351.164
#   total CPU system time (s): 1.84632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.394478 second user time and 0.625313 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	58.2779
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393864

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
