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	OPT	394	64.7569	17.5249
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 (14618 MiB free)
  memory of node 1: 16384 MiB (4114 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400447-1568697609/watcher-4400447-1568697609 -o /tmp/evaluation-result-4400447-1568697609/solver-4400447-1568697609 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568694971-20216 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1974294944 HOME/instance-4400447-1568697609.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22047, runsolver pid=22044
Current StackSize limit: 8192 KiB


[startup+0.107416 s]*
/proc/loadavg: 8.71 8.31 7.91 6/228 22063
/proc/meminfo: memFree=19168204/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0
[pid=22049] ppid=22047 vsize=15144776 memory=27444 CPUtime=0.12 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22047 20185 0 -1 1077944320 5882 0 0 0 11 1 0 0 20 0 15 0 446029669 15508250624 6861 33554432000 4194304 4196468 140726546382528 140726546365072 139780882956023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
/proc/22049/statm: 3786194 6861 3116 1 0 3748377 0
[pid=22049/tid=22050] ppid=22047 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/22049/task/22050/stat : 22050 (java) R 22047 22047 20185 0 -1 4202560 3768 0 0 0 8 1 0 0 20 0 15 0 446029669 15508250624 6861 33554432000 4194304 4196468 140726546382528 139780887190560 139780882967958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22051] ppid=22047 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 6861 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15144776 memory=139633089349248 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 6861 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 6861 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 6861 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15144776 memory=139633089349248 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446029671 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446029672 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779755242656 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446029672 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779754189552 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029674 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22047 20185 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 446029674 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779752086256 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 446029674 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15144776 memory=139633089349248 CPUtime=0.02 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) R 22047 22047 20185 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 15 0 446029674 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779749980656 139780876052859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029675 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15144776 memory=139633089349248 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029676 15508250624 6861 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28892 KiB

[startup+0.210741 s]*
/proc/loadavg: 8.41 8.25 7.89 6/228 22063
/proc/meminfo: memFree=19155712/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0
[pid=22049] ppid=22047 vsize=15144776 memory=39304 CPUtime=0.32 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22047 20185 0 -1 1077944320 9532 0 0 0 29 3 0 0 20 0 15 0 446029669 15508250624 9826 33554432000 4194304 4196468 140726546382528 140726546365072 139780882956023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
/proc/22049/statm: 3786194 9826 3317 1 0 3748377 0
[pid=22049/tid=22050] ppid=22047 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/22049/task/22050/stat : 22050 (java) R 22047 22047 20185 0 -1 4202560 6662 0 0 0 17 2 0 0 20 0 15 0 446029669 15508250624 9826 33554432000 4194304 4196468 140726546382528 139780887189856 139780875634037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22051] ppid=22047 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 9826 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15144776 memory=139633092633119 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 9826 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 9826 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446029670 15508250624 9826 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15144776 memory=139633089349248 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446029671 15508250624 9826 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446029672 15508250624 9826 33554432000 4194304 4196468 140726546382528 139779755242656 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446029672 15508250624 9826 33554432000 4194304 4196468 140726546382528 139779754189552 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029674 15508250624 9826 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22047 20185 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 446029674 15508250624 9826 33554432000 4194304 4196468 140726546382528 139779752086256 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 15 0 446029674 15508250624 9826 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15144776 memory=139633089349248 CPUtime=0.07 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22047 20185 0 -1 1077944384 904 0 0 0 7 0 0 0 20 0 15 0 446029674 15508250624 9826 33554432000 4194304 4196468 140726546382528 139779749980656 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029675 15508250624 9839 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029676 15508250624 9839 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40752 KiB

[startup+0.312419 s]*
/proc/loadavg: 8.41 8.25 7.89 7/228 22063
/proc/meminfo: memFree=19150440/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0
[pid=22049] ppid=22047 vsize=15149032 memory=46196 CPUtime=0.51 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22047 20185 0 -1 1077944320 10950 0 0 0 47 4 0 0 20 0 15 0 446029669 15512608768 11549 33554432000 4194304 4196468 140726546382528 140726546365072 139780882956023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
/proc/22049/statm: 3787258 11549 3345 1 0 3748377 0
[pid=22049/tid=22050] ppid=22047 vsize=15149032 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/22049/task/22050/stat : 22050 (java) R 22047 22047 20185 0 -1 4202560 7732 0 0 0 26 2 0 0 20 0 15 0 446029669 15512608768 11549 33554432000 4194304 4196468 140726546382528 139780887188656 139780866999653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22051] ppid=22047 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15512608768 11549 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15512608768 11549 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15512608768 11549 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446029670 15512608768 11549 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446029671 15512608768 11549 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446029672 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779755242656 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446029672 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779754189552 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029674 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22047 20185 0 -1 1077944384 385 0 0 0 3 0 0 0 20 0 15 0 446029674 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779752086256 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 372 0 0 0 4 0 0 0 20 0 15 0 446029674 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) R 22047 22047 20185 0 -1 4202560 1160 0 0 0 12 0 0 0 20 0 15 0 446029674 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779749980656 139780867295384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029675 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029676 15512608768 11614 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47644 KiB

[startup+0.701099 s]
/proc/loadavg: 8.41 8.25 7.89 9/228 22063
/proc/meminfo: memFree=19128496/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0
[pid=22049] ppid=22047 vsize=15151156 memory=96980 CPUtime=1.69 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22047 20185 0 -1 1077944320 14877 0 0 0 164 5 0 0 20 0 15 0 446029669 15514783744 24245 33554432000 4194304 4196468 140726546382528 140726546365072 139780882956023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
/proc/22049/statm: 3787789 24245 3449 1 0 3748889 0
[pid=22049/tid=22050] ppid=22047 vsize=15151156 memory=47400 CPUtime=0.66 cores=0,2,4,6
/proc/22049/task/22050/stat : 22050 (java) R 22047 22047 20185 0 -1 4202560 8599 0 0 0 62 4 0 0 20 0 15 0 446029669 15514783744 24245 33554432000 4194304 4196468 140726546382528 139780887183008 139780882977370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22051] ppid=22047 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15514783744 24245 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15514783744 24245 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15151156 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029670 15514783744 24245 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15151156 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446029670 15514783744 24245 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446029671 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446029672 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779755242656 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446029672 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779754189552 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029674 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15151156 memory=1060 CPUtime=0.33 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) R 22047 22047 20185 0 -1 4202560 1368 0 0 0 33 0 0 0 20 0 15 0 446029674 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779752086256 139780867342335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15151156 memory=1484 CPUtime=0.33 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 1341 0 0 0 33 0 0 0 20 0 15 0 446029674 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15151156 memory=1096 CPUtime=0.35 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22047 20185 0 -1 1077944384 2263 0 0 0 35 0 0 0 20 0 15 0 446029674 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779749980656 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15151156 memory=1176 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446029675 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15151156 memory=6072 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446029676 15514783744 24245 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98428 KiB

[startup+1.50141 s]
/proc/loadavg: 8.41 8.25 7.89 8/228 22063
/proc/meminfo: memFree=19044808/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0

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

/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 337 0 0 0 9 3 0 0 20 0 19 0 446029670 15789527040 124585 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15419460 memory=1448 CPUtime=0.14 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 615 0 0 0 10 4 0 0 20 0 19 0 446029670 15789527040 124585 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15419460 memory=498340 CPUtime=0.13 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 321 0 0 0 9 4 0 0 20 0 19 0 446029670 15789527040 124585 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15419460 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 291 0 0 0 11 4 0 0 20 0 19 0 446029670 15789527040 124585 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15419460 memory=498340 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 19 0 446029671 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15419460 memory=988 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446029672 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779755242720 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15419460 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446029672 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779754189568 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15419460 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029674 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15419460 memory=10728 CPUtime=3.96 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22047 20185 0 -1 1077944384 11310 0 0 0 395 1 0 0 20 0 19 0 446029674 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779752086256 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15419460 memory=6791534058613427641 CPUtime=4.15 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 9519 0 0 0 414 1 0 0 20 0 19 0 446029674 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15419460 memory=288230596050944315 CPUtime=0.89 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22047 20185 0 -1 1077944384 6457 0 0 0 87 2 0 0 20 0 19 0 446029674 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779749980656 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15419460 memory=15823283127847325 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029675 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15419460 memory=498316 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 719 0 0 0 0 0 0 0 20 0 19 0 446029676 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22068] ppid=22047 vsize=15419460 memory=6299802978650451056 CPUtime=10.53 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) R 22047 22047 20185 0 -1 4202560 320 0 0 0 1053 0 0 0 20 0 19 0 446030240 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779738893656 139780528102513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22069] ppid=22047 vsize=15419460 memory=3620 CPUtime=10.49 cores=0,2,4,6
/proc/22049/task/22069/stat : 22069 (java) R 22047 22047 20185 0 -1 4202560 1060 0 0 0 1049 0 0 0 20 0 19 0 446030240 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779736789448 139780528150846 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22070] ppid=22047 vsize=15419460 memory=1096 CPUtime=10.72 cores=0,2,4,6
/proc/22049/task/22070/stat : 22070 (java) R 22047 22047 20185 0 -1 4202560 600 0 0 0 1072 0 0 0 20 0 19 0 446030240 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779735736712 139780527253592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22071] ppid=22047 vsize=15419460 memory=1176 CPUtime=10.79 cores=0,2,4,6
/proc/22049/task/22071/stat : 22071 (java) R 22047 22047 20185 0 -1 4202560 1363 0 0 0 1079 0 0 0 20 0 19 0 446030240 15789527040 124585 33554432000 4194304 4196468 140726546382528 139779737843688 139780529043812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 62.01 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 499788 KiB

[startup+17.2014 s]
/proc/loadavg: 8.60 8.31 7.92 10/232 22075
/proc/meminfo: memFree=18697328/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0
[pid=22049] ppid=22047 vsize=15486024 memory=498160 CPUtime=63.53 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22047 20185 0 -1 1077944320 51210 0 0 0 6321 32 0 0 20 0 19 0 446029669 15857688576 124540 33554432000 4194304 4196468 140726546382528 140726546365072 139780882956023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
/proc/22049/statm: 3871506 124540 3538 1 0 3832606 0
[pid=22049/tid=22050] ppid=22047 vsize=15486024 memory=0 CPUtime=2.54 cores=0,2,4,6
/proc/22049/task/22050/stat : 22050 (java) S 22047 22047 20185 0 -1 1077944384 12371 0 0 0 247 7 0 0 20 0 19 0 446029669 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780887196800 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22051] ppid=22047 vsize=15486024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 337 0 0 0 9 3 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15486024 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 615 0 0 0 10 4 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15486024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 321 0 0 0 9 4 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15486024 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 291 0 0 0 11 4 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 19 0 446029671 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446029672 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779755242720 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446029672 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779754189568 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15486024 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15486024 memory=1448 CPUtime=4.05 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) R 22047 22047 20185 0 -1 4202560 12197 0 0 0 404 1 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779752072800 139780867877805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15486024 memory=498340 CPUtime=4.25 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 11171 0 0 0 424 1 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15486024 memory=6791534058613427641 CPUtime=0.9 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22047 20185 0 -1 1077944384 6723 0 0 0 88 2 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779749980656 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15486024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029675 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15486024 memory=498340 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 719 0 0 0 0 0 0 0 20 0 19 0 446029676 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 63.53 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 499608 KiB

[startup+17.4014 s]
/proc/loadavg: 8.60 8.31 7.92 10/232 22075
/proc/meminfo: memFree=18697328/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0
[pid=22049] ppid=22047 vsize=15486024 memory=498160 CPUtime=64.32 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22047 20185 0 -1 1077944320 51227 0 0 0 6400 32 0 0 20 0 19 0 446029669 15857688576 124540 33554432000 4194304 4196468 140726546382528 140726546365072 139780882956023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
/proc/22049/statm: 3871506 124540 3538 1 0 3832606 0
[pid=22049/tid=22050] ppid=22047 vsize=15486024 memory=0 CPUtime=2.54 cores=0,2,4,6
/proc/22049/task/22050/stat : 22050 (java) S 22047 22047 20185 0 -1 1077944384 12371 0 0 0 247 7 0 0 20 0 19 0 446029669 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780887196800 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22051] ppid=22047 vsize=15486024 memory=33284 CPUtime=0.12 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 337 0 0 0 9 3 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15486024 memory=4206468019014099040 CPUtime=0.14 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 615 0 0 0 10 4 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15486024 memory=-9181546050914066336 CPUtime=0.13 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 321 0 0 0 9 4 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15486024 memory=-9001728533042062950 CPUtime=0.15 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 291 0 0 0 11 4 0 0 20 0 19 0 446029670 15857688576 124540 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15486024 memory=-9062862659931694204 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 19 0 446029671 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15486024 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446029672 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779755242720 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15486024 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446029672 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779754189568 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15486024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15486024 memory=7893295687695687954 CPUtime=4.06 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22047 20185 0 -1 1077944384 12209 0 0 0 405 1 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779752086256 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15486024 memory=-7313218805096079717 CPUtime=4.25 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 11171 0 0 0 424 1 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15486024 memory=-7240599198935759669 CPUtime=0.9 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22047 20185 0 -1 1077944384 6723 0 0 0 88 2 0 0 20 0 19 0 446029674 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779749980656 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15486024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029675 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15486024 memory=7893295687695689018 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 719 0 0 0 0 0 0 0 20 0 19 0 446029676 15857688576 124540 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 64.32 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 499608 KiB

[startup+17.5008 s]
/proc/loadavg: 8.60 8.31 7.92 10/232 22075
/proc/meminfo: memFree=18697328/32770624 swapFree=66922676/67108860
[pid=22047] ppid=22044 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (xcsp3-exec) S 22044 22047 20185 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446029669 115843072 362 33554432000 4194304 5098028 140721804202432 140721804200536 140112785429116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21573632 140721804211066 140721804211309 140721804211309 140721804214218 0
/proc/22047/statm: 28282 362 304 221 0 87 0
[pid=22049] ppid=22047 vsize=15486024 memory=498164 CPUtime=64.7 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22047 20185 0 -1 1077944320 51707 0 0 0 6438 32 0 0 20 0 19 0 446029669 15857688576 124541 33554432000 4194304 4196468 140726546382528 140726546365072 139780882956023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
/proc/22049/statm: 3871506 124541 3538 1 0 3832606 0
[pid=22049/tid=22050] ppid=22047 vsize=15486024 memory=139633089352289 CPUtime=2.55 cores=0,2,4,6
/proc/22049/task/22050/stat : 22050 (java) S 22047 22047 20185 0 -1 1077944384 12378 0 0 0 248 7 0 0 20 0 19 0 446029669 15857688576 124541 33554432000 4194304 4196468 140726546382528 139780887196800 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22051] ppid=22047 vsize=15486024 memory=3620 CPUtime=0.12 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) S 22047 22047 20185 0 -1 1077944384 337 0 0 0 9 3 0 0 20 0 19 0 446029670 15857688576 124541 33554432000 4194304 4196468 140726546382528 139780852669456 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22052] ppid=22047 vsize=15486024 memory=47400 CPUtime=0.14 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22047 20185 0 -1 1077944384 615 0 0 0 10 4 0 0 20 0 19 0 446029670 15857688576 124541 33554432000 4194304 4196468 140726546382528 139780474670224 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22053] ppid=22047 vsize=15486024 memory=1176 CPUtime=0.13 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22047 20185 0 -1 1077944384 321 0 0 0 9 4 0 0 20 0 19 0 446029670 15857688576 124541 33554432000 4194304 4196468 140726546382528 139780473617168 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22054] ppid=22047 vsize=15486024 memory=6072 CPUtime=0.15 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22047 20185 0 -1 1077944384 291 0 0 0 11 4 0 0 20 0 19 0 446029670 15857688576 124541 33554432000 4194304 4196468 140726546382528 139780472564624 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22055] ppid=22047 vsize=15486024 memory=415836 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22047 20185 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 19 0 446029671 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779756296432 139780882967170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22056] ppid=22047 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22047 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446029672 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779755242720 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22057] ppid=22047 vsize=15486024 memory=57 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22047 20185 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446029672 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779754189568 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22058] ppid=22047 vsize=15486024 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029674 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779753138128 139780882974619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22059] ppid=22047 vsize=15486024 memory=6791534058613427641 CPUtime=4.06 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22047 20185 0 -1 1077944384 12209 0 0 0 405 1 0 0 20 0 19 0 446029674 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779752086256 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22060] ppid=22047 vsize=15486024 memory=500 CPUtime=4.26 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22047 20185 0 -1 1077944384 11217 0 0 0 424 2 0 0 20 0 19 0 446029674 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779751033712 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22061] ppid=22047 vsize=15486024 memory=928 CPUtime=0.9 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22047 20185 0 -1 1077944384 6966 0 0 0 88 2 0 0 20 0 19 0 446029674 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779749980656 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22062] ppid=22047 vsize=15486024 memory=1484 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22047 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446029675 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779748928352 139780882966229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
[pid=22049/tid=22063] ppid=22047 vsize=15486024 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22047 20185 0 -1 1077944384 719 0 0 0 0 0 0 0 20 0 19 0 446029676 15857688576 124541 33554432000 4194304 4196468 140726546382528 139779747875376 139780882967170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 29847552 140726546383855 140726546384026 140726546384026 140726546386895 0
Current children cumulated CPU time: 64.7 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 499612 KiB

Child status: 0
Real time (s): 17.5249
CPU time (s): 64.7569
CPU user time (s): 64.4231
CPU system time (s): 0.333734
CPU usage (%): 369.513
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 499788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.4231
system time used= 0.333734
maximum resident set size= 500552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3579
involuntary context switches= 1767


# summary of solver processes directly reported to runsolver:
#   pid: 22047
#   total CPU time (s): 64.7569
#   total CPU user time (s): 64.4231
#   total CPU system time (s): 0.333734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145976 second user time and 0.226759 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.69025
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400447

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
