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

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	OPT	394	43.7182	26.3735
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 (13247 MiB free)
  memory of node 1: 16384 MiB (15250 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401047-1568695576/watcher-4401047-1568695576 -o /tmp/evaluation-result-4401047-1568695576/solver-4401047-1568695576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=146496948 HOME/instance-4401047-1568695576.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24483, runsolver pid=24480

[startup+0.100132 s]*
/proc/loadavg: 2.02 1.44 1.37 3/218 24540
/proc/meminfo: memFree=29173812/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=9972712 memory=15440 CPUtime=0.09 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 4602 13299 0 0 2 0 5 2 20 0 6 0 445813425 10212057088 3860 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2493178 3860 1958 1 0 2481616 0
[pid=24483/tid=24536] ppid=24480 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 2392 13299 0 0 1 0 5 2 20 0 6 0 445813434 10212057088 3860 33554432000 4194304 4196468 140723691699792 139966915908176 139966928151902 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 6 0 445813434 10212057088 3860 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=9974768 memory=140200501447433 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 6 0 445813434 10214162432 3860 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=9982492 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 6 0 445813434 10222071808 3860 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 6 0 445813434 10228523008 3860 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15440 KiB

[startup+0.210744 s]*
/proc/loadavg: 2.02 1.44 1.37 4/227 24549
/proc/meminfo: memFree=29157220/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10819712 memory=36448 CPUtime=0.25 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 7485 13299 0 0 17 1 5 2 20 0 15 0 445813425 11079385088 9112 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2704928 9112 3171 1 0 2667149 0
[pid=24483/tid=24536] ppid=24480 vsize=10819712 memory=729618466009055537 CPUtime=0.17 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 3888 13299 0 0 10 0 5 2 20 0 15 0 445813434 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966915894744 139966924346571 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10819712 memory=140200501447433 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813436 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 445813436 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966402237344 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813436 11079385088 9112 33554432000 4194304 4196468 140723691699792 139965803521008 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11079385088 9112 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) S 24480 24483 18141 0 -1 1077944384 498 13299 0 0 1 0 5 2 20 0 15 0 445813439 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) S 24480 24483 18141 0 -1 1077944384 180 13299 0 0 0 0 5 2 20 0 15 0 445813439 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966367627888 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10819712 memory=140200498284160 CPUtime=0.1 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 660 13299 0 0 3 0 5 2 20 0 15 0 445813439 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11079385088 9112 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10819712 memory=140200498284160 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813440 11079385088 9112 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 36448 KiB

[startup+0.310033 s]*
/proc/loadavg: 2.02 1.44 1.37 3/227 24549
/proc/meminfo: memFree=29144916/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10820196 memory=47572 CPUtime=0.39 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 11187 13299 0 0 29 3 5 2 20 0 15 0 445813425 11079880704 11893 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2705049 11893 3303 1 0 2667149 0
[pid=24483/tid=24536] ppid=24480 vsize=10820196 memory=8317482817917895235 CPUtime=0.27 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 7534 13299 0 0 18 2 5 2 20 0 15 0 445813434 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966915880368 139966928151902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10820196 memory=140200498284159 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813436 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 445813436 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966402237344 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813436 11079880704 11893 33554432000 4194304 4196468 140723691699792 139965803521008 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11079880704 11893 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) S 24480 24483 18141 0 -1 1077944384 518 13299 0 0 2 0 5 2 20 0 15 0 445813439 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) S 24480 24483 18141 0 -1 1077944384 181 13299 0 0 1 0 5 2 20 0 15 0 445813439 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966367627888 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10820196 memory=140200498284160 CPUtime=0.12 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 696 13299 0 0 5 0 5 2 20 0 15 0 445813439 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11079880704 11893 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10820196 memory=140200498284160 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813440 11079880704 11893 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47572 KiB

[startup+0.700747 s]
/proc/loadavg: 2.02 1.44 1.37 3/227 24549
/proc/meminfo: memFree=29129724/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10822316 memory=72808 CPUtime=0.84 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 14375 13299 0 0 73 4 5 2 20 0 15 0 445813425 11082051584 18202 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2705579 18202 3486 1 0 2667661 0
[pid=24483/tid=24536] ppid=24480 vsize=10822316 memory=5795117241467496816 CPUtime=0.55 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) D 24480 24483 18141 0 -1 4202560 9654 13299 0 0 45 3 5 2 20 0 15 0 445813434 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966915900944 139966944093341 0 4 0 16800975 18446744072100293765 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10822316 memory=1284 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813434 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10822316 memory=1044 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10822316 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 6 13299 0 0 0 0 5 2 20 0 15 0 445813436 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 445813436 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966402237344 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813436 11082051584 18202 33554432000 4194304 4196468 140723691699792 139965803521008 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11082051584 18202 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10822316 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) S 24480 24483 18141 0 -1 1077944384 879 13299 0 0 8 0 5 2 20 0 15 0 445813439 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10822316 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) S 24480 24483 18141 0 -1 1077944384 684 13299 0 0 5 0 5 2 20 0 15 0 445813439 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966367627888 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10822316 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 895 13299 0 0 13 0 5 2 20 0 15 0 445813439 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11082051584 18202 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10822316 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813440 11082051584 18202 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 72808 KiB

[startup+1.50078 s]
/proc/loadavg: 2.02 1.44 1.37 6/227 24549
/proc/meminfo: memFree=29095308/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10830584 memory=160700 CPUtime=2.82 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 26409 13299 0 0 267 8 5 2 20 0 15 0 445813425 11090518016 40175 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2707646 40175 3552 1 0 2669709 0
[pid=24483/tid=24536] ppid=24480 vsize=10830584 memory=140200349012568 CPUtime=1.27 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 14082 13299 0 0 115 5 5 2 20 0 15 0 445813434 11090518016 40175 33554432000 4194304 4196468 140723691699792 139966915881696 139966944093341 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813434 11090518016 40175 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10830584 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11090518016 40175 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10830584 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11090518016 40175 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10830584 memory=280400698431904 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 445813434 11090518016 40175 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10830584 memory=245337121931132 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 18 13299 0 0 0 0 5 2 20 0 15 0 445813436 11090518016 40175 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 445813436 11090518016 40189 33554432000 4194304 4196468 140723691699792 139966402237344 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10830584 memory=6011695880022684464 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813436 11090518016 40189 33554432000 4194304 4196468 140723691699792 139965803521008 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10830584 memory=-8412658770403813517 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11090518016 40189 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10830584 memory=-7668917182949848256 CPUtime=0.64 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) S 24480 24483 18141 0 -1 1077944384 4532 13299 0 0 57 0 5 2 20 0 15 0 445813439 11090518016 40189 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10830584 memory=8514726395714956677 CPUtime=0.61 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) R 24480 24483 18141 0 -1 4202560 3665 13299 0 0 53 1 5 2 20 0 15 0 445813439 11090518016 40189 33554432000 4194304 4196468 140723691699792 139966367627888 139966921670272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10830584 memory=7100839887184299122 CPUtime=0.47 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 1855 13299 0 0 40 0 5 2 20 0 15 0 445813439 11090518016 40189 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10830584 memory=4628420171383865741 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11090518016 40189 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 445813440 11090518016 40189 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 2.82 s

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

[startup+26.3735 s]
# the end of solver process 24483 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=42.7835 s, system=0.934717 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6009 s]
/proc/loadavg: 2.35 1.56 1.41 3/227 24549
/proc/meminfo: memFree=26575696/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10846988 memory=2615256 CPUtime=42.79 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 70023 13299 0 0 4184 88 5 2 20 0 15 0 445813425 11107315712 653814 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2711747 653814 3638 1 0 2673805 0
[pid=24483/tid=24536] ppid=24480 vsize=10846988 memory=708 CPUtime=24.82 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 28669 13299 0 0 2438 37 5 2 20 0 15 0 445813434 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966915904192 139966557436403 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10846988 memory=9364 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 281 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10846988 memory=1120 CPUtime=0.47 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 1371 13299 0 0 31 9 5 2 20 0 15 0 445813434 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10846988 memory=318644 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 569 13299 0 0 33 9 5 2 20 0 15 0 445813434 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10846988 memory=6935649255759568980 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 568 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10846988 memory=7014444751693833280 CPUtime=0.14 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 4204 13299 0 0 7 0 5 2 20 0 15 0 445813436 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10846988 memory=6076011637249829207 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 43 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966402237408 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10846988 memory=8996 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 7 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653814 33554432000 4194304 4196468 140723691699792 139965803521024 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653814 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10846988 memory=280400698341424 CPUtime=6.92 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) S 24480 24483 18141 0 -1 1077944384 12019 13299 0 0 683 2 5 2 20 0 15 0 445813439 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10846988 memory=6791534058613427641 CPUtime=6.92 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) S 24480 24483 18141 0 -1 1077944384 10262 13299 0 0 682 3 5 2 20 0 15 0 445813439 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966367627888 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10846988 memory=2016 CPUtime=2.52 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 9768 13299 0 0 241 4 5 2 20 0 15 0 445813439 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10846988 memory=1284 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653814 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10846988 memory=1044 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 47 13299 0 0 0 0 5 2 20 0 15 0 445813440 11107315712 653814 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 42.79 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2615256 KiB

[startup+26.0007 s]*
/proc/loadavg: 2.35 1.56 1.41 3/227 24549
/proc/meminfo: memFree=26575696/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10846988 memory=2615264 CPUtime=43.22 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 70438 13299 0 0 4227 88 5 2 20 0 15 0 445813425 11107315712 653816 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2711747 653816 3640 1 0 2673805 0
[pid=24483/tid=24536] ppid=24480 vsize=10846988 memory=8317482817917895235 CPUtime=25.23 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 28816 13299 0 0 2479 37 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966915908184 139966565125030 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10846988 memory=7 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 281 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10846988 memory=7 CPUtime=0.47 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 1371 13299 0 0 31 9 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10846988 memory=7 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 569 13299 0 0 33 9 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10846988 memory=7 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 568 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10846988 memory=11204 CPUtime=0.14 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 4204 13299 0 0 7 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10846988 memory=-7457052372387209120 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 43 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966402237408 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10846988 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 7 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965803521024 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10846988 memory=1399094042734925955 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10846988 memory=7679937539659563834 CPUtime=6.93 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) S 24480 24483 18141 0 -1 1077944384 12051 13299 0 0 684 2 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10846988 memory=-7457052372387209120 CPUtime=6.94 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) S 24480 24483 18141 0 -1 1077944384 10494 13299 0 0 684 3 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966367627888 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10846988 memory=6944656591801717918 CPUtime=2.52 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 9770 13299 0 0 241 4 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10846988 memory=4206468019014099040 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10846988 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 49 13299 0 0 0 0 5 2 20 0 15 0 445813440 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 43.22 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2615264 KiB

[startup+26.2007 s]
/proc/loadavg: 2.35 1.56 1.41 3/227 24549
/proc/meminfo: memFree=26575696/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10846988 memory=2615264 CPUtime=43.51 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 70979 13299 0 0 4256 88 5 2 20 0 15 0 445813425 11107315712 653816 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2711747 653816 3640 1 0 2673805 0
[pid=24483/tid=24536] ppid=24480 vsize=10846988 memory=7679937539659563834 CPUtime=25.42 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 28893 13299 0 0 2498 37 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966915903888 139966556101888 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10846988 memory=-8990767739041718176 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 281 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10846988 memory=280400698015984 CPUtime=0.47 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 1371 13299 0 0 31 9 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10846988 memory=8377424916951425120 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 569 13299 0 0 33 9 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10846988 memory=303148774078021931 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 568 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10846988 memory=14694088964310518 CPUtime=0.14 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 4213 13299 0 0 7 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10846988 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 43 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966402237408 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10846988 memory=315533668791877947 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 7 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965803521024 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10846988 memory=14972274012855780 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10846988 memory=6944656575208382560 CPUtime=6.94 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) S 24480 24483 18141 0 -1 1077944384 12196 13299 0 0 685 2 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10846988 memory=6944652177228980320 CPUtime=7.01 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) S 24480 24483 18141 0 -1 1077944384 10759 13299 0 0 691 3 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966367627888 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10846988 memory=6944656592455097440 CPUtime=2.52 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 9815 13299 0 0 241 4 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10846988 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10846988 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 49 13299 0 0 0 0 5 2 20 0 15 0 445813440 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 43.51 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2615264 KiB

[startup+26.3008 s]
/proc/loadavg: 2.35 1.56 1.41 3/227 24549
/proc/meminfo: memFree=26575696/32770624 swapFree=66926628/67108860
[pid=24483] ppid=24480 vsize=10846988 memory=2615264 CPUtime=43.61 cores=1,3,5,7
/proc/24483/stat : 24483 (java) S 24480 24483 18141 0 -1 1077944320 71008 13299 0 0 4266 88 5 2 20 0 15 0 445813425 11107315712 653816 33554432000 4194304 4196468 140723691699792 140723691682336 139966944071415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
/proc/24483/statm: 2711747 653816 3640 1 0 2673805 0
[pid=24483/tid=24536] ppid=24480 vsize=10846988 memory=0 CPUtime=25.52 cores=1,3,5,7
/proc/24483/task/24536/stat : 24536 (java) R 24480 24483 18141 0 -1 4202560 28922 13299 0 0 2508 37 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966915903888 139966563365987 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24537] ppid=24480 vsize=10846988 memory=2615264 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24537/stat : 24537 (java) S 24480 24483 18141 0 -1 1077944384 281 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966948313872 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24538] ppid=24480 vsize=10846988 memory=280400698385040 CPUtime=0.47 cores=1,3,5,7
/proc/24483/task/24538/stat : 24538 (java) S 24480 24483 18141 0 -1 1077944384 1371 13299 0 0 31 9 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966517013392 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24539] ppid=24480 vsize=10846988 memory=280400698730592 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24539/stat : 24539 (java) S 24480 24483 18141 0 -1 1077944384 569 13299 0 0 33 9 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966515960848 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24540] ppid=24480 vsize=10846988 memory=210848534544322 CPUtime=0.49 cores=1,3,5,7
/proc/24483/task/24540/stat : 24540 (java) S 24480 24483 18141 0 -1 1077944384 568 13299 0 0 32 10 5 2 20 0 15 0 445813434 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966514908304 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24541] ppid=24480 vsize=10846988 memory=8259761640030508194 CPUtime=0.14 cores=1,3,5,7
/proc/24483/task/24541/stat : 24541 (java) S 24480 24483 18141 0 -1 1077944384 4213 13299 0 0 7 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966403291120 139966944082562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24542] ppid=24480 vsize=10846988 memory=-7606742959547834223 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24542/stat : 24542 (java) S 24480 24483 18141 0 -1 1077944384 43 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966402237408 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24543] ppid=24480 vsize=10846988 memory=31236 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24543/stat : 24543 (java) S 24480 24483 18141 0 -1 1077944384 7 13299 0 0 0 0 5 2 20 0 15 0 445813436 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965803521024 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24544] ppid=24480 vsize=10846988 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24544/stat : 24544 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965496121552 139966944090011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24545] ppid=24480 vsize=10846988 memory=2016 CPUtime=6.94 cores=1,3,5,7
/proc/24483/task/24545/stat : 24545 (java) R 24480 24483 18141 0 -1 1077944384 12196 13299 0 0 685 2 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966368680432 139966944082562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24546] ppid=24480 vsize=10846988 memory=1666772 CPUtime=7.01 cores=1,3,5,7
/proc/24483/task/24546/stat : 24546 (java) S 24480 24483 18141 0 -1 1077944384 10759 13299 0 0 691 3 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966367627888 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24547] ppid=24480 vsize=10846988 memory=1653516 CPUtime=2.52 cores=1,3,5,7
/proc/24483/task/24547/stat : 24547 (java) S 24480 24483 18141 0 -1 1077944384 9815 13299 0 0 241 4 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966366575344 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24548] ppid=24480 vsize=10846988 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24548/stat : 24548 (java) S 24480 24483 18141 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 445813439 11107315712 653816 33554432000 4194304 4196468 140723691699792 139965462563936 139966944081621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
[pid=24483/tid=24549] ppid=24480 vsize=10846988 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/24483/task/24549/stat : 24549 (java) S 24480 24483 18141 0 -1 1077944384 49 13299 0 0 0 0 5 2 20 0 15 0 445813440 11107315712 653816 33554432000 4194304 4196468 140723691699792 139966365522224 139966944082562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24834048 140723691703024 140723691705541 140723691705541 140723691708367 0
Current children cumulated CPU time: 43.61 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2615264 KiB

Child status: 0
Real time (s): 26.3735
CPU time (s): 43.7182
CPU user time (s): 42.7835
CPU system time (s): 0.934717
CPU usage (%): 165.765
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2615264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.7835
system time used= 0.934717
maximum resident set size= 2617360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9207
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 24483
#   total CPU time (s): 43.7182
#   total CPU user time (s): 42.7835
#   total CPU system time (s): 0.934717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211025 second user time and 0.261372 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
