Trace number 4392896

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-14SAT 107.939 27.469

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-rand/
Subisomorphism-si2-r001-m400-05.xml
MD5SUM5f006248f7b4f652f1c0eb398f87a4da
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 benchmark9.50125
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints172
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":80}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":20},{"degree":4,"count":19},{"degree":5,"count":18},{"degree":6,"count":11},{"degree":7,"count":8},{"degree":8,"count":2},{"degree":9,"count":2}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":60},{"arity":2,"count":111},{"arity":80,"count":1}]
Number of extensional constraints171
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":171},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4392896-1568320080.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4392896-1568320080.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
1.93/0.89	c solve instance...
107.79/27.46	s SATISFIABLE
107.79/27.46	v <instantiation>
107.79/27.46	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] </list>
107.79/27.46	v 	<values>367 15 181 310 197 87 27 94 24 88 379 316 7 315 307 282 68 275 53 311 55 92 20 99 228 297 43 30 23 67 110 52 32 40 337 280 131 83 319 4 225 57 259 49 338 339 77 145 186 183 355 214 210 111 125 89 143 180 13 26 46 396 371 166 29 201 95 173 146 8 71 251 231 182 127 126 18 273 144 308 </values>
107.79/27.46	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392896-1568320080/watcher-4392896-1568320080 -o /tmp/evaluation-result-4392896-1568320080/solver-4392896-1568320080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 825860854 HOME/instance-4392896-1568320080.xml 

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

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


[startup+0.10009 s]*
/proc/loadavg: 8.36 8.57 8.44 6/233 22610
/proc/meminfo: memFree=31207136/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0
[pid=22596] ppid=22594 vsize=15144768 memory=29156 CPUtime=0.13 cores=0,2,4,6
/proc/22596/stat : 22596 (java) S 22594 22594 14254 0 -1 1077944320 5688 0 0 0 12 1 0 0 20 0 15 0 408264067 15508242432 7289 33554432000 4194304 4196468 140736153692624 140736153675168 139849443049207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
/proc/22596/statm: 3786192 7289 3147 1 0 3748377 0
[pid=22596/tid=22597] ppid=22594 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/22596/task/22597/stat : 22597 (java) R 22594 22594 14254 0 -1 4202560 3609 0 0 0 8 1 0 0 20 0 15 0 408264068 15508242432 7289 33554432000 4194304 4196468 140736153692624 139849447282000 139849443061142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22598] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22598/stat : 22598 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 7289 33554432000 4194304 4196468 140736153692624 139849371089552 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22599] ppid=22594 vsize=15144768 memory=3472750390217680544 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22599/stat : 22599 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 7289 33554432000 4194304 4196468 140736153692624 139849034492432 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22600] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22600/stat : 22600 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 7289 33554432000 4194304 4196468 140736153692624 139849033439632 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22601] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22601/stat : 22601 (java) S 22594 22594 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 7289 33554432000 4194304 4196468 140736153692624 139849032386832 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22602] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22602/stat : 22602 (java) S 22594 22594 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408264070 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848978791280 139849443060354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22603] ppid=22594 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22603/stat : 22603 (java) S 22594 22594 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408264070 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848977737248 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22604] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22604/stat : 22604 (java) S 22594 22594 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408264070 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848976684400 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22605] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22605/stat : 22605 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848975632720 139849443067803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22606] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22606/stat : 22606 (java) S 22594 22594 14254 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848974580080 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22607] ppid=22594 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22607/stat : 22607 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848973527280 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22608] ppid=22594 vsize=15144768 memory=140593229604480 CPUtime=0.02 cores=0,2,4,6
/proc/22596/task/22608/stat : 22608 (java) R 22594 22594 14254 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 408264073 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848972474480 139849443061142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22609] ppid=22594 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22609/stat : 22609 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848971421920 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22610] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 7289 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30604 KiB

[startup+0.210814 s]*
/proc/loadavg: 8.36 8.57 8.44 8/233 22610
/proc/meminfo: memFree=31194128/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0
[pid=22596] ppid=22594 vsize=15144768 memory=40492 CPUtime=0.34 cores=0,2,4,6
/proc/22596/stat : 22596 (java) S 22594 22594 14254 0 -1 1077944320 9332 0 0 0 31 3 0 0 20 0 15 0 408264067 15508242432 10123 33554432000 4194304 4196468 140736153692624 140736153675168 139849443049207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
/proc/22596/statm: 3786192 10123 3315 1 0 3748377 0
[pid=22596/tid=22597] ppid=22594 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22596/task/22597/stat : 22597 (java) R 22594 22594 14254 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 408264068 15508242432 10123 33554432000 4194304 4196468 140736153692624 139849447278928 139849427129694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22598] ppid=22594 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22598/stat : 22598 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 10123 33554432000 4194304 4196468 140736153692624 139849371089552 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22599] ppid=22594 vsize=15144768 memory=140593232457667 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22599/stat : 22599 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 10123 33554432000 4194304 4196468 140736153692624 139849034492432 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22600] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22600/stat : 22600 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 10123 33554432000 4194304 4196468 140736153692624 139849033439632 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22601] ppid=22594 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22601/stat : 22601 (java) S 22594 22594 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408264068 15508242432 10123 33554432000 4194304 4196468 140736153692624 139849032386832 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22602] ppid=22594 vsize=15144768 memory=140593229604480 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22602/stat : 22602 (java) S 22594 22594 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408264070 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848978791280 139849443060354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22603] ppid=22594 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22603/stat : 22603 (java) S 22594 22594 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408264070 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848977737248 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22604] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22604/stat : 22604 (java) S 22594 22594 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408264070 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848976684400 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22605] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22605/stat : 22605 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848975632720 139849443067803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22606] ppid=22594 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22596/task/22606/stat : 22606 (java) S 22594 22594 14254 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 15 0 408264073 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848974580080 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22607] ppid=22594 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22596/task/22607/stat : 22607 (java) S 22594 22594 14254 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 15 0 408264073 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848973527280 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22608] ppid=22594 vsize=15144768 memory=140593229604480 CPUtime=0.08 cores=0,2,4,6
/proc/22596/task/22608/stat : 22608 (java) R 22594 22594 14254 0 -1 4202560 786 0 0 0 8 0 0 0 20 0 15 0 408264073 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848972474480 139849443061142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22609] ppid=22594 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22609/stat : 22609 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848971421920 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22610] ppid=22594 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264073 15508242432 10123 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41940 KiB

[startup+0.312635 s]*
/proc/loadavg: 8.36 8.57 8.44 8/233 22610
/proc/meminfo: memFree=31188904/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0
[pid=22596] ppid=22594 vsize=15149024 memory=49740 CPUtime=0.54 cores=0,2,4,6
/proc/22596/stat : 22596 (java) S 22594 22594 14254 0 -1 1077944320 10791 0 0 0 50 4 0 0 20 0 15 0 408264067 15512600576 12435 33554432000 4194304 4196468 140736153692624 140736153675168 139849443049207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
/proc/22596/statm: 3787256 12435 3359 1 0 3748377 0
[pid=22596/tid=22597] ppid=22594 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/22596/task/22597/stat : 22597 (java) R 22594 22594 14254 0 -1 4202560 7734 0 0 0 27 3 0 0 20 0 15 0 408264068 15512600576 12435 33554432000 4194304 4196468 140736153692624 139849447280320 139849427129694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22598] ppid=22594 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22598/stat : 22598 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15512600576 12435 33554432000 4194304 4196468 140736153692624 139849371089552 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22599] ppid=22594 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22599/stat : 22599 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15512600576 12435 33554432000 4194304 4196468 140736153692624 139849034492432 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22600] ppid=22594 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22600/stat : 22600 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15512600576 12435 33554432000 4194304 4196468 140736153692624 139849033439632 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22601] ppid=22594 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22601/stat : 22601 (java) S 22594 22594 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408264068 15512600576 12435 33554432000 4194304 4196468 140736153692624 139849032386832 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22602] ppid=22594 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22602/stat : 22602 (java) S 22594 22594 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408264070 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848978791280 139849443060354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22603] ppid=22594 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22603/stat : 22603 (java) S 22594 22594 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408264070 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848977737248 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22604] ppid=22594 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22604/stat : 22604 (java) S 22594 22594 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408264070 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848976684400 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22605] ppid=22594 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22605/stat : 22605 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848975632720 139849443067803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22606] ppid=22594 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/22596/task/22606/stat : 22606 (java) R 22594 22594 14254 0 -1 4202560 509 0 0 0 4 0 0 0 20 0 15 0 408264073 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848974580080 139849427445890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22607] ppid=22594 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22596/task/22607/stat : 22607 (java) R 22594 22594 14254 0 -1 4202560 301 0 0 0 4 0 0 0 20 0 15 0 408264073 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848973517664 139849426435988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22608] ppid=22594 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22596/task/22608/stat : 22608 (java) S 22594 22594 14254 0 -1 1077944384 943 0 0 0 13 0 0 0 20 0 15 0 408264073 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848972474480 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22609] ppid=22594 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22609/stat : 22609 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848971421920 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22610] ppid=22594 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264073 15512600576 12435 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51188 KiB

[startup+0.701216 s]
/proc/loadavg: 8.36 8.57 8.44 7/233 22610
/proc/meminfo: memFree=31170088/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0
[pid=22596] ppid=22594 vsize=15151148 memory=108204 CPUtime=1.58 cores=0,2,4,6
/proc/22596/stat : 22596 (java) S 22594 22594 14254 0 -1 1077944320 14116 0 0 0 153 5 0 0 20 0 15 0 408264067 15514775552 27051 33554432000 4194304 4196468 140736153692624 140736153675168 139849443049207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
/proc/22596/statm: 3787787 27051 3449 1 0 3748889 0
[pid=22596/tid=22597] ppid=22594 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/22596/task/22597/stat : 22597 (java) R 22594 22594 14254 0 -1 4202560 9084 0 0 0 63 4 0 0 20 0 15 0 408264068 15514775552 27051 33554432000 4194304 4196468 140736153692624 139849447286576 139849054511014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22598] ppid=22594 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22598/stat : 22598 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15514775552 27051 33554432000 4194304 4196468 140736153692624 139849371089552 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22599] ppid=22594 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22599/stat : 22599 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15514775552 27051 33554432000 4194304 4196468 140736153692624 139849034492432 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22600] ppid=22594 vsize=15151148 memory=708 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22600/stat : 22600 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264068 15514775552 27051 33554432000 4194304 4196468 140736153692624 139849033439632 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22601] ppid=22594 vsize=15151148 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22601/stat : 22601 (java) S 22594 22594 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408264068 15514775552 27563 33554432000 4194304 4196468 140736153692624 139849032386832 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22602] ppid=22594 vsize=15151148 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22602/stat : 22602 (java) S 22594 22594 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408264070 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848978791280 139849443060354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22603] ppid=22594 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22603/stat : 22603 (java) S 22594 22594 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408264070 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848977737248 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22604] ppid=22594 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22604/stat : 22604 (java) S 22594 22594 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408264070 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848976684400 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22605] ppid=22594 vsize=15151148 memory=7956 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22605/stat : 22605 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848975632720 139849443067803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22606] ppid=22594 vsize=15151148 memory=3444 CPUtime=0.27 cores=0,2,4,6
/proc/22596/task/22606/stat : 22606 (java) R 22594 22594 14254 0 -1 4202560 1131 0 0 0 27 0 0 0 20 0 15 0 408264073 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848974569888 139849424307584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22607] ppid=22594 vsize=15151148 memory=1556 CPUtime=0.26 cores=0,2,4,6
/proc/22596/task/22607/stat : 22607 (java) R 22594 22594 14254 0 -1 4202560 877 0 0 0 26 0 0 0 20 0 15 0 408264073 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848973513552 139849426549604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22608] ppid=22594 vsize=15151148 memory=2832 CPUtime=0.35 cores=0,2,4,6
/proc/22596/task/22608/stat : 22608 (java) S 22594 22594 14254 0 -1 1077944384 1718 0 0 0 35 0 0 0 20 0 15 0 408264073 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848972474480 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22609] ppid=22594 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22609/stat : 22609 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408264073 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848971421920 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22610] ppid=22594 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408264073 15514775552 27563 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 109652 KiB

[startup+1.50119 s]
/proc/loadavg: 8.25 8.54 8.44 9/237 22614
/proc/meminfo: memFree=31012152/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0

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

/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22611] ppid=22594 vsize=15417404 memory=0 CPUtime=23.75 cores=0,2,4,6
/proc/22596/task/22611/stat : 22611 (java) R 22594 22594 14254 0 -1 4202560 458 0 0 0 2375 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848893418648 139849057975698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22612] ppid=22594 vsize=15417404 memory=0 CPUtime=23.73 cores=0,2,4,6
/proc/22596/task/22612/stat : 22612 (java) R 22594 22594 14254 0 -1 4202560 1194 0 0 0 2373 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848892366736 139849057975705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22613] ppid=22594 vsize=15417404 memory=0 CPUtime=23.76 cores=0,2,4,6
/proc/22596/task/22613/stat : 22613 (java) R 22594 22594 14254 0 -1 4202560 734 0 0 0 2376 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848891314120 139849057992846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22614] ppid=22594 vsize=15417404 memory=0 CPUtime=23.59 cores=0,2,4,6
/proc/22596/task/22614/stat : 22614 (java) R 22594 22594 14254 0 -1 4202560 875 0 0 0 2359 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848890261992 139849057975692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 100.59 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 265948 KiB

[startup+26.4012 s]
/proc/loadavg: 8.23 8.52 8.43 9/236 22614
/proc/meminfo: memFree=30971100/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0
[pid=22596] ppid=22594 vsize=15417404 memory=264500 CPUtime=103.77 cores=0,2,4,6
/proc/22596/stat : 22596 (java) S 22594 22594 14254 0 -1 1077944320 38068 0 0 0 10361 16 0 0 20 0 19 0 408264067 15787421696 66125 33554432000 4194304 4196468 140736153692624 140736153675168 139849443049207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
/proc/22596/statm: 3854351 66125 3518 1 0 3815453 0
[pid=22596/tid=22597] ppid=22594 vsize=15417404 memory=6791534058613427641 CPUtime=0.84 cores=0,2,4,6
/proc/22596/task/22597/stat : 22597 (java) S 22594 22594 14254 0 -1 1077944384 9199 0 0 0 79 5 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849447289984 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22598] ppid=22594 vsize=15417404 memory=140595754435157 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22598/stat : 22598 (java) S 22594 22594 14254 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849371089552 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22599] ppid=22594 vsize=15417404 memory=140595754435159 CPUtime=0.04 cores=0,2,4,6
/proc/22596/task/22599/stat : 22599 (java) S 22594 22594 14254 0 -1 1077944384 151 0 0 0 3 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849034492432 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22600] ppid=22594 vsize=15417404 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22600/stat : 22600 (java) S 22594 22594 14254 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849033439632 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22601] ppid=22594 vsize=15417404 memory=140595754435180 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22601/stat : 22601 (java) S 22594 22594 14254 0 -1 1077944384 344 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849032386832 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22602] ppid=22594 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22602/stat : 22602 (java) S 22594 22594 14254 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848978791280 139849443060354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22603] ppid=22594 vsize=15417404 memory=264376 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22603/stat : 22603 (java) S 22594 22594 14254 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848977737312 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22604] ppid=22594 vsize=15417404 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22604/stat : 22604 (java) S 22594 22594 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848976684400 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22605] ppid=22594 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22605/stat : 22605 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848975632720 139849443067803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22606] ppid=22594 vsize=15417404 memory=3580 CPUtime=2.19 cores=0,2,4,6
/proc/22596/task/22606/stat : 22606 (java) S 22594 22594 14254 0 -1 1077944384 10088 0 0 0 218 1 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848974580080 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22607] ppid=22594 vsize=15417404 memory=16956 CPUtime=1.83 cores=0,2,4,6
/proc/22596/task/22607/stat : 22607 (java) S 22594 22594 14254 0 -1 1077944384 7808 0 0 0 182 1 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848973527280 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22608] ppid=22594 vsize=15417404 memory=264500 CPUtime=0.66 cores=0,2,4,6
/proc/22596/task/22608/stat : 22608 (java) S 22594 22594 14254 0 -1 1077944384 4967 0 0 0 66 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848972474480 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22609] ppid=22594 vsize=15417404 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22609/stat : 22609 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848971421920 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22610] ppid=22594 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22611] ppid=22594 vsize=15417404 memory=14012 CPUtime=24.53 cores=0,2,4,6
/proc/22596/task/22611/stat : 22611 (java) R 22594 22594 14254 0 -1 4202560 460 0 0 0 2453 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848893418648 139849057975635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22612] ppid=22594 vsize=15417404 memory=5228 CPUtime=24.53 cores=0,2,4,6
/proc/22596/task/22612/stat : 22612 (java) R 22594 22594 14254 0 -1 4202560 1196 0 0 0 2453 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848892367288 139849057347567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22613] ppid=22594 vsize=15417404 memory=2120 CPUtime=24.56 cores=0,2,4,6
/proc/22596/task/22613/stat : 22613 (java) R 22594 22594 14254 0 -1 4202560 735 0 0 0 2456 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848891314120 139849057975692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22614] ppid=22594 vsize=15417404 memory=12020 CPUtime=24.38 cores=0,2,4,6
/proc/22596/task/22614/stat : 22614 (java) R 22594 22594 14254 0 -1 4202560 880 0 0 0 2438 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848890261888 139849057975572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 103.77 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 265948 KiB

[startup+27.2012 s]
/proc/loadavg: 8.23 8.52 8.43 9/236 22614
/proc/meminfo: memFree=30971224/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0
[pid=22596] ppid=22594 vsize=15417404 memory=264500 CPUtime=106.96 cores=0,2,4,6
/proc/22596/stat : 22596 (java) S 22594 22594 14254 0 -1 1077944320 38083 0 0 0 10680 16 0 0 20 0 19 0 408264067 15787421696 66125 33554432000 4194304 4196468 140736153692624 140736153675168 139849443049207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
/proc/22596/statm: 3854351 66125 3518 1 0 3815453 0
[pid=22596/tid=22597] ppid=22594 vsize=15417404 memory=928 CPUtime=0.84 cores=0,2,4,6
/proc/22596/task/22597/stat : 22597 (java) S 22594 22594 14254 0 -1 1077944384 9199 0 0 0 79 5 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849447289984 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22598] ppid=22594 vsize=15417404 memory=1680 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22598/stat : 22598 (java) S 22594 22594 14254 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849371089552 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22599] ppid=22594 vsize=15417404 memory=1444 CPUtime=0.04 cores=0,2,4,6
/proc/22596/task/22599/stat : 22599 (java) S 22594 22594 14254 0 -1 1077944384 151 0 0 0 3 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849034492432 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22600] ppid=22594 vsize=15417404 memory=8317482817917895235 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22600/stat : 22600 (java) S 22594 22594 14254 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849033439632 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22601] ppid=22594 vsize=15417404 memory=281186140313728 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22601/stat : 22601 (java) S 22594 22594 14254 0 -1 1077944384 344 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849032386832 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22602] ppid=22594 vsize=15417404 memory=140593070130246 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22602/stat : 22602 (java) S 22594 22594 14254 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848978791280 139849443060354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22603] ppid=22594 vsize=15417404 memory=281186140160240 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22603/stat : 22603 (java) S 22594 22594 14254 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848977737312 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22604] ppid=22594 vsize=15417404 memory=281186140160240 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22604/stat : 22604 (java) S 22594 22594 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848976684400 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22605] ppid=22594 vsize=15417404 memory=281186140162729 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22605/stat : 22605 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848975632720 139849443067803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22606] ppid=22594 vsize=15417404 memory=6791534058613427641 CPUtime=2.19 cores=0,2,4,6
/proc/22596/task/22606/stat : 22606 (java) S 22594 22594 14254 0 -1 1077944384 10088 0 0 0 218 1 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848974580080 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22607] ppid=22594 vsize=15417404 memory=1044 CPUtime=1.83 cores=0,2,4,6
/proc/22596/task/22607/stat : 22607 (java) S 22594 22594 14254 0 -1 1077944384 7808 0 0 0 182 1 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848973527280 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22608] ppid=22594 vsize=15417404 memory=708 CPUtime=0.66 cores=0,2,4,6
/proc/22596/task/22608/stat : 22608 (java) S 22594 22594 14254 0 -1 1077944384 4967 0 0 0 66 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848972474480 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22609] ppid=22594 vsize=15417404 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22609/stat : 22609 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848971421920 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22610] ppid=22594 vsize=15417404 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22611] ppid=22594 vsize=15417404 memory=776 CPUtime=25.31 cores=0,2,4,6
/proc/22596/task/22611/stat : 22611 (java) R 22594 22594 14254 0 -1 4202560 465 0 0 0 2531 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848893418648 139849057975626 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22612] ppid=22594 vsize=15417404 memory=1448 CPUtime=25.33 cores=0,2,4,6
/proc/22596/task/22612/stat : 22612 (java) R 22594 22594 14254 0 -1 4202560 1200 0 0 0 2533 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848892367288 139849057975680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22613] ppid=22594 vsize=15417404 memory=264500 CPUtime=25.36 cores=0,2,4,6
/proc/22596/task/22613/stat : 22613 (java) R 22594 22594 14254 0 -1 4202560 738 0 0 0 2536 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848891314120 139849057975639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22614] ppid=22594 vsize=15417404 memory=6944652177228980320 CPUtime=25.18 cores=0,2,4,6
/proc/22596/task/22614/stat : 22614 (java) R 22594 22594 14254 0 -1 4202560 883 0 0 0 2518 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848890261888 139849057992913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 106.96 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 265948 KiB

[startup+27.4092 s]
/proc/loadavg: 8.23 8.52 8.43 9/236 22614
/proc/meminfo: memFree=30971224/32770624 swapFree=66920748/67108860
[pid=22594] ppid=22591 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22594/stat : 22594 (xcsp3-exec) S 22591 22594 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408264067 115843072 362 33554432000 4194304 5098028 140736443986080 140736443984184 139698043871868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39387136 140736443990907 140736443991149 140736443991149 140736443994058 0
/proc/22594/statm: 28282 362 304 221 0 87 0
[pid=22596] ppid=22594 vsize=15417404 memory=264500 CPUtime=107.79 cores=0,2,4,6
/proc/22596/stat : 22596 (java) S 22594 22594 14254 0 -1 1077944320 38083 0 0 0 10763 16 0 0 20 0 19 0 408264067 15787421696 66125 33554432000 4194304 4196468 140736153692624 140736153675168 139849443049207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
/proc/22596/statm: 3854351 66125 3518 1 0 3815453 0
[pid=22596/tid=22597] ppid=22594 vsize=15417404 memory=264448 CPUtime=0.84 cores=0,2,4,6
/proc/22596/task/22597/stat : 22597 (java) S 22594 22594 14254 0 -1 1077944384 9199 0 0 0 79 5 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849447289984 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22598] ppid=22594 vsize=15417404 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22598/stat : 22598 (java) S 22594 22594 14254 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849371089552 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22599] ppid=22594 vsize=15417404 memory=1556 CPUtime=0.04 cores=0,2,4,6
/proc/22596/task/22599/stat : 22599 (java) S 22594 22594 14254 0 -1 1077944384 151 0 0 0 3 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849034492432 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22600] ppid=22594 vsize=15417404 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22600/stat : 22600 (java) S 22594 22594 14254 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849033439632 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22601] ppid=22594 vsize=15417404 memory=984 CPUtime=0.03 cores=0,2,4,6
/proc/22596/task/22601/stat : 22601 (java) S 22594 22594 14254 0 -1 1077944384 344 0 0 0 2 1 0 0 20 0 19 0 408264068 15787421696 66125 33554432000 4194304 4196468 140736153692624 139849032386832 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22602] ppid=22594 vsize=15417404 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22602/stat : 22602 (java) S 22594 22594 14254 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848978791280 139849443060354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22603] ppid=22594 vsize=15417404 memory=5228 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22603/stat : 22603 (java) S 22594 22594 14254 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848977737312 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22604] ppid=22594 vsize=15417404 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22604/stat : 22604 (java) S 22594 22594 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408264070 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848976684400 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22605] ppid=22594 vsize=15417404 memory=12020 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22605/stat : 22605 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848975632720 139849443067803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22606] ppid=22594 vsize=15417404 memory=496 CPUtime=2.19 cores=0,2,4,6
/proc/22596/task/22606/stat : 22606 (java) S 22594 22594 14254 0 -1 1077944384 10088 0 0 0 218 1 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848974580080 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22607] ppid=22594 vsize=15417404 memory=1560 CPUtime=1.83 cores=0,2,4,6
/proc/22596/task/22607/stat : 22607 (java) S 22594 22594 14254 0 -1 1077944384 7808 0 0 0 182 1 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848973527280 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22608] ppid=22594 vsize=15417404 memory=928 CPUtime=0.66 cores=0,2,4,6
/proc/22596/task/22608/stat : 22608 (java) S 22594 22594 14254 0 -1 1077944384 4967 0 0 0 66 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848972474480 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22609] ppid=22594 vsize=15417404 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22609/stat : 22609 (java) S 22594 22594 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848971421920 139849443059413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22610] ppid=22594 vsize=15417404 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/22596/task/22610/stat : 22610 (java) S 22594 22594 14254 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 19 0 408264073 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848970370224 139849443060354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22611] ppid=22594 vsize=15417404 memory=888 CPUtime=25.52 cores=0,2,4,6
/proc/22596/task/22611/stat : 22611 (java) R 22594 22594 14254 0 -1 4202560 465 0 0 0 2552 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848893418648 139849057975747 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22612] ppid=22594 vsize=15417404 memory=1984 CPUtime=25.54 cores=0,2,4,6
/proc/22596/task/22612/stat : 22612 (java) R 22594 22594 14254 0 -1 4202560 1200 0 0 0 2554 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848892367288 139849057975708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22613] ppid=22594 vsize=15417404 memory=2552 CPUtime=25.56 cores=0,2,4,6
/proc/22596/task/22613/stat : 22613 (java) R 22594 22594 14254 0 -1 4202560 738 0 0 0 2556 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848891314120 139849057975572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
[pid=22596/tid=22614] ppid=22594 vsize=15417404 memory=1760 CPUtime=25.39 cores=0,2,4,6
/proc/22596/task/22614/stat : 22614 (java) R 22594 22594 14254 0 -1 4202560 883 0 0 0 2539 0 0 0 20 0 19 0 408264157 15787421696 66125 33554432000 4194304 4196468 140736153692624 139848890261888 139849057975502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140736153699311 140736153699482 140736153699482 140736153702351 0
Current children cumulated CPU time: 107.79 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 265948 KiB

Child status: 0
Real time (s): 27.469
CPU time (s): 107.939
CPU user time (s): 107.771
CPU system time (s): 0.167742
CPU usage (%): 392.947
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 265948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.771
system time used= 0.167742
maximum resident set size= 264948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3225
involuntary context switches= 2686


# summary of solver processes directly reported to runsolver:
#   pid: 22594
#   total CPU time (s): 107.939
#   total CPU user time (s): 107.771
#   total CPU system time (s): 0.167742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.189921 second user time and 0.350722 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-12 21:26:04
IDJOB=4392896
IDBENCH=131036
IDSOLVER=2840
FILE ID=node107/4392896-1568320080
RUNJOBID= node107-1568308867-14285
PBS_JOBID= 21701131
Free space on /tmp= 55680 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-rand/Subisomorphism-si2-r001-m400-05.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392896-1568320080/watcher-4392896-1568320080 -o /tmp/evaluation-result-4392896-1568320080/solver-4392896-1568320080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 825860854 HOME/instance-4392896-1568320080.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da
RANDOM SEED=825860854

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        31224264 kB
MemAvailable:   31580344 kB
Buffers:          118248 kB
Cached:           506896 kB
SwapCached:        80388 kB
Active:           643620 kB
Inactive:         315776 kB
Active(anon):     263192 kB
Inactive(anon):   100176 kB
Active(file):     380428 kB
Inactive(file):   215600 kB
Unevictable:      110040 kB
Mlocked:          110040 kB
SwapTotal:      67108860 kB
SwapFree:       66920748 kB
Dirty:             26360 kB
Writeback:             0 kB
AnonPages:        374064 kB
Mapped:            44832 kB
Shmem:             20496 kB
Slab:             180568 kB
SReclaimable:     151776 kB
SUnreclaim:        28792 kB
KernelStack:        4064 kB
PageTables:         6592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1477136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 55656 MiB
End job on node107 at 2019-09-12 21:26:32