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	394	35.6564	6.3106
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 (14586 MiB free)
  memory of node 1: 16384 MiB (15609 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393887-1568448108/watcher-4393887-1568448108 -o /tmp/evaluation-result-4393887-1568448108/solver-4393887-1568448108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568448065-31833 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1126001026 HOME/instance-4393887-1568448108.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=31850, runsolver pid=31847
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 7.36 6.33 7.08 3/213 31871
/proc/meminfo: memFree=30903220/32770624 swapFree=66948312/67108860
[pid=31850] ppid=31847 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31850/stat : 31850 (xcsp3-exec) S 31847 31850 31806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420752703 115843072 364 33554432000 4194304 5098028 140723944564256 140723944562360 140158691402364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30949376 140723944567669 140723944567913 140723944567913 140723944570826 0
/proc/31850/statm: 28282 364 305 221 0 87 0
[pid=31852] ppid=31850 vsize=28227388 memory=29384 CPUtime=0.13 cores=0-7
/proc/31852/stat : 31852 (java) S 31850 31850 31806 0 -1 1077944320 5750 0 0 0 12 1 0 0 20 0 20 0 420752703 28904845312 7346 33554432000 4194304 4196468 140726014313200 140726014295744 139785152737015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
/proc/31852/statm: 7056847 7346 3155 1 0 7019032 0
[pid=31852/tid=31853] ppid=31850 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31852/task/31853/stat : 31853 (java) R 31850 31850 31806 0 -1 4202560 3662 0 0 0 8 0 0 0 20 0 20 0 420752703 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785156967168 139785135165436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31854] ppid=31850 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/31852/task/31854/stat : 31854 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785105357456 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31855] ppid=31850 vsize=28227388 memory=140030166984320 CPUtime=0 cores=0-7
/proc/31852/task/31855/stat : 31855 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785104304656 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31856] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31856/stat : 31856 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785103251856 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31857] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31857/stat : 31857 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785102199056 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31858] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31858/stat : 31858 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785101147280 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31859] ppid=31850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31852/task/31859/stat : 31859 (java) S 31850 31850 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785100094480 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31860] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31860/stat : 31860 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785099041680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31861] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31861/stat : 31861 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 7346 33554432000 4194304 4196468 140726014313200 139785097988880 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31862] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31862/stat : 31862 (java) S 31850 31850 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420752706 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783750920560 139785152748162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31863] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31863/stat : 31863 (java) S 31850 31850 31806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420752706 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783749866528 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31864] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31864/stat : 31864 (java) S 31850 31850 31806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420752706 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783748813680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31865] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31865/stat : 31865 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783747762000 139785152755611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31866] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31866/stat : 31866 (java) R 31850 31850 31806 0 -1 4202560 417 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783746710384 139785137553517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31867] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31867/stat : 31867 (java) R 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783745657584 139785152748162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31868] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31868/stat : 31868 (java) R 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783744604784 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31869] ppid=31850 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/31852/task/31869/stat : 31869 (java) R 31850 31850 31806 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 20 0 420752709 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783743551984 139785152750924 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31870] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31870/stat : 31870 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783742499424 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31871] ppid=31850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31852/task/31871/stat : 31871 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 7346 33554432000 4194304 4196468 140726014313200 139783741446704 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30840 KiB

[startup+0.210614 s]*
/proc/loadavg: 7.36 6.33 7.08 3/213 31871
/proc/meminfo: memFree=30890224/32770624 swapFree=66948312/67108860
[pid=31850] ppid=31847 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31850/stat : 31850 (xcsp3-exec) S 31847 31850 31806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420752703 115843072 364 33554432000 4194304 5098028 140723944564256 140723944562360 140158691402364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30949376 140723944567669 140723944567913 140723944567913 140723944570826 0
/proc/31850/statm: 28282 364 305 221 0 87 0
[pid=31852] ppid=31850 vsize=28227388 memory=41264 CPUtime=0.34 cores=0-7
/proc/31852/stat : 31852 (java) S 31850 31850 31806 0 -1 1077944320 9542 0 0 0 31 3 0 0 20 0 20 0 420752703 28904845312 10316 33554432000 4194304 4196468 140726014313200 140726014295744 139785152737015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
/proc/31852/statm: 7056847 10316 3301 1 0 7019032 0
[pid=31852/tid=31853] ppid=31850 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31852/task/31853/stat : 31853 (java) R 31850 31850 31806 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 20 0 420752703 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785156975328 139785152758941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31854] ppid=31850 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/31852/task/31854/stat : 31854 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785105357456 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31855] ppid=31850 vsize=28227388 memory=288370406318696064 CPUtime=0 cores=0-7
/proc/31852/task/31855/stat : 31855 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785104304656 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31856] ppid=31850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31852/task/31856/stat : 31856 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785103251856 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31857] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31857/stat : 31857 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785102199056 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31858] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31858/stat : 31858 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785101147280 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31859] ppid=31850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31852/task/31859/stat : 31859 (java) S 31850 31850 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785100094480 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31860] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31860/stat : 31860 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785099041680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31861] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31861/stat : 31861 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28904845312 10316 33554432000 4194304 4196468 140726014313200 139785097988880 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31862] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31862/stat : 31862 (java) S 31850 31850 31806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420752706 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783750920560 139785152748162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31863] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31863/stat : 31863 (java) S 31850 31850 31806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420752706 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783749866528 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31864] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31864/stat : 31864 (java) S 31850 31850 31806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420752706 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783748813680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31865] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31865/stat : 31865 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783747762000 139785152755611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31866] ppid=31850 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/31852/task/31866/stat : 31866 (java) R 31850 31850 31806 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 20 0 420752709 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783746710384 139785152748162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31867] ppid=31850 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/31852/task/31867/stat : 31867 (java) R 31850 31850 31806 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 420752709 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783745657584 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31868] ppid=31850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31852/task/31868/stat : 31868 (java) S 31850 31850 31806 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783744604784 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31869] ppid=31850 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/31852/task/31869/stat : 31869 (java) R 31850 31850 31806 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 20 0 420752709 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783743551984 139785152758362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31870] ppid=31850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31870/stat : 31870 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783742499424 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31871] ppid=31850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31852/task/31871/stat : 31871 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28904845312 10316 33554432000 4194304 4196468 140726014313200 139783741446704 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42720 KiB

[startup+0.310483 s]*
/proc/loadavg: 7.36 6.33 7.08 3/213 31871
/proc/meminfo: memFree=30882816/32770624 swapFree=66948312/67108860
[pid=31850] ppid=31847 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31850/stat : 31850 (xcsp3-exec) S 31847 31850 31806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420752703 115843072 364 33554432000 4194304 5098028 140723944564256 140723944562360 140158691402364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30949376 140723944567669 140723944567913 140723944567913 140723944570826 0
/proc/31850/statm: 28282 364 305 221 0 87 0
[pid=31852] ppid=31850 vsize=28231644 memory=50524 CPUtime=0.53 cores=0-7
/proc/31852/stat : 31852 (java) S 31850 31850 31806 0 -1 1077944320 10956 0 0 0 49 4 0 0 20 0 20 0 420752703 28909203456 12631 33554432000 4194304 4196468 140726014313200 140726014295744 139785152737015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
/proc/31852/statm: 7057911 12631 3354 1 0 7019032 0
[pid=31852/tid=31853] ppid=31850 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31852/task/31853/stat : 31853 (java) R 31850 31850 31806 0 -1 4202560 7852 0 0 0 27 2 0 0 20 0 20 0 420752703 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785156968128 139785136817502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31854] ppid=31850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31854/stat : 31854 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785105357456 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31855] ppid=31850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31855/stat : 31855 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785104304656 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31856] ppid=31850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31856/stat : 31856 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785103251856 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31857] ppid=31850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31857/stat : 31857 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785102199056 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31858] ppid=31850 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/31852/task/31858/stat : 31858 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785101147280 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31859] ppid=31850 vsize=28231644 memory=140030026806191 CPUtime=0 cores=0-7
/proc/31852/task/31859/stat : 31859 (java) S 31850 31850 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785100094480 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31860] ppid=31850 vsize=28231644 memory=140030026808496 CPUtime=0 cores=0-7
/proc/31852/task/31860/stat : 31860 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785099041680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31861] ppid=31850 vsize=28231644 memory=140030026810800 CPUtime=0 cores=0-7
/proc/31852/task/31861/stat : 31861 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28909203456 12631 33554432000 4194304 4196468 140726014313200 139785097988880 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31862] ppid=31850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31862/stat : 31862 (java) S 31850 31850 31806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420752706 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783750920560 139785152748162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31863] ppid=31850 vsize=28231644 memory=280060053628560 CPUtime=0 cores=0-7
/proc/31852/task/31863/stat : 31863 (java) S 31850 31850 31806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420752706 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783749866528 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31864] ppid=31850 vsize=28231644 memory=280060053635472 CPUtime=0 cores=0-7
/proc/31852/task/31864/stat : 31864 (java) S 31850 31850 31806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420752706 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783748813680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31865] ppid=31850 vsize=28231644 memory=280060053576752 CPUtime=0 cores=0-7
/proc/31852/task/31865/stat : 31865 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783747762000 139785152755611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31866] ppid=31850 vsize=28231644 memory=280060053649296 CPUtime=0.04 cores=0-7
/proc/31852/task/31866/stat : 31866 (java) S 31850 31850 31806 0 -1 1077944384 604 0 0 0 4 0 0 0 20 0 20 0 420752709 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783746710384 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31867] ppid=31850 vsize=28231644 memory=280060053656208 CPUtime=0.02 cores=0-7
/proc/31852/task/31867/stat : 31867 (java) S 31850 31850 31806 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 420752709 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783745657584 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31868] ppid=31850 vsize=28231644 memory=280060053653904 CPUtime=0.01 cores=0-7
/proc/31852/task/31868/stat : 31868 (java) S 31850 31850 31806 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 420752709 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783744604784 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31869] ppid=31850 vsize=28231644 memory=280060053670064 CPUtime=0.12 cores=0-7
/proc/31852/task/31869/stat : 31869 (java) S 31850 31850 31806 0 -1 1077944384 827 0 0 0 12 0 0 0 20 0 20 0 420752709 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783743551984 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31870] ppid=31850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31870/stat : 31870 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752709 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783742499424 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31871] ppid=31850 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/31852/task/31871/stat : 31871 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28909203456 12631 33554432000 4194304 4196468 140726014313200 139783741446704 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51980 KiB

[startup+0.701782 s]
/proc/loadavg: 7.36 6.33 7.08 4/213 31871
/proc/meminfo: memFree=30862260/32770624 swapFree=66948312/67108860
[pid=31850] ppid=31847 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31850/stat : 31850 (xcsp3-exec) S 31847 31850 31806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420752703 115843072 364 33554432000 4194304 5098028 140723944564256 140723944562360 140158691402364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30949376 140723944567669 140723944567913 140723944567913 140723944570826 0
/proc/31850/statm: 28282 364 305 221 0 87 0
[pid=31852] ppid=31850 vsize=28233768 memory=107640 CPUtime=2.03 cores=0-7
/proc/31852/stat : 31852 (java) S 31850 31850 31806 0 -1 1077944320 16722 0 0 0 197 6 0 0 20 0 20 0 420752703 28911378432 26910 33554432000 4194304 4196468 140726014313200 140726014295744 139785152737015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
/proc/31852/statm: 7058442 26910 3449 1 0 7019544 0
[pid=31852/tid=31853] ppid=31850 vsize=28233768 memory=280060054027952 CPUtime=0.67 cores=0-7
/proc/31852/task/31853/stat : 31853 (java) R 31850 31850 31806 0 -1 4202560 8755 0 0 0 64 3 0 0 20 0 20 0 420752703 28911378432 26910 33554432000 4194304 4196468 140726014313200 139785156962496 139785152758941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31854] ppid=31850 vsize=28233768 memory=140030027015024 CPUtime=0 cores=0-7
/proc/31852/task/31854/stat : 31854 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28911378432 26910 33554432000 4194304 4196468 140726014313200 139785105357456 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31855] ppid=31850 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31855/stat : 31855 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28911378432 26910 33554432000 4194304 4196468 140726014313200 139785104304656 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31856] ppid=31850 vsize=28233768 memory=1720 CPUtime=0 cores=0-7
/proc/31852/task/31856/stat : 31856 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752704 28911378432 26910 33554432000 4194304 4196468 140726014313200 139785103251856 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0

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

[pid=31852/tid=31866] ppid=31850 vsize=28233768 memory=0 CPUtime=0.33 cores=0-7
/proc/31852/task/31866/stat : 31866 (java) R 31850 31850 31806 0 -1 4202560 1489 0 0 0 33 0 0 0 20 0 20 0 420752709 28911378432 26910 33554432000 4194304 4196468 140726014313200 139783746691400 139785136233799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31867] ppid=31850 vsize=28233768 memory=740 CPUtime=0.32 cores=0-7
/proc/31852/task/31867/stat : 31867 (java) R 31850 31850 31806 0 -1 4202560 1339 0 0 0 32 0 0 0 20 0 20 0 420752709 28911378432 26910 33554432000 4194304 4196468 140726014313200 139783745643608 139785134281611 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31868] ppid=31850 vsize=28233768 memory=1056 CPUtime=0.3 cores=0-7
/proc/31852/task/31868/stat : 31868 (java) R 31850 31850 31806 0 -1 4202560 1406 0 0 0 30 0 0 0 20 0 20 0 420752709 28911378432 26910 33554432000 4194304 4196468 140726014313200 139783744585896 139785136237398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31869] ppid=31850 vsize=28233768 memory=1552 CPUtime=0.36 cores=0-7
/proc/31852/task/31869/stat : 31869 (java) R 31850 31850 31806 0 -1 4202560 2421 0 0 0 36 0 0 0 20 0 20 0 420752709 28911378432 26910 33554432000 4194304 4196468 140726014313200 139783743551984 139785136086240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31870] ppid=31850 vsize=28233768 memory=1040 CPUtime=0 cores=0-7
/proc/31852/task/31870/stat : 31870 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752709 28911378432 26910 33554432000 4194304 4196468 140726014313200 139783742499424 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31871] ppid=31850 vsize=28233768 memory=4136 CPUtime=0 cores=0-7
/proc/31852/task/31871/stat : 31871 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28911378432 26910 33554432000 4194304 4196468 140726014313200 139783741446704 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
Current children cumulated CPU time: 2.03 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 109096 KiB

[startup+1.50101 s]
/proc/loadavg: 7.36 6.33 7.08 5/213 31871
/proc/meminfo: memFree=30758028/32770624 swapFree=66948312/67108860
[pid=31850] ppid=31847 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31850/stat : 31850 (xcsp3-exec) S 31847 31850 31806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420752703 115843072 364 33554432000 4194304 5098028 140723944564256 140723944562360 140158691402364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30949376 140723944567669 140723944567913 140723944567913 140723944570826 0
/proc/31850/statm: 28282 364 305 221 0 87 0
[pid=31852] ppid=31850 vsize=28233768 memory=256480 CPUtime=5.51 cores=0-7
/proc/31852/stat : 31852 (java) S 31850 31850 31806 0 -1 1077944320 29204 0 0 0 531 20 0 0 20 0 20 0 420752703 28911378432 64120 33554432000 4194304 4196468 140726014313200 140726014295744 139785152737015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
/proc/31852/statm: 7058442 64120 3507 1 0 7019544 0
[pid=31852/tid=31853] ppid=31850 vsize=28233768 memory=15534115864709562 CPUtime=1.42 cores=0-7
/proc/31852/task/31853/stat : 31853 (java) R 31850 31850 31806 0 -1 4202560 9373 0 0 0 137 5 0 0 20 0 20 0 420752703 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785156971376 139784767266576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31854] ppid=31850 vsize=28233768 memory=0 CPUtime=0.02 cores=0-7
/proc/31852/task/31854/stat : 31854 (java) S 31850 31850 31806 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785105357456 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31855] ppid=31850 vsize=28233768 memory=0 CPUtime=0.01 cores=0-7
/proc/31852/task/31855/stat : 31855 (java) S 31850 31850 31806 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785104304656 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31856] ppid=31850 vsize=28233768 memory=0 CPUtime=0.01 cores=0-7
/proc/31852/task/31856/stat : 31856 (java) S 31850 31850 31806 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785103251856 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31857] ppid=31850 vsize=28233768 memory=0 CPUtime=0.02 cores=0-7
/proc/31852/task/31857/stat : 31857 (java) S 31850 31850 31806 0 -1 1077944384 57 0 0 0 1 1 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785102199056 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31858] ppid=31850 vsize=28233768 memory=280060054301712 CPUtime=0.03 cores=0-7
/proc/31852/task/31858/stat : 31858 (java) S 31850 31850 31806 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785101147280 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31859] ppid=31850 vsize=28233768 memory=140030027151904 CPUtime=0.03 cores=0-7
/proc/31852/task/31859/stat : 31859 (java) S 31850 31850 31806 0 -1 1077944384 130 0 0 0 2 1 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785100094480 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31860] ppid=31850 vsize=28233768 memory=0 CPUtime=0.02 cores=0-7
/proc/31852/task/31860/stat : 31860 (java) S 31850 31850 31806 0 -1 1077944384 206 0 0 0 1 1 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785099041680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31861] ppid=31850 vsize=28233768 memory=0 CPUtime=0.03 cores=0-7
/proc/31852/task/31861/stat : 31861 (java) S 31850 31850 31806 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 20 0 420752704 28911378432 64120 33554432000 4194304 4196468 140726014313200 139785097988880 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31862] ppid=31850 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31862/stat : 31862 (java) S 31850 31850 31806 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 20 0 420752706 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783750920560 139785152748162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31863] ppid=31850 vsize=28233768 memory=2244 CPUtime=0 cores=0-7
/proc/31852/task/31863/stat : 31863 (java) S 31850 31850 31806 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 420752706 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783749866592 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31864] ppid=31850 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31864/stat : 31864 (java) S 31850 31850 31806 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 420752706 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783748813696 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31865] ppid=31850 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31865/stat : 31865 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420752709 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783747762000 139785152755611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31866] ppid=31850 vsize=28233768 memory=0 CPUtime=1.11 cores=0-7
/proc/31852/task/31866/stat : 31866 (java) R 31850 31850 31806 0 -1 4202560 5736 0 0 0 110 1 0 0 20 0 20 0 420752709 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783746690528 139785136233799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31867] ppid=31850 vsize=28233768 memory=0 CPUtime=1.07 cores=0-7
/proc/31852/task/31867/stat : 31867 (java) R 31850 31850 31806 0 -1 4202560 4151 0 0 0 106 1 0 0 20 0 20 0 420752709 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783745644896 139785130564253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31868] ppid=31850 vsize=28233768 memory=0 CPUtime=1.06 cores=0-7
/proc/31852/task/31868/stat : 31868 (java) R 31850 31850 31806 0 -1 4202560 4556 0 0 0 106 0 0 0 20 0 20 0 420752709 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783744589776 139785145026397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31869] ppid=31850 vsize=28233768 memory=6943526294502006880 CPUtime=0.57 cores=0-7
/proc/31852/task/31869/stat : 31869 (java) S 31850 31850 31806 0 -1 1077944384 3246 0 0 0 56 1 0 0 20 0 20 0 420752709 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783743551984 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31870] ppid=31850 vsize=28233768 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/31852/task/31870/stat : 31870 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752709 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783742499424 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31871] ppid=31850 vsize=28233768 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/31852/task/31871/stat : 31871 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420752709 28911378432 64120 33554432000 4194304 4196468 140726014313200 139783741446704 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 257936 KiB

[startup+3.11979 s]
/proc/loadavg: 7.36 6.33 7.08 10/221 31879
/proc/meminfo: memFree=30270636/32770624 swapFree=66948312/67108860
[pid=31850] ppid=31847 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31850/stat : 31850 (xcsp3-exec) S 31847 31850 31806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420752703 115843072 364 33554432000 4194304 5098028 140723944564256 140723944562360 140158691402364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30949376 140723944567669 140723944567913 140723944567913 140723944570826 0
/proc/31850/statm: 28282 364 305 221 0 87 0
[pid=31852] ppid=31850 vsize=28768328 memory=671884 CPUtime=11.45 cores=0-7
/proc/31852/stat : 31852 (java) S 31850 31850 31806 0 -1 1077944320 33125 0 0 0 1091 54 0 0 20 0 28 0 420752703 29458767872 167971 33554432000 4194304 4196468 140726014313200 140726014295744 139785152737015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
/proc/31852/statm: 7192082 167971 3515 1 0 7153184 0
[pid=31852/tid=31853] ppid=31850 vsize=28768328 memory=637864 CPUtime=2.75 cores=0-7
/proc/31852/task/31853/stat : 31853 (java) S 31850 31850 31806 0 -1 1077944384 10439 0 0 0 265 10 0 0 20 0 28 0 420752703 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785156977792 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31854] ppid=31850 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7
/proc/31852/task/31854/stat : 31854 (java) S 31850 31850 31806 0 -1 1077944384 115 0 0 0 8 3 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785105357456 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31855] ppid=31850 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/31852/task/31855/stat : 31855 (java) S 31850 31850 31806 0 -1 1077944384 127 0 0 0 7 3 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785104304656 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31856] ppid=31850 vsize=28768328 memory=280060054301712 CPUtime=0.11 cores=0-7
/proc/31852/task/31856/stat : 31856 (java) S 31850 31850 31806 0 -1 1077944384 123 0 0 0 7 4 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785103251856 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31857] ppid=31850 vsize=28768328 memory=140030027151904 CPUtime=0.12 cores=0-7
/proc/31852/task/31857/stat : 31857 (java) S 31850 31850 31806 0 -1 1077944384 151 0 0 0 8 4 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785102199056 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31858] ppid=31850 vsize=28768328 memory=0 CPUtime=0.13 cores=0-7
/proc/31852/task/31858/stat : 31858 (java) S 31850 31850 31806 0 -1 1077944384 157 0 0 0 9 4 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785101147280 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31859] ppid=31850 vsize=28768328 memory=56 CPUtime=0.13 cores=0-7
/proc/31852/task/31859/stat : 31859 (java) S 31850 31850 31806 0 -1 1077944384 215 0 0 0 8 5 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785100094480 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31860] ppid=31850 vsize=28768328 memory=13877 CPUtime=0.12 cores=0-7
/proc/31852/task/31860/stat : 31860 (java) S 31850 31850 31806 0 -1 1077944384 284 0 0 0 8 4 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785099041680 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31861] ppid=31850 vsize=28768328 memory=26820 CPUtime=0.12 cores=0-7
/proc/31852/task/31861/stat : 31861 (java) S 31850 31850 31806 0 -1 1077944384 193 0 0 0 8 4 0 0 20 0 28 0 420752704 29458767872 167971 33554432000 4194304 4196468 140726014313200 139785097988880 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31862] ppid=31850 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/31852/task/31862/stat : 31862 (java) S 31850 31850 31806 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 28 0 420752706 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783750920560 139785152748162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31863] ppid=31850 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/31852/task/31863/stat : 31863 (java) S 31850 31850 31806 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 420752706 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783749866592 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31864] ppid=31850 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/31852/task/31864/stat : 31864 (java) S 31850 31850 31806 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420752706 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783748813696 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31865] ppid=31850 vsize=28768328 memory=126296 CPUtime=0 cores=0-7
/proc/31852/task/31865/stat : 31865 (java) S 31850 31850 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420752709 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783747762000 139785152755611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31866] ppid=31850 vsize=28768328 memory=1720 CPUtime=1.99 cores=0-7
/proc/31852/task/31866/stat : 31866 (java) R 31850 31850 31806 0 -1 4202560 6184 0 0 0 196 3 0 0 20 0 28 0 420752709 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783746696736 139785136123485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31867] ppid=31850 vsize=28768328 memory=1200 CPUtime=1.98 cores=0-7
/proc/31852/task/31867/stat : 31867 (java) R 31850 31850 31806 0 -1 4202560 4316 0 0 0 196 2 0 0 20 0 28 0 420752709 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783745643680 139785130754024 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31868] ppid=31850 vsize=28768328 memory=5964 CPUtime=1.96 cores=0-7
/proc/31852/task/31868/stat : 31868 (java) R 31850 31850 31806 0 -1 4202560 5485 0 0 0 195 1 0 0 20 0 28 0 420752709 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783744590880 139785134281609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31869] ppid=31850 vsize=28768328 memory=14012 CPUtime=0.69 cores=0-7
/proc/31852/task/31869/stat : 31869 (java) S 31850 31850 31806 0 -1 1077944384 3481 0 0 0 68 1 0 0 20 0 28 0 420752709 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783743551984 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31870] ppid=31850 vsize=28768328 memory=11188 CPUtime=0 cores=0-7
/proc/31852/task/31870/stat : 31870 (java) S 31850 31850 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420752709 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783742499424 139785152747221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31871] ppid=31850 vsize=28768328 memory=12024 CPUtime=0 cores=0-7
/proc/31852/task/31871/stat : 31871 (java) S 31850 31850 31806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 420752709 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783741446704 139785152748162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31872] ppid=31850 vsize=28768328 memory=2120 CPUtime=0.16 cores=0-7
/proc/31852/task/31872/stat : 31872 (java) R 31850 31850 31806 0 -1 4202560 42 0 0 0 16 0 0 0 20 0 28 0 420752996 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783738689400 139784769493894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31873] ppid=31850 vsize=28768328 memory=280060053643152 CPUtime=0.07 cores=0-7
/proc/31852/task/31873/stat : 31873 (java) R 31850 31850 31806 0 -1 4202560 38 0 0 0 7 0 0 0 20 0 28 0 420752997 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783527287848 139784769510656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31874] ppid=31850 vsize=28768328 memory=280060053422320 CPUtime=0.14 cores=0-7
/proc/31852/task/31874/stat : 31874 (java) R 31850 31850 31806 0 -1 4202560 47 0 0 0 14 0 0 0 20 0 28 0 420752997 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783526235816 139784769510845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31875] ppid=31850 vsize=28768328 memory=280060053425552 CPUtime=0.11 cores=0-7
/proc/31852/task/31875/stat : 31875 (java) R 31850 31850 31806 0 -1 4202560 30 0 0 0 11 0 0 0 20 0 28 0 420752997 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783525183208 139784769493439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31876] ppid=31850 vsize=28768328 memory=280060053675200 CPUtime=0.12 cores=0-7
/proc/31852/task/31876/stat : 31876 (java) R 31850 31850 31806 0 -1 4202560 27 0 0 0 12 0 0 0 20 0 28 0 420752997 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783524130272 139784769493515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31877] ppid=31850 vsize=28768328 memory=0 CPUtime=0.17 cores=0-7
/proc/31852/task/31877/stat : 31877 (java) R 31850 31850 31806 0 -1 4202560 33 0 0 0 17 0 0 0 20 0 28 0 420752997 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783523080048 139784769493961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31878] ppid=31850 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/31852/task/31878/stat : 31878 (java) R 31850 31850 31806 0 -1 4202560 25 0 0 0 8 0 0 0 20 0 28 0 420752997 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783522024808 139784769493961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
[pid=31852/tid=31879] ppid=31850 vsize=28768328 memory=825241649 CPUtime=0.13 cores=0-7
/proc/31852/task/31879/stat : 31879 (java) R 31850 31850 31806 0 -1 4202560 24 0 0 0 13 0 0 0 20 0 28 0 420752997 29458767872 167971 33554432000 4194304 4196468 140726014313200 139783520972008 139784769510845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140726014321642 140726014321814 140726014321814 140726014324687 0
Current children cumulated CPU time: 11.45 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 673340 KiB

[startup+6.30103 s]
/proc/loadavg: 7.97 6.47 7.12 12/221 31879
/proc/meminfo: memFree=30106168/32770624 swapFree=66948312/67108860
[pid=31850] ppid=31847 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31850/stat : 31850 (xcsp3-exec) S 31847 31850 31806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420752703 115843072 364 33554432000 4194304 5098028 140723944564256 140723944562360 140158691402364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30949376 140723944567669 140723944567913 140723944567913 140723944570826 0
/proc/31850/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
heavy processes:

[startup+6.30776 s]
# the end of solver process 31850 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=34.78 s, system=0.876359 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.30103 s]*
/proc/loadavg: 7.97 6.47 7.12 2/195 31911
/proc/meminfo: memFree=30840252/32770624 swapFree=66948312/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 6.3106
CPU time (s): 35.6564
CPU user time (s): 34.78
CPU system time (s): 0.876359
CPU usage (%): 565.023
Max. virtual memory (cumulated for all children) (KiB): 29147712
Max. memory (cumulated for all children) (KiB): 826664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.78
system time used= 0.876359
maximum resident set size= 825760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4601
involuntary context switches= 898


# summary of solver processes directly reported to runsolver:
#   pid: 31850
#   total CPU time (s): 35.6564
#   total CPU user time (s): 34.78
#   total CPU system time (s): 0.876359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069638 second user time and 0.119228 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.68141
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393887

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
