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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	OPT	310	1996.24	251.268
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 (10871 MiB free)
  memory of node 1: 16384 MiB (14334 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407106-1569355284/watcher-4407106-1569355284 -o /tmp/evaluation-result-4407106-1569355284/solver-4407106-1569355284 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569348851-19484 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1527861674 HOME/instance-4407106-1569355284.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 3.14 1.72 3.28 2/212 23106
/proc/meminfo: memFree=25794196/32770624 swapFree=66999816/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23085/stat : 23085 (xcsp3-exec) S 23082 23085 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511793242 115843072 364 33554432000 4194304 5098028 140732832499760 140732832497864 139945097056892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19140608 140732832506741 140732832506985 140732832506985 140732832509898 0
/proc/23085/statm: 28282 364 305 221 0 87 0
[pid=23087] ppid=23085 vsize=28227396 memory=30248 CPUtime=0.13 cores=0-7
/proc/23087/stat : 23087 (java) S 23085 23085 19457 0 -1 1077944320 5525 0 0 0 11 2 0 0 20 0 20 0 511793243 28904853504 7562 33554432000 4194304 4196468 140721226484368 140721226466912 140318635339511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
/proc/23087/statm: 7056849 7562 3121 1 0 7019032 0
[pid=23087/tid=23088] ppid=23085 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/23087/task/23088/stat : 23088 (java) R 23085 23085 19457 0 -1 4202560 3436 0 0 0 8 1 0 0 20 0 20 0 511793243 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318639571168 140318271793857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23089] ppid=23085 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23087/task/23089/stat : 23089 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318596299024 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23090] ppid=23085 vsize=28227396 memory=140134743479936 CPUtime=0 cores=0-7
/proc/23087/task/23090/stat : 23090 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318185789840 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23091] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23091/stat : 23091 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318184737296 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23092] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23092/stat : 23092 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318183684752 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23093] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23093/stat : 23093 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318182632208 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23094] ppid=23085 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23087/task/23094/stat : 23094 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318181579664 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23095] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23095/stat : 23095 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318180527120 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23096] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23096/stat : 23096 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 7562 33554432000 4194304 4196468 140721226484368 140318179474576 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23097] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23097/stat : 23097 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793245 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317284775920 140318635350658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23098] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23098/stat : 23098 (java) S 23085 23085 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511793246 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317283722144 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23099] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23099/stat : 23099 (java) S 23085 23085 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511793246 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317282669552 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23100] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23100/stat : 23100 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793248 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317281618128 140318635358107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23101] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23101/stat : 23101 (java) S 23085 23085 19457 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 511793248 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317280565744 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23102] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23102/stat : 23102 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793248 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317279513200 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23103] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23103/stat : 23103 (java) S 23085 23085 19457 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511793248 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317278460656 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23104] ppid=23085 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/23087/task/23104/stat : 23104 (java) S 23085 23085 19457 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 511793248 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317277408112 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23105] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23105/stat : 23105 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511793249 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317276354784 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23106] ppid=23085 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23087/task/23106/stat : 23106 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793249 28904853504 7562 33554432000 4194304 4196468 140721226484368 140317275302320 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31704 KiB

[startup+0.210787 s]*
/proc/loadavg: 3.14 1.72 3.28 2/212 23106
/proc/meminfo: memFree=25781328/32770624 swapFree=66999816/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23085/stat : 23085 (xcsp3-exec) S 23082 23085 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511793242 115843072 364 33554432000 4194304 5098028 140732832499760 140732832497864 139945097056892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19140608 140732832506741 140732832506985 140732832506985 140732832509898 0
/proc/23085/statm: 28282 364 305 221 0 87 0
[pid=23087] ppid=23085 vsize=28227396 memory=41532 CPUtime=0.33 cores=0-7
/proc/23087/stat : 23087 (java) S 23085 23085 19457 0 -1 1077944320 9102 0 0 0 30 3 0 0 20 0 20 0 511793243 28904853504 10383 33554432000 4194304 4196468 140721226484368 140721226466912 140318635339511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
/proc/23087/statm: 7056849 10383 3310 1 0 7019032 0
[pid=23087/tid=23088] ppid=23085 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23087/task/23088/stat : 23088 (java) R 23085 23085 19457 0 -1 4202560 6242 0 0 0 18 2 0 0 20 0 20 0 511793243 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318639572240 140318635360858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23089] ppid=23085 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/23087/task/23089/stat : 23089 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318596299024 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23090] ppid=23085 vsize=28227396 memory=288370510895191680 CPUtime=0 cores=0-7
/proc/23087/task/23090/stat : 23090 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318185789840 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23091] ppid=23085 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23087/task/23091/stat : 23091 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318184737296 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23092] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23092/stat : 23092 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318183684752 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23093] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23093/stat : 23093 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318182632208 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23094] ppid=23085 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23087/task/23094/stat : 23094 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318181579664 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23095] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23095/stat : 23095 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318180527120 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23096] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23096/stat : 23096 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793244 28904853504 10383 33554432000 4194304 4196468 140721226484368 140318179474576 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23097] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23097/stat : 23097 (java) S 23085 23085 19457 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511793245 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317284775920 140318635350658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23098] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23098/stat : 23098 (java) S 23085 23085 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511793246 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317283722144 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23099] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23099/stat : 23099 (java) S 23085 23085 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511793246 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317282669552 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23100] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23100/stat : 23100 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793248 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317281618128 140318635358107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23101] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23101/stat : 23101 (java) S 23085 23085 19457 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 511793248 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317280565744 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23102] ppid=23085 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/23087/task/23102/stat : 23102 (java) S 23085 23085 19457 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 511793248 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317279513200 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23103] ppid=23085 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/23087/task/23103/stat : 23103 (java) S 23085 23085 19457 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 20 0 511793248 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317278460656 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23104] ppid=23085 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/23087/task/23104/stat : 23104 (java) R 23085 23085 19457 0 -1 4202560 696 0 0 0 7 0 0 0 20 0 20 0 511793248 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317277408112 140318627576638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23105] ppid=23085 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23105/stat : 23105 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511793249 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317276354784 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23106] ppid=23085 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23087/task/23106/stat : 23106 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793249 28904853504 10383 33554432000 4194304 4196468 140721226484368 140317275302320 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42988 KiB

[startup+0.310644 s]*
/proc/loadavg: 3.14 1.72 3.28 4/212 23106
/proc/meminfo: memFree=25776060/32770624 swapFree=66999816/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23085/stat : 23085 (xcsp3-exec) S 23082 23085 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511793242 115843072 364 33554432000 4194304 5098028 140732832499760 140732832497864 139945097056892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19140608 140732832506741 140732832506985 140732832506985 140732832509898 0
/proc/23085/statm: 28282 364 305 221 0 87 0
[pid=23087] ppid=23085 vsize=28231652 memory=49992 CPUtime=0.51 cores=0-7
/proc/23087/stat : 23087 (java) S 23085 23085 19457 0 -1 1077944320 10296 0 0 0 47 4 0 0 20 0 20 0 511793243 28909211648 12498 33554432000 4194304 4196468 140721226484368 140721226466912 140318635339511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
/proc/23087/statm: 7057913 12498 3355 1 0 7019032 0
[pid=23087/tid=23088] ppid=23085 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/23087/task/23088/stat : 23088 (java) R 23085 23085 19457 0 -1 4202560 7316 0 0 0 27 3 0 0 20 0 20 0 511793243 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318639570624 140318271744673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23089] ppid=23085 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23089/stat : 23089 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318596299024 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23090] ppid=23085 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23090/stat : 23090 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318185789840 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23091] ppid=23085 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23091/stat : 23091 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318184737296 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23092] ppid=23085 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23092/stat : 23092 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318183684752 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23093] ppid=23085 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23093/stat : 23093 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318182632208 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23094] ppid=23085 vsize=28231652 memory=140134582413999 CPUtime=0 cores=0-7
/proc/23087/task/23094/stat : 23094 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318181579664 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23095] ppid=23085 vsize=28231652 memory=140134582416304 CPUtime=0 cores=0-7
/proc/23087/task/23095/stat : 23095 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318180527120 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23096] ppid=23085 vsize=28231652 memory=140134582418608 CPUtime=0 cores=0-7
/proc/23087/task/23096/stat : 23096 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793244 28909211648 12529 33554432000 4194304 4196468 140721226484368 140318179474576 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23097] ppid=23085 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23097/stat : 23097 (java) S 23085 23085 19457 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511793245 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317284775920 140318635350658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23098] ppid=23085 vsize=28231652 memory=280269164851088 CPUtime=0 cores=0-7
/proc/23087/task/23098/stat : 23098 (java) S 23085 23085 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511793246 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317283722144 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23099] ppid=23085 vsize=28231652 memory=280269164848784 CPUtime=0 cores=0-7
/proc/23087/task/23099/stat : 23099 (java) S 23085 23085 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511793246 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317282669552 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23100] ppid=23085 vsize=28231652 memory=280269164855696 CPUtime=0 cores=0-7
/proc/23087/task/23100/stat : 23100 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793248 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317281618128 140318635358107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23101] ppid=23085 vsize=28231652 memory=280269164796976 CPUtime=0.01 cores=0-7
/proc/23087/task/23101/stat : 23101 (java) S 23085 23085 19457 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 511793248 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317280565744 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23102] ppid=23085 vsize=28231652 memory=280269164869520 CPUtime=0.03 cores=0-7
/proc/23087/task/23102/stat : 23102 (java) S 23085 23085 19457 0 -1 1077944384 141 0 0 0 3 0 0 0 20 0 20 0 511793248 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317279513200 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23103] ppid=23085 vsize=28231652 memory=280269164876432 CPUtime=0.03 cores=0-7
/proc/23087/task/23103/stat : 23103 (java) S 23085 23085 19457 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 20 0 511793248 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317278460656 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23104] ppid=23085 vsize=28231652 memory=280269164874128 CPUtime=0.12 cores=0-7
/proc/23087/task/23104/stat : 23104 (java) S 23085 23085 19457 0 -1 1077944384 772 0 0 0 12 0 0 0 20 0 20 0 511793248 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317277408112 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23105] ppid=23085 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23105/stat : 23105 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511793249 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317276354784 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23106] ppid=23085 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/23087/task/23106/stat : 23106 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793249 28909211648 12529 33554432000 4194304 4196468 140721226484368 140317275302320 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51448 KiB

[startup+0.700966 s]
/proc/loadavg: 3.14 1.72 3.28 6/212 23106
/proc/meminfo: memFree=25751576/32770624 swapFree=66999816/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23085/stat : 23085 (xcsp3-exec) S 23082 23085 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511793242 115843072 364 33554432000 4194304 5098028 140732832499760 140732832497864 139945097056892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19140608 140732832506741 140732832506985 140732832506985 140732832509898 0
/proc/23085/statm: 28282 364 305 221 0 87 0
[pid=23087] ppid=23085 vsize=28233776 memory=121644 CPUtime=1.99 cores=0-7
/proc/23087/stat : 23087 (java) S 23085 23085 19457 0 -1 1077944320 15440 0 0 0 193 6 0 0 20 0 20 0 511793243 28911386624 30411 33554432000 4194304 4196468 140721226484368 140721226466912 140318635339511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
/proc/23087/statm: 7058444 30411 3451 1 0 7019544 0
[pid=23087/tid=23088] ppid=23085 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/23087/task/23088/stat : 23088 (java) R 23085 23085 19457 0 -1 4202560 8542 0 0 0 64 4 0 0 20 0 20 0 511793243 28911386624 30411 33554432000 4194304 4196468 140721226484368 140318639572288 140318275169953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23089] ppid=23085 vsize=28233776 memory=140134582625136 CPUtime=0 cores=0-7
/proc/23087/task/23089/stat : 23089 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511793244 28911386624 30411 33554432000 4194304 4196468 140721226484368 140318596299024 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23090] ppid=23085 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/23087/task/23090/stat : 23090 (java) S 23085 23085 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511793244 28911386624 30411 33554432000 4194304 4196468 140721226484368 140318185789840 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23091] ppid=23085 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/23087/task/23091/stat : 23091 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511793244 28911386624 30411 33554432000 4194304 4196468 140721226484368 140318184737296 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0

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

[pid=23087/tid=23104] ppid=23085 vsize=28835928 memory=4104 CPUtime=0.85 cores=0-7
/proc/23087/task/23104/stat : 23104 (java) S 23085 23085 19457 0 -1 1077944384 7976 0 0 0 83 2 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317277408112 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23105] ppid=23085 vsize=28835928 memory=1412 CPUtime=0 cores=0-7
/proc/23087/task/23105/stat : 23105 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511793249 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317276354784 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23106] ppid=23085 vsize=28835928 memory=3620 CPUtime=0.09 cores=0-7
/proc/23087/task/23106/stat : 23106 (java) S 23085 23085 19457 0 -1 1077944384 1263 0 0 0 3 6 0 0 20 0 28 0 511793249 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317275302320 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23243] ppid=23085 vsize=28835928 memory=1456 CPUtime=246.6 cores=0-7
/proc/23087/task/23243/stat : 23243 (java) R 23085 23085 19457 0 -1 4202560 4603 0 0 0 24655 5 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317266083104 140318279132087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23244] ppid=23085 vsize=28835928 memory=2189008 CPUtime=246.57 cores=0-7
/proc/23087/task/23244/stat : 23244 (java) R 23085 23085 19457 0 -1 4202560 529 0 0 0 24656 1 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317261873184 140318279130965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23245] ppid=23085 vsize=28835928 memory=1660 CPUtime=246.96 cores=0-7
/proc/23087/task/23245/stat : 23245 (java) R 23085 23085 19457 0 -1 4202560 2614 0 0 0 24693 3 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317262926216 140318279130935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23246] ppid=23085 vsize=28835928 memory=892 CPUtime=244.83 cores=0-7
/proc/23087/task/23246/stat : 23246 (java) R 23085 23085 19457 0 -1 4202560 7992 0 0 0 24453 30 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317205639448 140318272807037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23247] ppid=23085 vsize=28835928 memory=1440 CPUtime=246.72 cores=0-7
/proc/23087/task/23247/stat : 23247 (java) R 23085 23085 19457 0 -1 4202560 1261 0 0 0 24669 3 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317265031504 140318275690199 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23248] ppid=23085 vsize=28835928 memory=1760 CPUtime=245.64 cores=0-7
/proc/23087/task/23248/stat : 23248 (java) R 23085 23085 19457 0 -1 4202560 2221 0 0 0 24562 2 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317260821640 140318279768730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23249] ppid=23085 vsize=28835928 memory=111632 CPUtime=245.29 cores=0-7
/proc/23087/task/23249/stat : 23249 (java) R 23085 23085 19457 0 -1 4202560 583 0 0 0 24529 0 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317263978240 140318279130775 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23250] ppid=23085 vsize=28835928 memory=800 CPUtime=246.71 cores=0-7
/proc/23087/task/23250/stat : 23250 (java) R 23085 23085 19457 0 -1 4202560 2315 0 0 0 24657 14 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317206694560 140318279132072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
Current children cumulated CPU time: 1989.49 s
Current children cumulated vsize: 28949056 KiB
Current children cumulated memory: 2192492 KiB

[startup+250.801 s]
/proc/loadavg: 8.02 5.34 4.42 9/221 23288
/proc/meminfo: memFree=23637312/32770624 swapFree=66999816/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23085/stat : 23085 (xcsp3-exec) S 23082 23085 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511793242 115843072 364 33554432000 4194304 5098028 140732832499760 140732832497864 139945097056892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19140608 140732832506741 140732832506985 140732832506985 140732832509898 0
/proc/23085/statm: 28282 364 305 221 0 87 0
[pid=23087] ppid=23085 vsize=28835928 memory=2191036 CPUtime=1992.68 cores=0-7
/proc/23087/stat : 23087 (java) S 23085 23085 19457 0 -1 1077944320 91759 0 0 0 199149 119 0 0 20 0 28 0 511793243 29527990272 547759 33554432000 4194304 4196468 140721226484368 140721226466912 140318635339511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
/proc/23087/statm: 7208982 547759 3529 1 0 7170082 0
[pid=23087/tid=23088] ppid=23085 vsize=28835928 memory=6096 CPUtime=1.52 cores=0-7
/proc/23087/task/23088/stat : 23088 (java) S 23085 23085 19457 0 -1 1077944384 8847 0 0 0 145 7 0 0 20 0 28 0 511793243 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318639580288 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23089] ppid=23085 vsize=28835928 memory=1544 CPUtime=0.13 cores=0-7
/proc/23087/task/23089/stat : 23089 (java) S 23085 23085 19457 0 -1 1077944384 759 0 0 0 10 3 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318596299024 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23090] ppid=23085 vsize=28835928 memory=776 CPUtime=0.13 cores=0-7
/proc/23087/task/23090/stat : 23090 (java) S 23085 23085 19457 0 -1 1077944384 889 0 0 0 9 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318185789840 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23091] ppid=23085 vsize=28835928 memory=1056 CPUtime=0.12 cores=0-7
/proc/23087/task/23091/stat : 23091 (java) S 23085 23085 19457 0 -1 1077944384 642 0 0 0 9 3 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318184737296 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23092] ppid=23085 vsize=28835928 memory=2189008 CPUtime=0.13 cores=0-7
/proc/23087/task/23092/stat : 23092 (java) S 23085 23085 19457 0 -1 1077944384 743 0 0 0 9 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318183684752 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23093] ppid=23085 vsize=28835928 memory=4872558044660077418 CPUtime=0.14 cores=0-7
/proc/23087/task/23093/stat : 23093 (java) S 23085 23085 19457 0 -1 1077944384 1028 0 0 0 10 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318182632208 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23094] ppid=23085 vsize=28835928 memory=496 CPUtime=0.12 cores=0-7
/proc/23087/task/23094/stat : 23094 (java) S 23085 23085 19457 0 -1 1077944384 389 0 0 0 8 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318181579664 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23095] ppid=23085 vsize=28835928 memory=1560 CPUtime=0.15 cores=0-7
/proc/23087/task/23095/stat : 23095 (java) S 23085 23085 19457 0 -1 1077944384 407 0 0 0 11 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318180527120 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23096] ppid=23085 vsize=28835928 memory=932 CPUtime=0.13 cores=0-7
/proc/23087/task/23096/stat : 23096 (java) S 23085 23085 19457 0 -1 1077944384 1809 0 0 0 9 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318179474576 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23097] ppid=23085 vsize=28835928 memory=1980 CPUtime=0.04 cores=0-7
/proc/23087/task/23097/stat : 23097 (java) S 23085 23085 19457 0 -1 1077944384 3819 0 0 0 3 1 0 0 20 0 28 0 511793245 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317284775920 140318635350658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23098] ppid=23085 vsize=28835928 memory=2428 CPUtime=0 cores=0-7
/proc/23087/task/23098/stat : 23098 (java) S 23085 23085 19457 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511793246 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317283722208 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23099] ppid=23085 vsize=28835928 memory=1580 CPUtime=0 cores=0-7
/proc/23087/task/23099/stat : 23099 (java) S 23085 23085 19457 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 511793246 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317282669568 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23100] ppid=23085 vsize=28835928 memory=1432 CPUtime=0 cores=0-7
/proc/23087/task/23100/stat : 23100 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317281618128 140318635358107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23101] ppid=23085 vsize=28835928 memory=9396 CPUtime=2.56 cores=0-7
/proc/23087/task/23101/stat : 23101 (java) S 23085 23085 19457 0 -1 1077944384 11997 0 0 0 255 1 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317280565744 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23102] ppid=23085 vsize=28835928 memory=656 CPUtime=2.47 cores=0-7
/proc/23087/task/23102/stat : 23102 (java) S 23085 23085 19457 0 -1 1077944384 10052 0 0 0 245 2 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317279513200 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23103] ppid=23085 vsize=28835928 memory=3612 CPUtime=2.63 cores=0-7
/proc/23087/task/23103/stat : 23103 (java) S 23085 23085 19457 0 -1 1077944384 15028 0 0 0 260 3 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317278460656 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23104] ppid=23085 vsize=28835928 memory=6791534058613427641 CPUtime=0.85 cores=0-7
/proc/23087/task/23104/stat : 23104 (java) S 23085 23085 19457 0 -1 1077944384 7976 0 0 0 83 2 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317277408112 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23105] ppid=23085 vsize=28835928 memory=4820 CPUtime=0 cores=0-7
/proc/23087/task/23105/stat : 23105 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511793249 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317276354784 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23106] ppid=23085 vsize=28835928 memory=4104 CPUtime=0.09 cores=0-7
/proc/23087/task/23106/stat : 23106 (java) R 23085 23085 19457 0 -1 1077944384 1263 0 0 0 3 6 0 0 20 0 28 0 511793249 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317275302320 140318635350658 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23243] ppid=23085 vsize=28835928 memory=1412 CPUtime=247 cores=0-7
/proc/23087/task/23243/stat : 23243 (java) R 23085 23085 19457 0 -1 4202560 4605 0 0 0 24695 5 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317266083104 140318279018379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23244] ppid=23085 vsize=28835928 memory=3620 CPUtime=246.97 cores=0-7
/proc/23087/task/23244/stat : 23244 (java) R 23085 23085 19457 0 -1 4202560 529 0 0 0 24696 1 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317261873320 140318279059349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23245] ppid=23085 vsize=28835928 memory=1456 CPUtime=247.36 cores=0-7
/proc/23087/task/23245/stat : 23245 (java) R 23085 23085 19457 0 -1 4202560 2614 0 0 0 24733 3 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317262926216 140318279130823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23246] ppid=23085 vsize=28835928 memory=1456 CPUtime=245.23 cores=0-7
/proc/23087/task/23246/stat : 23246 (java) R 23085 23085 19457 0 -1 4202560 8000 0 0 0 24493 30 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317205639448 140318278902321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23247] ppid=23085 vsize=28835928 memory=2189008 CPUtime=247.12 cores=0-7
/proc/23087/task/23247/stat : 23247 (java) R 23085 23085 19457 0 -1 4202560 1263 0 0 0 24709 3 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317265031504 140318279130726 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23248] ppid=23085 vsize=28835928 memory=1398722017469774279 CPUtime=246.04 cores=0-7
/proc/23087/task/23248/stat : 23248 (java) R 23085 23085 19457 0 -1 4202560 2221 0 0 0 24602 2 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317260821640 140318272807411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23249] ppid=23085 vsize=28835928 memory=496 CPUtime=245.69 cores=0-7
/proc/23087/task/23249/stat : 23249 (java) R 23085 23085 19457 0 -1 4202560 583 0 0 0 24569 0 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317263978376 140318279130765 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23250] ppid=23085 vsize=28835928 memory=1560 CPUtime=247.11 cores=0-7
/proc/23087/task/23250/stat : 23250 (java) R 23085 23085 19457 0 -1 4202560 2324 0 0 0 24697 14 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317206694448 140318275690617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
Current children cumulated CPU time: 1992.68 s
Current children cumulated vsize: 28949056 KiB
Current children cumulated memory: 2192492 KiB

[startup+251.201 s]
/proc/loadavg: 8.02 5.34 4.42 9/221 23288
/proc/meminfo: memFree=23635244/32770624 swapFree=66999816/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23085/stat : 23085 (xcsp3-exec) S 23082 23085 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511793242 115843072 364 33554432000 4194304 5098028 140732832499760 140732832497864 139945097056892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19140608 140732832506741 140732832506985 140732832506985 140732832509898 0
/proc/23085/statm: 28282 364 305 221 0 87 0
[pid=23087] ppid=23085 vsize=28835928 memory=2191036 CPUtime=1995.87 cores=0-7
/proc/23087/stat : 23087 (java) S 23085 23085 19457 0 -1 1077944320 91787 0 0 0 199468 119 0 0 20 0 28 0 511793243 29527990272 547759 33554432000 4194304 4196468 140721226484368 140721226466912 140318635339511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
/proc/23087/statm: 7208982 547759 3529 1 0 7170082 0
[pid=23087/tid=23088] ppid=23085 vsize=28835928 memory=1432 CPUtime=1.52 cores=0-7
/proc/23087/task/23088/stat : 23088 (java) S 23085 23085 19457 0 -1 1077944384 8847 0 0 0 145 7 0 0 20 0 28 0 511793243 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318639580288 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23089] ppid=23085 vsize=28835928 memory=9396 CPUtime=0.13 cores=0-7
/proc/23087/task/23089/stat : 23089 (java) S 23085 23085 19457 0 -1 1077944384 759 0 0 0 10 3 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318596299024 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23090] ppid=23085 vsize=28835928 memory=9396 CPUtime=0.13 cores=0-7
/proc/23087/task/23090/stat : 23090 (java) S 23085 23085 19457 0 -1 1077944384 889 0 0 0 9 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318185789840 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23091] ppid=23085 vsize=28835928 memory=656 CPUtime=0.12 cores=0-7
/proc/23087/task/23091/stat : 23091 (java) S 23085 23085 19457 0 -1 1077944384 642 0 0 0 9 3 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318184737296 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23092] ppid=23085 vsize=28835928 memory=3612 CPUtime=0.13 cores=0-7
/proc/23087/task/23092/stat : 23092 (java) S 23085 23085 19457 0 -1 1077944384 743 0 0 0 9 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318183684752 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23093] ppid=23085 vsize=28835928 memory=2832 CPUtime=0.14 cores=0-7
/proc/23087/task/23093/stat : 23093 (java) S 23085 23085 19457 0 -1 1077944384 1028 0 0 0 10 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318182632208 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23094] ppid=23085 vsize=28835928 memory=1712 CPUtime=0.12 cores=0-7
/proc/23087/task/23094/stat : 23094 (java) S 23085 23085 19457 0 -1 1077944384 389 0 0 0 8 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318181579664 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23095] ppid=23085 vsize=28835928 memory=6791534058613427641 CPUtime=0.15 cores=0-7
/proc/23087/task/23095/stat : 23095 (java) S 23085 23085 19457 0 -1 1077944384 407 0 0 0 11 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318180527120 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23096] ppid=23085 vsize=28835928 memory=4104 CPUtime=0.13 cores=0-7
/proc/23087/task/23096/stat : 23096 (java) S 23085 23085 19457 0 -1 1077944384 1809 0 0 0 9 4 0 0 20 0 28 0 511793244 29527990272 547759 33554432000 4194304 4196468 140721226484368 140318179474576 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23097] ppid=23085 vsize=28835928 memory=1412 CPUtime=0.04 cores=0-7
/proc/23087/task/23097/stat : 23097 (java) S 23085 23085 19457 0 -1 1077944384 3819 0 0 0 3 1 0 0 20 0 28 0 511793245 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317284775920 140318635350658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23098] ppid=23085 vsize=28835928 memory=3620 CPUtime=0 cores=0-7
/proc/23087/task/23098/stat : 23098 (java) S 23085 23085 19457 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511793246 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317283722208 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23099] ppid=23085 vsize=28835928 memory=1456 CPUtime=0 cores=0-7
/proc/23087/task/23099/stat : 23099 (java) S 23085 23085 19457 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 511793246 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317282669568 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23100] ppid=23085 vsize=28835928 memory=33 CPUtime=0 cores=0-7
/proc/23087/task/23100/stat : 23100 (java) S 23085 23085 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317281618128 140318635358107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23101] ppid=23085 vsize=28835928 memory=6791534058613427641 CPUtime=2.56 cores=0-7
/proc/23087/task/23101/stat : 23101 (java) S 23085 23085 19457 0 -1 1077944384 11997 0 0 0 255 1 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317280565744 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23102] ppid=23085 vsize=28835928 memory=1440 CPUtime=2.47 cores=0-7
/proc/23087/task/23102/stat : 23102 (java) S 23085 23085 19457 0 -1 1077944384 10052 0 0 0 245 2 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317279513200 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23103] ppid=23085 vsize=28835928 memory=63448 CPUtime=2.63 cores=0-7
/proc/23087/task/23103/stat : 23103 (java) S 23085 23085 19457 0 -1 1077944384 15028 0 0 0 260 3 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317278460656 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23104] ppid=23085 vsize=28835928 memory=988 CPUtime=0.85 cores=0-7
/proc/23087/task/23104/stat : 23104 (java) S 23085 23085 19457 0 -1 1077944384 7976 0 0 0 83 2 0 0 20 0 28 0 511793248 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317277408112 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23105] ppid=23085 vsize=28835928 memory=2020 CPUtime=0 cores=0-7
/proc/23087/task/23105/stat : 23105 (java) S 23085 23085 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511793249 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317276354784 140318635349717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23106] ppid=23085 vsize=28835928 memory=1432 CPUtime=0.09 cores=0-7
/proc/23087/task/23106/stat : 23106 (java) S 23085 23085 19457 0 -1 1077944384 1263 0 0 0 3 6 0 0 20 0 28 0 511793249 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317275302320 140318635350658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23243] ppid=23085 vsize=28835928 memory=9396 CPUtime=247.4 cores=0-7
/proc/23087/task/23243/stat : 23243 (java) R 23085 23085 19457 0 -1 4202560 4605 0 0 0 24735 5 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317266083104 140318280493157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23244] ppid=23085 vsize=28835928 memory=6791534058613427641 CPUtime=247.37 cores=0-7
/proc/23087/task/23244/stat : 23244 (java) R 23085 23085 19457 0 -1 4202560 529 0 0 0 24736 1 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317261873320 140318279130651 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23245] ppid=23085 vsize=28835928 memory=1808 CPUtime=247.76 cores=0-7
/proc/23087/task/23245/stat : 23245 (java) R 23085 23085 19457 0 -1 4202560 2616 0 0 0 24773 3 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317262926216 140318279130842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23246] ppid=23085 vsize=28835928 memory=924 CPUtime=245.62 cores=0-7
/proc/23087/task/23246/stat : 23246 (java) R 23085 23085 19457 0 -1 4202560 8008 0 0 0 24532 30 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317205639448 140318279130657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23247] ppid=23085 vsize=28835928 memory=4820 CPUtime=247.52 cores=0-7
/proc/23087/task/23247/stat : 23247 (java) R 23085 23085 19457 0 -1 4202560 1264 0 0 0 24749 3 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317265031504 140318279562084 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23248] ppid=23085 vsize=28835928 memory=4104 CPUtime=246.44 cores=0-7
/proc/23087/task/23248/stat : 23248 (java) R 23085 23085 19457 0 -1 4202560 2224 0 0 0 24642 2 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317260821640 140318275690121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23249] ppid=23085 vsize=28835928 memory=1412 CPUtime=246.09 cores=0-7
/proc/23087/task/23249/stat : 23249 (java) R 23085 23085 19457 0 -1 4202560 583 0 0 0 24609 0 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317263978376 140318279130651 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
[pid=23087/tid=23250] ppid=23085 vsize=28835928 memory=3632 CPUtime=247.51 cores=0-7
/proc/23087/task/23250/stat : 23250 (java) R 23085 23085 19457 0 -1 4202560 2338 0 0 0 24737 14 0 0 20 0 28 0 511793556 29527990272 547759 33554432000 4194304 4196468 140721226484368 140317206694448 140318279767545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140721226490858 140721226491030 140721226491030 140721226493903 0
Current children cumulated CPU time: 1995.87 s
Current children cumulated vsize: 28949056 KiB
Current children cumulated memory: 2192492 KiB

Child status: 0
Real time (s): 251.268
CPU time (s): 1996.24
CPU user time (s): 1995.02
CPU system time (s): 1.22087
CPU usage (%): 794.466
Max. virtual memory (cumulated for all children) (KiB): 28949056
Max. memory (cumulated for all children) (KiB): 2192492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1995.02
system time used= 1.22087
maximum resident set size= 2191104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11454
involuntary context switches= 23142


# summary of solver processes directly reported to runsolver:
#   pid: 23085
#   total CPU time (s): 1996.24
#   total CPU user time (s): 1995.02
#   total CPU system time (s): 1.22087

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33548 second user time and 2.84946 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.9938
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 4407106

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
