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	79.6457	24.7275
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 (14579 MiB free)
  memory of node 1: 16384 MiB (15341 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393001-1568320077/watcher-4393001-1568320077 -o /tmp/evaluation-result-4393001-1568320077/solver-4393001-1568320077 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 655189201 HOME/instance-4393001-1568320077.xml 

running on 4 cores: 1,3,5,7

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=24019, runsolver pid=24016
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 8.85 8.28 8.08 7/232 24035
/proc/meminfo: memFree=30620916/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0
[pid=24021] ppid=24019 vsize=15144768 memory=30340 CPUtime=0.12 cores=1,3,5,7
/proc/24021/stat : 24021 (java) S 24019 24019 14062 0 -1 1077944320 5471 0 0 0 11 1 0 0 20 0 15 0 408262397 15508242432 7585 33554432000 4194304 4196468 140733437120224 140733437102768 140576400572151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
/proc/24021/statm: 3786192 7585 3154 1 0 3748377 0
[pid=24021/tid=24022] ppid=24019 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 14062 0 -1 4202560 3401 0 0 0 8 0 0 0 20 0 15 0 408262398 15508242432 7585 33554432000 4194304 4196468 140733437120224 140576404803872 140576392809278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24023] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 7585 33554432000 4194304 4196468 140733437120224 140576361531920 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24024] ppid=24019 vsize=15144768 memory=3835289606287926944 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575991896720 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24025] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575990843664 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24026] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575989791120 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24027] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408262400 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575869184752 140576400583298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24028] ppid=24019 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408262400 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575868130976 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24029] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408262401 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575867077872 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24030] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575866026448 140576400590747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) R 24019 24019 14062 0 -1 4202560 433 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575864973552 140576384007889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) R 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575863921008 140576400583298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15144768 memory=140043591493248 CPUtime=0.01 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) R 24019 24019 14062 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 15 0 408262403 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575862867952 140576379244754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24035] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 7585 33554432000 4194304 4196468 140733437120224 140575860763696 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31788 KiB

[startup+0.210582 s]*
/proc/loadavg: 8.85 8.28 8.08 7/232 24035
/proc/meminfo: memFree=30607880/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0
[pid=24021] ppid=24019 vsize=15144768 memory=41200 CPUtime=0.34 cores=1,3,5,7
/proc/24021/stat : 24021 (java) S 24019 24019 14062 0 -1 1077944320 9031 0 0 0 31 3 0 0 20 0 15 0 408262397 15508242432 10300 33554432000 4194304 4196468 140733437120224 140733437102768 140576400572151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
/proc/24021/statm: 3786192 10300 3298 1 0 3748377 0
[pid=24021/tid=24022] ppid=24019 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 14062 0 -1 4202560 6212 0 0 0 18 2 0 0 20 0 15 0 408262398 15508242432 10300 33554432000 4194304 4196468 140733437120224 140576404808848 140576400594077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24023] ppid=24019 vsize=15144768 memory=2669798 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 10300 33554432000 4194304 4196468 140733437120224 140576361531920 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24024] ppid=24019 vsize=15144768 memory=140043594338871 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575991896720 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24025] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575990843664 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24026] ppid=24019 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408262398 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575989791120 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24027] ppid=24019 vsize=15144768 memory=140043591493248 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408262400 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575869184752 140576400583298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24028] ppid=24019 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408262400 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575868130976 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24029] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408262401 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575867077872 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24030] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575866026448 140576400590747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 14062 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 408262403 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575864973552 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 14062 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 408262403 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575863921008 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15144768 memory=140043591493248 CPUtime=0.07 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 14062 0 -1 1077944384 709 0 0 0 7 0 0 0 20 0 15 0 408262403 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575862867952 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24035] ppid=24019 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262403 15508242432 10300 33554432000 4194304 4196468 140733437120224 140575860763696 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42648 KiB

[startup+0.310424 s]*
/proc/loadavg: 8.85 8.28 8.08 8/232 24035
/proc/meminfo: memFree=30601368/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0
[pid=24021] ppid=24019 vsize=15149024 memory=49928 CPUtime=0.53 cores=1,3,5,7
/proc/24021/stat : 24021 (java) S 24019 24019 14062 0 -1 1077944320 10364 0 0 0 49 4 0 0 20 0 15 0 408262397 15512600576 12482 33554432000 4194304 4196468 140733437120224 140733437102768 140576400572151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
/proc/24021/statm: 3787256 12482 3361 1 0 3748377 0
[pid=24021/tid=24022] ppid=24019 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 14062 0 -1 4202560 7349 0 0 0 27 2 0 0 20 0 15 0 408262398 15512600576 12482 33554432000 4194304 4196468 140733437120224 140576404805920 140576384652638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24023] ppid=24019 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15512600576 12547 33554432000 4194304 4196468 140733437120224 140576361531920 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24024] ppid=24019 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575991896720 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24025] ppid=24019 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575990843664 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24026] ppid=24019 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408262398 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575989791120 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24027] ppid=24019 vsize=15149024 memory=-7017622366038114463 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408262400 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575869184752 140576400583298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24028] ppid=24019 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408262400 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575868130976 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24029] ppid=24019 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408262401 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575867077872 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24030] ppid=24019 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575866026448 140576400590747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 14062 0 -1 1077944384 561 0 0 0 4 0 0 0 20 0 15 0 408262403 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575864973552 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 14062 0 -1 1077944384 380 0 0 0 4 0 0 0 20 0 15 0 408262403 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575863921008 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 14062 0 -1 1077944384 773 0 0 0 12 0 0 0 20 0 15 0 408262403 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575862867952 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24035] ppid=24019 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262403 15512600576 12547 33554432000 4194304 4196468 140733437120224 140575860763696 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51376 KiB

[startup+0.701371 s]
/proc/loadavg: 8.85 8.28 8.08 9/232 24035
/proc/meminfo: memFree=30590996/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0
[pid=24021] ppid=24019 vsize=15151148 memory=89324 CPUtime=1.64 cores=1,3,5,7
/proc/24021/stat : 24021 (java) S 24019 24019 14062 0 -1 1077944320 13990 0 0 0 158 6 0 0 20 0 15 0 408262397 15514775552 22331 33554432000 4194304 4196468 140733437120224 140733437102768 140576400572151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
/proc/24021/statm: 3787787 22331 3444 1 0 3748889 0
[pid=24021/tid=24022] ppid=24019 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 14062 0 -1 4202560 8592 0 0 0 64 3 0 0 20 0 15 0 408262398 15514775552 22331 33554432000 4194304 4196468 140733437120224 140576404809480 140576036949296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24023] ppid=24019 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15514775552 22331 33554432000 4194304 4196468 140733437120224 140576361531920 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24024] ppid=24019 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575991896720 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24025] ppid=24019 vsize=15151148 memory=772 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408262398 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575990843664 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24026] ppid=24019 vsize=15151148 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408262398 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575989791120 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24027] ppid=24019 vsize=15151148 memory=948 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408262400 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575869184752 140576400583298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24028] ppid=24019 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408262400 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575868130976 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24029] ppid=24019 vsize=15151148 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408262401 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575867077872 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24030] ppid=24019 vsize=15151148 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575866026448 140576400590747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15151148 memory=628 CPUtime=0.27 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) R 24019 24019 14062 0 -1 4202560 1405 0 0 0 27 0 0 0 20 0 15 0 408262403 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575864971952 140576386586472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15151148 memory=1056 CPUtime=0.27 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) R 24019 24019 14062 0 -1 4202560 944 0 0 0 27 0 0 0 20 0 15 0 408262403 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575863907568 140576384055360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15151148 memory=1556 CPUtime=0.39 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 14062 0 -1 1077944384 1741 0 0 0 38 1 0 0 20 0 15 0 408262403 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575862867952 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15151148 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24035] ppid=24019 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408262403 15514775552 22331 33554432000 4194304 4196468 140733437120224 140575860763696 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 90772 KiB

[startup+1.50738 s]
/proc/loadavg: 8.85 8.28 8.08 9/232 24035
/proc/meminfo: memFree=30338132/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0

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

/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575866026448 140576400590747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15417404 memory=7811614964889703013 CPUtime=2.32 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 14062 0 -1 1077944384 9700 0 0 0 231 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575864973552 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15417404 memory=7811614964889703013 CPUtime=2.32 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 14062 0 -1 1077944384 7530 0 0 0 231 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575863921008 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15417404 memory=-8813974798734826976 CPUtime=0.62 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 14062 0 -1 1077944384 3933 0 0 0 61 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575862867952 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15417404 memory=7300447607517570921 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24035] ppid=24019 vsize=15417404 memory=446 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 14062 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575860763696 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24036] ppid=24019 vsize=15417404 memory=448 CPUtime=12.19 cores=1,3,5,7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 14062 0 -1 1077944384 2647 0 0 0 1219 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575851557056 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24037] ppid=24019 vsize=15417404 memory=9 CPUtime=15.24 cores=1,3,5,7
/proc/24021/task/24037/stat : 24037 (java) R 24019 24019 14062 0 -1 4202560 13408 0 0 0 1524 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575850499952 140576044422818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24038] ppid=24019 vsize=15417404 memory=0 CPUtime=12.28 cores=1,3,5,7
/proc/24021/task/24038/stat : 24038 (java) S 24019 24019 14062 0 -1 1077944384 2409 0 0 0 1228 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575849452880 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24039] ppid=24019 vsize=15417404 memory=0 CPUtime=12.46 cores=1,3,5,7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 14062 0 -1 1077944384 3966 0 0 0 1246 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575848399824 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 78.85 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4127144 KiB

[startup+24.4009 s]
/proc/loadavg: 8.62 8.27 8.09 6/236 24039
/proc/meminfo: memFree=26485232/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0
[pid=24021] ppid=24019 vsize=15417404 memory=4125696 CPUtime=79.24 cores=1,3,5,7
/proc/24021/stat : 24021 (java) S 24019 24019 14062 0 -1 1077944320 86564 0 0 0 7519 405 0 0 20 0 19 0 408262397 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140733437102768 140576400572151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
/proc/24021/statm: 3854351 1031424 3520 1 0 3815453 0
[pid=24021/tid=24022] ppid=24019 vsize=15417404 memory=6791534058613427641 CPUtime=3.36 cores=1,3,5,7
/proc/24021/task/24022/stat : 24022 (java) S 24019 24019 14062 0 -1 1077944384 12146 0 0 0 326 10 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140576404812928 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24023] ppid=24019 vsize=15417404 memory=1448 CPUtime=4.46 cores=1,3,5,7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 14062 0 -1 1077944384 5346 0 0 0 346 100 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140576361531920 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24024] ppid=24019 vsize=15417404 memory=4124644 CPUtime=4.43 cores=1,3,5,7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 14062 0 -1 1077944384 5721 0 0 0 351 92 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575991896720 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24025] ppid=24019 vsize=15417404 memory=1448 CPUtime=4.46 cores=1,3,5,7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 14062 0 -1 1077944384 5555 0 0 0 347 99 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575990843664 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24026] ppid=24019 vsize=15417404 memory=6791534058613427641 CPUtime=4.48 cores=1,3,5,7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 14062 0 -1 1077944384 5351 0 0 0 355 93 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575989791120 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24027] ppid=24019 vsize=15417404 memory=9404 CPUtime=0.09 cores=1,3,5,7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 14062 0 -1 1077944384 6953 0 0 0 8 1 0 0 20 0 19 0 408262400 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575869184752 140576400583298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24028] ppid=24019 vsize=15417404 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 14062 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 408262400 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575868131040 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24029] ppid=24019 vsize=15417404 memory=628 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408262401 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575867077888 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24030] ppid=24019 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575866026448 140576400590747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15417404 memory=1556 CPUtime=2.32 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 14062 0 -1 1077944384 9700 0 0 0 231 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575864973552 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15417404 memory=5908 CPUtime=2.32 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 14062 0 -1 1077944384 7530 0 0 0 231 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575863921008 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15417404 memory=14012 CPUtime=0.62 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 14062 0 -1 1077944384 3933 0 0 0 61 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575862867952 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15417404 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24035] ppid=24019 vsize=15417404 memory=8896 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 14062 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575860763696 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24036] ppid=24019 vsize=15417404 memory=12024 CPUtime=12.19 cores=1,3,5,7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 14062 0 -1 1077944384 2647 0 0 0 1219 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575851557056 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24037] ppid=24019 vsize=15417404 memory=1556 CPUtime=15.63 cores=1,3,5,7
/proc/24021/task/24037/stat : 24037 (java) R 24019 24019 14062 0 -1 4202560 13471 0 0 0 1563 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575850499840 140576044114431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24038] ppid=24019 vsize=15417404 memory=26660 CPUtime=12.28 cores=1,3,5,7
/proc/24021/task/24038/stat : 24038 (java) S 24019 24019 14062 0 -1 1077944384 2409 0 0 0 1228 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575849452880 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24039] ppid=24019 vsize=15417404 memory=7594587674001172330 CPUtime=12.46 cores=1,3,5,7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 14062 0 -1 1077944384 3966 0 0 0 1246 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575848399824 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 79.24 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4127144 KiB

[startup+24.6009 s]
/proc/loadavg: 8.62 8.27 8.09 6/236 24039
/proc/meminfo: memFree=26485232/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0
[pid=24021] ppid=24019 vsize=15417404 memory=4125696 CPUtime=79.44 cores=1,3,5,7
/proc/24021/stat : 24021 (java) S 24019 24019 14062 0 -1 1077944320 86587 0 0 0 7539 405 0 0 20 0 19 0 408262397 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140733437102768 140576400572151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
/proc/24021/statm: 3854351 1031424 3520 1 0 3815453 0
[pid=24021/tid=24022] ppid=24019 vsize=15417404 memory=928 CPUtime=3.36 cores=1,3,5,7
/proc/24021/task/24022/stat : 24022 (java) S 24019 24019 14062 0 -1 1077944384 12146 0 0 0 326 10 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140576404812928 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24023] ppid=24019 vsize=15417404 memory=8317482817917895235 CPUtime=4.46 cores=1,3,5,7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 14062 0 -1 1077944384 5346 0 0 0 346 100 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140576361531920 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24024] ppid=24019 vsize=15417404 memory=4125696 CPUtime=4.43 cores=1,3,5,7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 14062 0 -1 1077944384 5721 0 0 0 351 92 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575991896720 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24025] ppid=24019 vsize=15417404 memory=15252636593031516 CPUtime=4.46 cores=1,3,5,7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 14062 0 -1 1077944384 5555 0 0 0 347 99 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575990843664 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24026] ppid=24019 vsize=15417404 memory=111632 CPUtime=4.48 cores=1,3,5,7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 14062 0 -1 1077944384 5351 0 0 0 355 93 0 0 20 0 19 0 408262398 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575989791120 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24027] ppid=24019 vsize=15417404 memory=800 CPUtime=0.09 cores=1,3,5,7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 14062 0 -1 1077944384 6953 0 0 0 8 1 0 0 20 0 19 0 408262400 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575869184752 140576400583298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24028] ppid=24019 vsize=15417404 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 14062 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 408262400 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575868131040 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24029] ppid=24019 vsize=15417404 memory=916 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408262401 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575867077888 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24030] ppid=24019 vsize=15417404 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575866026448 140576400590747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15417404 memory=2740 CPUtime=2.32 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 14062 0 -1 1077944384 9700 0 0 0 231 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575864973552 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15417404 memory=2720 CPUtime=2.32 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 14062 0 -1 1077944384 7530 0 0 0 231 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575863921008 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15417404 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 14062 0 -1 1077944384 3933 0 0 0 61 1 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575862867952 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24035] ppid=24019 vsize=15417404 memory=140043449278532 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 14062 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 19 0 408262403 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575860763696 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24036] ppid=24019 vsize=15417404 memory=1448 CPUtime=12.19 cores=1,3,5,7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 14062 0 -1 1077944384 2647 0 0 0 1219 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575851557056 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24037] ppid=24019 vsize=15417404 memory=1448 CPUtime=15.83 cores=1,3,5,7
/proc/24021/task/24037/stat : 24037 (java) R 24019 24019 14062 0 -1 4202560 13494 0 0 0 1583 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575850499840 140576044423010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24038] ppid=24019 vsize=15417404 memory=1528 CPUtime=12.28 cores=1,3,5,7
/proc/24021/task/24038/stat : 24038 (java) S 24019 24019 14062 0 -1 1077944384 2409 0 0 0 1228 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575849452880 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24039] ppid=24019 vsize=15417404 memory=1448 CPUtime=12.46 cores=1,3,5,7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 14062 0 -1 1077944384 3966 0 0 0 1246 0 0 0 20 0 19 0 408263195 15787421696 1031424 33554432000 4194304 4196468 140733437120224 140575848399824 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 79.44 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4127144 KiB

[startup+24.7009 s]
/proc/loadavg: 8.62 8.27 8.09 6/236 24039
/proc/meminfo: memFree=26485232/32770624 swapFree=66996296/67108860
[pid=24019] ppid=24016 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408262397 115843072 362 33554432000 4194304 5098028 140733963190368 140733963188472 140026567135868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9359360 140733963195259 140733963195501 140733963195501 140733963198410 0
/proc/24019/statm: 28282 362 304 221 0 87 0
[pid=24021] ppid=24019 vsize=15417404 memory=4125648 CPUtime=79.61 cores=1,3,5,7
/proc/24021/stat : 24021 (java) S 24019 24019 14062 0 -1 1077944320 90682 0 0 0 7556 405 0 0 20 0 14 0 408262397 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140733437102768 140576400572151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
/proc/24021/statm: 3854351 1031412 3525 1 0 3815453 0
[pid=24021/tid=24022] ppid=24019 vsize=15417404 memory=4125696 CPUtime=3.36 cores=1,3,5,7
/proc/24021/task/24022/stat : 24022 (java) S 24019 24019 14062 0 -1 1077944384 12651 0 0 0 326 10 0 0 20 0 14 0 408262398 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140576404814992 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24023] ppid=24019 vsize=15417404 memory=1448 CPUtime=4.46 cores=1,3,5,7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 14062 0 -1 1077944384 5346 0 0 0 346 100 0 0 20 0 14 0 408262398 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140576361531920 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24024] ppid=24019 vsize=15417404 memory=1448 CPUtime=4.43 cores=1,3,5,7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 14062 0 -1 1077944384 5721 0 0 0 351 92 0 0 20 0 14 0 408262398 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575991896720 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24025] ppid=24019 vsize=15417404 memory=1448 CPUtime=4.46 cores=1,3,5,7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 14062 0 -1 1077944384 5555 0 0 0 347 99 0 0 20 0 14 0 408262398 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575990843664 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24026] ppid=24019 vsize=15417404 memory=164 CPUtime=4.48 cores=1,3,5,7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 14062 0 -1 1077944384 5351 0 0 0 355 93 0 0 20 0 14 0 408262398 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575989791120 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24027] ppid=24019 vsize=15417404 memory=103186589310434 CPUtime=0.09 cores=1,3,5,7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 14062 0 -1 1077944384 6988 0 0 0 8 1 0 0 20 0 14 0 408262400 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575869184960 140576400583298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24028] ppid=24019 vsize=15417404 memory=948 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 14062 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 14 0 408262400 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575868131040 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24029] ppid=24019 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 14 0 408262401 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575867077888 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24030] ppid=24019 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 14062 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 14 0 408262403 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575866026096 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24031] ppid=24019 vsize=15417404 memory=0 CPUtime=2.35 cores=1,3,5,7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 14062 0 -1 1077944384 10989 0 0 0 234 1 0 0 20 0 14 0 408262403 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575864962560 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24032] ppid=24019 vsize=15417404 memory=2670033 CPUtime=2.37 cores=1,3,5,7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 14062 0 -1 1077944384 9163 0 0 0 236 1 0 0 20 0 14 0 408262403 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575863901408 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24033] ppid=24019 vsize=15417404 memory=1448 CPUtime=0.62 cores=1,3,5,7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 14062 0 -1 1077944384 4006 0 0 0 61 1 0 0 20 0 14 0 408262403 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575862867952 140576400583298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
[pid=24021/tid=24034] ppid=24019 vsize=15417404 memory=4125696 CPUtime=0 cores=1,3,5,7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 408262403 15787421696 1031412 33554432000 4194304 4196468 140733437120224 140575861815648 140576400582357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140733437125615 140733437125786 140733437125786 140733437128655 0
Current children cumulated CPU time: 79.61 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4127096 KiB

Child status: 0
Real time (s): 24.7275
CPU time (s): 79.6457
CPU user time (s): 75.5656
CPU system time (s): 4.08011
CPU usage (%): 322.093
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 4127144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.5656
system time used= 4.08011
maximum resident set size= 4125976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91287
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= 3725
involuntary context switches= 1474


# summary of solver processes directly reported to runsolver:
#   pid: 24019
#   total CPU time (s): 79.6457
#   total CPU user time (s): 75.5656
#   total CPU system time (s): 4.08011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.1983 second user time and 0.290227 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
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	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4393001

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
