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
choco-solver 2019-06-14	SAT (TO)	36	2520.61	696.597
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 (11546 MiB free)
  memory of node 1: 16384 MiB (15345 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393448-1568354890/watcher-4393448-1568354890 -o /tmp/evaluation-result-4393448-1568354890/solver-4393448-1568354890 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 308483876 HOME/instance-4393448-1568354890.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 8.10 8.35 8.72 7/233 26591
/proc/meminfo: memFree=27520956/32770624 swapFree=66940792/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411727716 115843072 362 33554432000 4194304 5098028 140727812235744 140727812233848 139945645617788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15290368 140727812240251 140727812240493 140727812240493 140727812243402 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15144768 memory=29116 CPUtime=0.13 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 22042 0 -1 1077944320 5725 0 0 0 12 1 0 0 20 0 15 0 411727717 15508242432 7279 33554432000 4194304 4196468 140727243976896 140727243959440 140216143597303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
/proc/26577/statm: 3786192 7279 3155 1 0 3748377 0
[pid=26577/tid=26578] ppid=26575 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 22042 0 -1 4202560 3599 0 0 0 8 1 0 0 20 0 15 0 411727717 15508242432 7279 33554432000 4194304 4196468 140727243976896 140216147824320 140216143609238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26579] ppid=26575 vsize=15144768 memory=3472468585074435280 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15508242432 7279 33554432000 4194304 4196468 140727243976896 140216055254032 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26580] ppid=26575 vsize=15144768 memory=140456179283584 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15508242432 7279 33554432000 4194304 4196468 140727243976896 140216054201488 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26581] ppid=26575 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215733709584 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26582] ppid=26575 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411727718 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215732657040 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26583] ppid=26575 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26583/stat : 26583 (java) S 26575 26575 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411727719 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215612209392 140216143608450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26584] ppid=26575 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26584/stat : 26584 (java) S 26575 26575 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411727719 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215611155616 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26585] ppid=26575 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26585/stat : 26585 (java) S 26575 26575 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411727720 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215610102512 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26586] ppid=26575 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215609051088 140216143615899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26587] ppid=26575 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26587/stat : 26587 (java) R 26575 26575 22042 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 411727722 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215607999216 140216143608450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26588] ppid=26575 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26588/stat : 26588 (java) R 26575 26575 22042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 411727722 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215606946672 140216123457977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26589] ppid=26575 vsize=15144768 memory=140456179283584 CPUtime=0.02 cores=1,3,5,7
/proc/26577/task/26589/stat : 26589 (java) R 26575 26575 22042 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 411727722 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215605891152 140216122605937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26590] ppid=26575 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215604841312 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26591] ppid=26575 vsize=15144768 memory=140456179283584 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26591/stat : 26591 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727722 15508242432 7279 33554432000 4194304 4196468 140727243976896 140215603788336 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30564 KiB

[startup+0.214245 s]*
/proc/loadavg: 8.10 8.35 8.72 6/233 26591
/proc/meminfo: memFree=27508360/32770624 swapFree=66940792/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411727716 115843072 362 33554432000 4194304 5098028 140727812235744 140727812233848 139945645617788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15290368 140727812240251 140727812240493 140727812240493 140727812243402 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15149024 memory=41156 CPUtime=0.34 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 22042 0 -1 1077944320 9670 0 0 0 31 3 0 0 20 0 15 0 411727717 15512600576 10289 33554432000 4194304 4196468 140727243976896 140727243959440 140216143597303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
/proc/26577/statm: 3787256 10289 3288 1 0 3748377 0
[pid=26577/tid=26578] ppid=26575 vsize=15149024 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 22042 0 -1 4202560 6840 0 0 0 18 2 0 0 20 0 15 0 411727717 15512600576 10289 33554432000 4194304 4196468 140727243976896 140216147800144 140216127677790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26579] ppid=26575 vsize=15149024 memory=3472468585074435280 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 10289 33554432000 4194304 4196468 140727243976896 140216055254032 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26580] ppid=26575 vsize=15149024 memory=140456179283584 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 10289 33554432000 4194304 4196468 140727243976896 140216054201488 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26581] ppid=26575 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215733709584 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26582] ppid=26575 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215732657040 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26583] ppid=26575 vsize=15149024 memory=140456179283584 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26583/stat : 26583 (java) S 26575 26575 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411727719 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215612209392 140216143608450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26584] ppid=26575 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26584/stat : 26584 (java) S 26575 26575 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411727719 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215611155616 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26585] ppid=26575 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26585/stat : 26585 (java) S 26575 26575 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411727720 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215610102512 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26586] ppid=26575 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215609051088 140216143615899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26587] ppid=26575 vsize=15149024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26577/task/26587/stat : 26587 (java) S 26575 26575 22042 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 15 0 411727722 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215607999216 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26588] ppid=26575 vsize=15149024 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26577/task/26588/stat : 26588 (java) S 26575 26575 22042 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 411727722 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215606946672 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26589] ppid=26575 vsize=15149024 memory=140456179283584 CPUtime=0.08 cores=1,3,5,7
/proc/26577/task/26589/stat : 26589 (java) S 26575 26575 22042 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 411727722 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215605893616 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26590] ppid=26575 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215604841312 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26591] ppid=26575 vsize=15149024 memory=140456179283584 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26591/stat : 26591 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727722 15512600576 10289 33554432000 4194304 4196468 140727243976896 140215603788336 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 42604 KiB

[startup+0.311367 s]*
/proc/loadavg: 8.10 8.35 8.72 7/233 26591
/proc/meminfo: memFree=27500820/32770624 swapFree=66940792/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411727716 115843072 362 33554432000 4194304 5098028 140727812235744 140727812233848 139945645617788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15290368 140727812240251 140727812240493 140727812240493 140727812243402 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15149024 memory=50492 CPUtime=0.53 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 22042 0 -1 1077944320 10943 0 0 0 49 4 0 0 20 0 15 0 411727717 15512600576 12623 33554432000 4194304 4196468 140727243976896 140727243959440 140216143597303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
/proc/26577/statm: 3787256 12623 3340 1 0 3748377 0
[pid=26577/tid=26578] ppid=26575 vsize=15149024 memory=8514701219880992413 CPUtime=0.29 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 22042 0 -1 4202560 7877 0 0 0 27 2 0 0 20 0 15 0 411727717 15512600576 12623 33554432000 4194304 4196468 140727243976896 140216147831504 140216127677790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26579] ppid=26575 vsize=15149024 memory=3472468585074435280 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 12623 33554432000 4194304 4196468 140727243976896 140216055254032 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26580] ppid=26575 vsize=15149024 memory=140456179283584 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 12623 33554432000 4194304 4196468 140727243976896 140216054201488 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26581] ppid=26575 vsize=15149024 memory=4 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215733709584 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26582] ppid=26575 vsize=15149024 memory=140456033921055 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411727718 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215732657040 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26583] ppid=26575 vsize=15149024 memory=280912067802880 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26583/stat : 26583 (java) S 26575 26575 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411727719 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215612209392 140216143608450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26584] ppid=26575 vsize=15149024 memory=140456033897999 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26584/stat : 26584 (java) S 26575 26575 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411727719 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215611155616 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26585] ppid=26575 vsize=15149024 memory=280912213190752 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26585/stat : 26585 (java) S 26575 26575 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411727720 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215610102512 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26586] ppid=26575 vsize=15149024 memory=140456033902607 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215609051088 140216143615899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26587] ppid=26575 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26577/task/26587/stat : 26587 (java) S 26575 26575 22042 0 -1 1077944384 749 0 0 0 5 0 0 0 20 0 15 0 411727722 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215607999216 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26588] ppid=26575 vsize=15149024 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26577/task/26588/stat : 26588 (java) S 26575 26575 22042 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 411727722 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215606946672 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26589] ppid=26575 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26577/task/26589/stat : 26589 (java) S 26575 26575 22042 0 -1 1077944384 898 0 0 0 12 0 0 0 20 0 15 0 411727722 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215605893616 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26590] ppid=26575 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215604841312 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26591] ppid=26575 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26591/stat : 26591 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727722 15512600576 12623 33554432000 4194304 4196468 140727243976896 140215603788336 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51940 KiB

[startup+0.701348 s]
/proc/loadavg: 8.10 8.35 8.72 9/233 26591
/proc/meminfo: memFree=27479272/32770624 swapFree=66940792/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411727716 115843072 362 33554432000 4194304 5098028 140727812235744 140727812233848 139945645617788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15290368 140727812240251 140727812240493 140727812240493 140727812243402 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15151148 memory=99624 CPUtime=1.75 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 22042 0 -1 1077944320 15047 0 0 0 170 5 0 0 20 0 15 0 411727717 15514775552 24906 33554432000 4194304 4196468 140727243976896 140727243959440 140216143597303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
/proc/26577/statm: 3787787 24906 3439 1 0 3748889 0
[pid=26577/tid=26578] ppid=26575 vsize=15151148 memory=1088 CPUtime=0.68 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 22042 0 -1 4202560 9075 0 0 0 64 4 0 0 20 0 15 0 411727717 15514775552 24906 33554432000 4194304 4196468 140727243976896 140216147822672 140215733863969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26579] ppid=26575 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15514775552 24906 33554432000 4194304 4196468 140727243976896 140216055254032 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26580] ppid=26575 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15514775552 24906 33554432000 4194304 4196468 140727243976896 140216054201488 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26581] ppid=26575 vsize=15151148 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727718 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215733709584 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26582] ppid=26575 vsize=15151148 memory=624 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411727718 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215732657040 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26583] ppid=26575 vsize=15151148 memory=3996 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26583/stat : 26583 (java) S 26575 26575 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411727719 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215612209392 140216143608450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26584] ppid=26575 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26584/stat : 26584 (java) S 26575 26575 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411727719 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215611155616 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26585] ppid=26575 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26585/stat : 26585 (java) S 26575 26575 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411727720 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215610102512 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26586] ppid=26575 vsize=15151148 memory=38416 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215609051088 140216143615899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26587] ppid=26575 vsize=15151148 memory=1988 CPUtime=0.37 cores=1,3,5,7
/proc/26577/task/26587/stat : 26587 (java) R 26575 26575 22042 0 -1 4202560 1813 0 0 0 37 0 0 0 20 0 15 0 411727722 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215607985440 140216128722698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26588] ppid=26575 vsize=15151148 memory=988 CPUtime=0.32 cores=1,3,5,7
/proc/26577/task/26588/stat : 26588 (java) R 26575 26575 22042 0 -1 4202560 995 0 0 0 32 0 0 0 20 0 15 0 411727722 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215606922656 140216125118126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26589] ppid=26575 vsize=15151148 memory=1428 CPUtime=0.36 cores=1,3,5,7
/proc/26577/task/26589/stat : 26589 (java) R 26575 26575 22042 0 -1 4202560 1857 0 0 0 36 0 0 0 20 0 15 0 411727722 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215605893616 140216122400424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26590] ppid=26575 vsize=15151148 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411727722 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215604841312 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26591] ppid=26575 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26591/stat : 26591 (java) S 26575 26575 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411727722 15514775552 24906 33554432000 4194304 4196468 140727243976896 140215603788336 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 101072 KiB

[startup+1.50139 s]
/proc/loadavg: 8.10 8.35 8.72 8/233 26591
/proc/meminfo: memFree=27386064/32770624 swapFree=66940792/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411727716 115843072 362 33554432000 4194304 5098028 140727812235744 140727812233848 139945645617788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15290368 140727812240251 140727812240493 140727812240493 140727812243402 0
/proc/26575/statm: 28282 362 304 221 0 87 0

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

/proc/26577/stat : 26577 (java) S 26575 26575 22042 0 -1 1077944320 233042 0 0 0 230314 139 0 0 20 0 19 0 411727717 15925841920 621887 33554432000 4194304 4196468 140727243976896 140727243959440 140216143597303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
/proc/26577/statm: 3888145 621887 3560 1 0 3849247 0
[pid=26577/tid=26578] ppid=26575 vsize=15552580 memory=2487548 CPUtime=2.71 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) S 26575 26575 22042 0 -1 1077944384 12271 0 0 0 264 7 0 0 20 0 19 0 411727717 15925841920 621887 33554432000 4194304 4196468 140727243976896 140216147838080 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26579] ppid=26575 vsize=15552580 memory=2487548 CPUtime=1.23 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 22042 0 -1 1077944384 5494 0 0 0 113 10 0 0 20 0 19 0 411727718 15925841920 621887 33554432000 4194304 4196468 140727243976896 140216055254032 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26580] ppid=26575 vsize=15552580 memory=1448 CPUtime=1.27 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 22042 0 -1 1077944384 5040 0 0 0 116 11 0 0 20 0 19 0 411727718 15925841920 621887 33554432000 4194304 4196468 140727243976896 140216054201488 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26581] ppid=26575 vsize=15552580 memory=2458828 CPUtime=1.25 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 22042 0 -1 1077944384 6565 0 0 0 116 9 0 0 20 0 19 0 411727718 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215733709584 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26582] ppid=26575 vsize=15552580 memory=2458624 CPUtime=1.21 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 22042 0 -1 1077944384 4911 0 0 0 112 9 0 0 20 0 19 0 411727718 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215732657040 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26583] ppid=26575 vsize=15552580 memory=2487548 CPUtime=2.13 cores=1,3,5,7
/proc/26577/task/26583/stat : 26583 (java) S 26575 26575 22042 0 -1 1077944384 11114 0 0 0 190 23 0 0 20 0 19 0 411727719 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215612209392 140216143608450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26584] ppid=26575 vsize=15552580 memory=2487548 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26584/stat : 26584 (java) S 26575 26575 22042 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 411727719 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215611155680 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26585] ppid=26575 vsize=15552580 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26585/stat : 26585 (java) S 26575 26575 22042 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 411727720 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215610102528 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26586] ppid=26575 vsize=15552580 memory=2487548 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411727722 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215609051088 140216143615899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26587] ppid=26575 vsize=15552580 memory=1448 CPUtime=6.79 cores=1,3,5,7
/proc/26577/task/26587/stat : 26587 (java) S 26575 26575 22042 0 -1 1077944384 54363 0 0 0 675 4 0 0 20 0 19 0 411727722 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215607999216 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26588] ppid=26575 vsize=15552580 memory=2458624 CPUtime=6.72 cores=1,3,5,7
/proc/26577/task/26588/stat : 26588 (java) S 26575 26575 22042 0 -1 1077944384 43345 0 0 0 667 5 0 0 20 0 19 0 411727722 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215606946672 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26589] ppid=26575 vsize=15552580 memory=1448 CPUtime=1.09 cores=1,3,5,7
/proc/26577/task/26589/stat : 26589 (java) S 26575 26575 22042 0 -1 1077944384 22432 0 0 0 107 2 0 0 20 0 19 0 411727722 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215605893616 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26590] ppid=26575 vsize=15552580 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411727722 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215604841312 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26591] ppid=26575 vsize=15552580 memory=1448 CPUtime=0.27 cores=1,3,5,7
/proc/26577/task/26591/stat : 26591 (java) S 26575 26575 22042 0 -1 1077944384 3470 0 0 0 14 13 0 0 20 0 19 0 411727722 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215603788336 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26921] ppid=26575 vsize=15552580 memory=2487548 CPUtime=11.9 cores=1,3,5,7
/proc/26577/task/26921/stat : 26921 (java) R 26575 26575 22042 0 -1 4202560 469 0 0 0 1190 0 0 0 20 0 19 0 411790753 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215587215984 140215742770850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26922] ppid=26575 vsize=15552580 memory=6791534058613427641 CPUtime=11.89 cores=1,3,5,7
/proc/26577/task/26922/stat : 26922 (java) R 26575 26575 22042 0 -1 4202560 832 0 0 0 1189 0 0 0 20 0 19 0 411790753 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215588272688 140215742312277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26923] ppid=26575 vsize=15552580 memory=988 CPUtime=11.84 cores=1,3,5,7
/proc/26577/task/26923/stat : 26923 (java) R 26575 26575 22042 0 -1 4202560 944 0 0 0 1184 0 0 0 20 0 19 0 411790753 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215589321640 140215743528320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26924] ppid=26575 vsize=15552580 memory=1428 CPUtime=11.73 cores=1,3,5,7
/proc/26577/task/26924/stat : 26924 (java) R 26575 26575 22042 0 -1 4202560 383 0 0 0 1173 0 0 0 20 0 19 0 411790753 15925841920 621887 33554432000 4194304 4196468 140727243976896 140215590376504 140215742771072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
Current children cumulated CPU time: 2304.53 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 2488996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+696.507 s]
/proc/loadavg: 8.66 8.28 8.43 9/237 26932
/proc/meminfo: memFree=27352904/32770624 swapFree=66940792/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411727716 115843072 362 33554432000 4194304 5098028 140727812235744 140727812233848 139945645617788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15290368 140727812240251 140727812240493 140727812240493 140727812243402 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15552580 memory=2524440 CPUtime=2520.28 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 22042 0 -1 1077944320 251817 0 0 0 251886 142 0 0 20 0 19 0 411727717 15925841920 631110 33554432000 4194304 4196468 140727243976896 140727243959440 140216143597303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
/proc/26577/statm: 3888145 631110 3560 1 0 3849247 0
[pid=26577/tid=26578] ppid=26575 vsize=15552580 memory=2524440 CPUtime=2.71 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) S 26575 26575 22042 0 -1 1077944384 12271 0 0 0 264 7 0 0 20 0 19 0 411727717 15925841920 631110 33554432000 4194304 4196468 140727243976896 140216147838080 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26579] ppid=26575 vsize=15552580 memory=2524440 CPUtime=1.28 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 22042 0 -1 1077944384 6598 0 0 0 118 10 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140216055254032 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26580] ppid=26575 vsize=15552580 memory=1448 CPUtime=1.32 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 22042 0 -1 1077944384 5228 0 0 0 121 11 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140216054201488 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26581] ppid=26575 vsize=15552580 memory=2524440 CPUtime=1.29 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 22042 0 -1 1077944384 6847 0 0 0 120 9 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215733709584 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26582] ppid=26575 vsize=15552580 memory=1448 CPUtime=1.26 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 22042 0 -1 1077944384 5072 0 0 0 116 10 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215732657040 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26583] ppid=26575 vsize=15552580 memory=2501912 CPUtime=2.13 cores=1,3,5,7
/proc/26577/task/26583/stat : 26583 (java) S 26575 26575 22042 0 -1 1077944384 11596 0 0 0 190 23 0 0 20 0 19 0 411727719 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215612209392 140216143608450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26584] ppid=26575 vsize=15552580 memory=2501912 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26584/stat : 26584 (java) S 26575 26575 22042 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 411727719 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215611155680 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26585] ppid=26575 vsize=15552580 memory=2524440 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26585/stat : 26585 (java) S 26575 26575 22042 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 411727720 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215610102528 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26586] ppid=26575 vsize=15552580 memory=2524440 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215609051088 140216143615899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26587] ppid=26575 vsize=15552580 memory=1448 CPUtime=6.84 cores=1,3,5,7
/proc/26577/task/26587/stat : 26587 (java) S 26575 26575 22042 0 -1 1077944384 56162 0 0 0 680 4 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215607999216 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26588] ppid=26575 vsize=15552580 memory=1448 CPUtime=6.95 cores=1,3,5,7
/proc/26577/task/26588/stat : 26588 (java) S 26575 26575 22042 0 -1 1077944384 48069 0 0 0 690 5 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215606946672 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26589] ppid=26575 vsize=15552580 memory=1532 CPUtime=1.09 cores=1,3,5,7
/proc/26577/task/26589/stat : 26589 (java) S 26575 26575 22042 0 -1 1077944384 22918 0 0 0 107 2 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215605893616 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26590] ppid=26575 vsize=15552580 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215604841312 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26591] ppid=26575 vsize=15552580 memory=2900 CPUtime=0.29 cores=1,3,5,7
/proc/26577/task/26591/stat : 26591 (java) S 26575 26575 22042 0 -1 1077944384 3599 0 0 0 15 14 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215603788336 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26921] ppid=26575 vsize=15552580 memory=4100 CPUtime=65.9 cores=1,3,5,7
/proc/26577/task/26921/stat : 26921 (java) R 26575 26575 22042 0 -1 4202560 1101 0 0 0 6590 0 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215587216248 140215742771017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26922] ppid=26575 vsize=15552580 memory=2524440 CPUtime=66.01 cores=1,3,5,7
/proc/26577/task/26922/stat : 26922 (java) R 26575 26575 22042 0 -1 4202560 6806 0 0 0 6600 1 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215588269352 140215743645413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26923] ppid=26575 vsize=15552580 memory=3620 CPUtime=65.26 cores=1,3,5,7
/proc/26577/task/26923/stat : 26923 (java) R 26575 26575 22042 0 -1 4202560 3086 0 0 0 6525 1 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215589323952 140215743528320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26924] ppid=26575 vsize=15552580 memory=3000 CPUtime=65.45 cores=1,3,5,7
/proc/26577/task/26924/stat : 26924 (java) R 26575 26575 22042 0 -1 4202560 1055 0 0 0 6545 0 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215590375536 140215742770842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 2525888 KiB

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

[startup+696.53 s]
# the end of solver process 26575 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002305 s, system=0 s

[startup+696.597 s]
# the end of solver process 26577 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.17 s, system=1.44293 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

[startup+696.507 s]
/proc/loadavg: 8.66 8.28 8.43 9/237 26932
/proc/meminfo: memFree=27352904/32770624 swapFree=66940792/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411727716 115843072 362 33554432000 4194304 5098028 140727812235744 140727812233848 139945645617788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15290368 140727812240251 140727812240493 140727812240493 140727812243402 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15552580 memory=2524440 CPUtime=2520.28 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 22042 0 -1 1077944320 251817 0 0 0 251886 142 0 0 20 0 19 0 411727717 15925841920 631110 33554432000 4194304 4196468 140727243976896 140727243959440 140216143597303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
/proc/26577/statm: 3888145 631110 3560 1 0 3849247 0
[pid=26577/tid=26578] ppid=26575 vsize=15552580 memory=2524440 CPUtime=2.71 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) S 26575 26575 22042 0 -1 1077944384 12271 0 0 0 264 7 0 0 20 0 19 0 411727717 15925841920 631110 33554432000 4194304 4196468 140727243976896 140216147838080 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26579] ppid=26575 vsize=15552580 memory=2524440 CPUtime=1.28 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 22042 0 -1 1077944384 6598 0 0 0 118 10 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140216055254032 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26580] ppid=26575 vsize=15552580 memory=1448 CPUtime=1.32 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 22042 0 -1 1077944384 5228 0 0 0 121 11 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140216054201488 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26581] ppid=26575 vsize=15552580 memory=2524440 CPUtime=1.29 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 22042 0 -1 1077944384 6847 0 0 0 120 9 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215733709584 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26582] ppid=26575 vsize=15552580 memory=1448 CPUtime=1.26 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 22042 0 -1 1077944384 5072 0 0 0 116 10 0 0 20 0 19 0 411727718 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215732657040 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26583] ppid=26575 vsize=15552580 memory=2501912 CPUtime=2.13 cores=1,3,5,7
/proc/26577/task/26583/stat : 26583 (java) S 26575 26575 22042 0 -1 1077944384 11596 0 0 0 190 23 0 0 20 0 19 0 411727719 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215612209392 140216143608450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26584] ppid=26575 vsize=15552580 memory=2501912 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26584/stat : 26584 (java) S 26575 26575 22042 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 411727719 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215611155680 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26585] ppid=26575 vsize=15552580 memory=2524440 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26585/stat : 26585 (java) S 26575 26575 22042 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 411727720 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215610102528 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26586] ppid=26575 vsize=15552580 memory=2524440 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215609051088 140216143615899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26587] ppid=26575 vsize=15552580 memory=1448 CPUtime=6.84 cores=1,3,5,7
/proc/26577/task/26587/stat : 26587 (java) S 26575 26575 22042 0 -1 1077944384 56162 0 0 0 680 4 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215607999216 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26588] ppid=26575 vsize=15552580 memory=1448 CPUtime=6.95 cores=1,3,5,7
/proc/26577/task/26588/stat : 26588 (java) S 26575 26575 22042 0 -1 1077944384 48069 0 0 0 690 5 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215606946672 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26589] ppid=26575 vsize=15552580 memory=1532 CPUtime=1.09 cores=1,3,5,7
/proc/26577/task/26589/stat : 26589 (java) S 26575 26575 22042 0 -1 1077944384 22918 0 0 0 107 2 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215605893616 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26590] ppid=26575 vsize=15552580 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215604841312 140216143607509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26591] ppid=26575 vsize=15552580 memory=2900 CPUtime=0.29 cores=1,3,5,7
/proc/26577/task/26591/stat : 26591 (java) S 26575 26575 22042 0 -1 1077944384 3599 0 0 0 15 14 0 0 20 0 19 0 411727722 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215603788336 140216143608450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26921] ppid=26575 vsize=15552580 memory=4100 CPUtime=65.9 cores=1,3,5,7
/proc/26577/task/26921/stat : 26921 (java) R 26575 26575 22042 0 -1 4202560 1101 0 0 0 6590 0 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215587216248 140215742771017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26922] ppid=26575 vsize=15552580 memory=2524440 CPUtime=66.01 cores=1,3,5,7
/proc/26577/task/26922/stat : 26922 (java) R 26575 26575 22042 0 -1 4202560 6806 0 0 0 6600 1 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215588269352 140215743645413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26923] ppid=26575 vsize=15552580 memory=3620 CPUtime=65.26 cores=1,3,5,7
/proc/26577/task/26923/stat : 26923 (java) R 26575 26575 22042 0 -1 4202560 3086 0 0 0 6525 1 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215589323952 140215743528320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
[pid=26577/tid=26924] ppid=26575 vsize=15552580 memory=3000 CPUtime=65.45 cores=1,3,5,7
/proc/26577/task/26924/stat : 26924 (java) R 26575 26575 22042 0 -1 4202560 1055 0 0 0 6545 0 0 0 20 0 19 0 411790753 15925841920 631110 33554432000 4194304 4196468 140727243976896 140215590375536 140215742770842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140727243985903 140727243986074 140727243986074 140727243988943 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 2525888 KiB

Child status: 143
Real time (s): 696.597
CPU time (s): 2520.61
CPU user time (s): 2519.17
CPU system time (s): 1.44293
CPU usage (%): 361.846
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 2525888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.17
system time used= 1.44293
maximum resident set size= 2524692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20029
involuntary context switches= 48863


# summary of solver processes directly reported to runsolver:
#   pid: 26575,26577
#   total CPU time (s): 2520.61
#   total CPU user time (s): 2519.17
#   total CPU system time (s): 1.44293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81058 second user time and 8.09012 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	2520.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 4393448

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
