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-06-14 parallel	SAT	256.19	40.4918
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 (11808 MiB free)
  memory of node 1: 16384 MiB (10778 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393599-1568431461/watcher-4393599-1568431461 -o /tmp/evaluation-result-4393599-1568431461/solver-4393599-1568431461 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568428810-25211 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 947795058 HOME/instance-4393599-1568431461.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=26136, runsolver pid=26133
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 6.52 4.99 4.81 2/212 26157
/proc/meminfo: memFree=23111072/32770624 swapFree=66939852/67108860
[pid=26136] ppid=26133 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26136/stat : 26136 (xcsp3-exec) S 26133 26136 25184 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419060997 115843072 363 33554432000 4194304 5098028 140726966251120 140726966249224 140335692206716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8663040 140726966256502 140726966256745 140726966256745 140726966259658 0
/proc/26136/statm: 28282 363 304 221 0 87 0
[pid=26138] ppid=26136 vsize=28227388 memory=29948 CPUtime=0.12 cores=0-7
/proc/26138/stat : 26138 (java) S 26136 26136 25184 0 -1 1077944320 5959 0 0 0 10 2 0 0 20 0 20 0 419060997 28904845312 7487 33554432000 4194304 4196468 140723080532272 140723080514816 140135369940727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
/proc/26138/statm: 7056847 7487 3119 1 0 7019032 0
[pid=26138/tid=26139] ppid=26136 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/26138/task/26139/stat : 26139 (java) R 26136 26136 25184 0 -1 4202560 3870 0 0 0 7 1 0 0 20 0 20 0 419060997 28904845312 7487 33554432000 4194304 4196468 140723080532272 140135374172000 140135369952662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26140] ppid=26136 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26138/task/26140/stat : 26140 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140135322561424 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26141] ppid=26136 vsize=28227388 memory=139724621813376 CPUtime=0 cores=0-7
/proc/26138/task/26141/stat : 26141 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134919822096 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26142] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26142/stat : 26142 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134918769808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26143] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26143/stat : 26143 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134917717008 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26144] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26144/stat : 26144 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134916663696 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26145] ppid=26136 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26138/task/26145/stat : 26145 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134915610896 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26146] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26146/stat : 26146 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134914558608 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26147] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26147/stat : 26147 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134913505808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26148] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26148/stat : 26148 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419061000 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134486243952 140135369951874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26149] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26149/stat : 26149 (java) S 26136 26136 25184 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419061000 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134485189920 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26150] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26150/stat : 26150 (java) S 26136 26136 25184 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419061000 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134484137584 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26151] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26151/stat : 26151 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134483085904 140135369959323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26152] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26152/stat : 26152 (java) S 26136 26136 25184 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134482032752 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26153] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26153/stat : 26153 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134480979952 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26154] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26154/stat : 26154 (java) S 26136 26136 25184 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134479927664 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26155] ppid=26136 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26138/task/26155/stat : 26155 (java) R 26136 26136 25184 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 419061003 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134478874864 140135348958880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26156] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26156/stat : 26156 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134477822816 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26157] ppid=26136 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26138/task/26157/stat : 26157 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 7487 33554432000 4194304 4196468 140723080532272 140134476770096 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31400 KiB

[startup+0.211742 s]*
/proc/loadavg: 6.52 4.99 4.81 2/212 26157
/proc/meminfo: memFree=23098812/32770624 swapFree=66939852/67108860
[pid=26136] ppid=26133 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26136/stat : 26136 (xcsp3-exec) S 26133 26136 25184 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419060997 115843072 363 33554432000 4194304 5098028 140726966251120 140726966249224 140335692206716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8663040 140726966256502 140726966256745 140726966256745 140726966259658 0
/proc/26136/statm: 28282 363 304 221 0 87 0
[pid=26138] ppid=26136 vsize=28227388 memory=40888 CPUtime=0.34 cores=0-7
/proc/26138/stat : 26138 (java) S 26136 26136 25184 0 -1 1077944320 9449 0 0 0 30 4 0 0 20 0 20 0 419060997 28904845312 10222 33554432000 4194304 4196468 140723080532272 140723080514816 140135369940727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
/proc/26138/statm: 7056847 10222 3300 1 0 7019032 0
[pid=26138/tid=26139] ppid=26136 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26138/task/26139/stat : 26139 (java) R 26136 26136 25184 0 -1 4202560 6645 0 0 0 17 2 0 0 20 0 20 0 419060997 28904845312 10222 33554432000 4194304 4196468 140723080532272 140135374172304 140135001829143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26140] ppid=26136 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/26138/task/26140/stat : 26140 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140135322561424 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26141] ppid=26136 vsize=28227388 memory=139724624918263 CPUtime=0 cores=0-7
/proc/26138/task/26141/stat : 26141 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134919822096 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26142] ppid=26136 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26138/task/26142/stat : 26142 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134918769808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26143] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26143/stat : 26143 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134917717008 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26144] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26144/stat : 26144 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134916663696 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26145] ppid=26136 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26138/task/26145/stat : 26145 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134915610896 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26146] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26146/stat : 26146 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134914558608 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26147] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26147/stat : 26147 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134913505808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26148] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26148/stat : 26148 (java) S 26136 26136 25184 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419061000 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134486243952 140135369951874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26149] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26149/stat : 26149 (java) S 26136 26136 25184 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419061000 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134485189920 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26150] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26150/stat : 26150 (java) S 26136 26136 25184 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419061000 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134484137584 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26151] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26151/stat : 26151 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134483085904 140135369959323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26152] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26152/stat : 26152 (java) S 26136 26136 25184 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134482032848 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26153] ppid=26136 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26138/task/26153/stat : 26153 (java) S 26136 26136 25184 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 20 0 419061003 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134480979952 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26154] ppid=26136 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/26138/task/26154/stat : 26154 (java) S 26136 26136 25184 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 419061003 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134479927664 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26155] ppid=26136 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/26138/task/26155/stat : 26155 (java) R 26136 26136 25184 0 -1 4202560 748 0 0 0 7 0 0 0 20 0 20 0 419061003 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134478874864 140135369952662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26156] ppid=26136 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26156/stat : 26156 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134477822816 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26157] ppid=26136 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26138/task/26157/stat : 26157 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419061003 28904845312 10222 33554432000 4194304 4196468 140723080532272 140134476770096 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42340 KiB

[startup+0.310478 s]*
/proc/loadavg: 6.52 4.99 4.81 4/212 26157
/proc/meminfo: memFree=23091420/32770624 swapFree=66939852/67108860
[pid=26136] ppid=26133 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26136/stat : 26136 (xcsp3-exec) S 26133 26136 25184 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419060997 115843072 363 33554432000 4194304 5098028 140726966251120 140726966249224 140335692206716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8663040 140726966256502 140726966256745 140726966256745 140726966259658 0
/proc/26136/statm: 28282 363 304 221 0 87 0
[pid=26138] ppid=26136 vsize=28231644 memory=49756 CPUtime=0.52 cores=0-7
/proc/26138/stat : 26138 (java) S 26136 26136 25184 0 -1 1077944320 10828 0 0 0 48 4 0 0 20 0 20 0 419060997 28909203456 12439 33554432000 4194304 4196468 140723080532272 140723080514816 140135369940727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
/proc/26138/statm: 7057911 12439 3347 1 0 7019032 0
[pid=26138/tid=26139] ppid=26136 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/26138/task/26139/stat : 26139 (java) R 26136 26136 25184 0 -1 4202560 7766 0 0 0 26 3 0 0 20 0 20 0 419060997 28909203456 12439 33554432000 4194304 4196468 140723080532272 140135374171840 140135354021214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26140] ppid=26136 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26140/stat : 26140 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140135322561424 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26141] ppid=26136 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26141/stat : 26141 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134919822096 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26142] ppid=26136 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26142/stat : 26142 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134918769808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26143] ppid=26136 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26143/stat : 26143 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134917717008 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26144] ppid=26136 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26144/stat : 26144 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134916663696 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26145] ppid=26136 vsize=28231644 memory=139724480146095 CPUtime=0 cores=0-7
/proc/26138/task/26145/stat : 26145 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134915610896 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26146] ppid=26136 vsize=28231644 memory=139724480148400 CPUtime=0 cores=0-7
/proc/26138/task/26146/stat : 26146 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134914558608 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26147] ppid=26136 vsize=28231644 memory=139724480150704 CPUtime=0 cores=0-7
/proc/26138/task/26147/stat : 26147 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134913505808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26148] ppid=26136 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26148/stat : 26148 (java) S 26136 26136 25184 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419061000 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134486243952 140135369951874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26149] ppid=26136 vsize=28231644 memory=279448960315280 CPUtime=0 cores=0-7
/proc/26138/task/26149/stat : 26149 (java) S 26136 26136 25184 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419061000 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134485189920 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26150] ppid=26136 vsize=28231644 memory=279448960312976 CPUtime=0 cores=0-7
/proc/26138/task/26150/stat : 26150 (java) S 26136 26136 25184 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419061000 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134484137584 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26151] ppid=26136 vsize=28231644 memory=279448960319888 CPUtime=0 cores=0-7
/proc/26138/task/26151/stat : 26151 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419061003 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134483085904 140135369959323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26152] ppid=26136 vsize=28231644 memory=279448960261168 CPUtime=0.01 cores=0-7
/proc/26138/task/26152/stat : 26152 (java) S 26136 26136 25184 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 419061003 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134482032752 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26153] ppid=26136 vsize=28231644 memory=279448960333712 CPUtime=0.04 cores=0-7
/proc/26138/task/26153/stat : 26153 (java) R 26136 26136 25184 0 -1 4202560 192 0 0 0 4 0 0 0 20 0 20 0 419061003 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134480979952 140135355066738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26154] ppid=26136 vsize=28231644 memory=279448960340624 CPUtime=0.03 cores=0-7
/proc/26138/task/26154/stat : 26154 (java) S 26136 26136 25184 0 -1 1077944384 364 0 0 0 3 0 0 0 20 0 20 0 419061003 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134479927664 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26155] ppid=26136 vsize=28231644 memory=279448960338320 CPUtime=0.12 cores=0-7
/proc/26138/task/26155/stat : 26155 (java) S 26136 26136 25184 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 419061003 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134478874864 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26156] ppid=26136 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26156/stat : 26156 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419061003 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134477822816 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26157] ppid=26136 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/26138/task/26157/stat : 26157 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419061003 28909203456 12439 33554432000 4194304 4196468 140723080532272 140134476770096 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51208 KiB

[startup+0.700986 s]
/proc/loadavg: 6.52 4.99 4.81 4/212 26157
/proc/meminfo: memFree=23072680/32770624 swapFree=66939852/67108860
[pid=26136] ppid=26133 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26136/stat : 26136 (xcsp3-exec) S 26133 26136 25184 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419060997 115843072 363 33554432000 4194304 5098028 140726966251120 140726966249224 140335692206716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8663040 140726966256502 140726966256745 140726966256745 140726966259658 0
/proc/26136/statm: 28282 363 304 221 0 87 0
[pid=26138] ppid=26136 vsize=28233768 memory=102240 CPUtime=1.92 cores=0-7
/proc/26138/stat : 26138 (java) S 26136 26136 25184 0 -1 1077944320 16179 0 0 0 185 7 0 0 20 0 20 0 419060997 28911378432 25560 33554432000 4194304 4196468 140723080532272 140723080514816 140135369940727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
/proc/26138/statm: 7058442 25560 3446 1 0 7019544 0
[pid=26138/tid=26139] ppid=26136 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/26138/task/26139/stat : 26139 (java) R 26136 26136 25184 0 -1 4202560 9005 0 0 0 63 4 0 0 20 0 20 0 419060997 28911378432 25560 33554432000 4194304 4196468 140723080532272 140135374155472 140135001783625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26140] ppid=26136 vsize=28233768 memory=139724480357232 CPUtime=0 cores=0-7
/proc/26138/task/26140/stat : 26140 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28911378432 25560 33554432000 4194304 4196468 140723080532272 140135322561424 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26141] ppid=26136 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26141/stat : 26141 (java) S 26136 26136 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419060998 28911378432 25560 33554432000 4194304 4196468 140723080532272 140134919822096 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26142] ppid=26136 vsize=28233768 memory=1256 CPUtime=0 cores=0-7
/proc/26138/task/26142/stat : 26142 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419060998 28911378432 25560 33554432000 4194304 4196468 140723080532272 140134918769808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0

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

[pid=26138/tid=26155] ppid=26136 vsize=28766280 memory=812 CPUtime=0.63 cores=0-7
/proc/26138/task/26155/stat : 26155 (java) S 26136 26136 25184 0 -1 1077944384 4054 0 0 0 62 1 0 0 20 0 28 0 419061003 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134478874864 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26156] ppid=26136 vsize=28766280 memory=2580 CPUtime=0 cores=0-7
/proc/26138/task/26156/stat : 26156 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419061003 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134477822816 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26157] ppid=26136 vsize=28766280 memory=1760 CPUtime=0.01 cores=0-7
/proc/26138/task/26157/stat : 26157 (java) S 26136 26136 25184 0 -1 1077944384 328 0 0 0 0 1 0 0 20 0 28 0 419061003 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134476770096 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26160] ppid=26136 vsize=28766280 memory=111636 CPUtime=4.64 cores=0-7
/proc/26138/task/26160/stat : 26160 (java) R 26136 26136 25184 0 -1 4202560 278 0 0 0 464 0 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134467558648 140135009778661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26161] ppid=26136 vsize=28766280 memory=116 CPUtime=4.53 cores=0-7
/proc/26138/task/26161/stat : 26161 (java) R 26136 26136 25184 0 -1 4202560 699 0 0 0 440 13 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134466506936 140135001893912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26162] ppid=26136 vsize=28766280 memory=54 CPUtime=4.71 cores=0-7
/proc/26138/task/26162/stat : 26162 (java) R 26136 26136 25184 0 -1 4202560 677 0 0 0 471 0 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134465453640 140135009721896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26163] ppid=26136 vsize=28766280 memory=0 CPUtime=4.64 cores=0-7
/proc/26138/task/26163/stat : 26163 (java) R 26136 26136 25184 0 -1 4202560 1048 0 0 0 464 0 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134464400592 140135009575232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26164] ppid=26136 vsize=28766280 memory=0 CPUtime=4.66 cores=0-7
/proc/26138/task/26164/stat : 26164 (java) R 26136 26136 25184 0 -1 4202560 507 0 0 0 466 0 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134463348648 140135009575317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26165] ppid=26136 vsize=28766280 memory=1175 CPUtime=4.63 cores=0-7
/proc/26138/task/26165/stat : 26165 (java) R 26136 26136 25184 0 -1 4202560 6668 0 0 0 463 0 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134462295736 140135009575400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26166] ppid=26136 vsize=28766280 memory=1170 CPUtime=4.41 cores=0-7
/proc/26138/task/26166/stat : 26166 (java) R 26136 26136 25184 0 -1 4202560 547 0 0 0 434 7 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134461243576 140135009575431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26167] ppid=26136 vsize=28766280 memory=0 CPUtime=4.61 cores=0-7
/proc/26138/task/26167/stat : 26167 (java) R 26136 26136 25184 0 -1 4202560 227 0 0 0 461 0 0 0 20 0 28 0 419064370 29456670720 3297592 33554432000 4194304 4196468 140723080532272 140134460190776 140135009777750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
Current children cumulated CPU time: 247.09 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 13191820 KiB

[startup+40.0013 s]*
/proc/loadavg: 5.13 4.80 4.75 12/220 26167
/proc/meminfo: memFree=9926696/32770624 swapFree=66939852/67108860
[pid=26136] ppid=26133 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26136/stat : 26136 (xcsp3-exec) S 26133 26136 25184 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419060997 115843072 363 33554432000 4194304 5098028 140726966251120 140726966249224 140335692206716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8663040 140726966256502 140726966256745 140726966256745 140726966259658 0
/proc/26136/statm: 28282 363 304 221 0 87 0
[pid=26138] ppid=26136 vsize=28766280 memory=13191216 CPUtime=253.49 cores=0-7
/proc/26138/stat : 26138 (java) S 26136 26136 25184 0 -1 1077944320 220335 0 0 0 22495 2854 0 0 20 0 28 0 419060997 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140723080514816 140135369940727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
/proc/26138/statm: 7191570 3297804 3529 1 0 7152672 0
[pid=26138/tid=26139] ppid=26136 vsize=28766280 memory=8317482817917895235 CPUtime=8.94 cores=0-7
/proc/26138/task/26139/stat : 26139 (java) S 26136 26136 25184 0 -1 1077944384 20170 0 0 0 873 21 0 0 20 0 28 0 419060997 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140135374181504 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26140] ppid=26136 vsize=28766280 memory=4872558044660077418 CPUtime=24.41 cores=0-7
/proc/26138/task/26140/stat : 26140 (java) S 26136 26136 25184 0 -1 1077944384 11696 0 0 0 2134 307 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140135322561424 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26141] ppid=26136 vsize=28766280 memory=421 CPUtime=24.47 cores=0-7
/proc/26138/task/26141/stat : 26141 (java) S 26136 26136 25184 0 -1 1077944384 14667 0 0 0 2077 370 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134919822096 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26142] ppid=26136 vsize=28766280 memory=3547067693410633863 CPUtime=24.21 cores=0-7
/proc/26138/task/26142/stat : 26142 (java) S 26136 26136 25184 0 -1 1077944384 11218 0 0 0 2081 340 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134918769808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26143] ppid=26136 vsize=28766280 memory=7738118106557864047 CPUtime=24.42 cores=0-7
/proc/26138/task/26143/stat : 26143 (java) S 26136 26136 25184 0 -1 1077944384 17902 0 0 0 2069 373 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134917717008 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26144] ppid=26136 vsize=28766280 memory=7156619391891173228 CPUtime=24.58 cores=0-7
/proc/26138/task/26144/stat : 26144 (java) S 26136 26136 25184 0 -1 1077944384 20316 0 0 0 2129 329 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134916663696 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26145] ppid=26136 vsize=28766280 memory=0 CPUtime=24.52 cores=0-7
/proc/26138/task/26145/stat : 26145 (java) S 26136 26136 25184 0 -1 1077944384 20748 0 0 0 2099 353 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134915610896 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26146] ppid=26136 vsize=28766280 memory=3472425181896237977 CPUtime=24.33 cores=0-7
/proc/26138/task/26146/stat : 26146 (java) S 26136 26136 25184 0 -1 1077944384 11178 0 0 0 2059 374 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134914558608 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26147] ppid=26136 vsize=28766280 memory=4206468019030876256 CPUtime=24.43 cores=0-7
/proc/26138/task/26147/stat : 26147 (java) S 26136 26136 25184 0 -1 1077944384 20841 0 0 0 2117 326 0 0 20 0 28 0 419060998 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134913505808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26148] ppid=26136 vsize=28766280 memory=-7533229591096565664 CPUtime=0.41 cores=0-7
/proc/26138/task/26148/stat : 26148 (java) S 26136 26136 25184 0 -1 1077944384 23887 0 0 0 32 9 0 0 20 0 28 0 419061000 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134486243952 140135369951874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26149] ppid=26136 vsize=28766280 memory=-9001727377965607015 CPUtime=0 cores=0-7
/proc/26138/task/26149/stat : 26149 (java) S 26136 26136 25184 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419061000 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134485189984 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26150] ppid=26136 vsize=28766280 memory=-7019007802211101846 CPUtime=0 cores=0-7
/proc/26138/task/26150/stat : 26150 (java) S 26136 26136 25184 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 419061000 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134484137600 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26151] ppid=26136 vsize=28766280 memory=-7019007797916124576 CPUtime=0 cores=0-7
/proc/26138/task/26151/stat : 26151 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419061003 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134483085904 140135369959323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26152] ppid=26136 vsize=28766280 memory=0 CPUtime=1.81 cores=0-7
/proc/26138/task/26152/stat : 26152 (java) R 26136 26136 25184 0 -1 4202560 10379 0 0 0 178 3 0 0 20 0 28 0 419061003 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134482018768 140135351465922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26153] ppid=26136 vsize=28766280 memory=0 CPUtime=1.88 cores=0-7
/proc/26138/task/26153/stat : 26153 (java) R 26136 26136 25184 0 -1 4202560 8412 0 0 0 187 1 0 0 20 0 28 0 419061003 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134480966176 140135351118530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26154] ppid=26136 vsize=28766280 memory=279448960302468 CPUtime=1.78 cores=0-7
/proc/26138/task/26154/stat : 26154 (java) R 26136 26136 25184 0 -1 4202560 8667 0 0 0 177 1 0 0 20 0 28 0 419061003 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134479913728 140135349188092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26155] ppid=26136 vsize=28766280 memory=279448960630220 CPUtime=0.69 cores=0-7
/proc/26138/task/26155/stat : 26155 (java) S 26136 26136 25184 0 -1 1077944384 5566 0 0 0 67 2 0 0 20 0 28 0 419061003 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134478874864 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26156] ppid=26136 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26156/stat : 26156 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419061003 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134477822816 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26157] ppid=26136 vsize=28766280 memory=3472468019899787774 CPUtime=0.02 cores=0-7
/proc/26138/task/26157/stat : 26157 (java) R 26136 26136 25184 0 -1 1077944384 328 0 0 0 1 1 0 0 20 0 28 0 419061003 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134476770096 140135369951874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26160] ppid=26136 vsize=28766280 memory=6944938067432061290 CPUtime=5.34 cores=0-7
/proc/26138/task/26160/stat : 26160 (java) R 26136 26136 25184 0 -1 4202560 746 0 0 0 526 8 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134467558624 140135010207540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26161] ppid=26136 vsize=28766280 memory=6656426216303648864 CPUtime=5.21 cores=0-7
/proc/26138/task/26161/stat : 26161 (java) R 26136 26136 25184 0 -1 4202560 822 0 0 0 504 17 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134466506632 140135009831516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26162] ppid=26136 vsize=28766280 memory=279448960106736 CPUtime=5.47 cores=0-7
/proc/26138/task/26162/stat : 26162 (java) R 26136 26136 25184 0 -1 4202560 824 0 0 0 547 0 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134465455016 140135009249317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26163] ppid=26136 vsize=28766280 memory=7014466810580329577 CPUtime=5.3 cores=0-7
/proc/26138/task/26163/stat : 26163 (java) R 26136 26136 25184 0 -1 4202560 1609 0 0 0 530 0 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134464403448 140135009321110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26164] ppid=26136 vsize=28766280 memory=31356350842106267 CPUtime=5.34 cores=0-7
/proc/26138/task/26164/stat : 26164 (java) R 26136 26136 25184 0 -1 4202560 790 0 0 0 534 0 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134463349672 140135002805337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26165] ppid=26136 vsize=28766280 memory=14057 CPUtime=5.3 cores=0-7
/proc/26138/task/26165/stat : 26165 (java) R 26136 26136 25184 0 -1 4202560 6853 0 0 0 530 0 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134462297736 140135009980590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26166] ppid=26136 vsize=28766280 memory=0 CPUtime=5.16 cores=0-7
/proc/26138/task/26166/stat : 26166 (java) R 26136 26136 25184 0 -1 4202560 963 0 0 0 506 10 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134461242608 140135009993632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26167] ppid=26136 vsize=28766280 memory=0 CPUtime=5.28 cores=0-7
/proc/26138/task/26167/stat : 26167 (java) R 26136 26136 25184 0 -1 4202560 355 0 0 0 528 0 0 0 20 0 28 0 419064370 29456670720 3297804 33554432000 4194304 4196468 140723080532272 140134460193000 140135002799033 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
Current children cumulated CPU time: 253.49 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 13192668 KiB

[startup+40.4012 s]
/proc/loadavg: 5.13 4.80 4.75 12/220 26167
/proc/meminfo: memFree=9926696/32770624 swapFree=66939852/67108860
[pid=26136] ppid=26133 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26136/stat : 26136 (xcsp3-exec) S 26133 26136 25184 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419060997 115843072 363 33554432000 4194304 5098028 140726966251120 140726966249224 140335692206716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8663040 140726966256502 140726966256745 140726966256745 140726966259658 0
/proc/26136/statm: 28282 363 304 221 0 87 0
[pid=26138] ppid=26136 vsize=28766280 memory=13192580 CPUtime=256.07 cores=0-7
/proc/26138/stat : 26138 (java) S 26136 26136 25184 0 -1 1077944320 222478 0 0 0 22748 2859 0 0 20 0 28 0 419060997 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140723080514816 140135369940727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
/proc/26138/statm: 7191570 3298145 3529 1 0 7152672 0
[pid=26138/tid=26139] ppid=26136 vsize=28766280 memory=0 CPUtime=8.94 cores=0-7
/proc/26138/task/26139/stat : 26139 (java) S 26136 26136 25184 0 -1 1077944384 20170 0 0 0 873 21 0 0 20 0 28 0 419060997 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140135374181504 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26140] ppid=26136 vsize=28766280 memory=56 CPUtime=24.41 cores=0-7
/proc/26138/task/26140/stat : 26140 (java) S 26136 26136 25184 0 -1 1077944384 11696 0 0 0 2134 307 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140135322561424 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26141] ppid=26136 vsize=28766280 memory=0 CPUtime=24.47 cores=0-7
/proc/26138/task/26141/stat : 26141 (java) S 26136 26136 25184 0 -1 1077944384 14667 0 0 0 2077 370 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134919822096 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26142] ppid=26136 vsize=28766280 memory=139728171041671 CPUtime=24.21 cores=0-7
/proc/26138/task/26142/stat : 26142 (java) S 26136 26136 25184 0 -1 1077944384 11218 0 0 0 2081 340 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134918769808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26143] ppid=26136 vsize=28766280 memory=139728171041673 CPUtime=24.42 cores=0-7
/proc/26138/task/26143/stat : 26143 (java) S 26136 26136 25184 0 -1 1077944384 17902 0 0 0 2069 373 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134917717008 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26144] ppid=26136 vsize=28766280 memory=139728171041727 CPUtime=24.58 cores=0-7
/proc/26138/task/26144/stat : 26144 (java) S 26136 26136 25184 0 -1 1077944384 20316 0 0 0 2129 329 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134916663696 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26145] ppid=26136 vsize=28766280 memory=139728171041728 CPUtime=24.52 cores=0-7
/proc/26138/task/26145/stat : 26145 (java) S 26136 26136 25184 0 -1 1077944384 20748 0 0 0 2099 353 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134915610896 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26146] ppid=26136 vsize=28766280 memory=139728171041845 CPUtime=24.33 cores=0-7
/proc/26138/task/26146/stat : 26146 (java) S 26136 26136 25184 0 -1 1077944384 11178 0 0 0 2059 374 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134914558608 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26147] ppid=26136 vsize=28766280 memory=139728171042213 CPUtime=24.43 cores=0-7
/proc/26138/task/26147/stat : 26147 (java) S 26136 26136 25184 0 -1 1077944384 20841 0 0 0 2117 326 0 0 20 0 28 0 419060998 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134913505808 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26148] ppid=26136 vsize=28766280 memory=139728171042904 CPUtime=0.41 cores=0-7
/proc/26138/task/26148/stat : 26148 (java) S 26136 26136 25184 0 -1 1077944384 23887 0 0 0 32 9 0 0 20 0 28 0 419061000 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134486243952 140135369951874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26149] ppid=26136 vsize=28766280 memory=1452 CPUtime=0 cores=0-7
/proc/26138/task/26149/stat : 26149 (java) S 26136 26136 25184 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419061000 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134485189984 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26150] ppid=26136 vsize=28766280 memory=13190952 CPUtime=0 cores=0-7
/proc/26138/task/26150/stat : 26150 (java) S 26136 26136 25184 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 419061000 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134484137600 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26151] ppid=26136 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26151/stat : 26151 (java) S 26136 26136 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419061003 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134483085904 140135369959323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26152] ppid=26136 vsize=28766280 memory=0 CPUtime=2.15 cores=0-7
/proc/26138/task/26152/stat : 26152 (java) R 26136 26136 25184 0 -1 4202560 10531 0 0 0 212 3 0 0 20 0 28 0 419061003 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134482018832 140135351485216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26153] ppid=26136 vsize=28766280 memory=0 CPUtime=2.21 cores=0-7
/proc/26138/task/26153/stat : 26153 (java) S 26136 26136 25184 0 -1 1077944384 8713 0 0 0 219 2 0 0 20 0 28 0 419061003 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134480979952 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26154] ppid=26136 vsize=28766280 memory=0 CPUtime=2.09 cores=0-7
/proc/26138/task/26154/stat : 26154 (java) S 26136 26136 25184 0 -1 1077944384 8905 0 0 0 208 1 0 0 20 0 28 0 419061003 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134479927664 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26155] ppid=26136 vsize=28766280 memory=0 CPUtime=0.7 cores=0-7
/proc/26138/task/26155/stat : 26155 (java) S 26136 26136 25184 0 -1 1077944384 5594 0 0 0 68 2 0 0 20 0 28 0 419061003 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134478874864 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26156] ppid=26136 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/26138/task/26156/stat : 26156 (java) S 26136 26136 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419061003 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134477822816 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26157] ppid=26136 vsize=28766280 memory=0 CPUtime=0.02 cores=0-7
/proc/26138/task/26157/stat : 26157 (java) S 26136 26136 25184 0 -1 1077944384 328 0 0 0 1 1 0 0 20 0 28 0 419061003 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134476770096 140135369951874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26160] ppid=26136 vsize=28766280 memory=0 CPUtime=5.49 cores=0-7
/proc/26138/task/26160/stat : 26160 (java) S 26136 26136 25184 0 -1 1077944384 874 0 0 0 541 8 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134467563632 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26161] ppid=26136 vsize=28766280 memory=0 CPUtime=5.48 cores=0-7
/proc/26138/task/26161/stat : 26161 (java) R 26136 26136 25184 0 -1 4202560 886 0 0 0 530 18 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134466507000 140135010557181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26162] ppid=26136 vsize=28766280 memory=0 CPUtime=5.75 cores=0-7
/proc/26138/task/26162/stat : 26162 (java) S 26136 26136 25184 0 -1 1077944384 1239 0 0 0 572 3 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134465459024 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26163] ppid=26136 vsize=28766280 memory=0 CPUtime=5.42 cores=0-7
/proc/26138/task/26163/stat : 26163 (java) S 26136 26136 25184 0 -1 1077944384 2089 0 0 0 542 0 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134464406224 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26164] ppid=26136 vsize=28766280 memory=56 CPUtime=5.53 cores=0-7
/proc/26138/task/26164/stat : 26164 (java) S 26136 26136 25184 0 -1 1077944384 792 0 0 0 553 0 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134463353936 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26165] ppid=26136 vsize=28766280 memory=0 CPUtime=5.46 cores=0-7
/proc/26138/task/26165/stat : 26165 (java) S 26136 26136 25184 0 -1 1077944384 6949 0 0 0 546 0 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134462301136 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26166] ppid=26136 vsize=28766280 memory=42 CPUtime=5.43 cores=0-7
/proc/26138/task/26166/stat : 26166 (java) S 26136 26136 25184 0 -1 1077944384 1188 0 0 0 532 11 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134461248848 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
[pid=26138/tid=26167] ppid=26136 vsize=28766280 memory=0 CPUtime=5.43 cores=0-7
/proc/26138/task/26167/stat : 26167 (java) S 26136 26136 25184 0 -1 1077944384 367 0 0 0 543 0 0 0 20 0 28 0 419064370 29456670720 3298145 33554432000 4194304 4196468 140723080532272 140134460196048 140135369950933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25804800 140723080541162 140723080541334 140723080541334 140723080544207 0
Current children cumulated CPU time: 256.07 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 13194032 KiB

Child status: 0
Real time (s): 40.4918
CPU time (s): 256.19
CPU user time (s): 227.524
CPU system time (s): 28.6657
CPU usage (%): 632.695
Max. virtual memory (cumulated for all children) (KiB): 28879408
Max. memory (cumulated for all children) (KiB): 13194032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.524
system time used= 28.6657
maximum resident set size= 13192708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10852
involuntary context switches= 9176


# summary of solver processes directly reported to runsolver:
#   pid: 26136
#   total CPU time (s): 256.19
#   total CPU user time (s): 227.524
#   total CPU system time (s): 28.6657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.307861 second user time and 0.511998 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
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.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
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	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4393599

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
