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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399569-1568708263/watcher-4399569-1568708263 -o /tmp/evaluation-result-4399569-1568708263/solver-4399569-1568708263 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 810503807 HOME/instance-4399569-1568708263.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2232, runsolver pid=2229


[startup+0.100088 s]*
/proc/loadavg: 7.03 7.85 7.70 3/211 2253
/proc/meminfo: memFree=31686928/32770624 swapFree=66977240/67108860
[pid=2232] ppid=2229 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2232/stat : 2232 (xcsp3-exec) S 2229 2232 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447088967 115843072 363 33554432000 4194304 5098028 140726733009424 140726733007528 140535353991804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140726733017974 140726733018217 140726733018217 140726733021130 0
/proc/2232/statm: 28282 363 304 221 0 87 0
[pid=2234] ppid=2232 vsize=28227396 memory=30068 CPUtime=0.11 cores=0-7
/proc/2234/stat : 2234 (java) S 2232 2232 29062 0 -1 1077944320 5980 0 0 0 10 1 0 0 20 0 20 0 447088967 28904853504 7517 33554432000 4194304 4196468 140727456914768 140727456897312 140646596808439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
/proc/2234/statm: 7056849 7517 3123 1 0 7019032 0
[pid=2234/tid=2235] ppid=2232 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/2234/task/2235/stat : 2235 (java) R 2232 2232 29062 0 -1 4202560 3903 0 0 0 8 1 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646601042976 140646596820374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2236] ppid=2232 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/2234/task/2236/stat : 2236 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646557768592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2237] ppid=2232 vsize=28227396 memory=139677651674752 CPUtime=0 cores=0-7
/proc/2234/task/2237/stat : 2237 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646146808592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2238] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2238/stat : 2238 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646145756304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2239] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2239/stat : 2239 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646144703504 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2240] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2240/stat : 2240 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646143650192 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2241] ppid=2232 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2234/task/2241/stat : 2241 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646142597392 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2242] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2242/stat : 2242 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646141545104 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2243] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2243/stat : 2243 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 7517 33554432000 4194304 4196468 140727456914768 140646140492304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2244] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2244/stat : 2244 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088970 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645060872816 140646596819586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2245] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2245/stat : 2245 (java) S 2232 2232 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447088970 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645059818784 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2246] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2246/stat : 2246 (java) S 2232 2232 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447088971 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645058766448 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2247] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2247/stat : 2247 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645057714768 140646596827035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2248] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2248/stat : 2248 (java) S 2232 2232 29062 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645056661616 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2249] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2249/stat : 2249 (java) R 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645055608816 140646596820374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2250] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2250/stat : 2250 (java) S 2232 2232 29062 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645054556528 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2251] ppid=2232 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2234/task/2251/stat : 2251 (java) R 2232 2232 29062 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 447088973 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645053503728 140646596820374 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2252] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2252/stat : 2252 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645052451680 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2253] ppid=2232 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2234/task/2253/stat : 2253 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088974 28904853504 7517 33554432000 4194304 4196468 140727456914768 140645051398960 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31520 KiB

[startup+0.209884 s]*
/proc/loadavg: 7.03 7.85 7.70 3/211 2253
/proc/meminfo: memFree=31673676/32770624 swapFree=66977240/67108860
[pid=2232] ppid=2229 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2232/stat : 2232 (xcsp3-exec) S 2229 2232 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447088967 115843072 363 33554432000 4194304 5098028 140726733009424 140726733007528 140535353991804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140726733017974 140726733018217 140726733018217 140726733021130 0
/proc/2232/statm: 28282 363 304 221 0 87 0
[pid=2234] ppid=2232 vsize=28227396 memory=41360 CPUtime=0.33 cores=0-7
/proc/2234/stat : 2234 (java) S 2232 2232 29062 0 -1 1077944320 9559 0 0 0 29 4 0 0 20 0 20 0 447088967 28904853504 10340 33554432000 4194304 4196468 140727456914768 140727456897312 140646596808439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
/proc/2234/statm: 7056849 10340 3274 1 0 7019032 0
[pid=2234/tid=2235] ppid=2232 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/2234/task/2235/stat : 2235 (java) R 2232 2232 29062 0 -1 4202560 6707 0 0 0 17 2 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646601037152 140646576389715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2236] ppid=2232 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/2234/task/2236/stat : 2236 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646557768592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2237] ppid=2232 vsize=28227396 memory=288370053803386496 CPUtime=0 cores=0-7
/proc/2234/task/2237/stat : 2237 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646146808592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2238] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2238/stat : 2238 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646145756304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2239] ppid=2232 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2234/task/2239/stat : 2239 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646144703504 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2240] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2240/stat : 2240 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646143650192 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2241] ppid=2232 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2234/task/2241/stat : 2241 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646142597392 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2242] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2242/stat : 2242 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646141545104 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2243] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2243/stat : 2243 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28904853504 10340 33554432000 4194304 4196468 140727456914768 140646140492304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2244] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2244/stat : 2244 (java) S 2232 2232 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447088970 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645060872816 140646596819586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2245] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2245/stat : 2245 (java) S 2232 2232 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447088970 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645059818784 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2246] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2246/stat : 2246 (java) S 2232 2232 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447088971 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645058766448 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2247] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2247/stat : 2247 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645057714768 140646596827035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2248] ppid=2232 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2234/task/2248/stat : 2248 (java) S 2232 2232 29062 0 -1 1077944384 642 0 0 0 1 0 0 0 20 0 20 0 447088973 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645056661616 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2249] ppid=2232 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2234/task/2249/stat : 2249 (java) S 2232 2232 29062 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 447088973 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645055608816 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2250] ppid=2232 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2234/task/2250/stat : 2250 (java) S 2232 2232 29062 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645054556528 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2251] ppid=2232 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/2234/task/2251/stat : 2251 (java) R 2232 2232 29062 0 -1 4202560 711 0 0 0 7 0 0 0 20 0 20 0 447088973 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645053498080 140646589045566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2252] ppid=2232 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2252/stat : 2252 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447088973 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645052451680 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2253] ppid=2232 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2234/task/2253/stat : 2253 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088974 28904853504 10340 33554432000 4194304 4196468 140727456914768 140645051398960 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42812 KiB

[startup+0.309683 s]*
/proc/loadavg: 7.03 7.85 7.70 3/211 2253
/proc/meminfo: memFree=31668836/32770624 swapFree=66977240/67108860
[pid=2232] ppid=2229 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2232/stat : 2232 (xcsp3-exec) S 2229 2232 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447088967 115843072 363 33554432000 4194304 5098028 140726733009424 140726733007528 140535353991804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140726733017974 140726733018217 140726733018217 140726733021130 0
/proc/2232/statm: 28282 363 304 221 0 87 0
[pid=2234] ppid=2232 vsize=28231652 memory=49816 CPUtime=0.52 cores=0-7
/proc/2234/stat : 2234 (java) S 2232 2232 29062 0 -1 1077944320 10747 0 0 0 47 5 0 0 20 0 20 0 447088967 28909211648 12454 33554432000 4194304 4196468 140727456914768 140727456897312 140646596808439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
/proc/2234/statm: 7057913 12454 3364 1 0 7019032 0
[pid=2234/tid=2235] ppid=2232 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/2234/task/2235/stat : 2235 (java) R 2232 2232 29062 0 -1 4202560 7764 0 0 0 26 3 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646601039552 140646596830365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2236] ppid=2232 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2234/task/2236/stat : 2236 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646557768592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2237] ppid=2232 vsize=28231652 memory=1164 CPUtime=0 cores=0-7
/proc/2234/task/2237/stat : 2237 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646146808592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2238] ppid=2232 vsize=28231652 memory=9448 CPUtime=0 cores=0-7
/proc/2234/task/2238/stat : 2238 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646145756304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2239] ppid=2232 vsize=28231652 memory=14008 CPUtime=0 cores=0-7
/proc/2234/task/2239/stat : 2239 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646144703504 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2240] ppid=2232 vsize=28231652 memory=2120 CPUtime=0 cores=0-7
/proc/2234/task/2240/stat : 2240 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646143650192 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2241] ppid=2232 vsize=28231652 memory=11976 CPUtime=0 cores=0-7
/proc/2234/task/2241/stat : 2241 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646142597392 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2242] ppid=2232 vsize=28231652 memory=11568 CPUtime=0 cores=0-7
/proc/2234/task/2242/stat : 2242 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646141545104 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2243] ppid=2232 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2243/stat : 2243 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28909211648 12454 33554432000 4194304 4196468 140727456914768 140646140492304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2244] ppid=2232 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2244/stat : 2244 (java) S 2232 2232 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447088970 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645060872816 140646596819586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2245] ppid=2232 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2245/stat : 2245 (java) S 2232 2232 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447088970 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645059818784 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2246] ppid=2232 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2246/stat : 2246 (java) S 2232 2232 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447088971 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645058766448 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2247] ppid=2232 vsize=28231652 memory=139677503948239 CPUtime=0 cores=0-7
/proc/2234/task/2247/stat : 2247 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088973 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645057714768 140646596827035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2248] ppid=2232 vsize=28231652 memory=67 CPUtime=0.02 cores=0-7
/proc/2234/task/2248/stat : 2248 (java) S 2232 2232 29062 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 20 0 447088973 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645056661616 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2249] ppid=2232 vsize=28231652 memory=51172 CPUtime=0.02 cores=0-7
/proc/2234/task/2249/stat : 2249 (java) R 2232 2232 29062 0 -1 4202560 77 0 0 0 2 0 0 0 20 0 20 0 447088973 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645055599200 140646580767872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2250] ppid=2232 vsize=28231652 memory=53476 CPUtime=0.02 cores=0-7
/proc/2234/task/2250/stat : 2250 (java) S 2232 2232 29062 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 20 0 447088973 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645054556528 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2251] ppid=2232 vsize=28231652 memory=55780 CPUtime=0.12 cores=0-7
/proc/2234/task/2251/stat : 2251 (java) R 2232 2232 29062 0 -1 4202560 796 0 0 0 12 0 0 0 20 0 20 0 447088973 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645053503728 140646575754914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2252] ppid=2232 vsize=28231652 memory=110297088 CPUtime=0 cores=0-7
/proc/2234/task/2252/stat : 2252 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447088973 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645052451680 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2253] ppid=2232 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7
/proc/2234/task/2253/stat : 2253 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088974 28909211648 12454 33554432000 4194304 4196468 140727456914768 140645051398960 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51268 KiB

[startup+0.700947 s]
/proc/loadavg: 7.03 7.85 7.70 3/211 2253
/proc/meminfo: memFree=31648776/32770624 swapFree=66977240/67108860
[pid=2232] ppid=2229 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2232/stat : 2232 (xcsp3-exec) S 2229 2232 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447088967 115843072 363 33554432000 4194304 5098028 140726733009424 140726733007528 140535353991804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140726733017974 140726733018217 140726733018217 140726733021130 0
/proc/2232/statm: 28282 363 304 221 0 87 0
[pid=2234] ppid=2232 vsize=28233776 memory=103600 CPUtime=1.91 cores=0-7
/proc/2234/stat : 2234 (java) S 2232 2232 29062 0 -1 1077944320 16508 0 0 0 184 7 0 0 20 0 20 0 447088967 28911386624 25900 33554432000 4194304 4196468 140727456914768 140727456897312 140646596808439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
/proc/2234/statm: 7058444 25900 3446 1 0 7019544 0
[pid=2234/tid=2235] ppid=2232 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/2234/task/2235/stat : 2235 (java) R 2232 2232 29062 0 -1 4202560 9069 0 0 0 63 4 0 0 20 0 20 0 447088968 28911386624 25900 33554432000 4194304 4196468 140727456914768 140646601044160 140646232702281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2236] ppid=2232 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2236/stat : 2236 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28911386624 25900 33554432000 4194304 4196468 140727456914768 140646557768592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2237] ppid=2232 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2237/stat : 2237 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447088968 28911386624 25900 33554432000 4194304 4196468 140727456914768 140646146808592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2238] ppid=2232 vsize=28233776 memory=984 CPUtime=0 cores=0-7
/proc/2234/task/2238/stat : 2238 (java) S 2232 2232 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447088968 28911386624 25900 33554432000 4194304 4196468 140727456914768 140646145756304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0

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

[pid=2234/tid=2258] ppid=2232 vsize=28766288 memory=0 CPUtime=12.74 cores=0-7
/proc/2234/task/2258/stat : 2258 (java) R 2232 2232 29062 0 -1 4202560 3295 0 0 0 1257 17 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645040074320 140646241370806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2259] ppid=2232 vsize=28766288 memory=6944656592387989600 CPUtime=11.84 cores=0-7
/proc/2234/task/2259/stat : 2259 (java) S 2232 2232 29062 0 -1 1077944384 3091 0 0 0 1167 17 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645039026896 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2260] ppid=2232 vsize=28766288 memory=6944656592455360604 CPUtime=12.67 cores=0-7
/proc/2234/task/2260/stat : 2260 (java) R 2232 2232 29062 0 -1 4202560 4354 0 0 0 1241 26 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645037969368 140646241329652 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2261] ppid=2232 vsize=28766288 memory=4123098481068110737 CPUtime=11.9 cores=0-7
/proc/2234/task/2261/stat : 2261 (java) S 2232 2232 29062 0 -1 1077944384 2235 0 0 0 1181 9 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645036921808 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2262] ppid=2232 vsize=28766288 memory=6656426216303648864 CPUtime=11.98 cores=0-7
/proc/2234/task/2262/stat : 2262 (java) S 2232 2232 29062 0 -1 1077944384 3322 0 0 0 1190 8 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645035869520 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2263] ppid=2232 vsize=28766288 memory=6944656575208382560 CPUtime=12.07 cores=0-7
/proc/2234/task/2263/stat : 2263 (java) S 2232 2232 29062 0 -1 1077944384 22880 0 0 0 1192 15 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645034816720 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12907380 KiB

[startup+44.8012 s]
/proc/loadavg: 6.86 7.67 7.65 3/219 2263
/proc/meminfo: memFree=18788168/32770624 swapFree=66977240/67108860
[pid=2232] ppid=2229 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2232/stat : 2232 (xcsp3-exec) S 2229 2232 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447088967 115843072 363 33554432000 4194304 5098028 140726733009424 140726733007528 140535353991804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140726733017974 140726733018217 140726733018217 140726733021130 0
/proc/2232/statm: 28282 363 304 221 0 87 0
[pid=2234] ppid=2232 vsize=28766288 memory=12905928 CPUtime=282.73 cores=0-7
/proc/2234/stat : 2234 (java) S 2232 2232 29062 0 -1 1077944320 252593 0 0 0 25543 2730 0 0 20 0 28 0 447088967 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140727456897312 140646596808439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
/proc/2234/statm: 7191572 3226482 3534 1 0 7152672 0
[pid=2234/tid=2235] ppid=2232 vsize=28766288 memory=8112282956445269571 CPUtime=9.3 cores=0-7
/proc/2234/task/2235/stat : 2235 (java) S 2232 2232 29062 0 -1 1077944384 19241 0 0 0 907 23 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646601049216 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2236] ppid=2232 vsize=28766288 memory=0 CPUtime=21.04 cores=0-7
/proc/2234/task/2236/stat : 2236 (java) S 2232 2232 29062 0 -1 1077944384 15342 0 0 0 1787 317 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646557768592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2237] ppid=2232 vsize=28766288 memory=1 CPUtime=20.9 cores=0-7
/proc/2234/task/2237/stat : 2237 (java) S 2232 2232 29062 0 -1 1077944384 12518 0 0 0 1769 321 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646146808592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2238] ppid=2232 vsize=28766288 memory=1037 CPUtime=20.76 cores=0-7
/proc/2234/task/2238/stat : 2238 (java) S 2232 2232 29062 0 -1 1077944384 12987 0 0 0 1759 317 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646145756304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2239] ppid=2232 vsize=28766288 memory=1051 CPUtime=20.86 cores=0-7
/proc/2234/task/2239/stat : 2239 (java) S 2232 2232 29062 0 -1 1077944384 13136 0 0 0 1758 328 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646144703504 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2240] ppid=2232 vsize=28766288 memory=1058 CPUtime=20.71 cores=0-7
/proc/2234/task/2240/stat : 2240 (java) S 2232 2232 29062 0 -1 1077944384 12958 0 0 0 1759 312 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646143650192 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2241] ppid=2232 vsize=28766288 memory=41 CPUtime=20.89 cores=0-7
/proc/2234/task/2241/stat : 2241 (java) S 2232 2232 29062 0 -1 1077944384 22734 0 0 0 1760 329 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646142597392 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2242] ppid=2232 vsize=28766288 memory=0 CPUtime=20.76 cores=0-7
/proc/2234/task/2242/stat : 2242 (java) S 2232 2232 29062 0 -1 1077944384 12949 0 0 0 1763 313 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646141545104 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2243] ppid=2232 vsize=28766288 memory=0 CPUtime=20.94 cores=0-7
/proc/2234/task/2243/stat : 2243 (java) S 2232 2232 29062 0 -1 1077944384 14152 0 0 0 1755 339 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646140492304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2244] ppid=2232 vsize=28766288 memory=0 CPUtime=0.41 cores=0-7
/proc/2234/task/2244/stat : 2244 (java) S 2232 2232 29062 0 -1 1077944384 22151 0 0 0 31 10 0 0 20 0 28 0 447088970 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645060872816 140646596819586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2245] ppid=2232 vsize=28766288 memory=167 CPUtime=0 cores=0-7
/proc/2234/task/2245/stat : 2245 (java) S 2232 2232 29062 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 447088970 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645059818848 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2246] ppid=2232 vsize=28766288 memory=259 CPUtime=0 cores=0-7
/proc/2234/task/2246/stat : 2246 (java) S 2232 2232 29062 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 447088971 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645058766464 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2247] ppid=2232 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2247/stat : 2247 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645057714768 140646596827035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2248] ppid=2232 vsize=28766288 memory=7018952839244896361 CPUtime=2.34 cores=0-7
/proc/2234/task/2248/stat : 2248 (java) S 2232 2232 29062 0 -1 1077944384 14634 0 0 0 231 3 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645056661616 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2249] ppid=2232 vsize=28766288 memory=7086242851979411552 CPUtime=3.35 cores=0-7
/proc/2234/task/2249/stat : 2249 (java) S 2232 2232 29062 0 -1 1077944384 14683 0 0 0 333 2 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645055608816 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2250] ppid=2232 vsize=28766288 memory=6371293164607923283 CPUtime=2.27 cores=0-7
/proc/2234/task/2250/stat : 2250 (java) S 2232 2232 29062 0 -1 1077944384 12011 0 0 0 226 1 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645054556528 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2251] ppid=2232 vsize=28766288 memory=6008734745824421977 CPUtime=0.73 cores=0-7
/proc/2234/task/2251/stat : 2251 (java) S 2232 2232 29062 0 -1 1077944384 7264 0 0 0 72 1 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645053503728 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2252] ppid=2232 vsize=28766288 memory=5865189130541427282 CPUtime=0 cores=0-7
/proc/2234/task/2252/stat : 2252 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645052451680 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2253] ppid=2232 vsize=28766288 memory=12904412 CPUtime=0.01 cores=0-7
/proc/2234/task/2253/stat : 2253 (java) S 2232 2232 29062 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 28 0 447088974 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645051398960 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2256] ppid=2232 vsize=28766288 memory=1452 CPUtime=11.66 cores=0-7
/proc/2234/task/2256/stat : 2256 (java) S 2232 2232 29062 0 -1 1077944384 1835 0 0 0 1166 0 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645042184304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2257] ppid=2232 vsize=28766288 memory=12904412 CPUtime=11.33 cores=0-7
/proc/2234/task/2257/stat : 2257 (java) S 2232 2232 29062 0 -1 1077944384 2600 0 0 0 1122 11 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645041133008 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2258] ppid=2232 vsize=28766288 memory=1164 CPUtime=13.01 cores=0-7
/proc/2234/task/2258/stat : 2258 (java) S 2232 2232 29062 0 -1 1077944384 3300 0 0 0 1284 17 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645040079696 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2259] ppid=2232 vsize=28766288 memory=8112282956445269571 CPUtime=11.84 cores=0-7
/proc/2234/task/2259/stat : 2259 (java) S 2232 2232 29062 0 -1 1077944384 3091 0 0 0 1167 17 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645039026896 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2260] ppid=2232 vsize=28766288 memory=780 CPUtime=13.46 cores=0-7
/proc/2234/task/2260/stat : 2260 (java) R 2232 2232 29062 0 -1 4202560 4482 0 0 0 1320 26 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645037969352 140646241370797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2261] ppid=2232 vsize=28766288 memory=1452 CPUtime=11.9 cores=0-7
/proc/2234/task/2261/stat : 2261 (java) S 2232 2232 29062 0 -1 1077944384 2235 0 0 0 1181 9 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645036921808 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2262] ppid=2232 vsize=28766288 memory=12903780 CPUtime=11.98 cores=0-7
/proc/2234/task/2262/stat : 2262 (java) S 2232 2232 29062 0 -1 1077944384 3322 0 0 0 1190 8 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645035869520 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2263] ppid=2232 vsize=28766288 memory=8112282956445269571 CPUtime=12.07 cores=0-7
/proc/2234/task/2263/stat : 2263 (java) S 2232 2232 29062 0 -1 1077944384 22880 0 0 0 1192 15 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645034816720 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
Current children cumulated CPU time: 282.73 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12907380 KiB

[startup+45.0012 s]*
/proc/loadavg: 6.39 7.56 7.61 2/219 2263
/proc/meminfo: memFree=18788044/32770624 swapFree=66977240/67108860
[pid=2232] ppid=2229 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2232/stat : 2232 (xcsp3-exec) S 2229 2232 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447088967 115843072 363 33554432000 4194304 5098028 140726733009424 140726733007528 140535353991804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140726733017974 140726733018217 140726733018217 140726733021130 0
/proc/2232/statm: 28282 363 304 221 0 87 0
[pid=2234] ppid=2232 vsize=28766288 memory=12905928 CPUtime=282.93 cores=0-7
/proc/2234/stat : 2234 (java) S 2232 2232 29062 0 -1 1077944320 252596 0 0 0 25563 2730 0 0 20 0 28 0 447088967 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140727456897312 140646596808439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
/proc/2234/statm: 7191572 3226482 3534 1 0 7152672 0
[pid=2234/tid=2235] ppid=2232 vsize=28766288 memory=1398720917958146503 CPUtime=9.3 cores=0-7
/proc/2234/task/2235/stat : 2235 (java) S 2232 2232 29062 0 -1 1077944384 19241 0 0 0 907 23 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646601049216 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2236] ppid=2232 vsize=28766288 memory=4126316290023845779 CPUtime=21.04 cores=0-7
/proc/2234/task/2236/stat : 2236 (java) S 2232 2232 29062 0 -1 1077944384 15342 0 0 0 1787 317 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646557768592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2237] ppid=2232 vsize=28766288 memory=904 CPUtime=20.9 cores=0-7
/proc/2234/task/2237/stat : 2237 (java) S 2232 2232 29062 0 -1 1077944384 12518 0 0 0 1769 321 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646146808592 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2238] ppid=2232 vsize=28766288 memory=1984 CPUtime=20.76 cores=0-7
/proc/2234/task/2238/stat : 2238 (java) S 2232 2232 29062 0 -1 1077944384 12987 0 0 0 1759 317 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646145756304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2239] ppid=2232 vsize=28766288 memory=2528 CPUtime=20.86 cores=0-7
/proc/2234/task/2239/stat : 2239 (java) S 2232 2232 29062 0 -1 1077944384 13136 0 0 0 1758 328 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646144703504 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2240] ppid=2232 vsize=28766288 memory=2241 CPUtime=20.71 cores=0-7
/proc/2234/task/2240/stat : 2240 (java) S 2232 2232 29062 0 -1 1077944384 12958 0 0 0 1759 312 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646143650192 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2241] ppid=2232 vsize=28766288 memory=12905496 CPUtime=20.89 cores=0-7
/proc/2234/task/2241/stat : 2241 (java) S 2232 2232 29062 0 -1 1077944384 22734 0 0 0 1760 329 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646142597392 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2242] ppid=2232 vsize=28766288 memory=19404662247844 CPUtime=20.76 cores=0-7
/proc/2234/task/2242/stat : 2242 (java) S 2232 2232 29062 0 -1 1077944384 12949 0 0 0 1763 313 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646141545104 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2243] ppid=2232 vsize=28766288 memory=19876 CPUtime=20.94 cores=0-7
/proc/2234/task/2243/stat : 2243 (java) S 2232 2232 29062 0 -1 1077944384 14152 0 0 0 1755 339 0 0 20 0 28 0 447088968 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140646140492304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2244] ppid=2232 vsize=28766288 memory=22084 CPUtime=0.41 cores=0-7
/proc/2234/task/2244/stat : 2244 (java) S 2232 2232 29062 0 -1 1077944384 22151 0 0 0 31 10 0 0 20 0 28 0 447088970 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645060872816 140646596819586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2245] ppid=2232 vsize=28766288 memory=24292 CPUtime=0 cores=0-7
/proc/2234/task/2245/stat : 2245 (java) S 2232 2232 29062 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 447088970 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645059818848 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2246] ppid=2232 vsize=28766288 memory=26500 CPUtime=0 cores=0-7
/proc/2234/task/2246/stat : 2246 (java) S 2232 2232 29062 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 447088971 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645058766464 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2247] ppid=2232 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/2234/task/2247/stat : 2247 (java) S 2232 2232 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645057714768 140646596827035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2248] ppid=2232 vsize=28766288 memory=0 CPUtime=2.34 cores=0-7
/proc/2234/task/2248/stat : 2248 (java) S 2232 2232 29062 0 -1 1077944384 14634 0 0 0 231 3 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645056661616 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2249] ppid=2232 vsize=28766288 memory=139677504788464 CPUtime=3.35 cores=0-7
/proc/2234/task/2249/stat : 2249 (java) S 2232 2232 29062 0 -1 1077944384 14683 0 0 0 333 2 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645055608816 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2250] ppid=2232 vsize=28766288 memory=35332 CPUtime=2.27 cores=0-7
/proc/2234/task/2250/stat : 2250 (java) S 2232 2232 29062 0 -1 1077944384 12011 0 0 0 226 1 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645054556528 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2251] ppid=2232 vsize=28766288 memory=37540 CPUtime=0.73 cores=0-7
/proc/2234/task/2251/stat : 2251 (java) S 2232 2232 29062 0 -1 1077944384 7264 0 0 0 72 1 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645053503728 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2252] ppid=2232 vsize=28766288 memory=39748 CPUtime=0 cores=0-7
/proc/2234/task/2252/stat : 2252 (java) S 2232 2232 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447088973 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645052451680 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2253] ppid=2232 vsize=28766288 memory=41956 CPUtime=0.01 cores=0-7
/proc/2234/task/2253/stat : 2253 (java) S 2232 2232 29062 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 28 0 447088974 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645051398960 140646596819586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2256] ppid=2232 vsize=28766288 memory=0 CPUtime=11.66 cores=0-7
/proc/2234/task/2256/stat : 2256 (java) S 2232 2232 29062 0 -1 1077944384 1835 0 0 0 1166 0 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645042184304 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2257] ppid=2232 vsize=28766288 memory=297237786682196261 CPUtime=11.33 cores=0-7
/proc/2234/task/2257/stat : 2257 (java) S 2232 2232 29062 0 -1 1077944384 2600 0 0 0 1122 11 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645041133008 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2258] ppid=2232 vsize=28766288 memory=16104758087779766 CPUtime=13.01 cores=0-7
/proc/2234/task/2258/stat : 2258 (java) S 2232 2232 29062 0 -1 1077944384 3300 0 0 0 1284 17 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645040079696 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2259] ppid=2232 vsize=28766288 memory=7295937320557042018 CPUtime=11.84 cores=0-7
/proc/2234/task/2259/stat : 2259 (java) S 2232 2232 29062 0 -1 1077944384 3091 0 0 0 1167 17 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645039026896 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2260] ppid=2232 vsize=28766288 memory=7295940619091923809 CPUtime=13.67 cores=0-7
/proc/2234/task/2260/stat : 2260 (java) R 2232 2232 29062 0 -1 4202560 4485 0 0 0 1341 26 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645037969352 140646241329744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2261] ppid=2232 vsize=28766288 memory=7295942813820213603 CPUtime=11.9 cores=0-7
/proc/2234/task/2261/stat : 2261 (java) S 2232 2232 29062 0 -1 1077944384 2235 0 0 0 1181 9 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645036921808 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2262] ppid=2232 vsize=28766288 memory=5787232527351758944 CPUtime=11.98 cores=0-7
/proc/2234/task/2262/stat : 2262 (java) S 2232 2232 29062 0 -1 1077944384 3322 0 0 0 1190 8 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645035869520 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
[pid=2234/tid=2263] ppid=2232 vsize=28766288 memory=7079773316970467408 CPUtime=12.07 cores=0-7
/proc/2234/task/2263/stat : 2263 (java) S 2232 2232 29062 0 -1 1077944384 22880 0 0 0 1192 15 0 0 20 0 28 0 447092068 29456678912 3226482 33554432000 4194304 4196468 140727456914768 140645034816720 140646596818645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23891968 140727456916458 140727456916630 140727456916630 140727456919503 0
Current children cumulated CPU time: 282.93 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12907380 KiB

[startup+45.1103 s]
/proc/loadavg: 6.39 7.56 7.61 2/219 2263
/proc/meminfo: memFree=18788044/32770624 swapFree=66977240/67108860
[pid=2232] ppid=2229 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2232/stat : 2232 (xcsp3-exec) S 2229 2232 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447088967 115843072 363 33554432000 4194304 5098028 140726733009424 140726733007528 140535353991804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38727680 140726733017974 140726733018217 140726733018217 140726733021130 0
/proc/2232/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 45.1526
CPU time (s): 283.135
CPU user time (s): 255.762
CPU system time (s): 27.3729
CPU usage (%): 627.061
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 12907380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.762
system time used= 27.3729
maximum resident set size= 12905972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253844
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= 10246
involuntary context switches= 3750


# summary of solver processes directly reported to runsolver:
#   pid: 2232
#   total CPU time (s): 283.135
#   total CPU user time (s): 255.762
#   total CPU system time (s): 27.3729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.394979 second user time and 0.505377 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 4399569

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
