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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT	11.0591	1.94499
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 (14204 MiB free)
  memory of node 1: 16384 MiB (15395 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399532-1568702811/watcher-4399532-1568702811 -o /tmp/evaluation-result-4399532-1568702811/solver-4399532-1568702811 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568702458-10886 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 989327880 HOME/instance-4399532-1568702811.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
solver pid=11726, runsolver pid=11723
solver pid=11726, runsolver pid=11723
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 5.62 2.27 2.07 2/211 11747
/proc/meminfo: memFree=30293612/32770624 swapFree=66967456/67108860
[pid=11726] ppid=11723 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11726/stat : 11726 (xcsp3-exec) S 11723 11726 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446547975 115843072 363 33554432000 4194304 5098028 140729468351248 140729468349352 140038148104828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24985600 140729468359542 140729468359785 140729468359785 140729468362698 0
/proc/11726/statm: 28282 363 304 221 0 87 0
[pid=11728] ppid=11726 vsize=28227396 memory=28480 CPUtime=0.12 cores=0-7
/proc/11728/stat : 11728 (java) S 11726 11726 10859 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 446547976 28904853504 7120 33554432000 4194304 4196468 140733883078896 140733883061440 139695947247351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
/proc/11728/statm: 7056849 7120 3115 1 0 7019032 0
[pid=11728/tid=11729] ppid=11726 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/11728/task/11729/stat : 11729 (java) R 11726 11726 10859 0 -1 4202560 3606 0 0 0 8 0 0 0 20 0 20 0 446547976 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695951476528 139695947259286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11730] ppid=11726 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11728/task/11730/stat : 11730 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695899868304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11731] ppid=11726 vsize=28227396 memory=139949967156864 CPUtime=0 cores=0-7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695898815504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11732] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695897762704 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11733] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695896709904 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11734] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695895657104 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11735] ppid=11726 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695894604304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11736] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695893551504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11737] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695490980112 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11738] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446547978 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695264533360 139695947258498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11739] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11726 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446547979 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695263479328 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11740] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11726 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446547979 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695262426480 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11741] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547981 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695261374800 139695947265947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11742] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11726 10859 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 446547981 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695260322160 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11743] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547981 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695259269360 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11744] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11726 10859 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446547982 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695258216560 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11745] ppid=11726 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11728/task/11745/stat : 11745 (java) R 11726 11726 10859 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 20 0 446547982 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695257163760 139695947259286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11746] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446547982 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695256112224 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11747] ppid=11726 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547982 28904853504 7185 33554432000 4194304 4196468 140733883078896 139695255059504 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29932 KiB

[startup+0.210481 s]*
/proc/loadavg: 5.62 2.27 2.07 2/211 11747
/proc/meminfo: memFree=30279740/32770624 swapFree=66967456/67108860
[pid=11726] ppid=11723 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11726/stat : 11726 (xcsp3-exec) S 11723 11726 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446547975 115843072 363 33554432000 4194304 5098028 140729468351248 140729468349352 140038148104828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24985600 140729468359542 140729468359785 140729468359785 140729468362698 0
/proc/11726/statm: 28282 363 304 221 0 87 0
[pid=11728] ppid=11726 vsize=28227396 memory=41080 CPUtime=0.33 cores=0-7
/proc/11728/stat : 11728 (java) S 11726 11726 10859 0 -1 1077944320 9507 0 0 0 30 3 0 0 20 0 20 0 446547976 28904853504 10270 33554432000 4194304 4196468 140733883078896 140733883061440 139695947247351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
/proc/11728/statm: 7056849 10270 3298 1 0 7019032 0
[pid=11728/tid=11729] ppid=11726 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11728/task/11729/stat : 11729 (java) R 11726 11726 10859 0 -1 4202560 6649 0 0 0 17 2 0 0 20 0 20 0 446547976 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695951479264 139695926548480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11730] ppid=11726 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/11728/task/11730/stat : 11730 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695899868304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11731] ppid=11726 vsize=28227396 memory=3617154085114357408 CPUtime=0 cores=0-7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695898815504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11732] ppid=11726 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695897762704 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11733] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695896709904 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11734] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695895657104 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11735] ppid=11726 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695894604304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11736] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695893551504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11737] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695490980112 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11738] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11726 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446547978 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695264533360 139695947258498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11739] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11726 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446547979 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695263479328 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11740] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11726 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446547979 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695262426480 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11741] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547981 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695261374800 139695947265947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11742] ppid=11726 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11726 10859 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 20 0 446547981 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695260322160 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11743] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11726 10859 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446547981 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695259269360 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11744] ppid=11726 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11726 10859 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 446547982 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695258216560 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11745] ppid=11726 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/11728/task/11745/stat : 11745 (java) R 11726 11726 10859 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 20 0 446547982 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695257163760 139695947259286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11746] ppid=11726 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446547982 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695256112224 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11747] ppid=11726 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547982 28904853504 10270 33554432000 4194304 4196468 140733883078896 139695255059504 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42532 KiB

[startup+0.310806 s]*
/proc/loadavg: 5.62 2.27 2.07 5/211 11747
/proc/meminfo: memFree=30273216/32770624 swapFree=66967456/67108860
[pid=11726] ppid=11723 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11726/stat : 11726 (xcsp3-exec) S 11723 11726 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446547975 115843072 363 33554432000 4194304 5098028 140729468351248 140729468349352 140038148104828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24985600 140729468359542 140729468359785 140729468359785 140729468362698 0
/proc/11726/statm: 28282 363 304 221 0 87 0
[pid=11728] ppid=11726 vsize=28231652 memory=49828 CPUtime=0.52 cores=0-7
/proc/11728/stat : 11728 (java) S 11726 11726 10859 0 -1 1077944320 10858 0 0 0 47 5 0 0 20 0 20 0 446547976 28909211648 12457 33554432000 4194304 4196468 140733883078896 140733883061440 139695947247351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
/proc/11728/statm: 7057913 12457 3351 1 0 7019032 0
[pid=11728/tid=11729] ppid=11726 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11728/task/11729/stat : 11729 (java) R 11726 11726 10859 0 -1 4202560 7778 0 0 0 26 3 0 0 20 0 20 0 446547976 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695951475552 139695947269277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11730] ppid=11726 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11730/stat : 11730 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695899868304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11731] ppid=11726 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695898815504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11732] ppid=11726 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695897762704 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11733] ppid=11726 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695896709904 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11734] ppid=11726 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695895657104 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11735] ppid=11726 vsize=28231652 memory=139949831711407 CPUtime=0 cores=0-7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695894604304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11736] ppid=11726 vsize=28231652 memory=139949831713712 CPUtime=0 cores=0-7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695893551504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11737] ppid=11726 vsize=28231652 memory=139949831716016 CPUtime=0 cores=0-7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547977 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695490980112 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11738] ppid=11726 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11726 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446547978 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695264533360 139695947258498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11739] ppid=11726 vsize=28231652 memory=279899663445904 CPUtime=0 cores=0-7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11726 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446547979 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695263479328 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11740] ppid=11726 vsize=28231652 memory=279899663443600 CPUtime=0 cores=0-7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11726 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446547979 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695262426480 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11741] ppid=11726 vsize=28231652 memory=279899663450512 CPUtime=0 cores=0-7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547981 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695261374800 139695947265947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11742] ppid=11726 vsize=28231652 memory=279899663391792 CPUtime=0.02 cores=0-7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11726 10859 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 446547981 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695260322160 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11743] ppid=11726 vsize=28231652 memory=279899663464336 CPUtime=0.01 cores=0-7
/proc/11728/task/11743/stat : 11743 (java) S 11726 11726 10859 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 446547981 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695259269360 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11744] ppid=11726 vsize=28231652 memory=279899663471248 CPUtime=0.04 cores=0-7
/proc/11728/task/11744/stat : 11744 (java) R 11726 11726 10859 0 -1 4202560 501 0 0 0 4 0 0 0 20 0 20 0 446547982 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695258206944 139695930634573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11745] ppid=11726 vsize=28231652 memory=279899663468944 CPUtime=0.12 cores=0-7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11726 10859 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 20 0 446547982 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695257163760 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11746] ppid=11726 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446547982 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695256112224 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11747] ppid=11726 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446547982 28909211648 12486 33554432000 4194304 4196468 140733883078896 139695255059504 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51280 KiB

[startup+0.702343 s]
/proc/loadavg: 5.62 2.27 2.07 5/211 11747
/proc/meminfo: memFree=30253352/32770624 swapFree=66967456/67108860
[pid=11726] ppid=11723 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11726/stat : 11726 (xcsp3-exec) S 11723 11726 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446547975 115843072 363 33554432000 4194304 5098028 140729468351248 140729468349352 140038148104828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24985600 140729468359542 140729468359785 140729468359785 140729468362698 0
/proc/11726/statm: 28282 363 304 221 0 87 0
[pid=11728] ppid=11726 vsize=28766288 memory=132260 CPUtime=2.05 cores=0-7
/proc/11728/stat : 11728 (java) S 11726 11726 10859 0 -1 1077944320 17851 0 0 0 196 9 0 0 20 0 28 0 446547976 29456678912 33065 33554432000 4194304 4196468 140733883078896 140733883061440 139695947247351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
/proc/11728/statm: 7191572 33065 3458 1 0 7152672 0
[pid=11728/tid=11729] ppid=11726 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7
/proc/11728/task/11729/stat : 11729 (java) S 11726 11726 10859 0 -1 1077944384 9121 0 0 0 55 4 0 0 20 0 28 0 446547976 29456678912 33065 33554432000 4194304 4196468 140733883078896 139695951488128 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11730] ppid=11726 vsize=28766288 memory=139949831922544 CPUtime=0 cores=0-7
/proc/11728/task/11730/stat : 11730 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446547977 29456678912 33065 33554432000 4194304 4196468 140733883078896 139695899868304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11731] ppid=11726 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11726 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446547977 29456678912 33065 33554432000 4194304 4196468 140733883078896 139695898815504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11732] ppid=11726 vsize=28766288 memory=1192 CPUtime=0 cores=0-7

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

[pid=11728/tid=11745] ppid=11726 vsize=28766288 memory=139949831744960 CPUtime=0.4 cores=0-7
/proc/11728/task/11745/stat : 11745 (java) D 11726 11726 10859 0 -1 4202560 2222 0 0 0 39 1 0 0 20 0 28 0 446547982 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695257164056 139695927171487 0 4 0 16800975 18446744072100560005 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11746] ppid=11726 vsize=28766288 memory=190310000909226 CPUtime=0 cores=0-7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446547982 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695256112224 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11747] ppid=11726 vsize=28766288 memory=50362786536367 CPUtime=0 cores=0-7
/proc/11728/task/11747/stat : 11747 (java) D 11726 11726 10859 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 28 0 446547982 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695255059424 139695932103438 0 4 0 16800975 18446744072100560005 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11748] ppid=11726 vsize=28766288 memory=7739814609829258834 CPUtime=0.79 cores=0-7
/proc/11728/task/11748/stat : 11748 (java) S 11726 11726 10859 0 -1 1077944384 52 0 0 0 79 0 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695246080304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11749] ppid=11726 vsize=28766288 memory=5866907662954419558 CPUtime=0.65 cores=0-7
/proc/11728/task/11749/stat : 11749 (java) R 11726 11726 10859 0 -1 4202560 48 0 0 0 65 0 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695245026120 139695577446930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11750] ppid=11726 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7
/proc/11728/task/11750/stat : 11750 (java) S 11726 11726 10859 0 -1 1077944384 35 0 0 0 71 0 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695243975328 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11751] ppid=11726 vsize=28766288 memory=0 CPUtime=0.7 cores=0-7
/proc/11728/task/11751/stat : 11751 (java) S 11726 11726 10859 0 -1 1077944384 89 0 0 0 70 0 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695242923104 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11752] ppid=11726 vsize=28766288 memory=0 CPUtime=0.75 cores=0-7
/proc/11728/task/11752/stat : 11752 (java) S 11726 11726 10859 0 -1 1077944384 35 0 0 0 74 1 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695241870448 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11753] ppid=11726 vsize=28766288 memory=0 CPUtime=0.77 cores=0-7
/proc/11728/task/11753/stat : 11753 (java) S 11726 11726 10859 0 -1 1077944384 37 0 0 0 77 0 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695240817648 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11754] ppid=11726 vsize=28766288 memory=0 CPUtime=0.72 cores=0-7
/proc/11728/task/11754/stat : 11754 (java) R 11726 11726 10859 0 -1 4202560 34 0 0 0 72 0 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695239764616 139695576889619 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11755] ppid=11726 vsize=28766288 memory=139949831715664 CPUtime=0.69 cores=0-7
/proc/11728/task/11755/stat : 11755 (java) S 11726 11726 10859 0 -1 1077944384 33 0 0 0 69 0 0 0 20 0 28 0 446548038 29456678912 58846 33554432000 4194304 4196468 140733883078896 139695238713072 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 236836 KiB

[startup+1.80373 s]
/proc/loadavg: 5.62 2.27 2.07 12/219 11755
/proc/meminfo: memFree=30178164/32770624 swapFree=66967456/67108860
[pid=11726] ppid=11723 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11726/stat : 11726 (xcsp3-exec) S 11723 11726 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446547975 115843072 363 33554432000 4194304 5098028 140729468351248 140729468349352 140038148104828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24985600 140729468359542 140729468359785 140729468359785 140729468362698 0
/proc/11726/statm: 28282 363 304 221 0 87 0
[pid=11728] ppid=11726 vsize=28766288 memory=304616 CPUtime=10 cores=0-7
/proc/11728/stat : 11728 (java) S 11726 11726 10859 0 -1 1077944320 20305 0 0 0 971 29 0 0 20 0 28 0 446547976 29456678912 76154 33554432000 4194304 4196468 140733883078896 140733883061440 139695947247351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
/proc/11728/statm: 7191572 76154 3504 1 0 7152672 0
[pid=11728/tid=11729] ppid=11726 vsize=28766288 memory=6944652177228980320 CPUtime=0.59 cores=0-7
/proc/11728/task/11729/stat : 11729 (java) S 11726 11726 10859 0 -1 1077944384 9121 0 0 0 55 4 0 0 20 0 28 0 446547976 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695951488128 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11730] ppid=11726 vsize=28766288 memory=6944656592455360604 CPUtime=0.04 cores=0-7
/proc/11728/task/11730/stat : 11730 (java) S 11726 11726 10859 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695899868304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11731] ppid=11726 vsize=28766288 memory=6944656575208382560 CPUtime=0.05 cores=0-7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11726 10859 0 -1 1077944384 57 0 0 0 3 2 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695898815504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11732] ppid=11726 vsize=28766288 memory=6944656592387989600 CPUtime=0.03 cores=0-7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11726 10859 0 -1 1077944384 208 0 0 0 1 2 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695897762704 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11733] ppid=11726 vsize=28766288 memory=6944656592387989600 CPUtime=0.05 cores=0-7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11726 10859 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695896709904 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11734] ppid=11726 vsize=28766288 memory=6944656592387989600 CPUtime=0.04 cores=0-7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11726 10859 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695895657104 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11735] ppid=11726 vsize=28766288 memory=6944656575208382560 CPUtime=0.03 cores=0-7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11726 10859 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695894604304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11736] ppid=11726 vsize=28766288 memory=6943526294502006880 CPUtime=0.05 cores=0-7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11726 10859 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695893551504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11737] ppid=11726 vsize=28766288 memory=6656426216303648864 CPUtime=0.04 cores=0-7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11726 10859 0 -1 1077944384 215 0 0 0 3 1 0 0 20 0 28 0 446547977 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695490980112 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11738] ppid=11726 vsize=28766288 memory=24564 CPUtime=0 cores=0-7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11726 10859 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 446547978 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695264533360 139695947258498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11739] ppid=11726 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11726 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446547979 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695263479392 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11740] ppid=11726 vsize=28766288 memory=139949832009738 CPUtime=0 cores=0-7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11726 10859 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446547979 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695262426496 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11741] ppid=11726 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446547981 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695261374800 139695947265947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11742] ppid=11726 vsize=28766288 memory=0 CPUtime=0.7 cores=0-7
/proc/11728/task/11742/stat : 11742 (java) R 11726 11726 10859 0 -1 4202560 2352 0 0 0 70 0 0 0 20 0 28 0 446547981 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695260311952 139695928768530 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11743] ppid=11726 vsize=28766288 memory=0 CPUtime=0.65 cores=0-7
/proc/11728/task/11743/stat : 11743 (java) R 11726 11726 10859 0 -1 1077944384 1947 0 0 0 64 1 0 0 20 0 28 0 446547981 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695259269360 139695947258498 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11744] ppid=11726 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11726 10859 0 -1 1077944384 2144 0 0 0 68 0 0 0 20 0 28 0 446547982 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695258216560 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11745] ppid=11726 vsize=28766288 memory=3620 CPUtime=0.41 cores=0-7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11726 10859 0 -1 1077944384 2243 0 0 0 40 1 0 0 20 0 28 0 446547982 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695257163760 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11746] ppid=11726 vsize=28766288 memory=47300 CPUtime=0 cores=0-7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446547982 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695256112224 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11747] ppid=11726 vsize=28766288 memory=984 CPUtime=0 cores=0-7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446547982 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695255059504 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11748] ppid=11726 vsize=28766288 memory=2004 CPUtime=0.85 cores=0-7
/proc/11728/task/11748/stat : 11748 (java) R 11726 11726 10859 0 -1 4202560 52 0 0 0 85 0 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695246077720 139695577448587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11749] ppid=11726 vsize=28766288 memory=1376 CPUtime=0.75 cores=0-7
/proc/11728/task/11749/stat : 11749 (java) R 11726 11726 10859 0 -1 4202560 48 0 0 0 75 0 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695245028848 139695577447104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11750] ppid=11726 vsize=28766288 memory=1060 CPUtime=0.8 cores=0-7
/proc/11728/task/11750/stat : 11750 (java) R 11726 11726 10859 0 -1 4202560 35 0 0 0 80 0 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695243975328 139695577449352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11751] ppid=11726 vsize=28766288 memory=4068 CPUtime=0.78 cores=0-7
/proc/11728/task/11751/stat : 11751 (java) R 11726 11726 10859 0 -1 4202560 89 0 0 0 78 0 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695242921560 139695576889497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11752] ppid=11726 vsize=28766288 memory=1720 CPUtime=0.84 cores=0-7
/proc/11728/task/11752/stat : 11752 (java) R 11726 11726 10859 0 -1 4202560 35 0 0 0 83 1 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695241870616 139695577447265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11753] ppid=11726 vsize=28766288 memory=5948 CPUtime=0.85 cores=0-7
/proc/11728/task/11753/stat : 11753 (java) R 11726 11726 10859 0 -1 4202560 37 0 0 0 85 0 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695240817816 139695577446987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11754] ppid=11726 vsize=28766288 memory=10564 CPUtime=0.82 cores=0-7
/proc/11728/task/11754/stat : 11754 (java) R 11726 11726 10859 0 -1 4202560 34 0 0 0 82 0 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695239765872 139695577447585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11755] ppid=11726 vsize=28766288 memory=0 CPUtime=0.77 cores=0-7
/proc/11728/task/11755/stat : 11755 (java) R 11726 11726 10859 0 -1 4202560 33 0 0 0 77 0 0 0 20 0 28 0 446548038 29456678912 76154 33554432000 4194304 4196468 140733883078896 139695238713240 139695577446913 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 306068 KiB

[startup+1.90476 s]
/proc/loadavg: 5.62 2.27 2.07 12/219 11755
/proc/meminfo: memFree=30178164/32770624 swapFree=66967456/67108860
[pid=11726] ppid=11723 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11726/stat : 11726 (xcsp3-exec) S 11723 11726 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446547975 115843072 363 33554432000 4194304 5098028 140729468351248 140729468349352 140038148104828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24985600 140729468359542 140729468359785 140729468359785 140729468362698 0
/proc/11726/statm: 28282 363 304 221 0 87 0
[pid=11728] ppid=11726 vsize=28766288 memory=304760 CPUtime=10.82 cores=0-7
/proc/11728/stat : 11728 (java) S 11726 11726 10859 0 -1 1077944320 20343 0 0 0 1052 30 0 0 20 0 28 0 446547976 29456678912 76190 33554432000 4194304 4196468 140733883078896 140733883061440 139695947247351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
/proc/11728/statm: 7191572 76190 3508 1 0 7152672 0
[pid=11728/tid=11729] ppid=11726 vsize=28766288 memory=290204 CPUtime=0.59 cores=0-7
/proc/11728/task/11729/stat : 11729 (java) S 11726 11726 10859 0 -1 1077944384 9121 0 0 0 55 4 0 0 20 0 28 0 446547976 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695951488128 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11730] ppid=11726 vsize=28766288 memory=21069 CPUtime=0.04 cores=0-7
/proc/11728/task/11730/stat : 11730 (java) S 11726 11726 10859 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695899868304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11731] ppid=11726 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/11728/task/11731/stat : 11731 (java) S 11726 11726 10859 0 -1 1077944384 57 0 0 0 3 2 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695898815504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11732] ppid=11726 vsize=28766288 memory=9365 CPUtime=0.03 cores=0-7
/proc/11728/task/11732/stat : 11732 (java) S 11726 11726 10859 0 -1 1077944384 208 0 0 0 1 2 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695897762704 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11733] ppid=11726 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/11728/task/11733/stat : 11733 (java) S 11726 11726 10859 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695896709904 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11734] ppid=11726 vsize=28766288 memory=139949831942880 CPUtime=0.04 cores=0-7
/proc/11728/task/11734/stat : 11734 (java) S 11726 11726 10859 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695895657104 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11735] ppid=11726 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7
/proc/11728/task/11735/stat : 11735 (java) S 11726 11726 10859 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695894604304 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11736] ppid=11726 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/11728/task/11736/stat : 11736 (java) S 11726 11726 10859 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695893551504 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11737] ppid=11726 vsize=28766288 memory=0 CPUtime=0.04 cores=0-7
/proc/11728/task/11737/stat : 11737 (java) S 11726 11726 10859 0 -1 1077944384 215 0 0 0 3 1 0 0 20 0 28 0 446547977 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695490980112 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11738] ppid=11726 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11738/stat : 11738 (java) S 11726 11726 10859 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 446547978 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695264533360 139695947258498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11739] ppid=11726 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11739/stat : 11739 (java) S 11726 11726 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446547979 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695263479392 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11740] ppid=11726 vsize=28766288 memory=3620 CPUtime=0 cores=0-7
/proc/11728/task/11740/stat : 11740 (java) S 11726 11726 10859 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446547979 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695262426496 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11741] ppid=11726 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11728/task/11741/stat : 11741 (java) S 11726 11726 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446547981 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695261374800 139695947265947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11742] ppid=11726 vsize=28766288 memory=139949831940768 CPUtime=0.72 cores=0-7
/proc/11728/task/11742/stat : 11742 (java) S 11726 11726 10859 0 -1 1077944384 2362 0 0 0 72 0 0 0 20 0 28 0 446547981 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695260322160 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11743] ppid=11726 vsize=28766288 memory=139949831940864 CPUtime=0.67 cores=0-7
/proc/11728/task/11743/stat : 11743 (java) R 11726 11726 10859 0 -1 1077944384 1955 0 0 0 66 1 0 0 20 0 28 0 446547981 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695259269456 139695947257557 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11744] ppid=11726 vsize=28766288 memory=139949831940960 CPUtime=0.72 cores=0-7
/proc/11728/task/11744/stat : 11744 (java) S 11726 11726 10859 0 -1 1077944384 2152 0 0 0 72 0 0 0 20 0 28 0 446547982 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695258216560 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11745] ppid=11726 vsize=28766288 memory=139949831941056 CPUtime=0.42 cores=0-7
/proc/11728/task/11745/stat : 11745 (java) S 11726 11726 10859 0 -1 1077944384 2255 0 0 0 41 1 0 0 20 0 28 0 446547982 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695257163760 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11746] ppid=11726 vsize=28766288 memory=139949831941152 CPUtime=0 cores=0-7
/proc/11728/task/11746/stat : 11746 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446547982 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695256112224 139695947257557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11747] ppid=11726 vsize=28766288 memory=279899663828416 CPUtime=0 cores=0-7
/proc/11728/task/11747/stat : 11747 (java) S 11726 11726 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446547982 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695255059504 139695947258498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11748] ppid=11726 vsize=28766288 memory=279899663891136 CPUtime=0.94 cores=0-7
/proc/11728/task/11748/stat : 11748 (java) R 11726 11726 10859 0 -1 4202560 52 0 0 0 94 0 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695246077720 139695577448719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11749] ppid=11726 vsize=28766288 memory=6944658791478618170 CPUtime=0.85 cores=0-7
/proc/11728/task/11749/stat : 11749 (java) R 11726 11726 10859 0 -1 4202560 48 0 0 0 85 0 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695245026200 139695573247318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11750] ppid=11726 vsize=28766288 memory=-7533511066075828572 CPUtime=0.89 cores=0-7
/proc/11728/task/11750/stat : 11750 (java) R 11726 11726 10859 0 -1 4202560 35 0 0 0 89 0 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695243975336 139695577796240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11751] ppid=11726 vsize=28766288 memory=3977866194300987752 CPUtime=0.88 cores=0-7
/proc/11728/task/11751/stat : 11751 (java) R 11726 11726 10859 0 -1 4202560 89 0 0 0 87 1 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695242922440 139695947259286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11752] ppid=11726 vsize=28766288 memory=7165341821979220072 CPUtime=0.94 cores=0-7
/proc/11728/task/11752/stat : 11752 (java) R 11726 11726 10859 0 -1 4202560 35 0 0 0 93 1 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695241869240 139695577449266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11753] ppid=11726 vsize=28766288 memory=8245925348460031077 CPUtime=0.92 cores=0-7
/proc/11728/task/11753/stat : 11753 (java) R 11726 11726 10859 0 -1 4202560 37 0 0 0 92 0 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695240817816 139695577449143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11754] ppid=11726 vsize=28766288 memory=7517159033909830208 CPUtime=0.92 cores=0-7
/proc/11728/task/11754/stat : 11754 (java) R 11726 11726 10859 0 -1 4202560 34 0 0 0 92 0 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695239765872 139695577447532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
[pid=11728/tid=11755] ppid=11726 vsize=28766288 memory=7649399379953398065 CPUtime=0.85 cores=0-7
/proc/11728/task/11755/stat : 11755 (java) R 11726 11726 10859 0 -1 4202560 33 0 0 0 85 0 0 0 20 0 28 0 446548038 29456678912 76190 33554432000 4194304 4196468 140733883078896 139695238713240 139695576983023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140733883081706 140733883081878 140733883081878 140733883084751 0
Current children cumulated CPU time: 10.82 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 306212 KiB

Child status: 0
Real time (s): 1.94499
CPU time (s): 11.0591
CPU user time (s): 10.74
CPU system time (s): 0.31907
CPU usage (%): 568.595
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 306212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.74
system time used= 0.31907
maximum resident set size= 306152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2740
involuntary context switches= 350


# summary of solver processes directly reported to runsolver:
#   pid: 11726
#   total CPU time (s): 11.0591
#   total CPU user time (s): 10.74
#   total CPU system time (s): 0.31907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031923 second user time and 0.06683 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
