2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	36	2400.54	666.496
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 (15239 MiB free)
  memory of node 1: 16384 MiB (15664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394348-1568349702/watcher-4394348-1568349702 -o /tmp/evaluation-result-4394348-1568349702/solver-4394348-1568349702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568349660-25420 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 660051755 HOME/instance-4394348-1568349702.xml 

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

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

solver pid=25446, runsolver pid=25441

[startup+0.100061 s]*
/proc/loadavg: 1.76 1.97 2.02 5/229 25481
/proc/meminfo: memFree=31612752/32770624 swapFree=66980228/67108860
[pid=25446] ppid=25441 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (xcsp3-exec) S 25441 25446 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140722193431616 140722193429720 140195591017084 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9912320 140722193437563 140722193437805 140722193437805 140722193440714 0
/proc/25446/statm: 28282 363 304 221 0 87 0
[pid=25452] ppid=25446 vsize=15144768 memory=28860 CPUtime=0.12 cores=0,2,4,6
/proc/25452/stat : 25452 (java) S 25446 25446 25389 0 -1 1077944320 5642 0 0 0 11 1 0 0 20 0 15 0 411232872 15508242432 7215 33554432000 4194304 4196468 140735170201984 140735170184528 140048429436663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
/proc/25452/statm: 3786192 7215 3148 1 0 3748377 0
[pid=25452/tid=25454] ppid=25446 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/25452/task/25454/stat : 25454 (java) R 25446 25446 25389 0 -1 4202560 3558 0 0 0 8 0 0 0 20 0 15 0 411232873 15508242432 7215 33554432000 4194304 4196468 140735170201984 140048433667984 140048429448598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25456] ppid=25446 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25456/stat : 25456 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 7215 33554432000 4194304 4196468 140735170201984 140048357477008 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25457] ppid=25446 vsize=15144768 memory=140417738167936 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25457/stat : 25457 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 7215 33554432000 4194304 4196468 140735170201984 140048356424208 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25458] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25458/stat : 25458 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 7215 33554432000 4194304 4196468 140735170201984 140048355371408 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25459] ppid=25446 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25459/stat : 25459 (java) S 25446 25446 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 7215 33554432000 4194304 4196468 140735170201984 140048354318608 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25464] ppid=25446 vsize=15144768 memory=140417738167936 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25464/stat : 25464 (java) S 25446 25446 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047370554224 140048429447810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25466] ppid=25446 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25466/stat : 25466 (java) S 25446 25446 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047369500192 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25468] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25468/stat : 25468 (java) S 25446 25446 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047368447344 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25470] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25470/stat : 25470 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047367395664 140048429455259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25472] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25472/stat : 25472 (java) R 25446 25446 25389 0 -1 4202560 425 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047366343024 140048412835836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25474] ppid=25446 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25474/stat : 25474 (java) R 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047365290224 140048429447810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25476] ppid=25446 vsize=15144768 memory=140417738167936 CPUtime=0.02 cores=0,2,4,6
/proc/25452/task/25476/stat : 25476 (java) R 25446 25446 25389 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 411232878 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047364237424 140048413517150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25478] ppid=25446 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25478/stat : 25478 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047363184864 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25481] ppid=25446 vsize=15144768 memory=140417738167936 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25481/stat : 25481 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7215 33554432000 4194304 4196468 140735170201984 140047362133168 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30312 KiB

[startup+0.210832 s]*
/proc/loadavg: 1.76 1.97 2.02 5/229 25481
/proc/meminfo: memFree=31587132/32770624 swapFree=66980228/67108860
[pid=25446] ppid=25441 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (xcsp3-exec) S 25441 25446 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140722193431616 140722193429720 140195591017084 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9912320 140722193437563 140722193437805 140722193437805 140722193440714 0
/proc/25446/statm: 28282 363 304 221 0 87 0
[pid=25452] ppid=25446 vsize=15144768 memory=40412 CPUtime=0.34 cores=0,2,4,6
/proc/25452/stat : 25452 (java) S 25446 25446 25389 0 -1 1077944320 9330 0 0 0 31 3 0 0 20 0 15 0 411232872 15508242432 10103 33554432000 4194304 4196468 140735170201984 140735170184528 140048429436663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
/proc/25452/statm: 3786192 10103 3294 1 0 3748377 0
[pid=25452/tid=25454] ppid=25446 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/25452/task/25454/stat : 25454 (java) R 25446 25446 25389 0 -1 4202560 6576 0 0 0 17 2 0 0 20 0 15 0 411232873 15508242432 10103 33554432000 4194304 4196468 140735170201984 140048433666384 140048028810433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25456] ppid=25446 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25456/stat : 25456 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 10103 33554432000 4194304 4196468 140735170201984 140048357477008 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25457] ppid=25446 vsize=15144768 memory=140417741363123 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25457/stat : 25457 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 10103 33554432000 4194304 4196468 140735170201984 140048356424208 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25458] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25458/stat : 25458 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 10103 33554432000 4194304 4196468 140735170201984 140048355371408 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25459] ppid=25446 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25459/stat : 25459 (java) S 25446 25446 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232873 15508242432 10103 33554432000 4194304 4196468 140735170201984 140048354318608 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25464] ppid=25446 vsize=15144768 memory=140417738167936 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25464/stat : 25464 (java) S 25446 25446 25389 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047370554224 140048429447810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25466] ppid=25446 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25466/stat : 25466 (java) S 25446 25446 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047369500192 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25468] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25468/stat : 25468 (java) S 25446 25446 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047368447344 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25470] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25470/stat : 25470 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047367395664 140048429455259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25472] ppid=25446 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25452/task/25472/stat : 25472 (java) S 25446 25446 25389 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 411232878 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047366343024 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25474] ppid=25446 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25452/task/25474/stat : 25474 (java) S 25446 25446 25389 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 411232878 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047365290224 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25476] ppid=25446 vsize=15144768 memory=140417738167936 CPUtime=0.08 cores=0,2,4,6
/proc/25452/task/25476/stat : 25476 (java) R 25446 25446 25389 0 -1 4202560 814 0 0 0 8 0 0 0 20 0 15 0 411232878 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047364237424 140048408376509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25478] ppid=25446 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25478/stat : 25478 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047363184864 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25481] ppid=25446 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25481/stat : 25481 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 10103 33554432000 4194304 4196468 140735170201984 140047362133168 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41864 KiB

[startup+0.311826 s]*
/proc/loadavg: 1.76 1.97 2.02 8/229 25481
/proc/meminfo: memFree=31574872/32770624 swapFree=66980228/67108860
[pid=25446] ppid=25441 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (xcsp3-exec) S 25441 25446 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140722193431616 140722193429720 140195591017084 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9912320 140722193437563 140722193437805 140722193437805 140722193440714 0
/proc/25446/statm: 28282 363 304 221 0 87 0
[pid=25452] ppid=25446 vsize=15149024 memory=50016 CPUtime=0.54 cores=0,2,4,6
/proc/25452/stat : 25452 (java) S 25446 25446 25389 0 -1 1077944320 10791 0 0 0 50 4 0 0 20 0 15 0 411232872 15512600576 12504 33554432000 4194304 4196468 140735170201984 140735170184528 140048429436663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
/proc/25452/statm: 3787256 12504 3360 1 0 3748377 0
[pid=25452/tid=25454] ppid=25446 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/25452/task/25454/stat : 25454 (java) R 25446 25446 25389 0 -1 4202560 7710 0 0 0 27 3 0 0 20 0 15 0 411232873 15512600576 12504 33554432000 4194304 4196468 140735170201984 140048433667776 140048422114677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25456] ppid=25446 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25456/stat : 25456 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15512600576 12504 33554432000 4194304 4196468 140735170201984 140048357477008 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25457] ppid=25446 vsize=15149024 memory=9123308429200974039 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25457/stat : 25457 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15512600576 12504 33554432000 4194304 4196468 140735170201984 140048356424208 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25458] ppid=25446 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25458/stat : 25458 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15512600576 12504 33554432000 4194304 4196468 140735170201984 140048355371408 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25459] ppid=25446 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25459/stat : 25459 (java) S 25446 25446 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232873 15512600576 12504 33554432000 4194304 4196468 140735170201984 140048354318608 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25464] ppid=25446 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25464/stat : 25464 (java) S 25446 25446 25389 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411232875 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047370554224 140048429447810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25466] ppid=25446 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25466/stat : 25466 (java) S 25446 25446 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047369500192 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25468] ppid=25446 vsize=15149024 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25468/stat : 25468 (java) S 25446 25446 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047368447344 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25470] ppid=25446 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25470/stat : 25470 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047367395664 140048429455259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25472] ppid=25446 vsize=15149024 memory=7893295687695687954 CPUtime=0.05 cores=0,2,4,6
/proc/25452/task/25472/stat : 25472 (java) R 25446 25446 25389 0 -1 4202560 671 0 0 0 5 0 0 0 20 0 15 0 411232878 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047366324040 140048414553824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25474] ppid=25446 vsize=15149024 memory=-8813974798734826869 CPUtime=0.04 cores=0,2,4,6
/proc/25452/task/25474/stat : 25474 (java) R 25446 25446 25389 0 -1 1077944384 134 0 0 0 4 0 0 0 20 0 15 0 411232878 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047365290224 140048429447810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25476] ppid=25446 vsize=15149024 memory=7827413994055111515 CPUtime=0.13 cores=0,2,4,6
/proc/25452/task/25476/stat : 25476 (java) R 25446 25446 25389 0 -1 4202560 974 0 0 0 13 0 0 0 20 0 15 0 411232878 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047364237424 140048407803311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25478] ppid=25446 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25478/stat : 25478 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047363184864 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25481] ppid=25446 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25481/stat : 25481 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15512600576 12504 33554432000 4194304 4196468 140735170201984 140047362133168 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51468 KiB

[startup+0.710732 s]
/proc/loadavg: 1.76 1.97 2.02 9/229 25481
/proc/meminfo: memFree=31527368/32770624 swapFree=66980228/67108860
[pid=25446] ppid=25441 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (xcsp3-exec) S 25441 25446 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140722193431616 140722193429720 140195591017084 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9912320 140722193437563 140722193437805 140722193437805 140722193440714 0
/proc/25446/statm: 28282 363 304 221 0 87 0
[pid=25452] ppid=25446 vsize=15151148 memory=100236 CPUtime=1.79 cores=0,2,4,6
/proc/25452/stat : 25452 (java) S 25446 25446 25389 0 -1 1077944320 15149 0 0 0 174 5 0 0 20 0 15 0 411232872 15514775552 25059 33554432000 4194304 4196468 140735170201984 140735170184528 140048429436663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
/proc/25452/statm: 3787787 25059 3448 1 0 3748889 0
[pid=25452/tid=25454] ppid=25446 vsize=15151148 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/25452/task/25454/stat : 25454 (java) R 25446 25446 25389 0 -1 4202560 9094 0 0 0 65 4 0 0 20 0 15 0 411232873 15514775552 25059 33554432000 4194304 4196468 140735170201984 140048433673768 140048031848467 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25456] ppid=25446 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25456/stat : 25456 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15514775552 25059 33554432000 4194304 4196468 140735170201984 140048357477008 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25457] ppid=25446 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25457/stat : 25457 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15514775552 25059 33554432000 4194304 4196468 140735170201984 140048356424208 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25458] ppid=25446 vsize=15151148 memory=1316 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25458/stat : 25458 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232873 15514775552 25059 33554432000 4194304 4196468 140735170201984 140048355371408 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25459] ppid=25446 vsize=15151148 memory=11 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25459/stat : 25459 (java) S 25446 25446 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232873 15514775552 25059 33554432000 4194304 4196468 140735170201984 140048354318608 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25464] ppid=25446 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25464/stat : 25464 (java) S 25446 25446 25389 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411232875 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047370554224 140048429447810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25466] ppid=25446 vsize=15151148 memory=28519 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25466/stat : 25466 (java) S 25446 25446 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047369500192 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25468] ppid=25446 vsize=15151148 memory=1366 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25468/stat : 25468 (java) S 25446 25446 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047368447344 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25470] ppid=25446 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25470/stat : 25470 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047367395664 140048429455259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25472] ppid=25446 vsize=15151148 memory=1 CPUtime=0.34 cores=0,2,4,6
/proc/25452/task/25472/stat : 25472 (java) R 25446 25446 25389 0 -1 4202560 1482 0 0 0 34 0 0 0 20 0 15 0 411232878 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047366319008 140048410980758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25474] ppid=25446 vsize=15151148 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/25452/task/25474/stat : 25474 (java) R 25446 25446 25389 0 -1 4202560 1144 0 0 0 37 0 0 0 20 0 15 0 411232878 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047365290224 140048410961489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25476] ppid=25446 vsize=15151148 memory=2240 CPUtime=0.36 cores=0,2,4,6
/proc/25452/task/25476/stat : 25476 (java) R 25446 25446 25389 0 -1 4202560 2122 0 0 0 36 0 0 0 20 0 15 0 411232878 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047364237424 140048408245105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25478] ppid=25446 vsize=15151148 memory=669 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25478/stat : 25478 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047363184864 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25481] ppid=25446 vsize=15151148 memory=3 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25481/stat : 25481 (java) S 25446 25446 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15514775552 25059 33554432000 4194304 4196468 140735170201984 140047362133168 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 101688 KiB

[startup+1.50076 s]
/proc/loadavg: 1.76 1.97 2.02 7/229 25481
/proc/meminfo: memFree=31346796/32770624 swapFree=66980228/67108860
[pid=25446] ppid=25441 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (xcsp3-exec) S 25441 25446 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140722193431616 140722193429720 140195591017084 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9912320 140722193437563 140722193437805 140722193437805 140722193440714 0
/proc/25446/statm: 28282 363 304 221 0 87 0

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

/proc/25452/stat : 25452 (java) S 25446 25446 25389 0 -1 1077944320 207615 0 0 0 206406 138 0 0 20 0 19 0 411232872 15789518848 612170 33554432000 4194304 4196468 140735170201984 140735170184528 140048429436663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
/proc/25452/statm: 3854863 612170 3562 1 0 3815965 0
[pid=25452/tid=25454] ppid=25446 vsize=15419452 memory=2448680 CPUtime=2.68 cores=0,2,4,6
/proc/25452/task/25454/stat : 25454 (java) S 25446 25446 25389 0 -1 1077944384 12609 0 0 0 261 7 0 0 20 0 19 0 411232873 15789518848 612170 33554432000 4194304 4196468 140735170201984 140048433677440 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25456] ppid=25446 vsize=15419452 memory=2411816 CPUtime=1.37 cores=0,2,4,6
/proc/25452/task/25456/stat : 25456 (java) S 25446 25446 25389 0 -1 1077944384 2982 0 0 0 127 10 0 0 20 0 19 0 411232873 15789518848 612170 33554432000 4194304 4196468 140735170201984 140048357477008 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25457] ppid=25446 vsize=15419452 memory=2411816 CPUtime=1.36 cores=0,2,4,6
/proc/25452/task/25457/stat : 25457 (java) S 25446 25446 25389 0 -1 1077944384 3902 0 0 0 127 9 0 0 20 0 19 0 411232873 15789518848 612170 33554432000 4194304 4196468 140735170201984 140048356424208 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25458] ppid=25446 vsize=15419452 memory=2448680 CPUtime=1.31 cores=0,2,4,6
/proc/25452/task/25458/stat : 25458 (java) S 25446 25446 25389 0 -1 1077944384 4896 0 0 0 122 9 0 0 20 0 19 0 411232873 15789518848 612170 33554432000 4194304 4196468 140735170201984 140048355371408 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25459] ppid=25446 vsize=15419452 memory=2448680 CPUtime=1.36 cores=0,2,4,6
/proc/25452/task/25459/stat : 25459 (java) S 25446 25446 25389 0 -1 1077944384 4607 0 0 0 127 9 0 0 20 0 19 0 411232873 15789518848 612170 33554432000 4194304 4196468 140735170201984 140048354318608 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25464] ppid=25446 vsize=15419452 memory=2448680 CPUtime=2.1 cores=0,2,4,6
/proc/25452/task/25464/stat : 25464 (java) S 25446 25446 25389 0 -1 1077944384 11156 0 0 0 187 23 0 0 20 0 19 0 411232875 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047370554224 140048429447810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25466] ppid=25446 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25466/stat : 25466 (java) S 25446 25446 25389 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 411232875 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047369500256 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25468] ppid=25446 vsize=15419452 memory=2448680 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25468/stat : 25468 (java) S 25446 25446 25389 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 411232876 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047368447360 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25470] ppid=25446 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25470/stat : 25470 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047367395664 140048429455259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25472] ppid=25446 vsize=15419452 memory=2448680 CPUtime=6.8 cores=0,2,4,6
/proc/25452/task/25472/stat : 25472 (java) S 25446 25446 25389 0 -1 1077944384 45510 0 0 0 676 4 0 0 20 0 19 0 411232878 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047366343024 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25474] ppid=25446 vsize=15419452 memory=1452 CPUtime=7.39 cores=0,2,4,6
/proc/25452/task/25474/stat : 25474 (java) S 25446 25446 25389 0 -1 1077944384 43716 0 0 0 735 4 0 0 20 0 19 0 411232878 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047365290224 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25476] ppid=25446 vsize=15419452 memory=1452 CPUtime=1.13 cores=0,2,4,6
/proc/25452/task/25476/stat : 25476 (java) S 25446 25446 25389 0 -1 1077944384 17699 0 0 0 110 3 0 0 20 0 19 0 411232878 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047364237424 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25478] ppid=25446 vsize=15419452 memory=2411816 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25478/stat : 25478 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047363184864 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25481] ppid=25446 vsize=15419452 memory=2448680 CPUtime=0.25 cores=0,2,4,6
/proc/25452/task/25481/stat : 25481 (java) S 25446 25446 25389 0 -1 1077944384 2489 0 0 0 14 11 0 0 20 0 19 0 411232878 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047362133168 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25542] ppid=25446 vsize=15419452 memory=1452 CPUtime=252.86 cores=0,2,4,6
/proc/25452/task/25542/stat : 25542 (java) R 25446 25446 25389 0 -1 4202560 1699 0 0 0 25286 0 0 0 20 0 19 0 411265641 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047347665688 140048037223310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25543] ppid=25446 vsize=15419452 memory=1452 CPUtime=253.13 cores=0,2,4,6
/proc/25452/task/25543/stat : 25543 (java) R 25446 25446 25389 0 -1 4202560 12987 0 0 0 25304 9 0 0 20 0 19 0 411265641 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047348722080 140048038220157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25544] ppid=25446 vsize=15419452 memory=2448680 CPUtime=253.72 cores=0,2,4,6
/proc/25452/task/25544/stat : 25544 (java) R 25446 25446 25389 0 -1 4202560 6832 0 0 0 25371 1 0 0 20 0 19 0 411265641 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047349771072 140048036488021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25545] ppid=25446 vsize=15419452 memory=2448680 CPUtime=251.3 cores=0,2,4,6
/proc/25452/task/25545/stat : 25545 (java) R 25446 25446 25389 0 -1 4202560 1362 0 0 0 25130 0 0 0 20 0 19 0 411265641 15789518848 612170 33554432000 4194304 4196468 140735170201984 140047350825480 140048038076632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
Current children cumulated CPU time: 2065.44 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2450132 KiB

[startup+642.302 s]
/proc/loadavg: 6.88 6.87 4.81 6/234 25659
/proc/meminfo: memFree=23225192/32770624 swapFree=66980240/67108860
[pid=25446] ppid=25441 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (xcsp3-exec) S 25441 25446 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140722193431616 140722193429720 140195591017084 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9912320 140722193437563 140722193437805 140722193437805 140722193440714 0
/proc/25446/statm: 28282 363 304 221 0 87 0
[pid=25452] ppid=25446 vsize=15419452 memory=2516372 CPUtime=2304.28 cores=0,2,4,6
/proc/25452/stat : 25452 (java) S 25446 25446 25389 0 -1 1077944320 219023 0 0 0 230286 142 0 0 20 0 19 0 411232872 15789518848 629093 33554432000 4194304 4196468 140735170201984 140735170184528 140048429436663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
/proc/25452/statm: 3854863 629093 3562 1 0 3815965 0
[pid=25452/tid=25454] ppid=25446 vsize=15419452 memory=2516372 CPUtime=2.68 cores=0,2,4,6
/proc/25452/task/25454/stat : 25454 (java) S 25446 25446 25389 0 -1 1077944384 12765 0 0 0 261 7 0 0 20 0 19 0 411232873 15789518848 629093 33554432000 4194304 4196468 140735170201984 140048433677440 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25456] ppid=25446 vsize=15419452 memory=2516372 CPUtime=1.44 cores=0,2,4,6
/proc/25452/task/25456/stat : 25456 (java) S 25446 25446 25389 0 -1 1077944384 3903 0 0 0 134 10 0 0 20 0 19 0 411232873 15789518848 629093 33554432000 4194304 4196468 140735170201984 140048357477008 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25457] ppid=25446 vsize=15419452 memory=2516372 CPUtime=1.45 cores=0,2,4,6
/proc/25452/task/25457/stat : 25457 (java) S 25446 25446 25389 0 -1 1077944384 3974 0 0 0 135 10 0 0 20 0 19 0 411232873 15789518848 629093 33554432000 4194304 4196468 140735170201984 140048356424208 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25458] ppid=25446 vsize=15419452 memory=1452 CPUtime=1.39 cores=0,2,4,6
/proc/25452/task/25458/stat : 25458 (java) S 25446 25446 25389 0 -1 1077944384 5858 0 0 0 130 9 0 0 20 0 19 0 411232873 15789518848 629093 33554432000 4194304 4196468 140735170201984 140048355371408 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25459] ppid=25446 vsize=15419452 memory=280835160925920 CPUtime=1.45 cores=0,2,4,6
/proc/25452/task/25459/stat : 25459 (java) S 25446 25446 25389 0 -1 1077944384 4715 0 0 0 135 10 0 0 20 0 19 0 411232873 15789518848 629093 33554432000 4194304 4196468 140735170201984 140048354318608 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25464] ppid=25446 vsize=15419452 memory=1452 CPUtime=2.11 cores=0,2,4,6
/proc/25452/task/25464/stat : 25464 (java) S 25446 25446 25389 0 -1 1077944384 11744 0 0 0 188 23 0 0 20 0 19 0 411232875 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047370554224 140048429447810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25466] ppid=25446 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25466/stat : 25466 (java) S 25446 25446 25389 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 411232875 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047369500256 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25468] ppid=25446 vsize=15419452 memory=2461040 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25468/stat : 25468 (java) S 25446 25446 25389 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 411232876 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047368447360 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25470] ppid=25446 vsize=15419452 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25470/stat : 25470 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047367395664 140048429455259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25472] ppid=25446 vsize=15419452 memory=18196 CPUtime=6.85 cores=0,2,4,6
/proc/25452/task/25472/stat : 25472 (java) S 25446 25446 25389 0 -1 1077944384 46231 0 0 0 681 4 0 0 20 0 19 0 411232878 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047366343024 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25474] ppid=25446 vsize=15419452 memory=1452 CPUtime=7.41 cores=0,2,4,6
/proc/25452/task/25474/stat : 25474 (java) S 25446 25446 25389 0 -1 1077944384 45018 0 0 0 737 4 0 0 20 0 19 0 411232878 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047365290224 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25476] ppid=25446 vsize=15419452 memory=1452 CPUtime=1.13 cores=0,2,4,6
/proc/25452/task/25476/stat : 25476 (java) S 25446 25446 25389 0 -1 1077944384 17712 0 0 0 110 3 0 0 20 0 19 0 411232878 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047364237424 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25478] ppid=25446 vsize=15419452 memory=756 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25478/stat : 25478 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047363184864 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25481] ppid=25446 vsize=15419452 memory=1548 CPUtime=0.29 cores=0,2,4,6
/proc/25452/task/25481/stat : 25481 (java) S 25446 25446 25389 0 -1 1077944384 2603 0 0 0 16 13 0 0 20 0 19 0 411232878 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047362133168 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25656] ppid=25446 vsize=15419452 memory=1452 CPUtime=16.69 cores=0,2,4,6
/proc/25452/task/25656/stat : 25656 (java) R 25446 25446 25389 0 -1 4202560 641 0 0 0 1669 0 0 0 20 0 19 0 411295424 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047349771296 140048037630618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25657] ppid=25446 vsize=15419452 memory=2504048 CPUtime=16.51 cores=0,2,4,6
/proc/25452/task/25657/stat : 25657 (java) R 25446 25446 25389 0 -1 4202560 2306 0 0 0 1651 0 0 0 20 0 19 0 411295424 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047348722784 140048037380130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25658] ppid=25446 vsize=15419452 memory=2461040 CPUtime=16.73 cores=0,2,4,6
/proc/25452/task/25658/stat : 25658 (java) R 25446 25446 25389 0 -1 4202560 1266 0 0 0 1673 0 0 0 20 0 19 0 411295424 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047350824744 140048037389850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25659] ppid=25446 vsize=15419452 memory=1452 CPUtime=16.75 cores=0,2,4,6
/proc/25452/task/25659/stat : 25659 (java) R 25446 25446 25389 0 -1 4202560 565 0 0 0 1675 0 0 0 20 0 19 0 411295424 15789518848 629093 33554432000 4194304 4196468 140735170201984 140047347667624 140048037390009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
Current children cumulated CPU time: 2304.28 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2517824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+666.402 s]
/proc/loadavg: 6.45 6.77 4.83 7/238 25683
/proc/meminfo: memFree=22583984/32770624 swapFree=66980240/67108860
[pid=25446] ppid=25441 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25446/stat : 25446 (xcsp3-exec) S 25441 25446 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140722193431616 140722193429720 140195591017084 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9912320 140722193437563 140722193437805 140722193437805 140722193440714 0
/proc/25446/statm: 28282 363 304 221 0 87 0
[pid=25452] ppid=25446 vsize=15419452 memory=2538900 CPUtime=2400.21 cores=0,2,4,6
/proc/25452/stat : 25452 (java) S 25446 25446 25389 0 -1 1077944320 223889 0 0 0 239878 143 0 0 20 0 19 0 411232872 15789518848 634725 33554432000 4194304 4196468 140735170201984 140735170184528 140048429436663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
/proc/25452/statm: 3854863 634725 3562 1 0 3815965 0
[pid=25452/tid=25454] ppid=25446 vsize=15419452 memory=2538900 CPUtime=2.68 cores=0,2,4,6
/proc/25452/task/25454/stat : 25454 (java) S 25446 25446 25389 0 -1 1077944384 12765 0 0 0 261 7 0 0 20 0 19 0 411232873 15789518848 634725 33554432000 4194304 4196468 140735170201984 140048433677440 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25456] ppid=25446 vsize=15419452 memory=3360 CPUtime=1.46 cores=0,2,4,6
/proc/25452/task/25456/stat : 25456 (java) S 25446 25446 25389 0 -1 1077944384 4615 0 0 0 136 10 0 0 20 0 19 0 411232873 15789518848 634725 33554432000 4194304 4196468 140735170201984 140048357477008 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25457] ppid=25446 vsize=15419452 memory=-3622645143214314312 CPUtime=1.47 cores=0,2,4,6
/proc/25452/task/25457/stat : 25457 (java) S 25446 25446 25389 0 -1 1077944384 4032 0 0 0 137 10 0 0 20 0 19 0 411232873 15789518848 634725 33554432000 4194304 4196468 140735170201984 140048356424208 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25458] ppid=25446 vsize=15419452 memory=2399456 CPUtime=1.41 cores=0,2,4,6
/proc/25452/task/25458/stat : 25458 (java) S 25446 25446 25389 0 -1 1077944384 5895 0 0 0 132 9 0 0 20 0 19 0 411232873 15789518848 634725 33554432000 4194304 4196468 140735170201984 140048355371408 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25459] ppid=25446 vsize=15419452 memory=7595693945686877780 CPUtime=1.47 cores=0,2,4,6
/proc/25452/task/25459/stat : 25459 (java) S 25446 25446 25389 0 -1 1077944384 4869 0 0 0 137 10 0 0 20 0 19 0 411232873 15789518848 634725 33554432000 4194304 4196468 140735170201984 140048354318608 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25464] ppid=25446 vsize=15419452 memory=2399456 CPUtime=2.11 cores=0,2,4,6
/proc/25452/task/25464/stat : 25464 (java) S 25446 25446 25389 0 -1 1077944384 12025 0 0 0 188 23 0 0 20 0 19 0 411232875 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047370554224 140048429447810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25466] ppid=25446 vsize=15419452 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25466/stat : 25466 (java) S 25446 25446 25389 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 411232875 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047369500256 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25468] ppid=25446 vsize=15419452 memory=28828 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25468/stat : 25468 (java) S 25446 25446 25389 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 411232876 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047368447360 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25470] ppid=25446 vsize=15419452 memory=28876 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25470/stat : 25470 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047367395664 140048429455259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25472] ppid=25446 vsize=15419452 memory=28653 CPUtime=6.85 cores=0,2,4,6
/proc/25452/task/25472/stat : 25472 (java) S 25446 25446 25389 0 -1 1077944384 46234 0 0 0 681 4 0 0 20 0 19 0 411232878 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047366343024 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25474] ppid=25446 vsize=15419452 memory=6791534058613427641 CPUtime=7.41 cores=0,2,4,6
/proc/25452/task/25474/stat : 25474 (java) S 25446 25446 25389 0 -1 1077944384 45026 0 0 0 737 4 0 0 20 0 19 0 411232878 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047365290224 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25476] ppid=25446 vsize=15419452 memory=2048 CPUtime=1.13 cores=0,2,4,6
/proc/25452/task/25476/stat : 25476 (java) S 25446 25446 25389 0 -1 1077944384 17716 0 0 0 110 3 0 0 20 0 19 0 411232878 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047364237424 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25478] ppid=25446 vsize=15419452 memory=988 CPUtime=0 cores=0,2,4,6
/proc/25452/task/25478/stat : 25478 (java) S 25446 25446 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047363184864 140048429446869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25481] ppid=25446 vsize=15419452 memory=363 CPUtime=0.3 cores=0,2,4,6
/proc/25452/task/25481/stat : 25481 (java) S 25446 25446 25389 0 -1 1077944384 2660 0 0 0 17 13 0 0 20 0 19 0 411232878 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047362133168 140048429447810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25656] ppid=25446 vsize=15419452 memory=6791534058613427641 CPUtime=40.45 cores=0,2,4,6
/proc/25452/task/25656/stat : 25656 (java) R 25446 25446 25389 0 -1 4202560 926 0 0 0 4045 0 0 0 20 0 19 0 411295424 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047349771544 140048037223339 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25657] ppid=25446 vsize=15419452 memory=1028 CPUtime=40.59 cores=0,2,4,6
/proc/25452/task/25657/stat : 25657 (java) R 25446 25446 25389 0 -1 4202560 4723 0 0 0 4058 1 0 0 20 0 19 0 411295424 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047348722672 140048039174916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25658] ppid=25446 vsize=15419452 memory=1060 CPUtime=40.79 cores=0,2,4,6
/proc/25452/task/25658/stat : 25658 (java) R 25446 25446 25389 0 -1 4202560 1773 0 0 0 4079 0 0 0 20 0 19 0 411295424 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047350824568 140048036488021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
[pid=25452/tid=25659] ppid=25446 vsize=15419452 memory=2828 CPUtime=40.69 cores=0,2,4,6
/proc/25452/task/25659/stat : 25659 (java) R 25446 25446 25389 0 -1 4202560 908 0 0 0 4069 0 0 0 20 0 19 0 411295424 15789518848 634725 33554432000 4194304 4196468 140735170201984 140047347666768 140048036954033 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21995520 140735170208751 140735170208922 140735170208922 140735170211791 0
Current children cumulated CPU time: 2400.21 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2540352 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+666.423 s]
# the end of solver process 25446 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001557 s, system=0.000778 s

[startup+666.496 s]
# the end of solver process 25452 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.09 s, system=1.44981 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 666.496
CPU time (s): 2400.54
CPU user time (s): 2399.09
CPU system time (s): 1.44981
CPU usage (%): 360.174
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 2540352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.09
system time used= 1.44981
maximum resident set size= 2539224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19400
involuntary context switches= 45709


# summary of solver processes directly reported to runsolver:
#   pid: 25446,25452
#   total CPU time (s): 2400.54
#   total CPU user time (s): 2399.09
#   total CPU system time (s): 1.44981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.57707 second user time and 7.73178 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4394348

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
