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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	26	244.73399	240.021
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 (12321 MiB free)
  memory of node 1: 16384 MiB (13637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270104-1502620765/watcher-4270104-1502620765 -o /tmp/evaluation-result-4270104-1502620765/solver-4270104-1502620765 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1761 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1785785047 HOME/instance-4270104-1502620765.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=1798, runsolver pid=1795

[startup+0.100096 s]*
/proc/loadavg: 1.11 1.04 1.13 4/218 1823
/proc/meminfo: memFree=26555484/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0
[pid=1801] ppid=1798 vsize=13978596 memory=27736 CPUtime=0.12 cores=0,2,4,6
/proc/1801/stat : 1801 (java) S 1798 1798 31727 0 -1 1077944320 5299 0 0 0 11 1 0 0 20 0 15 0 95148184 14314082304 6934 33554432000 4194304 4196468 140727535857376 140727535839920 139675222896375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
/proc/1801/statm: 3494649 6934 2867 1 0 3482966 0
[pid=1801/tid=1803] ppid=1798 vsize=13978596 memory=-8412658762350172019 CPUtime=0.09 cores=0,2,4,6
/proc/1801/task/1803/stat : 1803 (java) R 1798 1798 31727 0 -1 4202560 3318 0 0 0 9 0 0 0 20 0 15 0 95148184 14314082304 7000 33554432000 4194304 4196468 140727535857376 139675227128064 139675222908310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1805] ppid=1798 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1805/stat : 1805 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 7000 33554432000 4194304 4196468 140727535857376 139675160497168 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1806] ppid=1798 vsize=13978596 memory=140431429043840 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1806/stat : 1806 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 7000 33554432000 4194304 4196468 140727535857376 139675159444624 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1807] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1807/stat : 1807 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 7000 33554432000 4194304 4196468 140727535857376 139675158391568 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1808] ppid=1798 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1808/stat : 1808 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 7000 33554432000 4194304 4196468 140727535857376 139675157339024 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1809] ppid=1798 vsize=13978596 memory=140431429043840 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1809/stat : 1809 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674764224752 139675222907522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1814] ppid=1798 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1814/stat : 1814 (java) S 1798 1798 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674763170976 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1816] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674762117872 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) S 1798 1798 31727 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674760014576 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674758962032 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13978596 memory=140431429043840 CPUtime=0.01 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) R 1798 1798 31727 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 95148190 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674757908976 139675206976862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13978596 memory=140431429043840 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 7000 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29120 KiB

[startup+0.210604 s]*
/proc/loadavg: 1.11 1.04 1.13 1/218 1823
/proc/meminfo: memFree=26540040/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0
[pid=1801] ppid=1798 vsize=13978596 memory=36884 CPUtime=0.25 cores=0,2,4,6
/proc/1801/stat : 1801 (java) S 1798 1798 31727 0 -1 1077944320 7710 0 0 0 23 2 0 0 20 0 15 0 95148184 14314082304 9221 33554432000 4194304 4196468 140727535857376 140727535839920 139675222896375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
/proc/1801/statm: 3494649 9221 2984 1 0 3482966 0
[pid=1801/tid=1803] ppid=1798 vsize=13978596 memory=7883960649037381690 CPUtime=0.15 cores=0,2,4,6
/proc/1801/task/1803/stat : 1803 (java) D 1798 1798 31727 0 -1 4202560 4982 0 0 0 14 1 0 0 20 0 15 0 95148184 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675227131008 139675222918301 0 4 0 16800975 18446744071580419588 0 0 -1 0 0 0 4 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1805] ppid=1798 vsize=13978596 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1805/stat : 1805 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675160497168 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1806] ppid=1798 vsize=13978596 memory=140431429305993 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1806/stat : 1806 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675159444624 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1807] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1807/stat : 1807 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675158391568 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1808] ppid=1798 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1808/stat : 1808 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675157339024 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1809] ppid=1798 vsize=13978596 memory=140431429043840 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1809/stat : 1809 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674764224752 139675222907522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1814] ppid=1798 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1814/stat : 1814 (java) S 1798 1798 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674763170976 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1816] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674762117872 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13978596 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) S 1798 1798 31727 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674760014576 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13978596 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) S 1798 1798 31727 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674758962032 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13978596 memory=140431429043840 CPUtime=0.05 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) S 1798 1798 31727 0 -1 1077944384 752 0 0 0 5 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674757908976 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 38268 KiB

[startup+0.310275 s]*
/proc/loadavg: 1.11 1.04 1.13 3/218 1823
/proc/meminfo: memFree=26538180/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0
[pid=1801] ppid=1798 vsize=13978596 memory=36884 CPUtime=0.27 cores=0,2,4,6
/proc/1801/stat : 1801 (java) S 1798 1798 31727 0 -1 1077944320 7790 0 0 0 25 2 0 0 20 0 15 0 95148184 14314082304 9221 33554432000 4194304 4196468 140727535857376 140727535839920 139675222896375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
/proc/1801/statm: 3494649 9221 2984 1 0 3482966 0
[pid=1801/tid=1803] ppid=1798 vsize=13978596 memory=6935054825532540783 CPUtime=0.16 cores=0,2,4,6
/proc/1801/task/1803/stat : 1803 (java) R 1798 1798 31727 0 -1 4202560 5043 0 0 0 15 1 0 0 20 0 15 0 95148184 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675227127504 139675215574389 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1805] ppid=1798 vsize=13978596 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1805/stat : 1805 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675160497168 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1806] ppid=1798 vsize=13978596 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1806/stat : 1806 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675159444624 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1807] ppid=1798 vsize=13978596 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1807/stat : 1807 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675158391568 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1808] ppid=1798 vsize=13978596 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1808/stat : 1808 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148185 14314082304 9221 33554432000 4194304 4196468 140727535857376 139675157339024 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1809] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1809/stat : 1809 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674764224752 139675222907522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1814] ppid=1798 vsize=13978596 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1814/stat : 1814 (java) S 1798 1798 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674763170976 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1816] ppid=1798 vsize=13978596 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95148187 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674762117872 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13978596 memory=-1807685287717842718 CPUtime=0.02 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) S 1798 1798 31727 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674760014576 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13978596 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) S 1798 1798 31727 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674758962032 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13978596 memory=6944656592455097440 CPUtime=0.06 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) R 1798 1798 31727 0 -1 4202560 755 0 0 0 6 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674757908976 139675201012123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13978596 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13978596 memory=-2672971631234216029 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148190 14314082304 9221 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 38268 KiB

[startup+0.700769 s]
/proc/loadavg: 1.11 1.04 1.13 4/218 1823
/proc/meminfo: memFree=26531232/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0
[pid=1801] ppid=1798 vsize=13982928 memory=63220 CPUtime=0.82 cores=0,2,4,6
/proc/1801/stat : 1801 (java) S 1798 1798 31727 0 -1 1077944320 10961 0 1 0 79 3 0 0 20 0 15 0 95148184 14318518272 15805 33554432000 4194304 4196468 140727535857376 140727535839920 139675222896375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
/proc/1801/statm: 3495732 15805 3166 1 0 3482966 0
[pid=1801/tid=1803] ppid=1798 vsize=13982928 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/1801/task/1803/stat : 1803 (java) R 1798 1798 31727 0 -1 4202560 6089 0 1 0 37 2 0 0 20 0 15 0 95148184 14318518272 15805 33554432000 4194304 4196468 140727535857376 139675227133904 139674836348040 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1805] ppid=1798 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1805/stat : 1805 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14318518272 15805 33554432000 4194304 4196468 140727535857376 139675160497168 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1806] ppid=1798 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1806/stat : 1806 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14318518272 15805 33554432000 4194304 4196468 140727535857376 139675159444624 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1807] ppid=1798 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1807/stat : 1807 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148185 14318518272 15805 33554432000 4194304 4196468 140727535857376 139675158391568 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1808] ppid=1798 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1808/stat : 1808 (java) S 1798 1798 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95148185 14318518272 15805 33554432000 4194304 4196468 140727535857376 139675157339024 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1809] ppid=1798 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1809/stat : 1809 (java) S 1798 1798 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95148187 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674764224752 139675222907522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1814] ppid=1798 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1814/stat : 1814 (java) S 1798 1798 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95148187 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674763170976 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1816] ppid=1798 vsize=13982928 memory=2 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95148187 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674762117872 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13982928 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) R 1798 1798 31727 0 -1 4202560 1179 0 0 0 13 0 0 0 20 0 15 0 95148190 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674760003776 139675206307350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13982928 memory=1196 CPUtime=0.11 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) R 1798 1798 31727 0 -1 4202560 1089 0 0 0 11 0 0 0 20 0 15 0 95148190 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674758948088 139675201313172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13982928 memory=10640 CPUtime=0.16 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) R 1798 1798 31727 0 -1 1077944384 1298 0 0 0 16 0 0 0 20 0 15 0 95148190 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674757908976 139675222907522 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13982928 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13982928 memory=15508 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95148190 14318518272 15805 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 0.82 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 64604 KiB

[startup+1.50152 s]
/proc/loadavg: 1.11 1.04 1.13 8/218 1823
/proc/meminfo: memFree=26412860/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0

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

/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 95148187 14320615424 43102 33554432000 4194304 4196468 140727535857376 139674762117888 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13984976 memory=4638778398332698721 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 43102 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13984976 memory=4012 CPUtime=1.88 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) S 1798 1798 31727 0 -1 1077944384 8254 0 0 0 188 0 0 0 20 0 15 0 95148190 14320615424 43102 33554432000 4194304 4196468 140727535857376 139674760014576 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13984976 memory=27268 CPUtime=1.81 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) S 1798 1798 31727 0 -1 1077944384 6493 0 0 0 180 1 0 0 20 0 15 0 95148190 14320615424 43102 33554432000 4194304 4196468 140727535857376 139674758962032 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13984976 memory=1296 CPUtime=0.65 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) S 1798 1798 31727 0 -1 1077944384 6574 0 0 0 64 1 0 0 20 0 15 0 95148190 14320615424 43102 33554432000 4194304 4196468 140727535857376 139674757908976 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13984976 memory=6737 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 43102 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13984976 memory=2276 CPUtime=0.03 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 193 0 0 0 1 2 0 0 20 0 15 0 95148190 14320615424 43102 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 106.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 173792 KiB

[startup+162.301 s]
/proc/loadavg: 1.39 1.19 1.17 3/218 1825
/proc/meminfo: memFree=26280236/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0
[pid=1801] ppid=1798 vsize=13984976 memory=133568 CPUtime=166.9 cores=0,2,4,6
/proc/1801/stat : 1801 (java) S 1798 1798 31727 0 -1 1077944320 44717 0 1 0 16664 26 0 0 20 0 15 0 95148184 14320615424 33392 33554432000 4194304 4196468 140727535857376 140727535839920 139675222896375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
/proc/1801/statm: 3496244 33392 3270 1 0 3483478 0
[pid=1801/tid=1803] ppid=1798 vsize=13984976 memory=133568 CPUtime=161.76 cores=0,2,4,6
/proc/1801/task/1803/stat : 1803 (java) R 1798 1798 31727 0 -1 4202560 11632 0 1 0 16172 4 0 0 20 0 15 0 95148184 14320615424 33392 33554432000 4194304 4196468 140727535857376 139675227135808 139674843133091 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1805] ppid=1798 vsize=13984976 memory=1384 CPUtime=0.12 cores=0,2,4,6
/proc/1801/task/1805/stat : 1805 (java) S 1798 1798 31727 0 -1 1077944384 1449 0 0 0 9 3 0 0 20 0 15 0 95148185 14320615424 33392 33554432000 4194304 4196468 140727535857376 139675160497168 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1806] ppid=1798 vsize=13984976 memory=134004 CPUtime=0.11 cores=0,2,4,6
/proc/1801/task/1806/stat : 1806 (java) S 1798 1798 31727 0 -1 1077944384 1111 0 0 0 8 3 0 0 20 0 15 0 95148185 14320615424 33392 33554432000 4194304 4196468 140727535857376 139675159444624 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1807] ppid=1798 vsize=13984976 memory=134004 CPUtime=0.11 cores=0,2,4,6
/proc/1801/task/1807/stat : 1807 (java) S 1798 1798 31727 0 -1 1077944384 983 0 0 0 8 3 0 0 20 0 15 0 95148185 14320615424 33392 33554432000 4194304 4196468 140727535857376 139675158391568 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1808] ppid=1798 vsize=13984976 memory=133568 CPUtime=0.11 cores=0,2,4,6
/proc/1801/task/1808/stat : 1808 (java) S 1798 1798 31727 0 -1 1077944384 1757 0 0 0 8 3 0 0 20 0 15 0 95148185 14320615424 33392 33554432000 4194304 4196468 140727535857376 139675157339024 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1809] ppid=1798 vsize=13984976 memory=133568 CPUtime=0.06 cores=0,2,4,6
/proc/1801/task/1809/stat : 1809 (java) S 1798 1798 31727 0 -1 1077944384 1653 0 0 0 4 2 0 0 20 0 15 0 95148187 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674764224752 139675222907522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1814] ppid=1798 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1814/stat : 1814 (java) S 1798 1798 31727 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95148187 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674763171040 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1816] ppid=1798 vsize=13984976 memory=2984 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 95148187 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674762117888 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13984976 memory=135028 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13984976 memory=1384 CPUtime=1.9 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) S 1798 1798 31727 0 -1 1077944384 8928 0 0 0 190 0 0 0 20 0 15 0 95148190 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674760014576 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13984976 memory=134516 CPUtime=1.91 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) S 1798 1798 31727 0 -1 1077944384 7699 0 0 0 190 1 0 0 20 0 15 0 95148190 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674758962032 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13984976 memory=1384 CPUtime=0.67 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) S 1798 1798 31727 0 -1 1077944384 7930 0 0 0 66 1 0 0 20 0 15 0 95148190 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674757908976 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13984976 memory=134080 CPUtime=0.05 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 223 0 0 0 2 3 0 0 20 0 15 0 95148190 14320615424 33392 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 166.9 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 134952 KiB

[startup+222.301 s]
/proc/loadavg: 1.47 1.25 1.19 3/218 1827
/proc/meminfo: memFree=26232440/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0
[pid=1801] ppid=1798 vsize=13984976 memory=134084 CPUtime=226.96 cores=0,2,4,6
/proc/1801/stat : 1801 (java) S 1798 1798 31727 0 -1 1077944320 46313 0 1 0 22669 27 0 0 20 0 15 0 95148184 14320615424 33521 33554432000 4194304 4196468 140727535857376 140727535839920 139675222896375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
/proc/1801/statm: 3496244 33521 3270 1 0 3483478 0
[pid=1801/tid=1803] ppid=1798 vsize=13984976 memory=1384 CPUtime=221.71 cores=0,2,4,6
/proc/1801/task/1803/stat : 1803 (java) R 1798 1798 31727 0 -1 4202560 12126 0 1 0 22167 4 0 0 20 0 15 0 95148184 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675227135808 139674842338221 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1805] ppid=1798 vsize=13984976 memory=134084 CPUtime=0.13 cores=0,2,4,6
/proc/1801/task/1805/stat : 1805 (java) S 1798 1798 31727 0 -1 1077944384 1815 0 0 0 10 3 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675160497168 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1806] ppid=1798 vsize=13984976 memory=134084 CPUtime=0.13 cores=0,2,4,6
/proc/1801/task/1806/stat : 1806 (java) S 1798 1798 31727 0 -1 1077944384 1166 0 0 0 10 3 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675159444624 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1807] ppid=1798 vsize=13984976 memory=134084 CPUtime=0.13 cores=0,2,4,6
/proc/1801/task/1807/stat : 1807 (java) S 1798 1798 31727 0 -1 1077944384 1002 0 0 0 10 3 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675158391568 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1808] ppid=1798 vsize=13984976 memory=1384 CPUtime=0.13 cores=0,2,4,6
/proc/1801/task/1808/stat : 1808 (java) S 1798 1798 31727 0 -1 1077944384 1833 0 0 0 10 3 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675157339024 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1809] ppid=1798 vsize=13984976 memory=134084 CPUtime=0.07 cores=0,2,4,6
/proc/1801/task/1809/stat : 1809 (java) S 1798 1798 31727 0 -1 1077944384 1894 0 0 0 5 2 0 0 20 0 15 0 95148187 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674764224752 139675222907522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1814] ppid=1798 vsize=13984976 memory=27276 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1814/stat : 1814 (java) S 1798 1798 31727 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95148187 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674763171040 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1816] ppid=1798 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 95148187 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674762117888 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13984976 memory=134084 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13984976 memory=4012 CPUtime=1.91 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) S 1798 1798 31727 0 -1 1077944384 8956 0 0 0 191 0 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674760014576 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13984976 memory=134084 CPUtime=1.91 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) S 1798 1798 31727 0 -1 1077944384 7707 0 0 0 190 1 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674758962032 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13984976 memory=4012 CPUtime=0.67 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) S 1798 1798 31727 0 -1 1077944384 8217 0 0 0 66 1 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674757908976 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13984976 memory=3196 CPUtime=0.06 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 245 0 0 0 2 4 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 226.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 135468 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.49 1.26 1.19 2/201 1829
/proc/meminfo: memFree=26461764/32770624 swapFree=67108860/67108860
[pid=1798] ppid=1795 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (xcsp3-exec) S 1795 1798 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95148184 9740288 346 33554432000 4194304 5098028 140729930597632 140729930595736 140299598905980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24481792 140729930605684 140729930605888 140729930605888 140729930608619 0
/proc/1798/statm: 2378 346 289 221 0 87 0
[pid=1801] ppid=1798 vsize=13984976 memory=134084 CPUtime=244.71 cores=0,2,4,6
/proc/1801/stat : 1801 (java) S 1798 1798 31727 0 -1 1077944320 46356 0 1 0 24443 28 0 0 20 0 15 0 95148184 14320615424 33521 33554432000 4194304 4196468 140727535857376 140727535839920 139675222896375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
/proc/1801/statm: 3496244 33521 3270 1 0 3483478 0
[pid=1801/tid=1803] ppid=1798 vsize=13984976 memory=6935054825532540783 CPUtime=239.39 cores=0,2,4,6
/proc/1801/task/1803/stat : 1803 (java) R 1798 1798 31727 0 -1 4202560 12153 0 1 0 23935 4 0 0 20 0 15 0 95148184 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675227135920 139674843186972 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1805] ppid=1798 vsize=13984976 memory=4126316290023845779 CPUtime=0.14 cores=0,2,4,6
/proc/1801/task/1805/stat : 1805 (java) S 1798 1798 31727 0 -1 1077944384 1822 0 0 0 11 3 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675160497168 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1806] ppid=1798 vsize=13984976 memory=16432 CPUtime=0.14 cores=0,2,4,6
/proc/1801/task/1806/stat : 1806 (java) S 1798 1798 31727 0 -1 1077944384 1168 0 0 0 11 3 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675159444624 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1807] ppid=1798 vsize=13984976 memory=4040 CPUtime=0.14 cores=0,2,4,6
/proc/1801/task/1807/stat : 1807 (java) S 1798 1798 31727 0 -1 1077944384 1005 0 0 0 10 4 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675158391568 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1808] ppid=1798 vsize=13984976 memory=1792 CPUtime=0.14 cores=0,2,4,6
/proc/1801/task/1808/stat : 1808 (java) S 1798 1798 31727 0 -1 1077944384 1836 0 0 0 11 3 0 0 20 0 15 0 95148185 14320615424 33521 33554432000 4194304 4196468 140727535857376 139675157339024 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1809] ppid=1798 vsize=13984976 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/1801/task/1809/stat : 1809 (java) S 1798 1798 31727 0 -1 1077944384 1895 0 0 0 6 2 0 0 20 0 15 0 95148187 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674764224752 139675222907522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1814] ppid=1798 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1814/stat : 1814 (java) S 1798 1798 31727 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95148187 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674763171040 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1816] ppid=1798 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1816/stat : 1816 (java) S 1798 1798 31727 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 95148187 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674762117888 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1818] ppid=1798 vsize=13984976 memory=134084 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1818/stat : 1818 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674761066448 139675222914971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1819] ppid=1798 vsize=13984976 memory=1428 CPUtime=1.91 cores=0,2,4,6
/proc/1801/task/1819/stat : 1819 (java) S 1798 1798 31727 0 -1 1077944384 8956 0 0 0 191 0 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674760014576 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1820] ppid=1798 vsize=13984976 memory=1012 CPUtime=1.91 cores=0,2,4,6
/proc/1801/task/1820/stat : 1820 (java) S 1798 1798 31727 0 -1 1077944384 7707 0 0 0 190 1 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674758962032 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1821] ppid=1798 vsize=13984976 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/1801/task/1821/stat : 1821 (java) S 1798 1798 31727 0 -1 1077944384 8217 0 0 0 66 1 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674757908976 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1822] ppid=1798 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/1801/task/1822/stat : 1822 (java) S 1798 1798 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674756856672 139675222906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
[pid=1801/tid=1823] ppid=1798 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/1801/task/1823/stat : 1823 (java) S 1798 1798 31727 0 -1 1077944384 245 0 0 0 3 4 0 0 20 0 15 0 95148190 14320615424 33521 33554432000 4194304 4196468 140727535857376 139674755803696 139675222907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37560320 140727535862941 140727535863116 140727535863116 140727535865807 0
Current children cumulated CPU time: 244.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 135468 KiB

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

[startup+240.02 s]
# the end of solver process 1798 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001021 s, system=0.001021 s

[startup+240.021 s]
# the end of solver process 1801 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.445 s, system=0.289203 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): 240.021
CPU time (s): 244.734
CPU user time (s): 244.445
CPU system time (s): 0.289203
CPU usage (%): 101.964
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 248808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.445
system time used= 0.289203
maximum resident set size= 247916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47527
page faults= 1
swaps= 0
block input operations= 3256
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9694
involuntary context switches= 457


# summary of solver processes directly reported to runsolver:
#   pid: 1798,1801
#   total CPU time (s): 244.734
#   total CPU user time (s): 244.445
#   total CPU system time (s): 0.289203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34753 second user time and 2.33674 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	26
Best CPU time to get the best result obtained on this benchmark	240.039
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4270104

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
