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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	SAT (TO)	24	2400.55	604.698
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 (2629 MiB free)
  memory of node 1: 16384 MiB (3057 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404206-1568989799/watcher-4404206-1568989799 -o /var/tmp/evaluation-result-4404206-1568989799/solver-4404206-1568989799 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19952 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1008201670 HOME/instance-4404206-1568989799.xml 

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

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

solver pid=22883, runsolver pid=22880

[startup+0.100789 s]*
/proc/loadavg: 7.92 8.20 7.15 6/233 22899
/proc/meminfo: memFree=5807408/32770624 swapFree=66953200/67108860
[pid=22883] ppid=22880 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (xcsp3-exec) S 22880 22883 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894752 115843072 363 33554432000 4194304 5098028 140731320709424 140731320707528 140562928640636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34148352 140731320718166 140731320718425 140731320718425 140731320721350 0
/proc/22883/statm: 28282 363 304 221 0 87 0
[pid=22885] ppid=22883 vsize=15144776 memory=28852 CPUtime=0.13 cores=1,3,5,7
/proc/22885/stat : 22885 (java) S 22883 22883 19920 0 -1 1077944320 5682 0 0 0 12 1 0 0 20 0 15 0 474894752 15508250624 7213 33554432000 4194304 4196468 140731878845904 140731878828448 140059939200759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
/proc/22885/statm: 3786194 7213 3181 1 0 3748377 0
[pid=22885/tid=22886] ppid=22883 vsize=15144776 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/22885/task/22886/stat : 22886 (java) R 22883 22883 19920 0 -1 4202560 3552 0 0 0 8 1 0 0 20 0 15 0 474894753 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059943430352 140059939212694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22887] ppid=22883 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22887/stat : 22887 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059891821072 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22888] ppid=22883 vsize=15144776 memory=140257719309952 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22888/stat : 22888 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059530418832 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22889] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22889/stat : 22889 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059529365776 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22890] ppid=22883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22890/stat : 22890 (java) S 22883 22883 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894754 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059528313232 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22891] ppid=22883 vsize=15144776 memory=140257719309952 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22891/stat : 22891 (java) S 22883 22883 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894755 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059407756016 140059939211906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22892] ppid=22883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22892/stat : 22892 (java) S 22883 22883 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894755 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059406702240 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22893] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22893/stat : 22893 (java) S 22883 22883 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894755 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059405649136 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22894] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22894/stat : 22894 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059404597712 140059939219355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22895] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22895/stat : 22895 (java) R 22883 22883 19920 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059403544816 140059939211906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22896] ppid=22883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22896/stat : 22896 (java) R 22883 22883 19920 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059402492272 140059924818039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22897] ppid=22883 vsize=15144776 memory=140257719309952 CPUtime=0.02 cores=1,3,5,7
/proc/22885/task/22897/stat : 22897 (java) S 22883 22883 19920 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 474894758 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059401439216 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22898] ppid=22883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22898/stat : 22898 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059400386912 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22899] ppid=22883 vsize=15144776 memory=140257719309952 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22899/stat : 22899 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 7213 33554432000 4194304 4196468 140731878845904 140059399334960 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30304 KiB

[startup+0.210971 s]*
/proc/loadavg: 7.92 8.20 7.15 7/233 22899
/proc/meminfo: memFree=5794896/32770624 swapFree=66953200/67108860
[pid=22883] ppid=22880 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (xcsp3-exec) S 22880 22883 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894752 115843072 363 33554432000 4194304 5098028 140731320709424 140731320707528 140562928640636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34148352 140731320718166 140731320718425 140731320718425 140731320721350 0
/proc/22883/statm: 28282 363 304 221 0 87 0
[pid=22885] ppid=22883 vsize=15144776 memory=41032 CPUtime=0.34 cores=1,3,5,7
/proc/22885/stat : 22885 (java) S 22883 22883 19920 0 -1 1077944320 9482 0 0 0 31 3 0 0 20 0 15 0 474894752 15508250624 10258 33554432000 4194304 4196468 140731878845904 140731878828448 140059939200759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
/proc/22885/statm: 3786194 10258 3298 1 0 3748377 0
[pid=22885/tid=22886] ppid=22883 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22885/task/22886/stat : 22886 (java) R 22883 22883 19920 0 -1 4202560 6592 0 0 0 18 2 0 0 20 0 15 0 474894753 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059943435744 140059923281246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22887] ppid=22883 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22887/stat : 22887 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059891821072 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22888] ppid=22883 vsize=15144776 memory=288230376155275431 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22888/stat : 22888 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059530418832 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22889] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22889/stat : 22889 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059529365776 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22890] ppid=22883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22890/stat : 22890 (java) S 22883 22883 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894754 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059528313232 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22891] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22891/stat : 22891 (java) S 22883 22883 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474894755 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059407756016 140059939211906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22892] ppid=22883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22892/stat : 22892 (java) S 22883 22883 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894755 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059406702240 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22893] ppid=22883 vsize=15144776 memory=140257719309952 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22893/stat : 22893 (java) S 22883 22883 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894755 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059405649136 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22894] ppid=22883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22894/stat : 22894 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059404597712 140059939219355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22895] ppid=22883 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22885/task/22895/stat : 22895 (java) S 22883 22883 19920 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 474894758 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059403544816 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22896] ppid=22883 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22885/task/22896/stat : 22896 (java) R 22883 22883 19920 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 474894758 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059402492272 140059939211906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22897] ppid=22883 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22885/task/22897/stat : 22897 (java) S 22883 22883 19920 0 -1 1077944384 804 0 0 0 8 0 0 0 20 0 15 0 474894758 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059401439216 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22898] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22898/stat : 22898 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059400386912 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22899] ppid=22883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22899/stat : 22899 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894758 15508250624 10258 33554432000 4194304 4196468 140731878845904 140059399334960 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42484 KiB

[startup+0.310399 s]*
/proc/loadavg: 7.92 8.20 7.15 7/233 22899
/proc/meminfo: memFree=5787388/32770624 swapFree=66953200/67108860
[pid=22883] ppid=22880 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (xcsp3-exec) S 22880 22883 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894752 115843072 363 33554432000 4194304 5098028 140731320709424 140731320707528 140562928640636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34148352 140731320718166 140731320718425 140731320718425 140731320721350 0
/proc/22883/statm: 28282 363 304 221 0 87 0
[pid=22885] ppid=22883 vsize=15149032 memory=50172 CPUtime=0.54 cores=1,3,5,7
/proc/22885/stat : 22885 (java) S 22883 22883 19920 0 -1 1077944320 10857 0 0 0 50 4 0 0 20 0 15 0 474894752 15512608768 12543 33554432000 4194304 4196468 140731878845904 140731878828448 140059939200759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
/proc/22885/statm: 3787258 12543 3358 1 0 3748377 0
[pid=22885/tid=22886] ppid=22883 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/22885/task/22886/stat : 22886 (java) R 22883 22883 19920 0 -1 4202560 7784 0 0 0 27 3 0 0 20 0 15 0 474894753 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059943436704 140059923281246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22887] ppid=22883 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22887/stat : 22887 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059891821072 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22888] ppid=22883 vsize=15149032 memory=288230376155271054 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22888/stat : 22888 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059530418832 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22889] ppid=22883 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22889/stat : 22889 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059529365776 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22890] ppid=22883 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22890/stat : 22890 (java) S 22883 22883 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894754 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059528313232 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22891] ppid=22883 vsize=15149032 memory=140257719309952 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22891/stat : 22891 (java) S 22883 22883 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474894755 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059407756016 140059939211906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22892] ppid=22883 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22892/stat : 22892 (java) S 22883 22883 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894755 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059406702240 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22893] ppid=22883 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22893/stat : 22893 (java) S 22883 22883 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894755 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059405649136 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22894] ppid=22883 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22894/stat : 22894 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059404597712 140059939219355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22895] ppid=22883 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22885/task/22895/stat : 22895 (java) R 22883 22883 19920 0 -1 4202560 605 0 0 0 5 0 0 0 20 0 15 0 474894758 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059403536272 140059920610909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22896] ppid=22883 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22885/task/22896/stat : 22896 (java) S 22883 22883 19920 0 -1 1077944384 287 0 0 0 4 0 0 0 20 0 15 0 474894758 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059402492272 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22897] ppid=22883 vsize=15149032 memory=140257719309952 CPUtime=0.13 cores=1,3,5,7
/proc/22885/task/22897/stat : 22897 (java) S 22883 22883 19920 0 -1 1077944384 884 0 0 0 13 0 0 0 20 0 15 0 474894758 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059401439216 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22898] ppid=22883 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22898/stat : 22898 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059400386912 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22899] ppid=22883 vsize=15149032 memory=140257719309952 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22899/stat : 22899 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894758 15512608768 12543 33554432000 4194304 4196468 140731878845904 140059399334960 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51624 KiB

[startup+0.700854 s]
/proc/loadavg: 7.92 8.20 7.15 8/233 22899
/proc/meminfo: memFree=5765616/32770624 swapFree=66953200/67108860
[pid=22883] ppid=22880 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (xcsp3-exec) S 22880 22883 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894752 115843072 363 33554432000 4194304 5098028 140731320709424 140731320707528 140562928640636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34148352 140731320718166 140731320718425 140731320718425 140731320721350 0
/proc/22883/statm: 28282 363 304 221 0 87 0
[pid=22885] ppid=22883 vsize=15151156 memory=108496 CPUtime=1.74 cores=1,3,5,7
/proc/22885/stat : 22885 (java) S 22883 22883 19920 0 -1 1077944320 14660 0 0 0 168 6 0 0 20 0 15 0 474894752 15514783744 27124 33554432000 4194304 4196468 140731878845904 140731878828448 140059939200759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
/proc/22885/statm: 3787789 27124 3444 1 0 3748889 0
[pid=22885/tid=22886] ppid=22883 vsize=15151156 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/22885/task/22886/stat : 22886 (java) R 22883 22883 19920 0 -1 4202560 8329 0 0 0 64 4 0 0 20 0 15 0 474894753 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059943438176 140059575189587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22887] ppid=22883 vsize=15151156 memory=520 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22887/stat : 22887 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059891821072 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22888] ppid=22883 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22888/stat : 22888 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059530418832 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22889] ppid=22883 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22889/stat : 22889 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894753 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059529365776 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22890] ppid=22883 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22890/stat : 22890 (java) S 22883 22883 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894754 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059528313232 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22891] ppid=22883 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22891/stat : 22891 (java) S 22883 22883 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474894755 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059407756016 140059939211906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22892] ppid=22883 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22892/stat : 22892 (java) S 22883 22883 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894755 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059406702240 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22893] ppid=22883 vsize=15151156 memory=800 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22893/stat : 22893 (java) S 22883 22883 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894755 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059405649136 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22894] ppid=22883 vsize=15151156 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22894/stat : 22894 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059404597712 140059939219355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22895] ppid=22883 vsize=15151156 memory=7453282923444726100 CPUtime=0.35 cores=1,3,5,7
/proc/22885/task/22895/stat : 22895 (java) R 22883 22883 19920 0 -1 4202560 1618 0 0 0 35 0 0 0 20 0 15 0 474894758 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059403530840 140059920722159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22896] ppid=22883 vsize=15151156 memory=4639059877604708710 CPUtime=0.35 cores=1,3,5,7
/proc/22885/task/22896/stat : 22896 (java) R 22883 22883 19920 0 -1 4202560 1521 0 0 0 35 0 0 0 20 0 15 0 474894758 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059402478296 140059920745397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22897] ppid=22883 vsize=15151156 memory=8514726395715219869 CPUtime=0.32 cores=1,3,5,7
/proc/22885/task/22897/stat : 22897 (java) S 22883 22883 19920 0 -1 1077944384 1884 0 0 0 32 0 0 0 20 0 15 0 474894758 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059401439216 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22898] ppid=22883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22898/stat : 22898 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894758 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059400386912 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22899] ppid=22883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22899/stat : 22899 (java) S 22883 22883 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894758 15514783744 27124 33554432000 4194304 4196468 140731878845904 140059399334960 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109948 KiB

[startup+1.50087 s]
/proc/loadavg: 7.92 8.20 7.15 8/233 22899
/proc/meminfo: memFree=5684448/32770624 swapFree=66953200/67108860
[pid=22883] ppid=22880 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (xcsp3-exec) S 22880 22883 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894752 115843072 363 33554432000 4194304 5098028 140731320709424 140731320707528 140562928640636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34148352 140731320718166 140731320718425 140731320718425 140731320721350 0
/proc/22883/statm: 28282 363 304 221 0 87 0

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

/proc/22885/stat : 22885 (java) S 22883 22883 19920 0 -1 1077944320 100961 0 0 0 207276 81 0 0 20 0 19 0 474894752 15790579712 414131 33554432000 4194304 4196468 140731878845904 140731878828448 140059939200759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
/proc/22885/statm: 3855122 414131 3553 1 0 3816222 0
[pid=22885/tid=22886] ppid=22883 vsize=15420488 memory=1656440 CPUtime=2.29 cores=1,3,5,7
/proc/22885/task/22886/stat : 22886 (java) S 22883 22883 19920 0 -1 1077944384 10857 0 0 0 224 5 0 0 20 0 19 0 474894753 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059943441536 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22887] ppid=22883 vsize=15420488 memory=1656440 CPUtime=1.02 cores=1,3,5,7
/proc/22885/task/22887/stat : 22887 (java) S 22883 22883 19920 0 -1 1077944384 4303 0 0 0 96 6 0 0 20 0 19 0 474894753 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059891821072 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22888] ppid=22883 vsize=15420488 memory=1656524 CPUtime=0.99 cores=1,3,5,7
/proc/22885/task/22888/stat : 22888 (java) S 22883 22883 19920 0 -1 1077944384 9701 0 0 0 92 7 0 0 20 0 19 0 474894753 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059530418832 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22889] ppid=22883 vsize=15420488 memory=1452 CPUtime=1.01 cores=1,3,5,7
/proc/22885/task/22889/stat : 22889 (java) S 22883 22883 19920 0 -1 1077944384 3351 0 0 0 94 7 0 0 20 0 19 0 474894753 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059529365776 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22890] ppid=22883 vsize=15420488 memory=1656440 CPUtime=1.01 cores=1,3,5,7
/proc/22885/task/22890/stat : 22890 (java) S 22883 22883 19920 0 -1 1077944384 4584 0 0 0 94 7 0 0 20 0 19 0 474894754 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059528313232 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22891] ppid=22883 vsize=15420488 memory=1452 CPUtime=0.41 cores=1,3,5,7
/proc/22885/task/22891/stat : 22891 (java) S 22883 22883 19920 0 -1 1077944384 11557 0 0 0 34 7 0 0 20 0 19 0 474894755 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059407756016 140059939211906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22892] ppid=22883 vsize=15420488 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22892/stat : 22892 (java) S 22883 22883 19920 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 474894755 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059406702304 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22893] ppid=22883 vsize=15420488 memory=3404 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22893/stat : 22893 (java) S 22883 22883 19920 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 474894755 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059405649152 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22894] ppid=22883 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22894/stat : 22894 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894758 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059404597712 140059939219355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22895] ppid=22883 vsize=15420488 memory=1452 CPUtime=3.42 cores=1,3,5,7
/proc/22885/task/22895/stat : 22895 (java) S 22883 22883 19920 0 -1 1077944384 15709 0 0 0 340 2 0 0 20 0 19 0 474894758 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059403544816 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22896] ppid=22883 vsize=15420488 memory=1656440 CPUtime=3.4 cores=1,3,5,7
/proc/22885/task/22896/stat : 22896 (java) S 22883 22883 19920 0 -1 1077944384 11867 0 0 0 339 1 0 0 20 0 19 0 474894758 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059402492272 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22897] ppid=22883 vsize=15420488 memory=6656426216303648864 CPUtime=0.95 cores=1,3,5,7
/proc/22885/task/22897/stat : 22897 (java) S 22883 22883 19920 0 -1 1077944384 8194 0 0 0 93 2 0 0 20 0 19 0 474894758 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059401439216 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22898] ppid=22883 vsize=15420488 memory=1656440 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22898/stat : 22898 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894758 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059400386912 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22899] ppid=22883 vsize=15420488 memory=1656440 CPUtime=0.18 cores=1,3,5,7
/proc/22885/task/22899/stat : 22899 (java) S 22883 22883 19920 0 -1 1077944384 614 0 0 0 0 18 0 0 20 0 19 0 474894758 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059399334960 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22916] ppid=22883 vsize=15420488 memory=1656440 CPUtime=514.36 cores=1,3,5,7
/proc/22885/task/22916/stat : 22916 (java) R 22883 22883 19920 0 -1 4202560 1302 0 0 0 51435 1 0 0 20 0 19 0 474895036 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059389062736 140059579986022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22917] ppid=22883 vsize=15420488 memory=1794516 CPUtime=514.57 cores=1,3,5,7
/proc/22885/task/22917/stat : 22917 (java) R 22883 22883 19920 0 -1 4202560 5312 0 0 0 51443 14 0 0 20 0 19 0 474895036 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059386958152 140059579985891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22918] ppid=22883 vsize=15420488 memory=341 CPUtime=514.25 cores=1,3,5,7
/proc/22885/task/22918/stat : 22918 (java) R 22883 22883 19920 0 -1 4202560 8947 0 0 0 51411 14 0 0 20 0 19 0 474895036 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059385905152 140059580344052 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22919] ppid=22883 vsize=15420488 memory=339 CPUtime=514.73 cores=1,3,5,7
/proc/22885/task/22919/stat : 22919 (java) R 22883 22883 19920 0 -1 4202560 2821 0 0 0 51469 4 0 0 20 0 19 0 474895036 15790579712 414131 33554432000 4194304 4196468 140731878845904 140059390118560 140059579985882 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
Current children cumulated CPU time: 2073.57 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 1657976 KiB

[startup+582.302 s]
/proc/loadavg: 8.39 8.49 7.81 9/239 23799
/proc/meminfo: memFree=1793320/32770624 swapFree=66953200/67108860
[pid=22883] ppid=22880 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (xcsp3-exec) S 22880 22883 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894752 115843072 363 33554432000 4194304 5098028 140731320709424 140731320707528 140562928640636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34148352 140731320718166 140731320718425 140731320718425 140731320721350 0
/proc/22883/statm: 28282 363 304 221 0 87 0
[pid=22885] ppid=22883 vsize=15420488 memory=1674268 CPUtime=2311.6 cores=1,3,5,7
/proc/22885/stat : 22885 (java) S 22883 22883 19920 0 -1 1077944320 110205 0 0 0 231075 85 0 0 20 0 19 0 474894752 15790579712 418567 33554432000 4194304 4196468 140731878845904 140731878828448 140059939200759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
/proc/22885/statm: 3855122 418567 3554 1 0 3816222 0
[pid=22885/tid=22886] ppid=22883 vsize=15420488 memory=1674252 CPUtime=2.29 cores=1,3,5,7
/proc/22885/task/22886/stat : 22886 (java) S 22883 22883 19920 0 -1 1077944384 10857 0 0 0 224 5 0 0 20 0 19 0 474894753 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059943441536 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22887] ppid=22883 vsize=15420488 memory=1656712 CPUtime=1.28 cores=1,3,5,7
/proc/22885/task/22887/stat : 22887 (java) S 22883 22883 19920 0 -1 1077944384 4732 0 0 0 121 7 0 0 20 0 19 0 474894753 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059891821072 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22888] ppid=22883 vsize=15420488 memory=1656624 CPUtime=1.25 cores=1,3,5,7
/proc/22885/task/22888/stat : 22888 (java) S 22883 22883 19920 0 -1 1077944384 10245 0 0 0 117 8 0 0 20 0 19 0 474894753 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059530418832 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22889] ppid=22883 vsize=15420488 memory=1666016 CPUtime=1.27 cores=1,3,5,7
/proc/22885/task/22889/stat : 22889 (java) S 22883 22883 19920 0 -1 1077944384 4126 0 0 0 119 8 0 0 20 0 19 0 474894753 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059529365776 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22890] ppid=22883 vsize=15420488 memory=1674252 CPUtime=1.27 cores=1,3,5,7
/proc/22885/task/22890/stat : 22890 (java) S 22883 22883 19920 0 -1 1077944384 5033 0 0 0 119 8 0 0 20 0 19 0 474894754 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059528313232 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22891] ppid=22883 vsize=15420488 memory=1674252 CPUtime=0.53 cores=1,3,5,7
/proc/22885/task/22891/stat : 22891 (java) S 22883 22883 19920 0 -1 1077944384 16797 0 0 0 44 9 0 0 20 0 19 0 474894755 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059407756016 140059939211906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22892] ppid=22883 vsize=15420488 memory=1674268 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22892/stat : 22892 (java) S 22883 22883 19920 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 474894755 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059406702304 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22893] ppid=22883 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22893/stat : 22893 (java) S 22883 22883 19920 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 474894755 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059405649152 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22894] ppid=22883 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22894/stat : 22894 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894758 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059404597712 140059939219355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22895] ppid=22883 vsize=15420488 memory=0 CPUtime=3.42 cores=1,3,5,7
/proc/22885/task/22895/stat : 22895 (java) S 22883 22883 19920 0 -1 1077944384 15852 0 0 0 340 2 0 0 20 0 19 0 474894758 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059403544816 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22896] ppid=22883 vsize=15420488 memory=1674260 CPUtime=3.4 cores=1,3,5,7
/proc/22885/task/22896/stat : 22896 (java) S 22883 22883 19920 0 -1 1077944384 12411 0 0 0 339 1 0 0 20 0 19 0 474894758 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059402492272 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22897] ppid=22883 vsize=15420488 memory=3504 CPUtime=0.95 cores=1,3,5,7
/proc/22885/task/22897/stat : 22897 (java) S 22883 22883 19920 0 -1 1077944384 8196 0 0 0 93 2 0 0 20 0 19 0 474894758 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059401439216 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22898] ppid=22883 vsize=15420488 memory=55228 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22898/stat : 22898 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894758 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059400386912 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22899] ppid=22883 vsize=15420488 memory=988 CPUtime=0.38 cores=1,3,5,7
/proc/22885/task/22899/stat : 22899 (java) S 22883 22883 19920 0 -1 1077944384 644 0 0 0 19 19 0 0 20 0 19 0 474894758 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059399334960 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22916] ppid=22883 vsize=15420488 memory=2008 CPUtime=573.66 cores=1,3,5,7
/proc/22885/task/22916/stat : 22916 (java) R 22883 22883 19920 0 -1 4202560 1466 0 0 0 57364 2 0 0 20 0 19 0 474895036 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059389062992 140059579986022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22917] ppid=22883 vsize=15420488 memory=1674260 CPUtime=573.63 cores=1,3,5,7
/proc/22885/task/22917/stat : 22917 (java) R 22883 22883 19920 0 -1 4202560 5604 0 0 0 57349 14 0 0 20 0 19 0 474895036 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059386960832 140059572484808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22918] ppid=22883 vsize=15420488 memory=1452 CPUtime=573.49 cores=1,3,5,7
/proc/22885/task/22918/stat : 22918 (java) R 22883 22883 19920 0 -1 4202560 9376 0 0 0 57334 15 0 0 20 0 19 0 474895036 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059385906056 140059572439776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22919] ppid=22883 vsize=15420488 memory=1674252 CPUtime=574.03 cores=1,3,5,7
/proc/22885/task/22919/stat : 22919 (java) R 22883 22883 19920 0 -1 4202560 3024 0 0 0 57399 4 0 0 20 0 19 0 474895036 15790579712 418567 33554432000 4194304 4196468 140731878845904 140059390115472 140059578955156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
Current children cumulated CPU time: 2311.6 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 1675720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.601 s]
/proc/loadavg: 8.31 8.47 7.82 10/238 23800
/proc/meminfo: memFree=1794516/32770624 swapFree=66953200/67108860
[pid=22883] ppid=22880 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (xcsp3-exec) S 22880 22883 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894752 115843072 363 33554432000 4194304 5098028 140731320709424 140731320707528 140562928640636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34148352 140731320718166 140731320718425 140731320718425 140731320721350 0
/proc/22883/statm: 28282 363 304 221 0 87 0
[pid=22885] ppid=22883 vsize=15420488 memory=1674336 CPUtime=2400.19 cores=1,3,5,7
/proc/22885/stat : 22885 (java) S 22883 22883 19920 0 -1 1077944320 112056 0 0 0 239933 86 0 0 20 0 19 0 474894752 15790579712 418584 33554432000 4194304 4196468 140731878845904 140731878828448 140059939200759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
/proc/22885/statm: 3855122 418584 3554 1 0 3816222 0
[pid=22885/tid=22886] ppid=22883 vsize=15420488 memory=288230596050944315 CPUtime=2.29 cores=1,3,5,7
/proc/22885/task/22886/stat : 22886 (java) S 22883 22883 19920 0 -1 1077944384 10857 0 0 0 224 5 0 0 20 0 19 0 474894753 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059943441536 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22887] ppid=22883 vsize=15420488 memory=14698517159486255 CPUtime=1.36 cores=1,3,5,7
/proc/22885/task/22887/stat : 22887 (java) S 22883 22883 19920 0 -1 1077944384 4973 0 0 0 129 7 0 0 20 0 19 0 474894753 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059891821072 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22888] ppid=22883 vsize=15420488 memory=111636 CPUtime=1.32 cores=1,3,5,7
/proc/22885/task/22888/stat : 22888 (java) S 22883 22883 19920 0 -1 1077944384 10621 0 0 0 124 8 0 0 20 0 19 0 474894753 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059530418832 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22889] ppid=22883 vsize=15420488 memory=808 CPUtime=1.35 cores=1,3,5,7
/proc/22885/task/22889/stat : 22889 (java) S 22883 22883 19920 0 -1 1077944384 4219 0 0 0 127 8 0 0 20 0 19 0 474894753 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059529365776 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22890] ppid=22883 vsize=15420488 memory=4108 CPUtime=1.35 cores=1,3,5,7
/proc/22885/task/22890/stat : 22890 (java) S 22883 22883 19920 0 -1 1077944384 5142 0 0 0 127 8 0 0 20 0 19 0 474894754 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059528313232 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22891] ppid=22883 vsize=15420488 memory=1808 CPUtime=0.56 cores=1,3,5,7
/proc/22885/task/22891/stat : 22891 (java) S 22883 22883 19920 0 -1 1077944384 17097 0 0 0 47 9 0 0 20 0 19 0 474894755 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059407756016 140059939211906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22892] ppid=22883 vsize=15420488 memory=924 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22892/stat : 22892 (java) S 22883 22883 19920 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 474894755 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059406702304 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22893] ppid=22883 vsize=15420488 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22893/stat : 22893 (java) S 22883 22883 19920 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 474894755 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059405649152 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22894] ppid=22883 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22894/stat : 22894 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894758 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059404597712 140059939219355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22895] ppid=22883 vsize=15420488 memory=280515188291040 CPUtime=3.42 cores=1,3,5,7
/proc/22885/task/22895/stat : 22895 (java) S 22883 22883 19920 0 -1 1077944384 15855 0 0 0 340 2 0 0 20 0 19 0 474894758 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059403544816 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22896] ppid=22883 vsize=15420488 memory=140257594157412 CPUtime=3.4 cores=1,3,5,7
/proc/22885/task/22896/stat : 22896 (java) S 22883 22883 19920 0 -1 1077944384 12413 0 0 0 339 1 0 0 20 0 19 0 474894758 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059402492272 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22897] ppid=22883 vsize=15420488 memory=3288 CPUtime=0.95 cores=1,3,5,7
/proc/22885/task/22897/stat : 22897 (java) S 22883 22883 19920 0 -1 1077944384 8198 0 0 0 93 2 0 0 20 0 19 0 474894758 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059401439216 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22898] ppid=22883 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22885/task/22898/stat : 22898 (java) S 22883 22883 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894758 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059400386912 140059939210965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22899] ppid=22883 vsize=15420488 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/22885/task/22899/stat : 22899 (java) S 22883 22883 19920 0 -1 1077944384 663 0 0 0 19 19 0 0 20 0 19 0 474894758 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059399334960 140059939211906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22916] ppid=22883 vsize=15420488 memory=4426639978525455914 CPUtime=595.75 cores=1,3,5,7
/proc/22885/task/22916/stat : 22916 (java) R 22883 22883 19920 0 -1 4202560 1594 0 0 0 59573 2 0 0 20 0 19 0 474895036 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059389063128 140059579989409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22917] ppid=22883 vsize=15420488 memory=3047711553219693942 CPUtime=595.68 cores=1,3,5,7
/proc/22885/task/22917/stat : 22917 (java) R 22883 22883 19920 0 -1 4202560 5770 0 0 0 59554 14 0 0 20 0 19 0 474895036 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059386960832 140059579234583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22918] ppid=22883 vsize=15420488 memory=-7521736447810188379 CPUtime=595.57 cores=1,3,5,7
/proc/22885/task/22918/stat : 22918 (java) R 22883 22883 19920 0 -1 4202560 9704 0 0 0 59542 15 0 0 20 0 19 0 474895036 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059385905328 140059580125943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
[pid=22885/tid=22919] ppid=22883 vsize=15420488 memory=-8412652160765825907 CPUtime=596.05 cores=1,3,5,7
/proc/22885/task/22919/stat : 22919 (java) R 22883 22883 19920 0 -1 4202560 3108 0 0 0 59601 4 0 0 20 0 19 0 474895036 15790579712 418584 33554432000 4194304 4196468 140731878845904 140059390115768 140059579989477 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9261056 140731878847451 140731878847626 140731878847626 140731878850511 0
Current children cumulated CPU time: 2400.19 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 1675788 KiB

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

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

[startup+604.697 s]
# the end of solver process 22885 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.67 s, system=0.880327 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): 604.698
CPU time (s): 2400.55
CPU user time (s): 2399.67
CPU system time (s): 0.880327
CPU usage (%): 396.984
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 1828744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.67
system time used= 0.880327
maximum resident set size= 1837484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35030
involuntary context switches= 41887


# summary of solver processes directly reported to runsolver:
#   pid: 22883,22885
#   total CPU time (s): 2400.55
#   total CPU user time (s): 2399.67
#   total CPU system time (s): 0.880327

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90484 second user time and 7.03991 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	31.2143
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404206

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
