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-24	SAT (TO)	33	2400.03	2390.42
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 (13654 MiB free)
  memory of node 1: 16384 MiB (14376 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406581-1569396671/watcher-4406581-1569396671 -o /tmp/evaluation-result-4406581-1569396671/solver-4406581-1569396671 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569396611-14060 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 560929136 HOME/instance-4406581-1569396671.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=14095, runsolver pid=14092

[startup+0.10006 s]*
/proc/loadavg: 0.00 0.01 0.05 5/230 14120
/proc/meminfo: memFree=28678612/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0
[pid=14097] ppid=14095 vsize=15144776 memory=29776 CPUtime=0.13 cores=1,3,5,7
/proc/14097/stat : 14097 (java) S 14095 14095 14027 0 -1 1077944320 5951 0 0 0 12 1 0 0 20 0 15 0 515920126 15508250624 7444 33554432000 4194304 4196468 140726677919248 140726677901792 140443011833591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
/proc/14097/statm: 3786194 7444 3121 1 0 3748377 0
[pid=14097/tid=14098] ppid=14095 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/14097/task/14098/stat : 14098 (java) R 14095 14095 14027 0 -1 4202560 3822 0 0 0 8 0 0 0 20 0 15 0 515920127 15508250624 7510 33554432000 4194304 4196468 140726677919248 140443016066368 140442628861064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14102] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14102/stat : 14102 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442604198928 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14103] ppid=14095 vsize=15144776 memory=3617991318091732640 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14103/stat : 14103 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442603146384 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14104] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14104/stat : 14104 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442602093328 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14105] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14105/stat : 14105 (java) S 14095 14095 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442601040784 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14106] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14106/stat : 14106 (java) S 14095 14095 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515920129 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442547656944 140443011844738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14107] ppid=14095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14107/stat : 14107 (java) S 14095 14095 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515920129 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442546603168 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14108] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515920129 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442477781744 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) S 14095 14095 14027 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442475678448 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) S 14095 14095 14027 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442474625904 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15144776 memory=140441710892672 CPUtime=0.02 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) R 14095 14095 14027 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 515920132 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442473572848 140442990789868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 7510 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31228 KiB

[startup+0.211679 s]*
/proc/loadavg: 0.00 0.01 0.05 6/230 14120
/proc/meminfo: memFree=28653968/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0
[pid=14097] ppid=14095 vsize=15144776 memory=40656 CPUtime=0.35 cores=1,3,5,7
/proc/14097/stat : 14097 (java) S 14095 14095 14027 0 -1 1077944320 9406 0 0 0 32 3 0 0 20 0 15 0 515920126 15508250624 10164 33554432000 4194304 4196468 140726677919248 140726677901792 140443011833591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
/proc/14097/statm: 3786194 10164 3274 1 0 3748377 0
[pid=14097/tid=14098] ppid=14095 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14097/task/14098/stat : 14098 (java) R 14095 14095 14027 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 515920127 15508250624 10164 33554432000 4194304 4196468 140726677919248 140443016070816 140443011854938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14102] ppid=14095 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14102/stat : 14102 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442604198928 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14103] ppid=14095 vsize=15144776 memory=140441714993251 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14103/stat : 14103 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442603146384 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14104] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14104/stat : 14104 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442602093328 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14105] ppid=14095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14105/stat : 14105 (java) S 14095 14095 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515920127 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442601040784 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14106] ppid=14095 vsize=15144776 memory=140441710892672 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14106/stat : 14106 (java) S 14095 14095 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515920129 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442547656944 140443011844738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14107] ppid=14095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14107/stat : 14107 (java) S 14095 14095 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515920129 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442546603168 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14108] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515920129 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442477781744 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) S 14095 14095 14027 0 -1 1077944384 577 0 0 0 3 0 0 0 20 0 15 0 515920132 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442475678448 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) S 14095 14095 14027 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 15 0 515920132 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442474625904 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15144776 memory=140441710892672 CPUtime=0.08 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) S 14095 14095 14027 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 515920132 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442473572848 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920132 15508250624 10164 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42108 KiB

[startup+0.315697 s]*
/proc/loadavg: 0.00 0.01 0.05 4/230 14120
/proc/meminfo: memFree=28638200/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0
[pid=14097] ppid=14095 vsize=15149032 memory=50296 CPUtime=0.54 cores=1,3,5,7
/proc/14097/stat : 14097 (java) S 14095 14095 14027 0 -1 1077944320 10906 0 0 0 50 4 0 0 20 0 15 0 515920126 15512608768 12574 33554432000 4194304 4196468 140726677919248 140726677901792 140443011833591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
/proc/14097/statm: 3787258 12574 3359 1 0 3748377 0
[pid=14097/tid=14098] ppid=14095 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/14097/task/14098/stat : 14098 (java) R 14095 14095 14027 0 -1 4202560 7850 0 0 0 28 2 0 0 20 0 15 0 515920127 15512608768 12583 33554432000 4194304 4196468 140726677919248 140443016067376 140443004550554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14102] ppid=14095 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14102/stat : 14102 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442604198928 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14103] ppid=14095 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14103/stat : 14103 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442603146384 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14104] ppid=14095 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14104/stat : 14104 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442602093328 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14105] ppid=14095 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14105/stat : 14105 (java) S 14095 14095 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515920127 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442601040784 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14106] ppid=14095 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14106/stat : 14106 (java) S 14095 14095 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515920129 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442547656944 140443011844738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14107] ppid=14095 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14107/stat : 14107 (java) S 14095 14095 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515920129 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442546603168 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14108] ppid=14095 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515920129 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442477781744 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) R 14095 14095 14027 0 -1 4202560 693 0 0 0 5 0 0 0 20 0 15 0 515920132 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442475659464 140442991090151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) S 14095 14095 14027 0 -1 1077944384 182 0 0 0 3 0 0 0 20 0 15 0 515920132 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442474625904 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) R 14095 14095 14027 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 15 0 515920132 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442473572848 140443011844738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920132 15512608768 12583 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51748 KiB

[startup+0.701743 s]
/proc/loadavg: 0.48 0.11 0.08 8/230 14120
/proc/meminfo: memFree=28594476/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0
[pid=14097] ppid=14095 vsize=15151156 memory=106996 CPUtime=1.7 cores=1,3,5,7
/proc/14097/stat : 14097 (java) S 14095 14095 14027 0 -1 1077944320 14299 0 0 0 165 5 0 0 20 0 15 0 515920126 15514783744 26749 33554432000 4194304 4196468 140726677919248 140726677901792 140443011833591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
/proc/14097/statm: 3787789 26749 3438 1 0 3748889 0
[pid=14097/tid=14098] ppid=14095 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/14097/task/14098/stat : 14098 (java) R 14095 14095 14027 0 -1 4202560 8265 0 0 0 63 4 0 0 20 0 15 0 515920127 15514783744 26749 33554432000 4194304 4196468 140726677919248 140443016065952 140442632208651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14102] ppid=14095 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14102/stat : 14102 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442604198928 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14103] ppid=14095 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14103/stat : 14103 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442603146384 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14104] ppid=14095 vsize=15151156 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14104/stat : 14104 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920127 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442602093328 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14105] ppid=14095 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14105/stat : 14105 (java) S 14095 14095 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515920127 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442601040784 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14106] ppid=14095 vsize=15151156 memory=676 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14106/stat : 14106 (java) S 14095 14095 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442547656944 140443011844738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14107] ppid=14095 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14107/stat : 14107 (java) S 14095 14095 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442546603168 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14108] ppid=14095 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442477781744 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15151156 memory=1712 CPUtime=0.35 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) R 14095 14095 14027 0 -1 4202560 1731 0 0 0 35 0 0 0 20 0 15 0 515920132 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442475670224 140442992469524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15151156 memory=1112 CPUtime=0.35 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) R 14095 14095 14027 0 -1 4202560 1204 0 0 0 35 0 0 0 20 0 15 0 515920132 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442474612656 140442996731216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15151156 memory=1004 CPUtime=0.3 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) S 14095 14095 14027 0 -1 1077944384 1793 0 0 0 30 0 0 0 20 0 15 0 515920132 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442473572848 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15151156 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 26749 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 108448 KiB

[startup+1.50086 s]
/proc/loadavg: 0.48 0.11 0.08 8/230 14120
/proc/meminfo: memFree=28381120/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0

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

/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 535384 33554432000 4194304 4196468 140726677919248 140442477781760 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15151156 memory=2141536 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 535384 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15151156 memory=1452 CPUtime=3.86 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) S 14095 14095 14027 0 -1 1077944384 26591 0 0 0 383 3 0 0 20 0 15 0 515920132 15514783744 535384 33554432000 4194304 4196468 140726677919248 140442475678448 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15151156 memory=2141536 CPUtime=3.83 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) S 14095 14095 14027 0 -1 1077944384 21233 0 0 0 381 2 0 0 20 0 15 0 515920132 15514783744 535384 33554432000 4194304 4196468 140726677919248 140442474625904 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) S 14095 14095 14027 0 -1 1077944384 10904 0 0 0 78 2 0 0 20 0 15 0 515920132 15514783744 535384 33554432000 4194304 4196468 140726677919248 140442473572848 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15151156 memory=2141536 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 535384 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.63 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1172 0 0 0 31 32 0 0 20 0 15 0 515920132 15514783744 535384 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 2271.85 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2142988 KiB

[startup+2322.3 s]
/proc/loadavg: 1.99 1.99 1.85 3/229 14501
/proc/meminfo: memFree=26201028/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0
[pid=14097] ppid=14095 vsize=15151156 memory=2106140 CPUtime=2331.88 cores=1,3,5,7
/proc/14097/stat : 14097 (java) S 14095 14095 14027 0 -1 1077944320 116791 0 0 0 233093 95 0 0 20 0 15 0 515920126 15514783744 526535 33554432000 4194304 4196468 140726677919248 140726677901792 140443011833591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
/proc/14097/statm: 3787789 526535 3524 1 0 3748889 0
[pid=14097/tid=14098] ppid=14095 vsize=15151156 memory=2106140 CPUtime=2321.93 cores=1,3,5,7
/proc/14097/task/14098/stat : 14098 (java) R 14095 14095 14027 0 -1 4202560 39257 0 0 0 232156 37 0 0 20 0 15 0 515920127 15514783744 526535 33554432000 4194304 4196468 140726677919248 140443016073104 140442637919980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14102] ppid=14095 vsize=15151156 memory=2106140 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14102/stat : 14102 (java) S 14095 14095 14027 0 -1 1077944384 2051 0 0 0 12 5 0 0 20 0 15 0 515920127 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442604198928 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14103] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14103/stat : 14103 (java) S 14095 14095 14027 0 -1 1077944384 3481 0 0 0 12 5 0 0 20 0 15 0 515920127 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442603146384 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14104] ppid=14095 vsize=15151156 memory=2106140 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14104/stat : 14104 (java) S 14095 14095 14027 0 -1 1077944384 3885 0 0 0 13 4 0 0 20 0 15 0 515920127 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442602093328 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14105] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.18 cores=1,3,5,7
/proc/14097/task/14105/stat : 14105 (java) S 14095 14095 14027 0 -1 1077944384 2820 0 0 0 13 5 0 0 20 0 15 0 515920127 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442601040784 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14106] ppid=14095 vsize=15151156 memory=796 CPUtime=0.05 cores=1,3,5,7
/proc/14097/task/14106/stat : 14106 (java) S 14095 14095 14027 0 -1 1077944384 4065 0 0 0 3 2 0 0 20 0 15 0 515920129 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442547656944 140443011844738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14107] ppid=14095 vsize=15151156 memory=2106140 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14107/stat : 14107 (java) S 14095 14095 14027 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442546603232 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14108] ppid=14095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442477781760 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15151156 memory=2106140 CPUtime=3.86 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) S 14095 14095 14027 0 -1 1077944384 26593 0 0 0 383 3 0 0 20 0 15 0 515920132 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442475678448 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15151156 memory=1452 CPUtime=3.83 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) S 14095 14095 14027 0 -1 1077944384 21235 0 0 0 381 2 0 0 20 0 15 0 515920132 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442474625904 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15151156 memory=2106140 CPUtime=0.8 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) S 14095 14095 14027 0 -1 1077944384 10907 0 0 0 78 2 0 0 20 0 15 0 515920132 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442473572848 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.65 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1193 0 0 0 32 33 0 0 20 0 15 0 515920132 15514783744 526535 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 2331.88 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2107592 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.00 1.86 3/229 14505
/proc/meminfo: memFree=26206464/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0
[pid=14097] ppid=14095 vsize=15151156 memory=2105112 CPUtime=2391.9 cores=1,3,5,7
/proc/14097/stat : 14097 (java) S 14095 14095 14027 0 -1 1077944320 118365 0 0 0 239094 96 0 0 20 0 15 0 515920126 15514783744 526278 33554432000 4194304 4196468 140726677919248 140726677901792 140443011833591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
/proc/14097/statm: 3787789 526278 3524 1 0 3748889 0
[pid=14097/tid=14098] ppid=14095 vsize=15151156 memory=17 CPUtime=2381.93 cores=1,3,5,7
/proc/14097/task/14098/stat : 14098 (java) R 14095 14095 14027 0 -1 4202560 40105 0 0 0 238156 37 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140443016073104 140442636323668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14102] ppid=14095 vsize=15151156 memory=2105112 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14102/stat : 14102 (java) S 14095 14095 14027 0 -1 1077944384 2107 0 0 0 12 5 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442604198928 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14103] ppid=14095 vsize=15151156 memory=2105112 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14103/stat : 14103 (java) S 14095 14095 14027 0 -1 1077944384 3487 0 0 0 12 5 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442603146384 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14104] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14104/stat : 14104 (java) S 14095 14095 14027 0 -1 1077944384 4266 0 0 0 13 4 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442602093328 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14105] ppid=14095 vsize=15151156 memory=5 CPUtime=0.18 cores=1,3,5,7
/proc/14097/task/14105/stat : 14105 (java) S 14095 14095 14027 0 -1 1077944384 2894 0 0 0 13 5 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442601040784 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14106] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/14097/task/14106/stat : 14106 (java) S 14095 14095 14027 0 -1 1077944384 4247 0 0 0 3 2 0 0 20 0 15 0 515920129 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442547656944 140443011844738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14107] ppid=14095 vsize=15151156 memory=2105112 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14107/stat : 14107 (java) S 14095 14095 14027 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442546603232 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14108] ppid=14095 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442477781760 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15151156 memory=2105112 CPUtime=3.86 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) S 14095 14095 14027 0 -1 1077944384 26595 0 0 0 383 3 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442475678448 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15151156 memory=3504 CPUtime=3.83 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) S 14095 14095 14027 0 -1 1077944384 21237 0 0 0 381 2 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442474625904 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) S 14095 14095 14027 0 -1 1077944384 10910 0 0 0 78 2 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442473572848 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15151156 memory=2105112 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15151156 memory=2105112 CPUtime=0.67 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1213 0 0 0 33 34 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 2391.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2106564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2390.4 s]
/proc/loadavg: 2.04 2.00 1.86 3/230 14513
/proc/meminfo: memFree=26205524/32770624 swapFree=66999256/67108860
[pid=14095] ppid=14092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14095/stat : 14095 (xcsp3-exec) S 14092 14095 14027 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515920126 115843072 363 33554432000 4194304 5098028 140733368452416 140733368450520 139748268446332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21573632 140733368456059 140733368456301 140733368456301 140733368459210 0
/proc/14095/statm: 28282 363 304 221 0 87 0
[pid=14097] ppid=14095 vsize=15151156 memory=2105112 CPUtime=2400 cores=1,3,5,7
/proc/14097/stat : 14097 (java) S 14095 14095 14027 0 -1 1077944320 118383 0 0 0 239904 96 0 0 20 0 15 0 515920126 15514783744 526278 33554432000 4194304 4196468 140726677919248 140726677901792 140443011833591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
/proc/14097/statm: 3787789 526278 3524 1 0 3748889 0
[pid=14097/tid=14098] ppid=14095 vsize=15151156 memory=1412 CPUtime=2390.03 cores=1,3,5,7
/proc/14097/task/14098/stat : 14098 (java) R 14095 14095 14027 0 -1 4202560 40123 0 0 0 238966 37 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140443016073104 140442636323599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14102] ppid=14095 vsize=15151156 memory=3312 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14102/stat : 14102 (java) S 14095 14095 14027 0 -1 1077944384 2107 0 0 0 12 5 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442604198928 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14103] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14103/stat : 14103 (java) S 14095 14095 14027 0 -1 1077944384 3487 0 0 0 12 5 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442603146384 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14104] ppid=14095 vsize=15151156 memory=3504 CPUtime=0.17 cores=1,3,5,7
/proc/14097/task/14104/stat : 14104 (java) S 14095 14095 14027 0 -1 1077944384 4266 0 0 0 13 4 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442602093328 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14105] ppid=14095 vsize=15151156 memory=66468 CPUtime=0.18 cores=1,3,5,7
/proc/14097/task/14105/stat : 14105 (java) S 14095 14095 14027 0 -1 1077944384 2894 0 0 0 13 5 0 0 20 0 15 0 515920127 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442601040784 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14106] ppid=14095 vsize=15151156 memory=3028 CPUtime=0.05 cores=1,3,5,7
/proc/14097/task/14106/stat : 14106 (java) S 14095 14095 14027 0 -1 1077944384 4247 0 0 0 3 2 0 0 20 0 15 0 515920129 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442547656944 140443011844738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14107] ppid=14095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14107/stat : 14107 (java) S 14095 14095 14027 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442546603232 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14108] ppid=14095 vsize=15151156 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14108/stat : 14108 (java) S 14095 14095 14027 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 515920129 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442477781760 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14115] ppid=14095 vsize=15151156 memory=66468 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14115/stat : 14115 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442476730320 140443011852187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14116] ppid=14095 vsize=15151156 memory=3028 CPUtime=3.86 cores=1,3,5,7
/proc/14097/task/14116/stat : 14116 (java) S 14095 14095 14027 0 -1 1077944384 26595 0 0 0 383 3 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442475678448 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14117] ppid=14095 vsize=15151156 memory=2105112 CPUtime=3.83 cores=1,3,5,7
/proc/14097/task/14117/stat : 14117 (java) S 14095 14095 14027 0 -1 1077944384 21237 0 0 0 381 2 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442474625904 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14118] ppid=14095 vsize=15151156 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/14097/task/14118/stat : 14118 (java) S 14095 14095 14027 0 -1 1077944384 10910 0 0 0 78 2 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442473572848 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14119] ppid=14095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14097/task/14119/stat : 14119 (java) S 14095 14095 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442472520544 140443011843797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
[pid=14097/tid=14120] ppid=14095 vsize=15151156 memory=6791534058613427641 CPUtime=0.67 cores=1,3,5,7
/proc/14097/task/14120/stat : 14120 (java) S 14095 14095 14027 0 -1 1077944384 1213 0 0 0 33 34 0 0 20 0 15 0 515920132 15514783744 526278 33554432000 4194304 4196468 140726677919248 140442471467568 140443011844738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140726677922799 140726677922970 140726677922970 140726677925839 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2106564 KiB

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

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

[startup+2390.42 s]
# the end of solver process 14097 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.05 s, system=0.978232 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): 2390.42
CPU time (s): 2400.03
CPU user time (s): 2399.05
CPU system time (s): 0.978232
CPU usage (%): 100.402
Max. virtual memory (cumulated for all children) (KiB): 15266328
Max. memory (cumulated for all children) (KiB): 2217376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.05
system time used= 0.978232
maximum resident set size= 2216904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54971
involuntary context switches= 1040


# summary of solver processes directly reported to runsolver:
#   pid: 14095,14097
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.05
#   total CPU system time (s): 0.978232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8044 second user time and 20.5639 second system time

The end
Name	GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml
MD5SUM	2a724879a45d3456306f221189212969
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	33
Best CPU time to get the best result obtained on this benchmark	1964.89
Satisfiable
(Un)Satisfiability was proved
Number of variables	1089
Number of constraints	34849
Number of domains	1
Minimum domain size	1089
Maximum domain size	1089
Distribution of domain sizes	[{"size":1089,"count":1089}]
Minimum variable degree	65
Maximum variable degree	66
Distribution of variable degrees	[{"degree":65,"count":381},{"degree":66,"count":708}]
Minimum constraint arity	2
Maximum constraint arity	708
Distribution of constraint arities	[{"arity":2,"count":34848},{"arity":708,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	34848
Distribution of constraint types	[{"type":"intension","count":34848},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406581

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
