2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	310	1991.48	250.709
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 (15273 MiB free)
  memory of node 1: 16384 MiB (15681 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400206-1568711213/watcher-4400206-1568711213 -o /tmp/evaluation-result-4400206-1568711213/solver-4400206-1568711213 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 674871153 HOME/instance-4400206-1568711213.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=7335, runsolver pid=7332

[startup+0.100113 s]*
/proc/loadavg: 7.80 8.16 8.20 2/211 7356
/proc/meminfo: memFree=31682872/32770624 swapFree=66977320/67108860
[pid=7335] ppid=7332 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7335/stat : 7335 (xcsp3-exec) S 7332 7335 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447383926 115843072 362 33554432000 4194304 5098028 140733587287264 140733587285368 139811098751612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34422784 140733587293052 140733587293294 140733587293294 140733587296202 0
/proc/7335/statm: 28282 362 304 221 0 87 0
[pid=7337] ppid=7335 vsize=28227396 memory=28740 CPUtime=0.12 cores=0-7
/proc/7337/stat : 7337 (java) S 7335 7335 29062 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 447383927 28904853504 7185 33554432000 4194304 4196468 140727018928800 140727018911344 140245924994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
/proc/7337/statm: 7056849 7185 3119 1 0 7019032 0
[pid=7337/tid=7338] ppid=7335 vsize=28227396 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/7337/task/7338/stat : 7338 (java) R 7335 7335 29062 0 -1 4202560 3598 0 0 0 8 0 0 0 20 0 20 0 447383927 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245929226832 140245906401106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7339] ppid=7335 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7337/task/7339/stat : 7339 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245877615632 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7340] ppid=7335 vsize=28227396 memory=140375544166016 CPUtime=0 cores=0-7
/proc/7337/task/7340/stat : 7340 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245876563088 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7341] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7341/stat : 7341 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245875510032 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7342] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7342/stat : 7342 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245874457488 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7343] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7343/stat : 7343 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245873404432 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7344] ppid=7335 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7337/task/7344/stat : 7344 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245872351888 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7345] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7345/stat : 7345 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245871298832 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7346] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7346/stat : 7346 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 7185 33554432000 4194304 4196468 140727018928800 140245870246288 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7347] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7347/stat : 7347 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383929 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244120677104 140245925005954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7348] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7348/stat : 7348 (java) S 7335 7335 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447383930 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244119623328 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7349] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7349/stat : 7349 (java) S 7335 7335 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447383930 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244118570224 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7350] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7350/stat : 7350 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383932 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244117518800 140245925013403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7351] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7351/stat : 7351 (java) S 7335 7335 29062 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 447383933 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244116465904 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7352] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7352/stat : 7352 (java) R 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447383933 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244115413360 140245925005954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7353] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7353/stat : 7353 (java) S 7335 7335 29062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447383933 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244114360304 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7354] ppid=7335 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7337/task/7354/stat : 7354 (java) R 7335 7335 29062 0 -1 4202560 365 0 0 0 1 0 0 0 20 0 20 0 447383933 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244113307760 140245925006742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7355] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7355/stat : 7355 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447383933 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244112255968 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7356] ppid=7335 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7337/task/7356/stat : 7356 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383933 28904853504 7185 33554432000 4194304 4196468 140727018928800 140244111203504 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30188 KiB

[startup+0.210054 s]*
/proc/loadavg: 7.80 8.16 8.20 2/211 7356
/proc/meminfo: memFree=31670076/32770624 swapFree=66977320/67108860
[pid=7335] ppid=7332 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7335/stat : 7335 (xcsp3-exec) S 7332 7335 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447383926 115843072 362 33554432000 4194304 5098028 140733587287264 140733587285368 139811098751612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34422784 140733587293052 140733587293294 140733587293294 140733587296202 0
/proc/7335/statm: 28282 362 304 221 0 87 0
[pid=7337] ppid=7335 vsize=28227396 memory=40552 CPUtime=0.34 cores=0-7
/proc/7337/stat : 7337 (java) S 7335 7335 29062 0 -1 1077944320 9376 0 0 0 31 3 0 0 20 0 20 0 447383927 28904853504 10138 33554432000 4194304 4196468 140727018928800 140727018911344 140245924994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
/proc/7337/statm: 7056849 10138 3260 1 0 7019032 0
[pid=7337/tid=7338] ppid=7335 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7337/task/7338/stat : 7338 (java) R 7335 7335 29062 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 20 0 447383927 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245929224528 140245530152785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7339] ppid=7335 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/7337/task/7339/stat : 7339 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245877615632 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7340] ppid=7335 vsize=28227396 memory=140375547657702 CPUtime=0 cores=0-7
/proc/7337/task/7340/stat : 7340 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245876563088 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7341] ppid=7335 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7337/task/7341/stat : 7341 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245875510032 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7342] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7342/stat : 7342 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245874457488 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7343] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7343/stat : 7343 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245873404432 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7344] ppid=7335 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7337/task/7344/stat : 7344 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245872351888 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7345] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7345/stat : 7345 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245871298832 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7346] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7346/stat : 7346 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447383928 28904853504 10138 33554432000 4194304 4196468 140727018928800 140245870246288 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7347] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7347/stat : 7347 (java) S 7335 7335 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447383929 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244120677104 140245925005954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7348] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7348/stat : 7348 (java) S 7335 7335 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447383930 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244119623328 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7349] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7349/stat : 7349 (java) S 7335 7335 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447383930 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244118570224 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7350] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7350/stat : 7350 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383932 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244117518800 140245925013403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7351] ppid=7335 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/7337/task/7351/stat : 7351 (java) S 7335 7335 29062 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 447383933 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244116465904 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7352] ppid=7335 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7337/task/7352/stat : 7352 (java) S 7335 7335 29062 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 447383933 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244115413360 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7353] ppid=7335 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/7337/task/7353/stat : 7353 (java) R 7335 7335 29062 0 -1 4202560 131 0 0 0 1 0 0 0 20 0 20 0 447383933 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244114360304 140245925016154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7354] ppid=7335 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/7337/task/7354/stat : 7354 (java) R 7335 7335 29062 0 -1 4202560 808 0 0 0 7 0 0 0 20 0 20 0 447383933 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244113307760 140245925006742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7355] ppid=7335 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7355/stat : 7355 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447383933 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244112255968 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7356] ppid=7335 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7337/task/7356/stat : 7356 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383933 28904853504 10138 33554432000 4194304 4196468 140727018928800 140244111203504 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42000 KiB

[startup+0.309515 s]*
/proc/loadavg: 7.80 8.16 8.20 5/211 7356
/proc/meminfo: memFree=31662160/32770624 swapFree=66977320/67108860
[pid=7335] ppid=7332 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7335/stat : 7335 (xcsp3-exec) S 7332 7335 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447383926 115843072 362 33554432000 4194304 5098028 140733587287264 140733587285368 139811098751612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34422784 140733587293052 140733587293294 140733587293294 140733587296202 0
/proc/7335/statm: 28282 362 304 221 0 87 0
[pid=7337] ppid=7335 vsize=28231652 memory=49508 CPUtime=0.52 cores=0-7
/proc/7337/stat : 7337 (java) S 7335 7335 29062 0 -1 1077944320 10785 0 0 0 48 4 0 0 20 0 20 0 447383927 28909211648 12377 33554432000 4194304 4196468 140727018928800 140727018911344 140245924994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
/proc/7337/statm: 7057913 12377 3361 1 0 7019032 0
[pid=7337/tid=7338] ppid=7335 vsize=28231652 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/7337/task/7338/stat : 7338 (java) R 7335 7335 29062 0 -1 4202560 7731 0 0 0 27 3 0 0 20 0 20 0 447383927 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245929228592 140245909075294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7339] ppid=7335 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7337/task/7339/stat : 7339 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245877615632 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7340] ppid=7335 vsize=28231652 memory=11976 CPUtime=0 cores=0-7
/proc/7337/task/7340/stat : 7340 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245876563088 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7341] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7341/stat : 7341 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245875510032 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7342] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7342/stat : 7342 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245874457488 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7343] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7343/stat : 7343 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245873404432 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7344] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7344/stat : 7344 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245872351888 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7345] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7345/stat : 7345 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245871298832 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7346] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7346/stat : 7346 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447383928 28909211648 12417 33554432000 4194304 4196468 140727018928800 140245870246288 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7347] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7347/stat : 7347 (java) S 7335 7335 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447383929 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244120677104 140245925005954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7348] ppid=7335 vsize=28231652 memory=140375436133839 CPUtime=0 cores=0-7
/proc/7337/task/7348/stat : 7348 (java) S 7335 7335 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447383930 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244119623328 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7349] ppid=7335 vsize=28231652 memory=280750872263056 CPUtime=0 cores=0-7
/proc/7337/task/7349/stat : 7349 (java) S 7335 7335 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447383930 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244118570224 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7350] ppid=7335 vsize=28231652 memory=280750872260752 CPUtime=0 cores=0-7
/proc/7337/task/7350/stat : 7350 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383932 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244117518800 140245925013403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7351] ppid=7335 vsize=28231652 memory=280750872276880 CPUtime=0.03 cores=0-7
/proc/7337/task/7351/stat : 7351 (java) S 7335 7335 29062 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 20 0 447383933 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244116465904 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7352] ppid=7335 vsize=28231652 memory=280750872274576 CPUtime=0.03 cores=0-7
/proc/7337/task/7352/stat : 7352 (java) R 7335 7335 29062 0 -1 4202560 179 0 0 0 3 0 0 0 20 0 20 0 447383933 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244115413360 140245906170696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7353] ppid=7335 vsize=28231652 memory=280750872281488 CPUtime=0.01 cores=0-7
/proc/7337/task/7353/stat : 7353 (java) S 7335 7335 29062 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 447383933 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244114360304 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7354] ppid=7335 vsize=28231652 memory=280750872222736 CPUtime=0.12 cores=0-7
/proc/7337/task/7354/stat : 7354 (java) S 7335 7335 29062 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 20 0 447383933 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244113307760 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7355] ppid=7335 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7355/stat : 7355 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447383933 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244112255968 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7356] ppid=7335 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/7337/task/7356/stat : 7356 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383933 28909211648 12417 33554432000 4194304 4196468 140727018928800 140244111203504 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50956 KiB

[startup+0.700906 s]
/proc/loadavg: 7.42 8.07 8.18 5/211 7356
/proc/meminfo: memFree=31640440/32770624 swapFree=66977320/67108860
[pid=7335] ppid=7332 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7335/stat : 7335 (xcsp3-exec) S 7332 7335 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447383926 115843072 362 33554432000 4194304 5098028 140733587287264 140733587285368 139811098751612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34422784 140733587293052 140733587293294 140733587293294 140733587296202 0
/proc/7335/statm: 28282 362 304 221 0 87 0
[pid=7337] ppid=7335 vsize=28233776 memory=119604 CPUtime=2.04 cores=0-7
/proc/7337/stat : 7337 (java) S 7335 7335 29062 0 -1 1077944320 15030 0 0 0 198 6 0 0 20 0 20 0 447383927 28911386624 29901 33554432000 4194304 4196468 140727018928800 140727018911344 140245924994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
/proc/7337/statm: 7058444 29901 3448 1 0 7019544 0
[pid=7337/tid=7338] ppid=7335 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/7337/task/7338/stat : 7338 (java) R 7335 7335 29062 0 -1 4202560 8578 0 0 0 64 4 0 0 20 0 20 0 447383927 28911386624 29901 33554432000 4194304 4196468 140727018928800 140245929192944 140245909075294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7339] ppid=7335 vsize=28233776 memory=280750872323136 CPUtime=0 cores=0-7
/proc/7337/task/7339/stat : 7339 (java) S 7335 7335 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447383928 28911386624 29901 33554432000 4194304 4196468 140727018928800 140245877615632 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7340] ppid=7335 vsize=28233776 memory=140375436338032 CPUtime=0 cores=0-7
/proc/7337/task/7340/stat : 7340 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28911386624 29901 33554432000 4194304 4196468 140727018928800 140245876563088 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7341] ppid=7335 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/7337/task/7341/stat : 7341 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447383928 28911386624 29901 33554432000 4194304 4196468 140727018928800 140245875510032 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0

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

[pid=7337/tid=7495] ppid=7335 vsize=28769364 memory=1028 CPUtime=244.64 cores=0-7
/proc/7337/task/7495/stat : 7495 (java) R 7335 7335 29062 0 -1 4202560 2085 0 0 0 24460 4 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243659207032 140245537745451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7496] ppid=7335 vsize=28769364 memory=1060 CPUtime=244.97 cores=0-7
/proc/7337/task/7496/stat : 7496 (java) R 7335 7335 29062 0 -1 4202560 9085 0 0 0 24453 44 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243656048824 140245531213998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7497] ppid=7335 vsize=28769364 memory=2828 CPUtime=244.12 cores=0-7
/proc/7337/task/7497/stat : 7497 (java) R 7335 7335 29062 0 -1 4202560 1727 0 0 0 24410 2 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243660261808 140245537745228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7498] ppid=7335 vsize=28769364 memory=2828 CPUtime=244.29 cores=0-7
/proc/7337/task/7498/stat : 7498 (java) R 7335 7335 29062 0 -1 4202560 2387 0 0 0 24426 3 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243658153768 140245537276103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7499] ppid=7335 vsize=28769364 memory=756 CPUtime=244.67 cores=0-7
/proc/7337/task/7499/stat : 7499 (java) R 7335 7335 29062 0 -1 4202560 663 0 0 0 24467 0 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243653943720 140245537276198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7500] ppid=7335 vsize=28769364 memory=1548 CPUtime=245.58 cores=0-7
/proc/7337/task/7500/stat : 7500 (java) R 7335 7335 29062 0 -1 4202560 2749 0 0 0 24551 7 0 0 20 0 28 0 447384294 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243654996824 140245537070325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
Current children cumulated CPU time: 1982.77 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2183000 KiB

[startup+250.402 s]
/proc/loadavg: 8.17 8.15 8.19 9/220 7521
/proc/meminfo: memFree=29529832/32770624 swapFree=66977328/67108860
[pid=7335] ppid=7332 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7335/stat : 7335 (xcsp3-exec) S 7332 7335 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447383926 115843072 362 33554432000 4194304 5098028 140733587287264 140733587285368 139811098751612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34422784 140733587293052 140733587293294 140733587293294 140733587296202 0
/proc/7335/statm: 28282 362 304 221 0 87 0
[pid=7337] ppid=7335 vsize=28769364 memory=2181552 CPUtime=1989.15 cores=0-7
/proc/7337/stat : 7337 (java) S 7335 7335 29062 0 -1 1077944320 102101 0 0 0 198786 129 0 0 20 0 28 0 447383927 29459828736 545388 33554432000 4194304 4196468 140727018928800 140727018911344 140245924994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
/proc/7337/statm: 7192341 545388 3526 1 0 7153441 0
[pid=7337/tid=7338] ppid=7335 vsize=28769364 memory=2181500 CPUtime=1.52 cores=0-7
/proc/7337/task/7338/stat : 7338 (java) S 7335 7335 29062 0 -1 1077944384 9315 0 0 0 145 7 0 0 20 0 28 0 447383927 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245929235584 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7339] ppid=7335 vsize=28769364 memory=8112282956445269571 CPUtime=0.16 cores=0-7
/proc/7337/task/7339/stat : 7339 (java) S 7335 7335 29062 0 -1 1077944384 1099 0 0 0 11 5 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245877615632 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7340] ppid=7335 vsize=28769364 memory=2173308 CPUtime=0.12 cores=0-7
/proc/7337/task/7340/stat : 7340 (java) S 7335 7335 29062 0 -1 1077944384 1176 0 0 0 7 5 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245876563088 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7341] ppid=7335 vsize=28769364 memory=1628 CPUtime=0.12 cores=0-7
/proc/7337/task/7341/stat : 7341 (java) S 7335 7335 29062 0 -1 1077944384 784 0 0 0 8 4 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245875510032 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7342] ppid=7335 vsize=28769364 memory=1448 CPUtime=0.13 cores=0-7
/proc/7337/task/7342/stat : 7342 (java) S 7335 7335 29062 0 -1 1077944384 302 0 0 0 10 3 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245874457488 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7343] ppid=7335 vsize=28769364 memory=1448 CPUtime=0.15 cores=0-7
/proc/7337/task/7343/stat : 7343 (java) S 7335 7335 29062 0 -1 1077944384 743 0 0 0 11 4 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245873404432 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7344] ppid=7335 vsize=28769364 memory=2173308 CPUtime=0.14 cores=0-7
/proc/7337/task/7344/stat : 7344 (java) S 7335 7335 29062 0 -1 1077944384 652 0 0 0 10 4 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245872351888 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7345] ppid=7335 vsize=28769364 memory=-8412652160765825907 CPUtime=0.12 cores=0-7
/proc/7337/task/7345/stat : 7345 (java) S 7335 7335 29062 0 -1 1077944384 977 0 0 0 9 3 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245871298832 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7346] ppid=7335 vsize=28769364 memory=14008 CPUtime=0.14 cores=0-7
/proc/7337/task/7346/stat : 7346 (java) S 7335 7335 29062 0 -1 1077944384 669 0 0 0 9 5 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245870246288 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7347] ppid=7335 vsize=28769364 memory=2120 CPUtime=0.03 cores=0-7
/proc/7337/task/7347/stat : 7347 (java) S 7335 7335 29062 0 -1 1077944384 3500 0 0 0 3 0 0 0 20 0 28 0 447383929 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244120677104 140245925005954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7348] ppid=7335 vsize=28769364 memory=11976 CPUtime=0 cores=0-7
/proc/7337/task/7348/stat : 7348 (java) S 7335 7335 29062 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 447383930 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244119623392 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7349] ppid=7335 vsize=28769364 memory=1564 CPUtime=0 cores=0-7
/proc/7337/task/7349/stat : 7349 (java) S 7335 7335 29062 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447383930 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244118570240 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7350] ppid=7335 vsize=28769364 memory=928 CPUtime=0 cores=0-7
/proc/7337/task/7350/stat : 7350 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447383932 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244117518800 140245925013403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7351] ppid=7335 vsize=28769364 memory=3784 CPUtime=3 cores=0-7
/proc/7337/task/7351/stat : 7351 (java) S 7335 7335 29062 0 -1 1077944384 15834 0 0 0 297 3 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244116465904 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7352] ppid=7335 vsize=28769364 memory=1440 CPUtime=2.61 cores=0-7
/proc/7337/task/7352/stat : 7352 (java) S 7335 7335 29062 0 -1 1077944384 12776 0 0 0 260 1 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244115413360 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7353] ppid=7335 vsize=28769364 memory=904 CPUtime=2.69 cores=0-7
/proc/7337/task/7353/stat : 7353 (java) S 7335 7335 29062 0 -1 1077944384 14275 0 0 0 267 2 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244114360304 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7354] ppid=7335 vsize=28769364 memory=1984 CPUtime=0.85 cores=0-7
/proc/7337/task/7354/stat : 7354 (java) S 7335 7335 29062 0 -1 1077944384 8572 0 0 0 83 2 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244113307760 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7355] ppid=7335 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/7337/task/7355/stat : 7355 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244112255968 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7356] ppid=7335 vsize=28769364 memory=2173308 CPUtime=0.09 cores=0-7
/proc/7337/task/7356/stat : 7356 (java) S 7335 7335 29062 0 -1 1077944384 1433 0 0 0 3 6 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244111203504 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7493] ppid=7335 vsize=28769364 memory=4468 CPUtime=246.3 cores=0-7
/proc/7337/task/7493/stat : 7493 (java) R 7335 7335 29062 0 -1 4202560 6497 0 0 0 24626 4 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243649740280 140245537747049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7494] ppid=7335 vsize=28769364 memory=6935054825532540783 CPUtime=245.77 cores=0-7
/proc/7337/task/7494/stat : 7494 (java) R 7335 7335 29062 0 -1 4202560 735 0 0 0 24576 1 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243652890752 140245537978565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7495] ppid=7335 vsize=28769364 memory=4126316290023845779 CPUtime=245.44 cores=0-7
/proc/7337/task/7495/stat : 7495 (java) R 7335 7335 29062 0 -1 4202560 2087 0 0 0 24540 4 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243659207032 140245537745596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7496] ppid=7335 vsize=28769364 memory=1764 CPUtime=245.77 cores=0-7
/proc/7337/task/7496/stat : 7496 (java) R 7335 7335 29062 0 -1 4202560 9102 0 0 0 24533 44 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243656048824 140245537745320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7497] ppid=7335 vsize=28769364 memory=13729 CPUtime=244.91 cores=0-7
/proc/7337/task/7497/stat : 7497 (java) R 7335 7335 29062 0 -1 4202560 1727 0 0 0 24489 2 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243660261808 140245537070250 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7498] ppid=7335 vsize=28769364 memory=4420 CPUtime=245.09 cores=0-7
/proc/7337/task/7498/stat : 7498 (java) R 7335 7335 29062 0 -1 4202560 2392 0 0 0 24506 3 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243658153768 140245537747230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7499] ppid=7335 vsize=28769364 memory=6628 CPUtime=245.47 cores=0-7
/proc/7337/task/7499/stat : 7499 (java) R 7335 7335 29062 0 -1 4202560 663 0 0 0 24547 0 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243653943720 140245537276176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7500] ppid=7335 vsize=28769364 memory=8836 CPUtime=246.38 cores=0-7
/proc/7337/task/7500/stat : 7500 (java) R 7335 7335 29062 0 -1 4202560 2756 0 0 0 24631 7 0 0 20 0 28 0 447384294 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243654996824 140245537745339 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
Current children cumulated CPU time: 1989.15 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2183000 KiB

[startup+250.602 s]
/proc/loadavg: 8.17 8.15 8.19 9/220 7521
/proc/meminfo: memFree=29529832/32770624 swapFree=66977328/67108860
[pid=7335] ppid=7332 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7335/stat : 7335 (xcsp3-exec) S 7332 7335 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447383926 115843072 362 33554432000 4194304 5098028 140733587287264 140733587285368 139811098751612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34422784 140733587293052 140733587293294 140733587293294 140733587296202 0
/proc/7335/statm: 28282 362 304 221 0 87 0
[pid=7337] ppid=7335 vsize=28769364 memory=2181552 CPUtime=1990.75 cores=0-7
/proc/7337/stat : 7337 (java) S 7335 7335 29062 0 -1 1077944320 102108 0 0 0 198946 129 0 0 20 0 28 0 447383927 29459828736 545388 33554432000 4194304 4196468 140727018928800 140727018911344 140245924994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
/proc/7337/statm: 7192341 545388 3526 1 0 7153441 0
[pid=7337/tid=7338] ppid=7335 vsize=28769364 memory=8112282956445269571 CPUtime=1.52 cores=0-7
/proc/7337/task/7338/stat : 7338 (java) S 7335 7335 29062 0 -1 1077944384 9315 0 0 0 145 7 0 0 20 0 28 0 447383927 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245929235584 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7339] ppid=7335 vsize=28769364 memory=31052 CPUtime=0.16 cores=0-7
/proc/7337/task/7339/stat : 7339 (java) S 7335 7335 29062 0 -1 1077944384 1099 0 0 0 11 5 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245877615632 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7340] ppid=7335 vsize=28769364 memory=2004 CPUtime=0.12 cores=0-7
/proc/7337/task/7340/stat : 7340 (java) S 7335 7335 29062 0 -1 1077944384 1176 0 0 0 7 5 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245876563088 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7341] ppid=7335 vsize=28769364 memory=984 CPUtime=0.12 cores=0-7
/proc/7337/task/7341/stat : 7341 (java) S 7335 7335 29062 0 -1 1077944384 784 0 0 0 8 4 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245875510032 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7342] ppid=7335 vsize=28769364 memory=1324 CPUtime=0.13 cores=0-7
/proc/7337/task/7342/stat : 7342 (java) S 7335 7335 29062 0 -1 1077944384 302 0 0 0 10 3 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245874457488 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7343] ppid=7335 vsize=28769364 memory=780 CPUtime=0.15 cores=0-7
/proc/7337/task/7343/stat : 7343 (java) S 7335 7335 29062 0 -1 1077944384 743 0 0 0 11 4 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245873404432 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7344] ppid=7335 vsize=28769364 memory=4088 CPUtime=0.14 cores=0-7
/proc/7337/task/7344/stat : 7344 (java) S 7335 7335 29062 0 -1 1077944384 652 0 0 0 10 4 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245872351888 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7345] ppid=7335 vsize=28769364 memory=15620 CPUtime=0.12 cores=0-7
/proc/7337/task/7345/stat : 7345 (java) S 7335 7335 29062 0 -1 1077944384 977 0 0 0 9 3 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245871298832 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7346] ppid=7335 vsize=28769364 memory=280750872068336 CPUtime=0.14 cores=0-7
/proc/7337/task/7346/stat : 7346 (java) S 7335 7335 29062 0 -1 1077944384 669 0 0 0 9 5 0 0 20 0 28 0 447383928 29459828736 545388 33554432000 4194304 4196468 140727018928800 140245870246288 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7347] ppid=7335 vsize=28769364 memory=280750872068336 CPUtime=0.03 cores=0-7
/proc/7337/task/7347/stat : 7347 (java) S 7335 7335 29062 0 -1 1077944384 3500 0 0 0 3 0 0 0 20 0 28 0 447383929 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244120677104 140245925005954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7348] ppid=7335 vsize=28769364 memory=280750872068336 CPUtime=0 cores=0-7
/proc/7337/task/7348/stat : 7348 (java) S 7335 7335 29062 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 447383930 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244119623392 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7349] ppid=7335 vsize=28769364 memory=280750872071696 CPUtime=0 cores=0-7
/proc/7337/task/7349/stat : 7349 (java) S 7335 7335 29062 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447383930 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244118570240 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7350] ppid=7335 vsize=28769364 memory=280750872068336 CPUtime=0 cores=0-7
/proc/7337/task/7350/stat : 7350 (java) S 7335 7335 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447383932 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244117518800 140245925013403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7351] ppid=7335 vsize=28769364 memory=280750872068336 CPUtime=3 cores=0-7
/proc/7337/task/7351/stat : 7351 (java) S 7335 7335 29062 0 -1 1077944384 15834 0 0 0 297 3 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244116465904 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7352] ppid=7335 vsize=28769364 memory=288230574492221466 CPUtime=2.61 cores=0-7
/proc/7337/task/7352/stat : 7352 (java) S 7335 7335 29062 0 -1 1077944384 12776 0 0 0 260 1 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244115413360 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7353] ppid=7335 vsize=28769364 memory=301741416391115062 CPUtime=2.69 cores=0-7
/proc/7337/task/7353/stat : 7353 (java) S 7335 7335 29062 0 -1 1077944384 14275 0 0 0 267 2 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244114360304 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7354] ppid=7335 vsize=28769364 memory=15252640887999028 CPUtime=0.85 cores=0-7
/proc/7337/task/7354/stat : 7354 (java) S 7335 7335 29062 0 -1 1077944384 8572 0 0 0 83 2 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244113307760 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7355] ppid=7335 vsize=28769364 memory=1984 CPUtime=0 cores=0-7
/proc/7337/task/7355/stat : 7355 (java) S 7335 7335 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244112255968 140245925005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7356] ppid=7335 vsize=28769364 memory=2528 CPUtime=0.09 cores=0-7
/proc/7337/task/7356/stat : 7356 (java) S 7335 7335 29062 0 -1 1077944384 1433 0 0 0 3 6 0 0 20 0 28 0 447383933 29459828736 545388 33554432000 4194304 4196468 140727018928800 140244111203504 140245925005954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7493] ppid=7335 vsize=28769364 memory=1764 CPUtime=246.5 cores=0-7
/proc/7337/task/7493/stat : 7493 (java) R 7335 7335 29062 0 -1 4202560 6497 0 0 0 24646 4 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243649740280 140245537978034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7494] ppid=7335 vsize=28769364 memory=111632 CPUtime=245.97 cores=0-7
/proc/7337/task/7494/stat : 7494 (java) R 7335 7335 29062 0 -1 4202560 735 0 0 0 24596 1 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243652890752 140245538066980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7495] ppid=7335 vsize=28769364 memory=804 CPUtime=245.64 cores=0-7
/proc/7337/task/7495/stat : 7495 (java) R 7335 7335 29062 0 -1 4202560 2087 0 0 0 24560 4 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243659207032 140245537744271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7496] ppid=7335 vsize=28769364 memory=4100 CPUtime=245.97 cores=0-7
/proc/7337/task/7496/stat : 7496 (java) R 7335 7335 29062 0 -1 4202560 9109 0 0 0 24553 44 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243656048824 140245537275735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7497] ppid=7335 vsize=28769364 memory=1412 CPUtime=245.1 cores=0-7
/proc/7337/task/7497/stat : 7497 (java) R 7335 7335 29062 0 -1 4202560 1727 0 0 0 24508 2 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243660261808 140245537276129 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7498] ppid=7335 vsize=28769364 memory=3672 CPUtime=245.29 cores=0-7
/proc/7337/task/7498/stat : 7498 (java) R 7335 7335 29062 0 -1 4202560 2392 0 0 0 24526 3 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243658153768 140245537745277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7499] ppid=7335 vsize=28769364 memory=1448 CPUtime=245.67 cores=0-7
/proc/7337/task/7499/stat : 7499 (java) R 7335 7335 29062 0 -1 4202560 663 0 0 0 24567 0 0 0 20 0 28 0 447384292 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243653943720 140245537745228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
[pid=7337/tid=7500] ppid=7335 vsize=28769364 memory=2181500 CPUtime=246.58 cores=0-7
/proc/7337/task/7500/stat : 7500 (java) R 7335 7335 29062 0 -1 4202560 2756 0 0 0 24651 7 0 0 20 0 28 0 447384294 29459828736 545388 33554432000 4194304 4196468 140727018928800 140243654996824 140245537070394 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11935744 140727018931184 140727018931355 140727018931355 140727018934223 0
Current children cumulated CPU time: 1990.75 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2183000 KiB

[startup+250.701 s]
/proc/loadavg: 8.17 8.15 8.19 9/220 7521
/proc/meminfo: memFree=29529832/32770624 swapFree=66977328/67108860
[pid=7335] ppid=7332 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7335/stat : 7335 (xcsp3-exec) S 7332 7335 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447383926 115843072 362 33554432000 4194304 5098028 140733587287264 140733587285368 139811098751612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34422784 140733587293052 140733587293294 140733587293294 140733587296202 0
/proc/7335/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

Child status: 0
Real time (s): 250.709
CPU time (s): 1991.48
CPU user time (s): 1990.17
CPU system time (s): 1.31045
CPU usage (%): 794.338
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 2183112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1990.17
system time used= 1.31045
maximum resident set size= 2181664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11538
involuntary context switches= 24080


# summary of solver processes directly reported to runsolver:
#   pid: 7335
#   total CPU time (s): 1991.48
#   total CPU user time (s): 1990.17
#   total CPU system time (s): 1.31045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.03167 second user time and 1.99377 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9577
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4400206

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
