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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-06-14	SAT	2067.35	521.12
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 (9858 MiB free)
  memory of node 1: 16384 MiB (7482 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393152-1568344084/watcher-4393152-1568344084 -o /tmp/evaluation-result-4393152-1568344084/solver-4393152-1568344084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1958904147 HOME/instance-4393152-1568344084.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=4946, runsolver pid=4943
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 7.88 7.50 4.88 8/233 4962
/proc/meminfo: memFree=17741976/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
[pid=4948] ppid=4946 vsize=15144768 memory=28680 CPUtime=0.13 cores=0,2,4,6
/proc/4948/stat : 4948 (java) S 4946 4946 3331 0 -1 1077944320 5658 0 0 0 12 1 0 0 20 0 15 0 410348572 15508242432 7170 33554432000 4194304 4196468 140737327148320 140737327130864 140538421849847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
/proc/4948/statm: 3786192 7170 3115 1 0 3748377 0
[pid=4948/tid=4949] ppid=4946 vsize=15144768 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/4948/task/4949/stat : 4949 (java) R 4946 4946 3331 0 -1 4202560 3555 0 0 0 8 0 0 0 20 0 15 0 410348572 15508242432 7170 33554432000 4194304 4196468 140737327148320 140538426077872 140538421861782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4950] ppid=4946 vsize=15144768 memory=3472468664880772304 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4950/stat : 4950 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 7170 33554432000 4194304 4196468 140737327148320 140538378402448 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4951] ppid=4946 vsize=15144768 memory=140535985620608 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4951/stat : 4951 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 7170 33554432000 4194304 4196468 140737327148320 140538012686864 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4952] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4952/stat : 4952 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 7170 33554432000 4194304 4196468 140737327148320 140538011634064 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4953] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4953/stat : 4953 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 7170 33554432000 4194304 4196468 140737327148320 140538010581264 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4954] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4954/stat : 4954 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348574 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537363131248 140538421860994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4955] ppid=4946 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4955/stat : 4955 (java) S 4946 4946 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410348574 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537362077216 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4956] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4956/stat : 4956 (java) S 4946 4946 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410348575 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537361024368 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4957] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4957/stat : 4957 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537359972688 140538421868443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4958] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4958/stat : 4958 (java) R 4946 4946 3331 0 -1 4202560 320 0 0 0 0 0 0 0 20 0 15 0 410348577 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537358920048 140538401505072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4959] ppid=4946 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4959/stat : 4959 (java) R 4946 4946 3331 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 410348577 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537357867248 140538421860994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4960] ppid=4946 vsize=15144768 memory=140535985620608 CPUtime=0.02 cores=0,2,4,6
/proc/4948/task/4960/stat : 4960 (java) R 4946 4946 3331 0 -1 4202560 378 0 0 0 2 0 0 0 20 0 15 0 410348577 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537356814448 140538400532288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4961] ppid=4946 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4961/stat : 4961 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537355761888 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4962] ppid=4946 vsize=15144768 memory=140535985620608 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4962/stat : 4962 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348578 15508242432 7170 33554432000 4194304 4196468 140737327148320 140537354710192 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30128 KiB

[startup+0.210834 s]*
/proc/loadavg: 7.88 7.50 4.88 6/233 4962
/proc/meminfo: memFree=17728980/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
[pid=4948] ppid=4946 vsize=15144768 memory=40432 CPUtime=0.34 cores=0,2,4,6
/proc/4948/stat : 4948 (java) S 4946 4946 3331 0 -1 1077944320 9334 0 0 0 32 2 0 0 20 0 15 0 410348572 15508242432 10108 33554432000 4194304 4196468 140737327148320 140737327130864 140538421849847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
/proc/4948/statm: 3786192 10108 3306 1 0 3748377 0
[pid=4948/tid=4949] ppid=4946 vsize=15144768 memory=4500116723389865625 CPUtime=0.2 cores=0,2,4,6
/proc/4948/task/4949/stat : 4949 (java) R 4946 4946 3331 0 -1 4202560 6567 0 0 0 18 2 0 0 20 0 15 0 410348572 15508242432 10108 33554432000 4194304 4196468 140737327148320 140538426081168 140538421861782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4950] ppid=4946 vsize=15144768 memory=3472468664880772304 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4950/stat : 4950 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 10108 33554432000 4194304 4196468 140737327148320 140538378402448 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4951] ppid=4946 vsize=15144768 memory=140535985620608 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4951/stat : 4951 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 10108 33554432000 4194304 4196468 140737327148320 140538012686864 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4952] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4952/stat : 4952 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 10108 33554432000 4194304 4196468 140737327148320 140538011634064 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4953] ppid=4946 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4953/stat : 4953 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15508242432 10108 33554432000 4194304 4196468 140737327148320 140538010581264 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4954] ppid=4946 vsize=15144768 memory=140535985620608 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4954/stat : 4954 (java) S 4946 4946 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410348574 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537363131248 140538421860994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4955] ppid=4946 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4955/stat : 4955 (java) S 4946 4946 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410348574 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537362077216 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4956] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4956/stat : 4956 (java) S 4946 4946 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410348575 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537361024368 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4957] ppid=4946 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4957/stat : 4957 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537359972688 140538421868443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4958] ppid=4946 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4948/task/4958/stat : 4958 (java) S 4946 4946 3331 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 410348577 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537358920048 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4959] ppid=4946 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4948/task/4959/stat : 4959 (java) S 4946 4946 3331 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 15 0 410348577 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537357867248 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4960] ppid=4946 vsize=15144768 memory=140535985620608 CPUtime=0.08 cores=0,2,4,6
/proc/4948/task/4960/stat : 4960 (java) R 4946 4946 3331 0 -1 4202560 829 0 0 0 8 0 0 0 20 0 15 0 410348577 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537356814256 140538400775550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4961] ppid=4946 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4961/stat : 4961 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537355761888 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4962] ppid=4946 vsize=15144768 memory=140535985620608 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4962/stat : 4962 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348578 15508242432 10108 33554432000 4194304 4196468 140737327148320 140537354710192 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41880 KiB

[startup+0.310603 s]*
/proc/loadavg: 7.88 7.50 4.88 8/233 4962
/proc/meminfo: memFree=17723260/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
[pid=4948] ppid=4946 vsize=15149024 memory=49724 CPUtime=0.53 cores=0,2,4,6
/proc/4948/stat : 4948 (java) S 4946 4946 3331 0 -1 1077944320 10801 0 0 0 50 3 0 0 20 0 15 0 410348572 15512600576 12431 33554432000 4194304 4196468 140737327148320 140737327130864 140538421849847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
/proc/4948/statm: 3787256 12431 3356 1 0 3748377 0
[pid=4948/tid=4949] ppid=4946 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/4948/task/4949/stat : 4949 (java) R 4946 4946 3331 0 -1 4202560 7705 0 0 0 27 3 0 0 20 0 15 0 410348572 15512600576 12431 33554432000 4194304 4196468 140737327148320 140538426083152 140538405930334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4950] ppid=4946 vsize=15149024 memory=3472468664880772304 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4950/stat : 4950 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15512600576 12431 33554432000 4194304 4196468 140737327148320 140538378402448 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4951] ppid=4946 vsize=15149024 memory=140535985620608 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4951/stat : 4951 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15512600576 12431 33554432000 4194304 4196468 140737327148320 140538012686864 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4952] ppid=4946 vsize=15149024 memory=3 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4952/stat : 4952 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15512600576 12431 33554432000 4194304 4196468 140737327148320 140538011634064 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4953] ppid=4946 vsize=15149024 memory=140535826360351 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4953/stat : 4953 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15512600576 12431 33554432000 4194304 4196468 140737327148320 140538010581264 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4954] ppid=4946 vsize=15149024 memory=281071652699936 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4954/stat : 4954 (java) S 4946 4946 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410348574 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537363131248 140538421860994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4955] ppid=4946 vsize=15149024 memory=140535826337295 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4955/stat : 4955 (java) S 4946 4946 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410348574 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537362077216 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4956] ppid=4946 vsize=15149024 memory=281071811967072 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4956/stat : 4956 (java) S 4946 4946 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410348575 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537361024368 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4957] ppid=4946 vsize=15149024 memory=140535826341903 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4957/stat : 4957 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537359972688 140538421868443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4958] ppid=4946 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4948/task/4958/stat : 4958 (java) R 4946 4946 3331 0 -1 4202560 620 0 0 0 5 0 0 0 20 0 15 0 410348577 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537358901160 140538401095851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4959] ppid=4946 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/4948/task/4959/stat : 4959 (java) S 4946 4946 3331 0 -1 1077944384 187 0 0 0 4 0 0 0 20 0 15 0 410348577 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537357867248 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4960] ppid=4946 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4948/task/4960/stat : 4960 (java) S 4946 4946 3331 0 -1 1077944384 988 0 0 0 13 0 0 0 20 0 15 0 410348577 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537356814448 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4961] ppid=4946 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4961/stat : 4961 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537355761888 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4962] ppid=4946 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4962/stat : 4962 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348578 15512600576 12431 33554432000 4194304 4196468 140737327148320 140537354710192 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51172 KiB

[startup+0.701423 s]
/proc/loadavg: 7.88 7.50 4.88 9/233 4962
/proc/meminfo: memFree=17709144/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
[pid=4948] ppid=4946 vsize=15151148 memory=90940 CPUtime=1.68 cores=0,2,4,6
/proc/4948/stat : 4948 (java) S 4946 4946 3331 0 -1 1077944320 14394 0 0 0 163 5 0 0 20 0 15 0 410348572 15514775552 22735 33554432000 4194304 4196468 140737327148320 140737327130864 140538421849847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
/proc/4948/statm: 3787787 22735 3453 1 0 3748889 0
[pid=4948/tid=4949] ppid=4946 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/4948/task/4949/stat : 4949 (java) R 4946 4946 3331 0 -1 4202560 9100 0 0 0 64 4 0 0 20 0 15 0 410348572 15514775552 22735 33554432000 4194304 4196468 140737327148320 140538426083584 140538060415681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4950] ppid=4946 vsize=15151148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4950/stat : 4950 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15514775552 22735 33554432000 4194304 4196468 140737327148320 140538378402448 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4951] ppid=4946 vsize=15151148 memory=7238798801035015221 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4951/stat : 4951 (java) S 4946 4946 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410348573 15514775552 22735 33554432000 4194304 4196468 140737327148320 140538012686864 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4952] ppid=4946 vsize=15151148 memory=7012755875661107283 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4952/stat : 4952 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15514775552 22735 33554432000 4194304 4196468 140737327148320 140538011634064 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4953] ppid=4946 vsize=15151148 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4953/stat : 4953 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348573 15514775552 22735 33554432000 4194304 4196468 140737327148320 140538010581264 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4954] ppid=4946 vsize=15151148 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4954/stat : 4954 (java) S 4946 4946 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410348574 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537363131248 140538421860994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4955] ppid=4946 vsize=15151148 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4955/stat : 4955 (java) S 4946 4946 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410348574 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537362077216 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4956] ppid=4946 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4956/stat : 4956 (java) S 4946 4946 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410348575 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537361024368 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4957] ppid=4946 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4957/stat : 4957 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537359972688 140538421868443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4958] ppid=4946 vsize=15151148 memory=5964 CPUtime=0.29 cores=0,2,4,6
/proc/4948/task/4958/stat : 4958 (java) R 4946 4946 3331 0 -1 4202560 1207 0 0 0 29 0 0 0 20 0 15 0 410348577 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537358905928 140538406974865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4959] ppid=4946 vsize=15151148 memory=1060 CPUtime=0.26 cores=0,2,4,6
/proc/4948/task/4959/stat : 4959 (java) R 4946 4946 3331 0 -1 4202560 819 0 0 0 26 0 0 0 20 0 15 0 410348577 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537357858080 140538401697909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4960] ppid=4946 vsize=15151148 memory=2828 CPUtime=0.41 cores=0,2,4,6
/proc/4948/task/4960/stat : 4960 (java) R 4946 4946 3331 0 -1 4202560 1960 0 0 0 41 0 0 0 20 0 15 0 410348577 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537356814448 140538400795556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4961] ppid=4946 vsize=15151148 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4961/stat : 4961 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410348577 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537355761888 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4962] ppid=4946 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4962/stat : 4962 (java) S 4946 4946 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410348578 15514775552 22735 33554432000 4194304 4196468 140737327148320 140537354710192 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 92388 KiB

[startup+1.50142 s]
/proc/loadavg: 7.88 7.50 4.88 12/237 4966
/proc/meminfo: memFree=17633572/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0

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

Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1040856 KiB

[startup+520.001 s]*
/proc/loadavg: 8.67 8.34 6.45 9/237 5177
/proc/meminfo: memFree=17689448/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
[pid=4948] ppid=4946 vsize=15417404 memory=1036844 CPUtime=2063.01 cores=0,2,4,6
/proc/4948/stat : 4948 (java) S 4946 4946 3331 0 -1 1077944320 98863 0 0 0 206186 115 0 0 20 0 19 0 410348572 15787421696 259211 33554432000 4194304 4196468 140737327148320 140737327130864 140538421849847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
/proc/4948/statm: 3854351 259211 3521 1 0 3815453 0
[pid=4948/tid=4949] ppid=4946 vsize=15417404 memory=8112282956445269571 CPUtime=0.79 cores=0,2,4,6
/proc/4948/task/4949/stat : 4949 (java) S 4946 4946 3331 0 -1 1077944384 9174 0 0 0 75 4 0 0 20 0 19 0 410348572 15787421696 259211 33554432000 4194304 4196468 140737327148320 140538426090624 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4950] ppid=4946 vsize=15417404 memory=1436 CPUtime=2.49 cores=0,2,4,6
/proc/4948/task/4950/stat : 4950 (java) S 4946 4946 3331 0 -1 1077944384 3033 0 0 0 231 18 0 0 20 0 19 0 410348573 15787421696 259211 33554432000 4194304 4196468 140737327148320 140538378402448 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4951] ppid=4946 vsize=15417404 memory=1984 CPUtime=2.51 cores=0,2,4,6
/proc/4948/task/4951/stat : 4951 (java) S 4946 4946 3331 0 -1 1077944384 4896 0 0 0 233 18 0 0 20 0 19 0 410348573 15787421696 259211 33554432000 4194304 4196468 140737327148320 140538012686864 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4952] ppid=4946 vsize=15417404 memory=1448 CPUtime=2.51 cores=0,2,4,6
/proc/4948/task/4952/stat : 4952 (java) S 4946 4946 3331 0 -1 1077944384 3533 0 0 0 233 18 0 0 20 0 19 0 410348573 15787421696 259211 33554432000 4194304 4196468 140737327148320 140538011634064 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4953] ppid=4946 vsize=15417404 memory=-7003737579269690708 CPUtime=2.51 cores=0,2,4,6
/proc/4948/task/4953/stat : 4953 (java) S 4946 4946 3331 0 -1 1077944384 4487 0 0 0 233 18 0 0 20 0 19 0 410348573 15787421696 259211 33554432000 4194304 4196468 140737327148320 140538010581264 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4954] ppid=4946 vsize=15417404 memory=4195447490462202311 CPUtime=0.87 cores=0,2,4,6
/proc/4948/task/4954/stat : 4954 (java) S 4946 4946 3331 0 -1 1077944384 14894 0 0 0 67 20 0 0 20 0 19 0 410348574 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537363131248 140538421860994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4955] ppid=4946 vsize=15417404 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4955/stat : 4955 (java) S 4946 4946 3331 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410348574 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537362077280 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4956] ppid=4946 vsize=15417404 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4956/stat : 4956 (java) S 4946 4946 3331 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 410348575 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537361024384 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4957] ppid=4946 vsize=15417404 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4957/stat : 4957 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410348577 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537359972688 140538421868443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4958] ppid=4946 vsize=15417404 memory=1436 CPUtime=1.74 cores=0,2,4,6
/proc/4948/task/4958/stat : 4958 (java) S 4946 4946 3331 0 -1 1077944384 11271 0 0 0 173 1 0 0 20 0 19 0 410348577 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537358920048 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4959] ppid=4946 vsize=15417404 memory=580 CPUtime=1.53 cores=0,2,4,6
/proc/4948/task/4959/stat : 4959 (java) S 4946 4946 3331 0 -1 1077944384 8805 0 0 0 152 1 0 0 20 0 19 0 410348577 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537357867248 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4960] ppid=4946 vsize=15417404 memory=1720 CPUtime=0.65 cores=0,2,4,6
/proc/4948/task/4960/stat : 4960 (java) S 4946 4946 3331 0 -1 1077944384 6874 0 0 0 65 0 0 0 20 0 19 0 410348577 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537356814448 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4961] ppid=4946 vsize=15417404 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4961/stat : 4961 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410348577 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537355761888 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4962] ppid=4946 vsize=15417404 memory=-7003737579269690708 CPUtime=0.16 cores=0,2,4,6
/proc/4948/task/4962/stat : 4962 (java) S 4946 4946 3331 0 -1 1077944384 381 0 0 0 15 1 0 0 20 0 19 0 410348578 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537354710192 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4963] ppid=4946 vsize=15417404 memory=927900 CPUtime=511.8 cores=0,2,4,6
/proc/4948/task/4963/stat : 4963 (java) R 4946 4946 3331 0 -1 4202560 1677 0 0 0 51176 4 0 0 20 0 19 0 410348652 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537345498824 140538063832906 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4964] ppid=4946 vsize=15417404 memory=2828 CPUtime=511.76 cores=0,2,4,6
/proc/4948/task/4964/stat : 4964 (java) R 4946 4946 3331 0 -1 4202560 13422 0 0 0 51166 10 0 0 20 0 19 0 410348653 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537344449568 140538064588777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4965] ppid=4946 vsize=15417404 memory=1216 CPUtime=511.83 cores=0,2,4,6
/proc/4948/task/4965/stat : 4965 (java) R 4946 4946 3331 0 -1 4202560 1681 0 0 0 51180 3 0 0 20 0 19 0 410348653 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537343394032 140538407058881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4966] ppid=4946 vsize=15417404 memory=8112282956445269571 CPUtime=511.78 cores=0,2,4,6
/proc/4948/task/4966/stat : 4966 (java) R 4946 4946 3331 0 -1 4202560 13361 0 0 0 51174 4 0 0 20 0 19 0 410348653 15787421696 259211 33554432000 4194304 4196468 140737327148320 140537342340952 140538063214405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
Current children cumulated CPU time: 2063.01 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1038292 KiB

[startup+520.801 s]
/proc/loadavg: 8.67 8.34 6.45 9/237 5177
/proc/meminfo: memFree=17689448/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
[pid=4948] ppid=4946 vsize=15417404 memory=1034276 CPUtime=2066.15 cores=0,2,4,6
/proc/4948/stat : 4948 (java) S 4946 4946 3331 0 -1 1077944320 98867 0 0 0 206500 115 0 0 20 0 19 0 410348572 15787421696 258569 33554432000 4194304 4196468 140737327148320 140737327130864 140538421849847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
/proc/4948/statm: 3854351 258569 3521 1 0 3815453 0
[pid=4948/tid=4949] ppid=4946 vsize=15417404 memory=1448 CPUtime=0.79 cores=0,2,4,6
/proc/4948/task/4949/stat : 4949 (java) S 4946 4946 3331 0 -1 1077944384 9174 0 0 0 75 4 0 0 20 0 19 0 410348572 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538426090624 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4950] ppid=4946 vsize=15417404 memory=927900 CPUtime=2.49 cores=0,2,4,6
/proc/4948/task/4950/stat : 4950 (java) S 4946 4946 3331 0 -1 1077944384 3035 0 0 0 231 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538378402448 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4951] ppid=4946 vsize=15417404 memory=1448 CPUtime=2.51 cores=0,2,4,6
/proc/4948/task/4951/stat : 4951 (java) S 4946 4946 3331 0 -1 1077944384 4896 0 0 0 233 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538012686864 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4952] ppid=4946 vsize=15417404 memory=8112282956445269571 CPUtime=2.51 cores=0,2,4,6
/proc/4948/task/4952/stat : 4952 (java) S 4946 4946 3331 0 -1 1077944384 3533 0 0 0 233 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538011634064 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4953] ppid=4946 vsize=15417404 memory=1036844 CPUtime=2.52 cores=0,2,4,6
/proc/4948/task/4953/stat : 4953 (java) S 4946 4946 3331 0 -1 1077944384 4487 0 0 0 234 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538010581264 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4954] ppid=4946 vsize=15417404 memory=1448 CPUtime=0.87 cores=0,2,4,6
/proc/4948/task/4954/stat : 4954 (java) S 4946 4946 3331 0 -1 1077944384 14894 0 0 0 67 20 0 0 20 0 19 0 410348574 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537363131248 140538421860994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4955] ppid=4946 vsize=15417404 memory=1175092 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4955/stat : 4955 (java) S 4946 4946 3331 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410348574 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537362077280 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4956] ppid=4946 vsize=15417404 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4956/stat : 4956 (java) S 4946 4946 3331 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 410348575 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537361024384 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4957] ppid=4946 vsize=15417404 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4957/stat : 4957 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537359972688 140538421868443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4958] ppid=4946 vsize=15417404 memory=924 CPUtime=1.74 cores=0,2,4,6
/proc/4948/task/4958/stat : 4958 (java) S 4946 4946 3331 0 -1 1077944384 11271 0 0 0 173 1 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537358920048 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4959] ppid=4946 vsize=15417404 memory=3848 CPUtime=1.53 cores=0,2,4,6
/proc/4948/task/4959/stat : 4959 (java) S 4946 4946 3331 0 -1 1077944384 8805 0 0 0 152 1 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537357867248 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4960] ppid=4946 vsize=15417404 memory=4100 CPUtime=0.65 cores=0,2,4,6
/proc/4948/task/4960/stat : 4960 (java) S 4946 4946 3331 0 -1 1077944384 6874 0 0 0 65 0 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537356814448 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4961] ppid=4946 vsize=15417404 memory=2584 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4961/stat : 4961 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537355761888 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4962] ppid=4946 vsize=15417404 memory=38660 CPUtime=0.16 cores=0,2,4,6
/proc/4948/task/4962/stat : 4962 (java) S 4946 4946 3331 0 -1 1077944384 381 0 0 0 15 1 0 0 20 0 19 0 410348578 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537354710192 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4963] ppid=4946 vsize=15417404 memory=988 CPUtime=512.58 cores=0,2,4,6
/proc/4948/task/4963/stat : 4963 (java) R 4946 4946 3331 0 -1 4202560 1677 0 0 0 51254 4 0 0 20 0 19 0 410348652 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537345498304 140538063650893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4964] ppid=4946 vsize=15417404 memory=2008 CPUtime=512.53 cores=0,2,4,6
/proc/4948/task/4964/stat : 4964 (java) R 4946 4946 3331 0 -1 4202560 13424 0 0 0 51243 10 0 0 20 0 19 0 410348653 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537344449568 140737328806088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4965] ppid=4946 vsize=15417404 memory=1436 CPUtime=512.61 cores=0,2,4,6
/proc/4948/task/4965/stat : 4965 (java) R 4946 4946 3331 0 -1 4202560 1681 0 0 0 51258 3 0 0 20 0 19 0 410348653 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537343393968 140538063651015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4966] ppid=4946 vsize=15417404 memory=580 CPUtime=512.56 cores=0,2,4,6
/proc/4948/task/4966/stat : 4966 (java) R 4946 4946 3331 0 -1 4202560 13361 0 0 0 51252 4 0 0 20 0 19 0 410348653 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537342340952 140538064863605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
Current children cumulated CPU time: 2066.15 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1035724 KiB

[startup+521.001 s]*
/proc/loadavg: 8.67 8.34 6.45 9/238 5179
/proc/meminfo: memFree=17691168/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
[pid=4948] ppid=4946 vsize=15417404 memory=1034276 CPUtime=2066.98 cores=0,2,4,6
/proc/4948/stat : 4948 (java) S 4946 4946 3331 0 -1 1077944320 98867 0 0 0 206583 115 0 0 20 0 19 0 410348572 15787421696 258569 33554432000 4194304 4196468 140737327148320 140737327130864 140538421849847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
/proc/4948/statm: 3854351 258569 3521 1 0 3815453 0
[pid=4948/tid=4949] ppid=4946 vsize=15417404 memory=8112282956445269571 CPUtime=0.79 cores=0,2,4,6
/proc/4948/task/4949/stat : 4949 (java) S 4946 4946 3331 0 -1 1077944384 9174 0 0 0 75 4 0 0 20 0 19 0 410348572 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538426090624 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4950] ppid=4946 vsize=15417404 memory=-7003737579269690708 CPUtime=2.49 cores=0,2,4,6
/proc/4948/task/4950/stat : 4950 (java) S 4946 4946 3331 0 -1 1077944384 3035 0 0 0 231 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538378402448 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4951] ppid=4946 vsize=15417404 memory=14048 CPUtime=2.51 cores=0,2,4,6
/proc/4948/task/4951/stat : 4951 (java) S 4946 4946 3331 0 -1 1077944384 4896 0 0 0 233 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538012686864 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4952] ppid=4946 vsize=15417404 memory=2124 CPUtime=2.51 cores=0,2,4,6
/proc/4948/task/4952/stat : 4952 (java) S 4946 4946 3331 0 -1 1077944384 3533 0 0 0 233 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538011634064 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4953] ppid=4946 vsize=15417404 memory=500 CPUtime=2.52 cores=0,2,4,6
/proc/4948/task/4953/stat : 4953 (java) S 4946 4946 3331 0 -1 1077944384 4487 0 0 0 234 18 0 0 20 0 19 0 410348573 15787421696 258569 33554432000 4194304 4196468 140737327148320 140538010581264 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4954] ppid=4946 vsize=15417404 memory=1556 CPUtime=0.87 cores=0,2,4,6
/proc/4948/task/4954/stat : 4954 (java) S 4946 4946 3331 0 -1 1077944384 14894 0 0 0 67 20 0 0 20 0 19 0 410348574 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537363131248 140538421860994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4955] ppid=4946 vsize=15417404 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4955/stat : 4955 (java) S 4946 4946 3331 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410348574 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537362077280 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4956] ppid=4946 vsize=15417404 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4956/stat : 4956 (java) S 4946 4946 3331 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 410348575 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537361024384 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4957] ppid=4946 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4957/stat : 4957 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537359972688 140538421868443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4958] ppid=4946 vsize=15417404 memory=1564 CPUtime=1.74 cores=0,2,4,6
/proc/4948/task/4958/stat : 4958 (java) S 4946 4946 3331 0 -1 1077944384 11271 0 0 0 173 1 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537358920048 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4959] ppid=4946 vsize=15417404 memory=5964 CPUtime=1.53 cores=0,2,4,6
/proc/4948/task/4959/stat : 4959 (java) S 4946 4946 3331 0 -1 1077944384 8805 0 0 0 152 1 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537357867248 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4960] ppid=4946 vsize=15417404 memory=1060 CPUtime=0.65 cores=0,2,4,6
/proc/4948/task/4960/stat : 4960 (java) S 4946 4946 3331 0 -1 1077944384 6874 0 0 0 65 0 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537356814448 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4961] ppid=4946 vsize=15417404 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/4948/task/4961/stat : 4961 (java) S 4946 4946 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410348577 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537355761888 140538421860053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4962] ppid=4946 vsize=15417404 memory=1216 CPUtime=0.16 cores=0,2,4,6
/proc/4948/task/4962/stat : 4962 (java) S 4946 4946 3331 0 -1 1077944384 381 0 0 0 15 1 0 0 20 0 19 0 410348578 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537354710192 140538421860994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4963] ppid=4946 vsize=15417404 memory=984 CPUtime=512.79 cores=0,2,4,6
/proc/4948/task/4963/stat : 4963 (java) R 4946 4946 3331 0 -1 4202560 1677 0 0 0 51275 4 0 0 20 0 19 0 410348652 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537345498304 140538063936600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4964] ppid=4946 vsize=15417404 memory=20004 CPUtime=512.74 cores=0,2,4,6
/proc/4948/task/4964/stat : 4964 (java) R 4946 4946 3331 0 -1 4202560 13424 0 0 0 51264 10 0 0 20 0 19 0 410348653 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537344449568 140538064044208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4965] ppid=4946 vsize=15417404 memory=-7361183220417257581 CPUtime=512.82 cores=0,2,4,6
/proc/4948/task/4965/stat : 4965 (java) R 4946 4946 3331 0 -1 4202560 1681 0 0 0 51279 3 0 0 20 0 19 0 410348653 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537343394104 140538063936787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
[pid=4948/tid=4966] ppid=4946 vsize=15417404 memory=6082514196445294695 CPUtime=512.76 cores=0,2,4,6
/proc/4948/task/4966/stat : 4966 (java) R 4946 4946 3331 0 -1 4202560 13361 0 0 0 51272 4 0 0 20 0 19 0 410348653 15787421696 258569 33554432000 4194304 4196468 140737327148320 140537342340952 140538064468249 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30900224 140737327154159 140737327154330 140737327154330 140737327157199 0
Current children cumulated CPU time: 2066.98 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1035724 KiB

[startup+521.111 s]
/proc/loadavg: 8.67 8.34 6.45 9/238 5179
/proc/meminfo: memFree=17691168/32770624 swapFree=66959216/67108860
[pid=4946] ppid=4943 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4946/stat : 4946 (xcsp3-exec) S 4943 4946 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410348571 115843072 362 33554432000 4194304 5098028 140733746684400 140733746682504 140629016294012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140733746688890 140733746689133 140733746689133 140733746692042 0
/proc/4946/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

Child status: 0
Real time (s): 521.12
CPU time (s): 2067.35
CPU user time (s): 2066.19
CPU system time (s): 1.16747
CPU usage (%): 396.713
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1041880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2066.19
system time used= 1.16747
maximum resident set size= 1042488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99996
page faults= 0
swaps= 0
block input operations= 0
block output operations= 720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41657
involuntary context switches= 45856


# summary of solver processes directly reported to runsolver:
#   pid: 4946
#   total CPU time (s): 2067.35
#   total CPU user time (s): 2066.19
#   total CPU system time (s): 1.16747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19697 second user time and 6.07819 second system time

The end
Name	PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army12-21ls.xml
MD5SUM	23e4294b931acf98fdd35eb0662a4341
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	470.531
Satisfiable
(Un)Satisfiability was proved
Number of variables	428
Number of constraints	644
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":428}]
Minimum variable degree	3
Maximum variable degree	14
Distribution of variable degrees	[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":296},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":52}]
Minimum constraint arity	2
Maximum constraint arity	144
Distribution of constraint arities	[{"arity":2,"count":222},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":296},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":52},{"arity":144,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":644}]
Optimization problem	NO
Type of objective
Trace number 4393152

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
