Trace number 4393715

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallel? (TO) 20060.4 2520.08

General information on the benchmark

NameXCSP19/hcp/
graph48.xml
MD5SUM4be1059ecfff617ee6b265be93ea8d71
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1103.6
Satisfiable
(Un)Satisfiability was proved
Number of variables338
Number of constraints1
Number of domains338
Minimum domain size4
Maximum domain size14
Distribution of domain sizes[{"size":4,"count":318},{"size":14,"count":20}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":338}]
Minimum constraint arity338
Maximum constraint arity338
Distribution of constraint arities[{"arity":338,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393715-1568448904.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393715-1568448904.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.39/0.67	c solve instance...
20059.91/2520.05	s UNKNOWN
20059.91/2520.05	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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 (14731 MiB free)
  memory of node 1: 16384 MiB (15166 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393715-1568448904/watcher-4393715-1568448904 -o /tmp/evaluation-result-4393715-1568448904/solver-4393715-1568448904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568441213-25033 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 666445274 HOME/instance-4393715-1568448904.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100109 s]*
/proc/loadavg: 6.51 7.40 7.57 3/211 26358
/proc/meminfo: memFree=30599176/32770624 swapFree=66997860/67108860
[pid=26337] ppid=26334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26337/stat : 26337 (xcsp3-exec) S 26334 26337 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421145071 115843072 363 33554432000 4194304 5098028 140725120541264 140725120539368 140539021316732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22941696 140725120549750 140725120549993 140725120549993 140725120552906 0
/proc/26337/statm: 28282 363 304 221 0 87 0
[pid=26339] ppid=26337 vsize=28227388 memory=29668 CPUtime=0.13 cores=0-7
/proc/26339/stat : 26339 (java) S 26337 26337 25006 0 -1 1077944320 5896 0 0 0 11 2 0 0 20 0 20 0 421145071 28904845312 7417 33554432000 4194304 4196468 140733906582832 140733906565376 139745800380151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
/proc/26339/statm: 7056847 7417 3118 1 0 7019032 0
[pid=26339/tid=26340] ppid=26337 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/26339/task/26340/stat : 26340 (java) R 26337 26337 25006 0 -1 4202560 3806 0 0 0 8 1 0 0 20 0 20 0 421145071 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745804616496 139745800401498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26341] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26341/stat : 26341 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745756932880 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26342] ppid=26337 vsize=28227388 memory=140259192435992 CPUtime=0 cores=0-7
/proc/26339/task/26342/stat : 26342 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745755880336 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26343] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26343/stat : 26343 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745754827792 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26344] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26344/stat : 26344 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745348934800 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26345] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26345/stat : 26345 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745347881232 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26346] ppid=26337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26339/task/26346/stat : 26346 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745346828688 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26347] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26347/stat : 26347 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745345776144 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26348] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26348/stat : 26348 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 7417 33554432000 4194304 4196468 140733906582832 139745344723600 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26349] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26349/stat : 26349 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145073 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744398612976 139745800391298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26350] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26350/stat : 26350 (java) S 26337 26337 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421145074 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744397559200 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26351] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26351/stat : 26351 (java) S 26337 26337 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421145074 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744396506608 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26352] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26352/stat : 26352 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744395455184 139745800398747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26353] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26353/stat : 26353 (java) S 26337 26337 25006 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744394401776 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26354] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26354/stat : 26354 (java) S 26337 26337 25006 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744393349232 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26355] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26355/stat : 26355 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744392296688 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26356] ppid=26337 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26339/task/26356/stat : 26356 (java) R 26337 26337 25006 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 20 0 421145077 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744391244144 139745800392086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26357] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26357/stat : 26357 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744390191840 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26358] ppid=26337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26339/task/26358/stat : 26358 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 7417 33554432000 4194304 4196468 140733906582832 139744389139376 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31120 KiB

[startup+0.210093 s]*
/proc/loadavg: 6.51 7.40 7.57 2/211 26358
/proc/meminfo: memFree=30586200/32770624 swapFree=66997860/67108860
[pid=26337] ppid=26334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26337/stat : 26337 (xcsp3-exec) S 26334 26337 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421145071 115843072 363 33554432000 4194304 5098028 140725120541264 140725120539368 140539021316732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22941696 140725120549750 140725120549993 140725120549993 140725120552906 0
/proc/26337/statm: 28282 363 304 221 0 87 0
[pid=26339] ppid=26337 vsize=28227388 memory=41012 CPUtime=0.33 cores=0-7
/proc/26339/stat : 26339 (java) S 26337 26337 25006 0 -1 1077944320 9503 0 0 0 30 3 0 0 20 0 20 0 421145071 28904845312 10253 33554432000 4194304 4196468 140733906582832 140733906565376 139745800380151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
/proc/26339/statm: 7056847 10253 3289 1 0 7019032 0
[pid=26339/tid=26340] ppid=26337 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26339/task/26340/stat : 26340 (java) R 26337 26337 25006 0 -1 4202560 6659 0 0 0 17 2 0 0 20 0 20 0 421145071 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745804606272 139745800392086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26341] ppid=26337 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/26339/task/26341/stat : 26341 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745756932880 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26342] ppid=26337 vsize=28227388 memory=3619120334028797600 CPUtime=0 cores=0-7
/proc/26339/task/26342/stat : 26342 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745755880336 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26343] ppid=26337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26339/task/26343/stat : 26343 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745754827792 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26344] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26344/stat : 26344 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745348934800 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26345] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26345/stat : 26345 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745347881232 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26346] ppid=26337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26339/task/26346/stat : 26346 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745346828688 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26347] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26347/stat : 26347 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745345776144 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26348] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26348/stat : 26348 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145072 28904845312 10253 33554432000 4194304 4196468 140733906582832 139745344723600 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26349] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26349/stat : 26349 (java) S 26337 26337 25006 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421145073 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744398612976 139745800391298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26350] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26350/stat : 26350 (java) S 26337 26337 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421145074 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744397559200 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26351] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26351/stat : 26351 (java) S 26337 26337 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421145074 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744396506608 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26352] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26352/stat : 26352 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744395455184 139745800398747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26353] ppid=26337 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26339/task/26353/stat : 26353 (java) S 26337 26337 25006 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 20 0 421145077 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744394401776 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26354] ppid=26337 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26339/task/26354/stat : 26354 (java) R 26337 26337 25006 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 20 0 421145077 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744393349232 139745800391298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26355] ppid=26337 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/26339/task/26355/stat : 26355 (java) S 26337 26337 25006 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 20 0 421145077 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744392296688 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26356] ppid=26337 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/26339/task/26356/stat : 26356 (java) R 26337 26337 25006 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 20 0 421145077 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744391244144 139745800392086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26357] ppid=26337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26357/stat : 26357 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744390191840 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26358] ppid=26337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26339/task/26358/stat : 26358 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145077 28904845312 10253 33554432000 4194304 4196468 140733906582832 139744389139376 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42464 KiB

[startup+0.309472 s]*
/proc/loadavg: 6.51 7.40 7.57 5/211 26358
/proc/meminfo: memFree=30579656/32770624 swapFree=66997860/67108860
[pid=26337] ppid=26334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26337/stat : 26337 (xcsp3-exec) S 26334 26337 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421145071 115843072 363 33554432000 4194304 5098028 140725120541264 140725120539368 140539021316732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22941696 140725120549750 140725120549993 140725120549993 140725120552906 0
/proc/26337/statm: 28282 363 304 221 0 87 0
[pid=26339] ppid=26337 vsize=28231644 memory=49924 CPUtime=0.52 cores=0-7
/proc/26339/stat : 26339 (java) S 26337 26337 25006 0 -1 1077944320 10873 0 0 0 48 4 0 0 20 0 20 0 421145071 28909203456 12481 33554432000 4194304 4196468 140733906582832 140733906565376 139745800380151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
/proc/26339/statm: 7057911 12481 3357 1 0 7019032 0
[pid=26339/tid=26340] ppid=26337 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/26339/task/26340/stat : 26340 (java) R 26337 26337 25006 0 -1 4202560 7790 0 0 0 26 3 0 0 20 0 20 0 421145071 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745804613936 139745800402077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26341] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26341/stat : 26341 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745756932880 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26342] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26342/stat : 26342 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745755880336 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26343] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26343/stat : 26343 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745754827792 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26344] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26344/stat : 26344 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745348934800 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26345] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26345/stat : 26345 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745347881232 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26346] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26346/stat : 26346 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745346828688 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26347] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26347/stat : 26347 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745345776144 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26348] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26348/stat : 26348 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145072 28909203456 12512 33554432000 4194304 4196468 140733906582832 139745344723600 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26349] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26349/stat : 26349 (java) S 26337 26337 25006 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421145073 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744398612976 139745800391298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26350] ppid=26337 vsize=28231644 memory=280518138731904 CPUtime=0 cores=0-7
/proc/26339/task/26350/stat : 26350 (java) S 26337 26337 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421145074 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744397559200 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26351] ppid=26337 vsize=28231644 memory=280518138736512 CPUtime=0 cores=0-7
/proc/26339/task/26351/stat : 26351 (java) S 26337 26337 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421145074 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744396506608 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26352] ppid=26337 vsize=28231644 memory=280518138741120 CPUtime=0 cores=0-7
/proc/26339/task/26352/stat : 26352 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145077 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744395455184 139745800398747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26353] ppid=26337 vsize=28231644 memory=280518138745728 CPUtime=0.02 cores=0-7
/proc/26339/task/26353/stat : 26353 (java) S 26337 26337 25006 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 421145077 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744394401776 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26354] ppid=26337 vsize=28231644 memory=280518138750336 CPUtime=0.02 cores=0-7
/proc/26339/task/26354/stat : 26354 (java) S 26337 26337 25006 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 20 0 421145077 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744393349232 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26355] ppid=26337 vsize=28231644 memory=280518138754944 CPUtime=0.03 cores=0-7
/proc/26339/task/26355/stat : 26355 (java) R 26337 26337 25006 0 -1 4202560 225 0 0 0 3 0 0 0 20 0 20 0 421145077 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744392287072 139745783766995 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26356] ppid=26337 vsize=28231644 memory=280518138759552 CPUtime=0.12 cores=0-7
/proc/26339/task/26356/stat : 26356 (java) S 26337 26337 25006 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 421145077 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744391244144 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26357] ppid=26337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26357/stat : 26357 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421145077 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744390191840 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26358] ppid=26337 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/26339/task/26358/stat : 26358 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421145077 28909203456 12512 33554432000 4194304 4196468 140733906582832 139744389139376 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51376 KiB

[startup+0.701017 s]
/proc/loadavg: 6.51 7.40 7.57 4/211 26358
/proc/meminfo: memFree=30564052/32770624 swapFree=66997860/67108860
[pid=26337] ppid=26334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26337/stat : 26337 (xcsp3-exec) S 26334 26337 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421145071 115843072 363 33554432000 4194304 5098028 140725120541264 140725120539368 140539021316732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22941696 140725120549750 140725120549993 140725120549993 140725120552906 0
/proc/26337/statm: 28282 363 304 221 0 87 0
[pid=26339] ppid=26337 vsize=28700744 memory=117344 CPUtime=1.8 cores=0-7
/proc/26339/stat : 26339 (java) S 26337 26337 25006 0 -1 1077944320 17088 0 0 0 173 7 0 0 20 0 28 0 421145071 29389561856 29336 33554432000 4194304 4196468 140733906582832 140733906565376 139745800380151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
/proc/26339/statm: 7175186 29336 3457 1 0 7136288 0
[pid=26339/tid=26340] ppid=26337 vsize=28700744 memory=4580 CPUtime=0.67 cores=0-7
/proc/26339/task/26340/stat : 26340 (java) S 26337 26337 25006 0 -1 1077944384 9321 0 0 0 63 4 0 0 20 0 28 0 421145071 29389561856 29336 33554432000 4194304 4196468 140733906582832 139745804620928 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26341] ppid=26337 vsize=28700744 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26341/stat : 26341 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421145072 29389561856 29336 33554432000 4194304 4196468 140733906582832 139745756932880 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26342] ppid=26337 vsize=28700744 memory=0 CPUtime=0 cores=0-7
/proc/26339/task/26342/stat : 26342 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 421145072 29389561856 29336 33554432000 4194304 4196468 140733906582832 139745755880336 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26343] ppid=26337 vsize=28700744 memory=4008 CPUtime=0 cores=0-7
/proc/26339/task/26343/stat : 26343 (java) S 26337 26337 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 421145072 29389561856 29336 33554432000 4194304 4196468 140733906582832 139745754827792 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0

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

[pid=26339/tid=26366] ppid=26337 vsize=28768328 memory=3115448 CPUtime=2414.82 cores=0-7
/proc/26339/task/26366/stat : 26366 (java) R 26337 26337 25006 0 -1 4202560 156651 0 0 0 241342 140 0 0 20 0 28 0 421145141 29458767872 778862 33554432000 4194304 4196468 140733906582832 139744372559848 139745784890433 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
Current children cumulated CPU time: 19441.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3116900 KiB

[startup+2502.31 s]
/proc/loadavg: 8.37 8.22 8.19 9/219 26553
/proc/meminfo: memFree=27900616/32770624 swapFree=66997872/67108860
[pid=26337] ppid=26334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26337/stat : 26337 (xcsp3-exec) S 26334 26337 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421145071 115843072 363 33554432000 4194304 5098028 140725120541264 140725120539368 140539021316732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22941696 140725120549750 140725120549993 140725120549993 140725120552906 0
/proc/26337/statm: 28282 363 304 221 0 87 0
[pid=26339] ppid=26337 vsize=28768328 memory=2721292 CPUtime=19919.1 cores=0-7
/proc/26339/stat : 26339 (java) S 26337 26337 25006 0 -1 1077944320 1597063 0 0 0 1988280 3626 0 0 20 0 28 0 421145071 29458767872 680323 33554432000 4194304 4196468 140733906582832 140733906565376 139745800380151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
/proc/26339/statm: 7192082 680323 3552 1 0 7153184 0
[pid=26339/tid=26340] ppid=26337 vsize=28768328 memory=2721292 CPUtime=0.67 cores=0-7
/proc/26339/task/26340/stat : 26340 (java) S 26337 26337 25006 0 -1 1077944384 9321 0 0 0 63 4 0 0 20 0 28 0 421145071 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745804620928 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26341] ppid=26337 vsize=28768328 memory=1452 CPUtime=14.89 cores=0-7
/proc/26339/task/26341/stat : 26341 (java) S 26337 26337 25006 0 -1 1077944384 37466 0 0 0 1160 329 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745756932880 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26342] ppid=26337 vsize=28768328 memory=1452 CPUtime=14.79 cores=0-7
/proc/26339/task/26342/stat : 26342 (java) S 26337 26337 25006 0 -1 1077944384 34557 0 0 0 1150 329 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745755880336 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26343] ppid=26337 vsize=28768328 memory=2979308 CPUtime=14.79 cores=0-7
/proc/26339/task/26343/stat : 26343 (java) S 26337 26337 25006 0 -1 1077944384 39902 0 0 0 1160 319 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745754827792 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26344] ppid=26337 vsize=28768328 memory=2832 CPUtime=14.79 cores=0-7
/proc/26339/task/26344/stat : 26344 (java) S 26337 26337 25006 0 -1 1077944384 35070 0 0 0 1158 321 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745348934800 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26345] ppid=26337 vsize=28768328 memory=3109376 CPUtime=14.82 cores=0-7
/proc/26339/task/26345/stat : 26345 (java) S 26337 26337 25006 0 -1 1077944384 31929 0 0 0 1153 329 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745347881232 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26346] ppid=26337 vsize=28768328 memory=628 CPUtime=14.82 cores=0-7
/proc/26339/task/26346/stat : 26346 (java) S 26337 26337 25006 0 -1 1077944384 38396 0 0 0 1152 330 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745346828688 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26347] ppid=26337 vsize=28768328 memory=1452 CPUtime=14.85 cores=0-7
/proc/26339/task/26347/stat : 26347 (java) S 26337 26337 25006 0 -1 1077944384 31485 0 0 0 1157 328 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745345776144 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26348] ppid=26337 vsize=28768328 memory=3624 CPUtime=14.85 cores=0-7
/proc/26339/task/26348/stat : 26348 (java) S 26337 26337 25006 0 -1 1077944384 39707 0 0 0 1165 320 0 0 20 0 28 0 421145072 29458767872 680323 33554432000 4194304 4196468 140733906582832 139745344723600 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26349] ppid=26337 vsize=28768328 memory=1452 CPUtime=2.45 cores=0-7
/proc/26339/task/26349/stat : 26349 (java) S 26337 26337 25006 0 -1 1077944384 101195 0 0 0 175 70 0 0 20 0 28 0 421145073 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744398612976 139745800391298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26350] ppid=26337 vsize=28768328 memory=3060876 CPUtime=0 cores=0-7
/proc/26339/task/26350/stat : 26350 (java) S 26337 26337 25006 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 421145074 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744397559264 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26351] ppid=26337 vsize=28768328 memory=3109376 CPUtime=0 cores=0-7
/proc/26339/task/26351/stat : 26351 (java) S 26337 26337 25006 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 421145074 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744396506624 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26352] ppid=26337 vsize=28768328 memory=1528 CPUtime=0 cores=0-7
/proc/26339/task/26352/stat : 26352 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421145077 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744395455184 139745800398747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26353] ppid=26337 vsize=28768328 memory=280518140847776 CPUtime=3.27 cores=0-7
/proc/26339/task/26353/stat : 26353 (java) S 26337 26337 25006 0 -1 1077944384 17649 0 0 0 325 2 0 0 20 0 28 0 421145077 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744394401776 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26354] ppid=26337 vsize=28768328 memory=6003386690849959020 CPUtime=3.54 cores=0-7
/proc/26339/task/26354/stat : 26354 (java) S 26337 26337 25006 0 -1 1077944384 18512 0 0 0 351 3 0 0 20 0 28 0 421145077 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744393349232 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26355] ppid=26337 vsize=28768328 memory=3060876 CPUtime=3.8 cores=0-7
/proc/26339/task/26355/stat : 26355 (java) S 26337 26337 25006 0 -1 1077944384 21282 0 0 0 377 3 0 0 20 0 28 0 421145077 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744392296688 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26356] ppid=26337 vsize=28768328 memory=-4695043397844020634 CPUtime=0.95 cores=0-7
/proc/26339/task/26356/stat : 26356 (java) S 26337 26337 25006 0 -1 1077944384 18220 0 0 0 92 3 0 0 20 0 28 0 421145077 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744391244144 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26357] ppid=26337 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/26339/task/26357/stat : 26357 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421145077 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744390191840 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26358] ppid=26337 vsize=28768328 memory=5102576 CPUtime=1.54 cores=0-7
/proc/26339/task/26358/stat : 26358 (java) S 26337 26337 25006 0 -1 1077944384 4092 0 0 0 77 77 0 0 20 0 28 0 421145077 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744389139376 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26359] ppid=26337 vsize=28768328 memory=12024 CPUtime=2472.79 cores=0-7
/proc/26339/task/26359/stat : 26359 (java) R 26337 26337 25006 0 -1 4202560 96720 0 0 0 247216 63 0 0 20 0 28 0 421145140 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744379927560 139745440943470 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26360] ppid=26337 vsize=28768328 memory=1556 CPUtime=2475.53 cores=0-7
/proc/26339/task/26360/stat : 26360 (java) R 26337 26337 25006 0 -1 4202560 114666 0 0 0 247485 68 0 0 20 0 28 0 421145140 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744378875848 139745441841373 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26361] ppid=26337 vsize=28768328 memory=1452 CPUtime=2472.46 cores=0-7
/proc/26339/task/26361/stat : 26361 (java) R 26337 26337 25006 0 -1 4202560 225784 0 0 0 246998 248 0 0 20 0 28 0 421145140 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744377822744 139745440573293 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26362] ppid=26337 vsize=28768328 memory=2756688 CPUtime=2474.73 cores=0-7
/proc/26339/task/26362/stat : 26362 (java) R 26337 26337 25006 0 -1 4202560 141636 0 0 0 247351 122 0 0 20 0 28 0 421145141 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744376772464 139745441767264 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26363] ppid=26337 vsize=28768328 memory=0 CPUtime=2472.47 cores=0-7
/proc/26339/task/26363/stat : 26363 (java) R 26337 26337 25006 0 -1 4202560 108897 0 0 0 247179 68 0 0 20 0 28 0 421145141 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744375717480 139745440946918 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26364] ppid=26337 vsize=28768328 memory=4008 CPUtime=2477.75 cores=0-7
/proc/26339/task/26364/stat : 26364 (java) R 26337 26337 25006 0 -1 4202560 142930 0 0 0 247659 116 0 0 20 0 28 0 421145141 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744374664936 139745439870267 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26365] ppid=26337 vsize=28768328 memory=948 CPUtime=2465.04 cores=0-7
/proc/26339/task/26365/stat : 26365 (java) R 26337 26337 25006 0 -1 4202560 128819 0 0 0 246393 111 0 0 20 0 28 0 421145141 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744373612392 139745440943323 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26366] ppid=26337 vsize=28768328 memory=1452 CPUtime=2473.92 cores=0-7
/proc/26339/task/26366/stat : 26366 (java) R 26337 26337 25006 0 -1 4202560 157497 0 0 0 247250 142 0 0 20 0 28 0 421145141 29458767872 680323 33554432000 4194304 4196468 140733906582832 139744372559504 139745443828258 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
Current children cumulated CPU time: 19919.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2722744 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.58 8.28 8.20 9/219 26553
/proc/meminfo: memFree=28098912/32770624 swapFree=66997872/67108860
[pid=26337] ppid=26334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26337/stat : 26337 (xcsp3-exec) S 26334 26337 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421145071 115843072 363 33554432000 4194304 5098028 140725120541264 140725120539368 140539021316732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22941696 140725120549750 140725120549993 140725120549993 140725120552906 0
/proc/26337/statm: 28282 363 304 221 0 87 0
[pid=26339] ppid=26337 vsize=28768328 memory=2522760 CPUtime=20059.9 cores=0-7
/proc/26339/stat : 26339 (java) S 26337 26337 25006 0 -1 1077944320 1602581 0 0 0 2002357 3634 0 0 20 0 28 0 421145071 29458767872 630690 33554432000 4194304 4196468 140733906582832 140733906565376 139745800380151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
/proc/26339/statm: 7192082 630690 3552 1 0 7153184 0
[pid=26339/tid=26340] ppid=26337 vsize=28768328 memory=1448 CPUtime=0.67 cores=0-7
/proc/26339/task/26340/stat : 26340 (java) S 26337 26337 25006 0 -1 1077944384 9321 0 0 0 63 4 0 0 20 0 28 0 421145071 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745804620928 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26341] ppid=26337 vsize=28768328 memory=876 CPUtime=14.99 cores=0-7
/proc/26339/task/26341/stat : 26341 (java) R 26337 26337 25006 0 -1 4202560 37595 0 0 0 1170 329 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745756933080 139745785408034 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26342] ppid=26337 vsize=28768328 memory=1980 CPUtime=14.89 cores=0-7
/proc/26339/task/26342/stat : 26342 (java) R 26337 26337 25006 0 -1 4202560 35046 0 0 0 1160 329 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745755880536 139745779574564 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26343] ppid=26337 vsize=28768328 memory=2552 CPUtime=14.89 cores=0-7
/proc/26339/task/26343/stat : 26343 (java) R 26337 26337 25006 0 -1 4202560 40216 0 0 0 1170 319 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745754827992 139745793486682 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26344] ppid=26337 vsize=28768328 memory=1760 CPUtime=14.89 cores=0-7
/proc/26339/task/26344/stat : 26344 (java) R 26337 26337 25006 0 -1 4202560 35639 0 0 0 1168 321 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745348935000 139745793485838 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26345] ppid=26337 vsize=28768328 memory=111632 CPUtime=14.94 cores=0-7
/proc/26339/task/26345/stat : 26345 (java) R 26337 26337 25006 0 -1 4202560 32300 0 0 0 1164 330 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745347881120 139745779575181 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26346] ppid=26337 vsize=28768328 memory=800 CPUtime=14.92 cores=0-7
/proc/26339/task/26346/stat : 26346 (java) R 26337 26337 25006 0 -1 4202560 38883 0 0 0 1162 330 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745346828888 139745793476908 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26347] ppid=26337 vsize=28768328 memory=1808 CPUtime=14.95 cores=0-7
/proc/26339/task/26347/stat : 26347 (java) R 26337 26337 25006 0 -1 4202560 31879 0 0 0 1167 328 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745345776144 139745793476995 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26348] ppid=26337 vsize=28768328 memory=1452 CPUtime=14.94 cores=0-7
/proc/26339/task/26348/stat : 26348 (java) R 26337 26337 25006 0 -1 4202560 40013 0 0 0 1174 320 0 0 20 0 28 0 421145072 29458767872 630690 33554432000 4194304 4196468 140733906582832 139745344723800 139745793479918 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26349] ppid=26337 vsize=28768328 memory=920 CPUtime=2.48 cores=0-7
/proc/26339/task/26349/stat : 26349 (java) S 26337 26337 25006 0 -1 1077944384 101314 0 0 0 176 72 0 0 20 0 28 0 421145073 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744398611488 139745800390357 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26350] ppid=26337 vsize=28768328 memory=4852 CPUtime=0 cores=0-7
/proc/26339/task/26350/stat : 26350 (java) S 26337 26337 25006 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 421145074 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744397559264 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26351] ppid=26337 vsize=28768328 memory=4096 CPUtime=0 cores=0-7
/proc/26339/task/26351/stat : 26351 (java) S 26337 26337 25006 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 421145074 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744396506624 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26352] ppid=26337 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/26339/task/26352/stat : 26352 (java) S 26337 26337 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421145077 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744395455184 139745800398747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26353] ppid=26337 vsize=28768328 memory=3776 CPUtime=3.27 cores=0-7
/proc/26339/task/26353/stat : 26353 (java) S 26337 26337 25006 0 -1 1077944384 17649 0 0 0 325 2 0 0 20 0 28 0 421145077 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744394401776 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26354] ppid=26337 vsize=28768328 memory=1452 CPUtime=3.54 cores=0-7
/proc/26339/task/26354/stat : 26354 (java) S 26337 26337 25006 0 -1 1077944384 18512 0 0 0 351 3 0 0 20 0 28 0 421145077 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744393349232 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26355] ppid=26337 vsize=28768328 memory=2522760 CPUtime=3.8 cores=0-7
/proc/26339/task/26355/stat : 26355 (java) S 26337 26337 25006 0 -1 1077944384 21282 0 0 0 377 3 0 0 20 0 28 0 421145077 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744392296688 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26356] ppid=26337 vsize=28768328 memory=1164 CPUtime=0.95 cores=0-7
/proc/26339/task/26356/stat : 26356 (java) S 26337 26337 25006 0 -1 1077944384 18220 0 0 0 92 3 0 0 20 0 28 0 421145077 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744391244144 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26357] ppid=26337 vsize=28768328 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/26339/task/26357/stat : 26357 (java) S 26337 26337 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421145077 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744390191840 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26358] ppid=26337 vsize=28768328 memory=1548 CPUtime=1.54 cores=0-7
/proc/26339/task/26358/stat : 26358 (java) S 26337 26337 25006 0 -1 1077944384 4105 0 0 0 77 77 0 0 20 0 28 0 421145077 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744389139376 139745800391298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26359] ppid=26337 vsize=28768328 memory=628 CPUtime=2490.18 cores=0-7
/proc/26339/task/26359/stat : 26359 (java) S 26337 26337 25006 0 -1 1077944384 96940 0 0 0 248955 63 0 0 20 0 28 0 421145140 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744379927424 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26360] ppid=26337 vsize=28768328 memory=1056 CPUtime=2493.07 cores=0-7
/proc/26339/task/26360/stat : 26360 (java) S 26337 26337 25006 0 -1 1077944384 114850 0 0 0 249239 68 0 0 20 0 28 0 421145140 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744378876512 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26361] ppid=26337 vsize=28768328 memory=1556 CPUtime=2489.83 cores=0-7
/proc/26339/task/26361/stat : 26361 (java) S 26337 26337 25006 0 -1 1077944384 226343 0 0 0 248732 251 0 0 20 0 28 0 421145140 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744377822672 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26362] ppid=26337 vsize=28768328 memory=6024 CPUtime=2492.28 cores=0-7
/proc/26339/task/26362/stat : 26362 (java) S 26337 26337 25006 0 -1 1077944384 141957 0 0 0 249105 123 0 0 20 0 28 0 421145141 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744376769600 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26363] ppid=26337 vsize=28768328 memory=920 CPUtime=2490.01 cores=0-7
/proc/26339/task/26363/stat : 26363 (java) S 26337 26337 25006 0 -1 1077944384 109117 0 0 0 248933 68 0 0 20 0 28 0 421145141 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744375720320 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26364] ppid=26337 vsize=28768328 memory=4852 CPUtime=2495.29 cores=0-7
/proc/26339/task/26364/stat : 26364 (java) S 26337 26337 25006 0 -1 1077944384 143191 0 0 0 249413 116 0 0 20 0 28 0 421145141 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744374664512 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26365] ppid=26337 vsize=28768328 memory=4096 CPUtime=2482.57 cores=0-7
/proc/26339/task/26365/stat : 26365 (java) S 26337 26337 25006 0 -1 1077944384 129056 0 0 0 248146 111 0 0 20 0 28 0 421145141 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744373612256 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
[pid=26339/tid=26366] ppid=26337 vsize=28768328 memory=1412 CPUtime=2491.45 cores=0-7
/proc/26339/task/26366/stat : 26366 (java) S 26337 26337 25006 0 -1 1077944384 157821 0 0 0 249003 142 0 0 20 0 28 0 421145141 29458767872 630690 33554432000 4194304 4196468 140733906582832 139744372559712 139745800390357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 34103296 140733906584554 140733906584726 140733906584726 140733906587599 0
Current children cumulated CPU time: 20059.9 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2524212 KiB

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

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

[startup+2520.08 s]
# the end of solver process 26339 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20024.1 s, system=36.3593 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): 2520.08
CPU time (s): 20060.4
CPU user time (s): 20024.1
CPU system time (s): 36.3593
CPU usage (%): 796.023
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 9554528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20024.1
system time used= 36.3593
maximum resident set size= 9561268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1603603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166323
involuntary context switches= 218052


# summary of solver processes directly reported to runsolver:
#   pid: 26337,26339
#   total CPU time (s): 20060.4
#   total CPU user time (s): 20024.1
#   total CPU system time (s): 36.3593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1477 second user time and 28.1116 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 09:13:47
IDJOB=4393715
IDBENCH=141694
IDSOLVER=2841
FILE ID=node106/4393715-1568448904
RUNJOBID= node106-1568441213-25033
PBS_JOBID= 21702349
Free space on /tmp= 59112 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP19/hcp/graph48.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393715-1568448904/watcher-4393715-1568448904 -o /tmp/evaluation-result-4393715-1568448904/solver-4393715-1568448904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568441213-25033 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 666445274 HOME/instance-4393715-1568448904.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 4be1059ecfff617ee6b265be93ea8d71
RANDOM SEED=666445274

node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30614656 kB
MemAvailable:   31899000 kB
Buffers:          192224 kB
Cached:          1373140 kB
SwapCached:         9240 kB
Active:           493732 kB
Inactive:        1087156 kB
Active(anon):      15388 kB
Inactive(anon):    34212 kB
Active(file):     478344 kB
Inactive(file):  1052944 kB
Unevictable:      107536 kB
Mlocked:          107536 kB
SwapTotal:      67108860 kB
SwapFree:       66997860 kB
Dirty:             26216 kB
Writeback:             0 kB
AnonPages:        205100 kB
Mapped:            38388 kB
Shmem:             25464 kB
Slab:             167976 kB
SReclaimable:     137784 kB
SUnreclaim:        30192 kB
KernelStack:        3552 kB
PageTables:         6456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     490320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59088 MiB
End job on node106 at 2019-09-14 09:55:47