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-20 parallel	SAT	253.893	41.5003
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 (12379 MiB free)
  memory of node 1: 16384 MiB (12783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404369-1569002036/watcher-4404369-1569002036 -o /var/tmp/evaluation-result-4404369-1569002036/solver-4404369-1569002036 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1572497640 HOME/instance-4404369-1569002036.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=27868, runsolver pid=27865
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 7.31 8.06 8.24 2/212 27889
/proc/meminfo: memFree=25750244/32770624 swapFree=66966844/67108860
[pid=27868] ppid=27865 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27868/stat : 27868 (xcsp3-exec) S 27865 27868 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476140081 115843072 362 33554432000 4194304 5098028 140736304845248 140736304843352 139914758038140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14262272 140736304853841 140736304854101 140736304854101 140736304857030 0
/proc/27868/statm: 28282 362 304 221 0 87 0
[pid=27870] ppid=27868 vsize=28227396 memory=28948 CPUtime=0.13 cores=0-7
/proc/27870/stat : 27870 (java) S 27868 27868 23748 0 -1 1077944320 5712 0 0 0 12 1 0 0 20 0 20 0 476140081 28904853504 7237 33554432000 4194304 4196468 140735595761408 140735595743952 139850164588279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
/proc/27870/statm: 7056849 7237 3118 1 0 7019032 0
[pid=27870/tid=27871] ppid=27868 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27870/task/27871/stat : 27871 (java) S 27868 27868 23748 0 -1 1077944384 3629 0 0 0 8 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850168821168 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27872] ppid=27868 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27870/task/27872/stat : 27872 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850117208464 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27873] ppid=27868 vsize=28227396 memory=140102486013568 CPUtime=0 cores=0-7
/proc/27870/task/27873/stat : 27873 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850116155664 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27874] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27874/stat : 27874 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850115103376 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27875] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27875/stat : 27875 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850114050576 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27876] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27876/stat : 27876 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850112998288 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27877] ppid=27868 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27870/task/27877/stat : 27877 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850111945488 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27878] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27878/stat : 27878 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850110893200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27879] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27879/stat : 27879 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 7237 33554432000 4194304 4196468 140735595761408 139850109840400 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27880] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27880/stat : 27880 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140084 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849482131568 139850164599426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27881] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27881/stat : 27881 (java) S 27868 27868 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476140084 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849481077536 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27882] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27882/stat : 27882 (java) S 27868 27868 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476140085 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849480025200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27883] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27883/stat : 27883 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849478973520 139850164606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27884] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27884/stat : 27884 (java) S 27868 27868 23748 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849477921392 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27885] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27885/stat : 27885 (java) S 27868 27868 23748 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849476868592 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27886] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27886/stat : 27886 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849475816304 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27887] ppid=27868 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/27870/task/27887/stat : 27887 (java) R 27868 27868 23748 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 20 0 476140087 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849474763504 139850164609626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27888] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27888/stat : 27888 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849473710432 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27889] ppid=27868 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27870/task/27889/stat : 27889 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 7237 33554432000 4194304 4196468 140735595761408 139849472657712 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30396 KiB

[startup+0.21061 s]*
/proc/loadavg: 7.31 8.06 8.24 2/212 27889
/proc/meminfo: memFree=25736484/32770624 swapFree=66966844/67108860
[pid=27868] ppid=27865 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27868/stat : 27868 (xcsp3-exec) S 27865 27868 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476140081 115843072 362 33554432000 4194304 5098028 140736304845248 140736304843352 139914758038140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14262272 140736304853841 140736304854101 140736304854101 140736304857030 0
/proc/27868/statm: 28282 362 304 221 0 87 0
[pid=27870] ppid=27868 vsize=28227396 memory=41048 CPUtime=0.33 cores=0-7
/proc/27870/stat : 27870 (java) S 27868 27868 23748 0 -1 1077944320 9516 0 0 0 31 2 0 0 20 0 20 0 476140081 28904853504 10262 33554432000 4194304 4196468 140735595761408 140735595743952 139850164588279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
/proc/27870/statm: 7056849 10262 3305 1 0 7019032 0
[pid=27870/tid=27871] ppid=27868 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27870/task/27871/stat : 27871 (java) R 27868 27868 23748 0 -1 4202560 6653 0 0 0 18 2 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850168822016 139850164600214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27872] ppid=27868 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/27870/task/27872/stat : 27872 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850117208464 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27873] ppid=27868 vsize=28227396 memory=288370478637725312 CPUtime=0 cores=0-7
/proc/27870/task/27873/stat : 27873 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850116155664 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27874] ppid=27868 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27870/task/27874/stat : 27874 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850115103376 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27875] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27875/stat : 27875 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850114050576 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27876] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27876/stat : 27876 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850112998288 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27877] ppid=27868 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27870/task/27877/stat : 27877 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850111945488 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27878] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27878/stat : 27878 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850110893200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27879] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27879/stat : 27879 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28904853504 10262 33554432000 4194304 4196468 140735595761408 139850109840400 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27880] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27880/stat : 27880 (java) S 27868 27868 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476140084 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849482131568 139850164599426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27881] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27881/stat : 27881 (java) S 27868 27868 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476140084 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849481077536 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27882] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27882/stat : 27882 (java) S 27868 27868 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476140085 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849480025200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27883] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27883/stat : 27883 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849478973520 139850164606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27884] ppid=27868 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/27870/task/27884/stat : 27884 (java) S 27868 27868 23748 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 20 0 476140087 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849477921392 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27885] ppid=27868 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27870/task/27885/stat : 27885 (java) S 27868 27868 23748 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 476140087 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849476868592 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27886] ppid=27868 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/27870/task/27886/stat : 27886 (java) S 27868 27868 23748 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 476140087 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849475816304 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27887] ppid=27868 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/27870/task/27887/stat : 27887 (java) R 27868 27868 23748 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 20 0 476140087 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849474763312 139850143545545 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27888] ppid=27868 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27888/stat : 27888 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849473710432 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27889] ppid=27868 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27870/task/27889/stat : 27889 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140087 28904853504 10262 33554432000 4194304 4196468 140735595761408 139849472657712 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42496 KiB

[startup+0.311278 s]*
/proc/loadavg: 7.31 8.06 8.24 3/212 27889
/proc/meminfo: memFree=25728852/32770624 swapFree=66966844/67108860
[pid=27868] ppid=27865 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27868/stat : 27868 (xcsp3-exec) S 27865 27868 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476140081 115843072 362 33554432000 4194304 5098028 140736304845248 140736304843352 139914758038140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14262272 140736304853841 140736304854101 140736304854101 140736304857030 0
/proc/27868/statm: 28282 362 304 221 0 87 0
[pid=27870] ppid=27868 vsize=28231652 memory=50248 CPUtime=0.53 cores=0-7
/proc/27870/stat : 27870 (java) S 27868 27868 23748 0 -1 1077944320 10878 0 0 0 49 4 0 0 20 0 20 0 476140081 28909211648 12562 33554432000 4194304 4196468 140735595761408 140735595743952 139850164588279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
/proc/27870/statm: 7057913 12562 3347 1 0 7019032 0
[pid=27870/tid=27871] ppid=27868 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/27870/task/27871/stat : 27871 (java) R 27868 27868 23748 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850168821376 139850148668766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27872] ppid=27868 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27872/stat : 27872 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850117208464 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27873] ppid=27868 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27873/stat : 27873 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850116155664 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27874] ppid=27868 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27874/stat : 27874 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850115103376 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27875] ppid=27868 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27875/stat : 27875 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850114050576 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27876] ppid=27868 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/27870/task/27876/stat : 27876 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850112998288 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27877] ppid=27868 vsize=28231652 memory=140102370161583 CPUtime=0 cores=0-7
/proc/27870/task/27877/stat : 27877 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850111945488 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27878] ppid=27868 vsize=28231652 memory=140102370163888 CPUtime=0 cores=0-7
/proc/27870/task/27878/stat : 27878 (java) S 27868 27868 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850110893200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27879] ppid=27868 vsize=28231652 memory=3472464000551335392 CPUtime=0 cores=0-7
/proc/27870/task/27879/stat : 27879 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28909211648 12562 33554432000 4194304 4196468 140735595761408 139850109840400 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27880] ppid=27868 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27880/stat : 27880 (java) S 27868 27868 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476140084 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849482131568 139850164599426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27881] ppid=27868 vsize=28231652 memory=280204740339344 CPUtime=0 cores=0-7
/proc/27870/task/27881/stat : 27881 (java) S 27868 27868 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476140084 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849481077536 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27882] ppid=27868 vsize=28231652 memory=280204740346256 CPUtime=0 cores=0-7
/proc/27870/task/27882/stat : 27882 (java) S 27868 27868 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476140085 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849480025200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27883] ppid=27868 vsize=28231652 memory=280204740287504 CPUtime=0 cores=0-7
/proc/27870/task/27883/stat : 27883 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140087 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849478973520 139850164606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27884] ppid=27868 vsize=28231652 memory=280204740360080 CPUtime=0.02 cores=0-7
/proc/27870/task/27884/stat : 27884 (java) S 27868 27868 23748 0 -1 1077944384 596 0 0 0 2 0 0 0 20 0 20 0 476140087 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849477921392 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27885] ppid=27868 vsize=28231652 memory=280204740366992 CPUtime=0.02 cores=0-7
/proc/27870/task/27885/stat : 27885 (java) S 27868 27868 23748 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 20 0 476140087 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849476868592 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27886] ppid=27868 vsize=28231652 memory=280204740364688 CPUtime=0.03 cores=0-7
/proc/27870/task/27886/stat : 27886 (java) R 27868 27868 23748 0 -1 4202560 143 0 0 0 3 0 0 0 20 0 20 0 476140087 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849475806688 139850147973231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27887] ppid=27868 vsize=28231652 memory=280204740380848 CPUtime=0.13 cores=0-7
/proc/27870/task/27887/stat : 27887 (java) S 27868 27868 23748 0 -1 1077944384 855 0 0 0 13 0 0 0 20 0 20 0 476140087 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849474763504 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27888] ppid=27868 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27888/stat : 27888 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140087 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849473710432 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27889] ppid=27868 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/27870/task/27889/stat : 27889 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140087 28909211648 12562 33554432000 4194304 4196468 140735595761408 139849472657712 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51696 KiB

[startup+0.701027 s]
/proc/loadavg: 7.31 8.06 8.24 4/212 27889
/proc/meminfo: memFree=25712724/32770624 swapFree=66966844/67108860
[pid=27868] ppid=27865 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27868/stat : 27868 (xcsp3-exec) S 27865 27868 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476140081 115843072 362 33554432000 4194304 5098028 140736304845248 140736304843352 139914758038140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14262272 140736304853841 140736304854101 140736304854101 140736304857030 0
/proc/27868/statm: 28282 362 304 221 0 87 0
[pid=27870] ppid=27868 vsize=28233776 memory=107444 CPUtime=1.89 cores=0-7
/proc/27870/stat : 27870 (java) S 27868 27868 23748 0 -1 1077944320 17528 0 0 0 183 6 0 0 20 0 20 0 476140081 28911386624 26861 33554432000 4194304 4196468 140735595761408 140735595743952 139850164588279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
/proc/27870/statm: 7058444 26861 3447 1 0 7019544 0
[pid=27870/tid=27871] ppid=27868 vsize=28233776 memory=280204740738736 CPUtime=0.68 cores=0-7
/proc/27870/task/27871/stat : 27871 (java) R 27868 27868 23748 0 -1 4202560 9039 0 0 0 64 4 0 0 20 0 20 0 476140082 28911386624 26861 33554432000 4194304 4196468 140735595761408 139850168825952 139850164600214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27872] ppid=27868 vsize=28233776 memory=140102370370416 CPUtime=0 cores=0-7
/proc/27870/task/27872/stat : 27872 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28911386624 26861 33554432000 4194304 4196468 140735595761408 139850117208464 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27873] ppid=27868 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27873/stat : 27873 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476140082 28911386624 26861 33554432000 4194304 4196468 140735595761408 139850116155664 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27874] ppid=27868 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/27870/task/27874/stat : 27874 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476140082 28911386624 26861 33554432000 4194304 4196468 140735595761408 139850115103376 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0

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

[pid=27870/tid=27887] ppid=27868 vsize=28766288 memory=0 CPUtime=0.69 cores=0-7
/proc/27870/task/27887/stat : 27887 (java) S 27868 27868 23748 0 -1 1077944384 8656 0 0 0 67 2 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849474763504 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27888] ppid=27868 vsize=28766288 memory=3616 CPUtime=0 cores=0-7
/proc/27870/task/27888/stat : 27888 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849473710432 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27889] ppid=27868 vsize=28766288 memory=1552 CPUtime=0.01 cores=0-7
/proc/27870/task/27889/stat : 27889 (java) S 27868 27868 23748 0 -1 1077944384 805 0 0 0 0 1 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849472657712 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27890] ppid=27868 vsize=28766288 memory=1708 CPUtime=11.62 cores=0-7
/proc/27870/task/27890/stat : 27890 (java) S 27868 27868 23748 0 -1 1077944384 1680 0 0 0 1154 8 0 0 20 0 28 0 476142823 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849463443056 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27891] ppid=27868 vsize=28766288 memory=1196 CPUtime=11.16 cores=0-7
/proc/27870/task/27891/stat : 27891 (java) S 27868 27868 23748 0 -1 1077944384 3229 0 0 0 1113 3 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849462391760 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27892] ppid=27868 vsize=28766288 memory=1044 CPUtime=12.93 cores=0-7
/proc/27870/task/27892/stat : 27892 (java) S 27868 27868 23748 0 -1 1077944384 3378 0 0 0 1288 5 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849461339472 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27893] ppid=27868 vsize=28766288 memory=712 CPUtime=13.24 cores=0-7
/proc/27870/task/27893/stat : 27893 (java) R 27868 27868 23748 0 -1 4202560 3164 0 0 0 1311 13 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849460281168 139849797418081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27894] ppid=27868 vsize=28766288 memory=2832 CPUtime=11.7 cores=0-7
/proc/27870/task/27894/stat : 27894 (java) S 27868 27868 23748 0 -1 1077944384 3309 0 0 0 1161 9 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849459234384 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27895] ppid=27868 vsize=28766288 memory=7556 CPUtime=11.98 cores=0-7
/proc/27870/task/27895/stat : 27895 (java) S 27868 27868 23748 0 -1 1077944384 2307 0 0 0 1191 7 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849458181584 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27896] ppid=27868 vsize=28766288 memory=10492 CPUtime=11.97 cores=0-7
/proc/27870/task/27896/stat : 27896 (java) S 27868 27868 23748 0 -1 1077944384 2490 0 0 0 1181 16 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849457128272 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27897] ppid=27868 vsize=28766288 memory=13996 CPUtime=12.22 cores=0-7
/proc/27870/task/27897/stat : 27897 (java) S 27868 27868 23748 0 -1 1077944384 22464 0 0 0 1200 22 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849456075472 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
Current children cumulated CPU time: 253.14 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12498168 KiB

[startup+41.201 s]
/proc/loadavg: 7.19 7.91 8.18 2/220 27899
/proc/meminfo: memFree=13258252/32770624 swapFree=66966844/67108860
[pid=27868] ppid=27865 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27868/stat : 27868 (xcsp3-exec) S 27865 27868 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476140081 115843072 362 33554432000 4194304 5098028 140736304845248 140736304843352 139914758038140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14262272 140736304853841 140736304854101 140736304854101 140736304857030 0
/proc/27868/statm: 28282 362 304 221 0 87 0
[pid=27870] ppid=27868 vsize=28766288 memory=12496720 CPUtime=253.55 cores=0-7
/proc/27870/stat : 27870 (java) S 27868 27868 23748 0 -1 1077944320 236739 0 0 0 22541 2814 0 0 20 0 28 0 476140081 29456678912 3124180 33554432000 4194304 4196468 140735595761408 140735595743952 139850164588279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
/proc/27870/statm: 7191572 3124180 3535 1 0 7152672 0
[pid=27870/tid=27871] ppid=27868 vsize=28766288 memory=7668320000375416168 CPUtime=9.15 cores=0-7
/proc/27870/task/27871/stat : 27871 (java) S 27868 27868 23748 0 -1 1077944384 19352 0 0 0 897 18 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850168829056 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27872] ppid=27868 vsize=28766288 memory=7522514841198684246 CPUtime=17.4 cores=0-7
/proc/27870/task/27872/stat : 27872 (java) S 27868 27868 23748 0 -1 1077944384 21339 0 0 0 1389 351 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850117208464 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27873] ppid=27868 vsize=28766288 memory=0 CPUtime=17.36 cores=0-7
/proc/27870/task/27873/stat : 27873 (java) S 27868 27868 23748 0 -1 1077944384 11073 0 0 0 1385 351 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850116155664 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27874] ppid=27868 vsize=28766288 memory=0 CPUtime=17.28 cores=0-7
/proc/27870/task/27874/stat : 27874 (java) S 27868 27868 23748 0 -1 1077944384 12617 0 0 0 1407 321 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850115103376 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27875] ppid=27868 vsize=28766288 memory=0 CPUtime=17.34 cores=0-7
/proc/27870/task/27875/stat : 27875 (java) S 27868 27868 23748 0 -1 1077944384 11454 0 0 0 1408 326 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850114050576 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27876] ppid=27868 vsize=28766288 memory=0 CPUtime=17.24 cores=0-7
/proc/27870/task/27876/stat : 27876 (java) S 27868 27868 23748 0 -1 1077944384 12444 0 0 0 1398 326 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850112998288 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27877] ppid=27868 vsize=28766288 memory=0 CPUtime=17.34 cores=0-7
/proc/27870/task/27877/stat : 27877 (java) S 27868 27868 23748 0 -1 1077944384 17924 0 0 0 1403 331 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850111945488 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27878] ppid=27868 vsize=28766288 memory=0 CPUtime=17.52 cores=0-7
/proc/27870/task/27878/stat : 27878 (java) S 27868 27868 23748 0 -1 1077944384 12966 0 0 0 1430 322 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850110893200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27879] ppid=27868 vsize=28766288 memory=0 CPUtime=17.45 cores=0-7
/proc/27870/task/27879/stat : 27879 (java) S 27868 27868 23748 0 -1 1077944384 11942 0 0 0 1396 349 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850109840400 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27880] ppid=27868 vsize=28766288 memory=0 CPUtime=0.36 cores=0-7
/proc/27870/task/27880/stat : 27880 (java) S 27868 27868 23748 0 -1 1077944384 15471 0 0 0 23 13 0 0 20 0 28 0 476140084 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849482131568 139850164599426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27881] ppid=27868 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27881/stat : 27881 (java) S 27868 27868 23748 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476140084 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849481077600 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27882] ppid=27868 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27882/stat : 27882 (java) S 27868 27868 23748 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 476140085 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849480025216 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27883] ppid=27868 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/27870/task/27883/stat : 27883 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849478973520 139850164606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27884] ppid=27868 vsize=28766288 memory=12496720 CPUtime=2.54 cores=0-7
/proc/27870/task/27884/stat : 27884 (java) S 27868 27868 23748 0 -1 1077944384 13911 0 0 0 252 2 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849477921392 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27885] ppid=27868 vsize=28766288 memory=0 CPUtime=2.25 cores=0-7
/proc/27870/task/27885/stat : 27885 (java) S 27868 27868 23748 0 -1 1077944384 12223 0 0 0 222 3 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849476868592 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27886] ppid=27868 vsize=28766288 memory=0 CPUtime=2.16 cores=0-7
/proc/27870/task/27886/stat : 27886 (java) S 27868 27868 23748 0 -1 1077944384 11109 0 0 0 213 3 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849475816304 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27887] ppid=27868 vsize=28766288 memory=6944656592387989600 CPUtime=0.69 cores=0-7
/proc/27870/task/27887/stat : 27887 (java) S 27868 27868 23748 0 -1 1077944384 8656 0 0 0 67 2 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849474763504 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27888] ppid=27868 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27888/stat : 27888 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849473710432 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27889] ppid=27868 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/27870/task/27889/stat : 27889 (java) S 27868 27868 23748 0 -1 1077944384 805 0 0 0 0 1 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849472657712 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27890] ppid=27868 vsize=28766288 memory=0 CPUtime=11.62 cores=0-7
/proc/27870/task/27890/stat : 27890 (java) S 27868 27868 23748 0 -1 1077944384 1680 0 0 0 1154 8 0 0 20 0 28 0 476142823 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849463443056 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27891] ppid=27868 vsize=28766288 memory=11201815131446 CPUtime=11.16 cores=0-7
/proc/27870/task/27891/stat : 27891 (java) S 27868 27868 23748 0 -1 1077944384 3229 0 0 0 1113 3 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849462391760 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27892] ppid=27868 vsize=28766288 memory=43757089074 CPUtime=12.93 cores=0-7
/proc/27870/task/27892/stat : 27892 (java) S 27868 27868 23748 0 -1 1077944384 3378 0 0 0 1288 5 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849461339472 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27893] ppid=27868 vsize=28766288 memory=2608 CPUtime=13.64 cores=0-7
/proc/27870/task/27893/stat : 27893 (java) R 27868 27868 23748 0 -1 4202560 3173 0 0 0 1351 13 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849460281280 139849797369258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27894] ppid=27868 vsize=28766288 memory=667680 CPUtime=11.7 cores=0-7
/proc/27870/task/27894/stat : 27894 (java) S 27868 27868 23748 0 -1 1077944384 3309 0 0 0 1161 9 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849459234384 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27895] ppid=27868 vsize=28766288 memory=11201815065392 CPUtime=11.98 cores=0-7
/proc/27870/task/27895/stat : 27895 (java) S 27868 27868 23748 0 -1 1077944384 2307 0 0 0 1191 7 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849458181584 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27896] ppid=27868 vsize=28766288 memory=2608 CPUtime=11.97 cores=0-7
/proc/27870/task/27896/stat : 27896 (java) S 27868 27868 23748 0 -1 1077944384 2490 0 0 0 1181 16 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849457128272 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27897] ppid=27868 vsize=28766288 memory=0 CPUtime=12.22 cores=0-7
/proc/27870/task/27897/stat : 27897 (java) S 27868 27868 23748 0 -1 1077944384 22464 0 0 0 1200 22 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849456075472 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
Current children cumulated CPU time: 253.55 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12498168 KiB

[startup+41.401 s]
/proc/loadavg: 7.19 7.91 8.18 2/220 27899
/proc/meminfo: memFree=13258252/32770624 swapFree=66966844/67108860
[pid=27868] ppid=27865 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27868/stat : 27868 (xcsp3-exec) S 27865 27868 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476140081 115843072 362 33554432000 4194304 5098028 140736304845248 140736304843352 139914758038140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14262272 140736304853841 140736304854101 140736304854101 140736304857030 0
/proc/27868/statm: 28282 362 304 221 0 87 0
[pid=27870] ppid=27868 vsize=28766288 memory=12496720 CPUtime=253.75 cores=0-7
/proc/27870/stat : 27870 (java) S 27868 27868 23748 0 -1 1077944320 236743 0 0 0 22561 2814 0 0 20 0 28 0 476140081 29456678912 3124180 33554432000 4194304 4196468 140735595761408 140735595743952 139850164588279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
/proc/27870/statm: 7191572 3124180 3535 1 0 7152672 0
[pid=27870/tid=27871] ppid=27868 vsize=28766288 memory=667680 CPUtime=9.15 cores=0-7
/proc/27870/task/27871/stat : 27871 (java) S 27868 27868 23748 0 -1 1077944384 19352 0 0 0 897 18 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850168829056 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27872] ppid=27868 vsize=28766288 memory=10 CPUtime=17.4 cores=0-7
/proc/27870/task/27872/stat : 27872 (java) S 27868 27868 23748 0 -1 1077944384 21339 0 0 0 1389 351 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850117208464 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27873] ppid=27868 vsize=28766288 memory=0 CPUtime=17.36 cores=0-7
/proc/27870/task/27873/stat : 27873 (java) S 27868 27868 23748 0 -1 1077944384 11073 0 0 0 1385 351 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850116155664 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27874] ppid=27868 vsize=28766288 memory=10 CPUtime=17.28 cores=0-7
/proc/27870/task/27874/stat : 27874 (java) S 27868 27868 23748 0 -1 1077944384 12617 0 0 0 1407 321 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850115103376 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27875] ppid=27868 vsize=28766288 memory=10 CPUtime=17.34 cores=0-7
/proc/27870/task/27875/stat : 27875 (java) S 27868 27868 23748 0 -1 1077944384 11454 0 0 0 1408 326 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850114050576 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27876] ppid=27868 vsize=28766288 memory=2868665472188426 CPUtime=17.24 cores=0-7
/proc/27870/task/27876/stat : 27876 (java) S 27868 27868 23748 0 -1 1077944384 12444 0 0 0 1398 326 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850112998288 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27877] ppid=27868 vsize=28766288 memory=3618420414884833088 CPUtime=17.34 cores=0-7
/proc/27870/task/27877/stat : 27877 (java) S 27868 27868 23748 0 -1 1077944384 17924 0 0 0 1403 331 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850111945488 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27878] ppid=27868 vsize=28766288 memory=0 CPUtime=17.52 cores=0-7
/proc/27870/task/27878/stat : 27878 (java) S 27868 27868 23748 0 -1 1077944384 12966 0 0 0 1430 322 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850110893200 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27879] ppid=27868 vsize=28766288 memory=0 CPUtime=17.45 cores=0-7
/proc/27870/task/27879/stat : 27879 (java) S 27868 27868 23748 0 -1 1077944384 11942 0 0 0 1396 349 0 0 20 0 28 0 476140082 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139850109840400 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27880] ppid=27868 vsize=28766288 memory=0 CPUtime=0.36 cores=0-7
/proc/27870/task/27880/stat : 27880 (java) S 27868 27868 23748 0 -1 1077944384 15471 0 0 0 23 13 0 0 20 0 28 0 476140084 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849482131568 139850164599426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27881] ppid=27868 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27881/stat : 27881 (java) S 27868 27868 23748 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476140084 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849481077600 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27882] ppid=27868 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27882/stat : 27882 (java) S 27868 27868 23748 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 476140085 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849480025216 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27883] ppid=27868 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27883/stat : 27883 (java) S 27868 27868 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849478973520 139850164606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27884] ppid=27868 vsize=28766288 memory=0 CPUtime=2.54 cores=0-7
/proc/27870/task/27884/stat : 27884 (java) S 27868 27868 23748 0 -1 1077944384 13911 0 0 0 252 2 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849477921392 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27885] ppid=27868 vsize=28766288 memory=0 CPUtime=2.26 cores=0-7
/proc/27870/task/27885/stat : 27885 (java) R 27868 27868 23748 0 -1 4202560 12223 0 0 0 223 3 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849476868592 139850148577996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27886] ppid=27868 vsize=28766288 memory=0 CPUtime=2.16 cores=0-7
/proc/27870/task/27886/stat : 27886 (java) R 27868 27868 23748 0 -1 4202560 11109 0 0 0 213 3 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849475816304 139850144081238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27887] ppid=27868 vsize=28766288 memory=0 CPUtime=0.69 cores=0-7
/proc/27870/task/27887/stat : 27887 (java) S 27868 27868 23748 0 -1 1077944384 8656 0 0 0 67 2 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849474763504 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27888] ppid=27868 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27870/task/27888/stat : 27888 (java) S 27868 27868 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849473710432 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27889] ppid=27868 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/27870/task/27889/stat : 27889 (java) S 27868 27868 23748 0 -1 1077944384 805 0 0 0 0 1 0 0 20 0 28 0 476140087 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849472657712 139850164599426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27890] ppid=27868 vsize=28766288 memory=0 CPUtime=11.62 cores=0-7
/proc/27870/task/27890/stat : 27890 (java) S 27868 27868 23748 0 -1 1077944384 1680 0 0 0 1154 8 0 0 20 0 28 0 476142823 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849463443056 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27891] ppid=27868 vsize=28766288 memory=0 CPUtime=11.16 cores=0-7
/proc/27870/task/27891/stat : 27891 (java) S 27868 27868 23748 0 -1 1077944384 3229 0 0 0 1113 3 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849462391760 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27892] ppid=27868 vsize=28766288 memory=0 CPUtime=12.93 cores=0-7
/proc/27870/task/27892/stat : 27892 (java) S 27868 27868 23748 0 -1 1077944384 3378 0 0 0 1288 5 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849461339472 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27893] ppid=27868 vsize=28766288 memory=0 CPUtime=13.84 cores=0-7
/proc/27870/task/27893/stat : 27893 (java) R 27868 27868 23748 0 -1 4202560 3177 0 0 0 1371 13 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849460281280 139849797038142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27894] ppid=27868 vsize=28766288 memory=0 CPUtime=11.7 cores=0-7
/proc/27870/task/27894/stat : 27894 (java) S 27868 27868 23748 0 -1 1077944384 3309 0 0 0 1161 9 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849459234384 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27895] ppid=27868 vsize=28766288 memory=0 CPUtime=11.98 cores=0-7
/proc/27870/task/27895/stat : 27895 (java) S 27868 27868 23748 0 -1 1077944384 2307 0 0 0 1191 7 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849458181584 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27896] ppid=27868 vsize=28766288 memory=0 CPUtime=11.97 cores=0-7
/proc/27870/task/27896/stat : 27896 (java) S 27868 27868 23748 0 -1 1077944384 2490 0 0 0 1181 16 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849457128272 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
[pid=27870/tid=27897] ppid=27868 vsize=28766288 memory=0 CPUtime=12.22 cores=0-7
/proc/27870/task/27897/stat : 27897 (java) S 27868 27868 23748 0 -1 1077944384 22464 0 0 0 1200 22 0 0 20 0 28 0 476142824 29456678912 3124180 33554432000 4194304 4196468 140735595761408 139849456075472 139850164598485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34168832 140735595766742 140735595766918 140735595766918 140735595769807 0
Current children cumulated CPU time: 253.75 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12498168 KiB

Child status: 0
Real time (s): 41.5003
CPU time (s): 253.893
CPU user time (s): 225.69
CPU system time (s): 28.2037
CPU usage (%): 611.787
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 12502292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.69
system time used= 28.2037
maximum resident set size= 12500844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12020
involuntary context switches= 3310


# summary of solver processes directly reported to runsolver:
#   pid: 27868
#   total CPU time (s): 253.893
#   total CPU user time (s): 225.69
#   total CPU system time (s): 28.2037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.36425 second user time and 0.489349 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM	3130b580259b5cb9fe6f555a4358f6cc
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	0.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2559
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints	2558
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4404369

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
