Trace number 4407154

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24 parallelSAT (TO)72 20032.7 2520.14

General information on the benchmark

NameStillLife/StillLife-m1-s1/
StillLife-10-14.xml
MD5SUM2f9116219e9bb224096732f26408ee63
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables280
Number of constraints320
Number of domains2
Minimum domain size2
Maximum domain size9
Distribution of domain sizes[{"size":2,"count":140},{"size":9,"count":140}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":140},{"degree":7,"count":4},{"degree":8,"count":40},{"degree":10,"count":96}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":140},{"arity":3,"count":40},{"arity":4,"count":4},{"arity":6,"count":40},{"arity":9,"count":96}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180},{"type":"sum","count":140}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407154-1569343709.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407154-1569343709.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
2.09/0.86	c solve instance...
2.58/0.93	o 0 
2.58/0.95	o 4 
2.58/0.96	o 5 
2.58/0.97	o 6 
2.58/0.98	o 10 
2.58/0.98	o 11 
2.58/0.99	o 15 
3.25/1.01	o 16 
3.25/1.08	o 18 
3.25/1.10	o 20 
4.08/1.16	o 64 
4.69/1.24	o 65 
5.54/1.31	o 66 
5.54/1.33	o 67 
7.80/1.63	o 68 
64.92/8.87	o 71 
1089.97/138.26	o 72 
20031.91/2520.09	s SATISFIABLE
20031.91/2520.09	v <instantiation>
20031.91/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] </list>
20031.91/2520.09	v 	<values>1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 2 2 2 2 2 4 2 3 4 3 4 2 2 2 3 4 4 4 3 5 3 5 3 3 3 4 5 3 4 3 4 3 4 5 3 6 5 6 4 4 3 3 3 3 5 3 3 4 2 3 2 3 2 4 3 4 4 3 4 4 3 5 4 5 5 5 3 4 4 3 4 3 4 4 3 5 3 3 4 3 5 4 3 2 3 3 5 3 3 4 3 3 4 2 3 3 5 4 4 3 6 3 5 4 5 5 5 5 5 4 3 2 4 3 6 3 5 3 3 3 3 3 3 4 5 3 2 2 4 2 3 4 3 4 4 3 4 2 2 2 </values>
20031.91/2520.09	v </instantiation>
20031.91/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	72

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407154-1569343709/watcher-4407154-1569343709 -o /var/tmp/evaluation-result-4407154-1569343709/solver-4407154-1569343709 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 499698120 HOME/instance-4407154-1569343709.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=1474, runsolver pid=1471
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 8.16 7.33 6.03 3/211 1495
/proc/meminfo: memFree=25734240/32770624 swapFree=66966880/67108860
[pid=1474] ppid=1471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1474/stat : 1474 (xcsp3-exec) S 1471 1474 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510307283 115843072 363 33554432000 4194304 5098028 140722190502512 140722190500616 139904506577532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20955136 140722190508882 140722190509141 140722190509141 140722190512070 0
/proc/1474/statm: 28282 363 304 221 0 87 0
[pid=1476] ppid=1474 vsize=28227396 memory=29084 CPUtime=0.12 cores=0-7
/proc/1476/stat : 1476 (java) S 1474 1474 30433 0 -1 1077944320 5731 0 0 0 10 2 0 0 20 0 20 0 510307284 28904853504 7271 33554432000 4194304 4196468 140724288901328 140724288883872 139740621582071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
/proc/1476/statm: 7056849 7271 3121 1 0 7019032 0
[pid=1476/tid=1477] ppid=1474 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/1476/task/1477/stat : 1477 (java) R 1474 1474 30433 0 -1 4202560 3654 0 0 0 8 1 0 0 20 0 20 0 510307284 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740625814336 139740605662558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1478] ppid=1474 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1476/task/1478/stat : 1478 (java) S 1474 1474 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740172823184 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1479] ppid=1474 vsize=28227396 memory=139665518958208 CPUtime=0 cores=0-7
/proc/1476/task/1479/stat : 1479 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740171770384 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1480] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1480/stat : 1480 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740170717584 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1481] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1481/stat : 1481 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740169664784 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1482] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1482/stat : 1482 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740168613008 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1483] ppid=1474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1476/task/1483/stat : 1483 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740167560208 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1484] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1484/stat : 1484 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740166507408 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1485] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1485/stat : 1485 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740165454608 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1486] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1486/stat : 1486 (java) S 1474 1474 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307286 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740122650992 139740621593218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1487] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1487/stat : 1487 (java) S 1474 1474 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510307287 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740121596960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1488] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1488/stat : 1488 (java) S 1474 1474 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510307287 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740120544112 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1489] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1489/stat : 1489 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740119492432 139740621600667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1490] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1490/stat : 1490 (java) S 1474 1474 30433 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 7271 33554432000 4194304 4196468 140724288901328 139740118440816 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1491] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1491/stat : 1491 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 7271 33554432000 4194304 4196468 140724288901328 139738860219120 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1492] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1492/stat : 1492 (java) S 1474 1474 30433 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 7271 33554432000 4194304 4196468 140724288901328 139738859166320 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1493] ppid=1474 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1476/task/1493/stat : 1493 (java) R 1474 1474 30433 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 510307289 28904853504 7271 33554432000 4194304 4196468 140724288901328 139738858113520 139740621603418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1494] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1494/stat : 1494 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 7271 33554432000 4194304 4196468 140724288901328 139738857060960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1495] ppid=1474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1476/task/1495/stat : 1495 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307290 28904853504 7271 33554432000 4194304 4196468 140724288901328 139738856008240 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30536 KiB

[startup+0.210575 s]*
/proc/loadavg: 8.16 7.33 6.03 2/211 1495
/proc/meminfo: memFree=25720636/32770624 swapFree=66966880/67108860
[pid=1474] ppid=1471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1474/stat : 1474 (xcsp3-exec) S 1471 1474 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510307283 115843072 363 33554432000 4194304 5098028 140722190502512 140722190500616 139904506577532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20955136 140722190508882 140722190509141 140722190509141 140722190512070 0
/proc/1474/statm: 28282 363 304 221 0 87 0
[pid=1476] ppid=1474 vsize=28227396 memory=41140 CPUtime=0.33 cores=0-7
/proc/1476/stat : 1476 (java) S 1474 1474 30433 0 -1 1077944320 9544 0 0 0 29 4 0 0 20 0 20 0 510307284 28904853504 10285 33554432000 4194304 4196468 140724288901328 140724288883872 139740621582071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
/proc/1476/statm: 7056849 10285 3311 1 0 7019032 0
[pid=1476/tid=1477] ppid=1474 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1476/task/1477/stat : 1477 (java) R 1474 1474 30433 0 -1 4202560 6688 0 0 0 17 2 0 0 20 0 20 0 510307284 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740625816192 139740260233962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1478] ppid=1474 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1476/task/1478/stat : 1478 (java) S 1474 1474 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740172823184 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1479] ppid=1474 vsize=28227396 memory=139665522485134 CPUtime=0 cores=0-7
/proc/1476/task/1479/stat : 1479 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740171770384 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1480] ppid=1474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1476/task/1480/stat : 1480 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740170717584 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1481] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1481/stat : 1481 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740169664784 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1482] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1482/stat : 1482 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740168613008 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1483] ppid=1474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1476/task/1483/stat : 1483 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740167560208 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1484] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1484/stat : 1484 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740166507408 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1485] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1485/stat : 1485 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740165454608 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1486] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1486/stat : 1486 (java) S 1474 1474 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510307286 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740122650992 139740621593218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1487] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1487/stat : 1487 (java) S 1474 1474 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510307287 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740121596960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1488] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1488/stat : 1488 (java) S 1474 1474 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510307287 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740120544112 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1489] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1489/stat : 1489 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740119492432 139740621600667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1490] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1490/stat : 1490 (java) S 1474 1474 30433 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 10285 33554432000 4194304 4196468 140724288901328 139740118440816 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1491] ppid=1474 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1476/task/1491/stat : 1491 (java) S 1474 1474 30433 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 510307289 28904853504 10285 33554432000 4194304 4196468 140724288901328 139738860219120 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1492] ppid=1474 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/1476/task/1492/stat : 1492 (java) S 1474 1474 30433 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 20 0 510307289 28904853504 10285 33554432000 4194304 4196468 140724288901328 139738859166320 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1493] ppid=1474 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/1476/task/1493/stat : 1493 (java) R 1474 1474 30433 0 -1 4202560 781 0 0 0 7 0 0 0 20 0 20 0 510307289 28904853504 10285 33554432000 4194304 4196468 140724288901328 139738858113520 139740621594006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1494] ppid=1474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1494/stat : 1494 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307289 28904853504 10285 33554432000 4194304 4196468 140724288901328 139738857060960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1495] ppid=1474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1476/task/1495/stat : 1495 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307290 28904853504 10285 33554432000 4194304 4196468 140724288901328 139738856008240 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42592 KiB

[startup+0.310369 s]*
/proc/loadavg: 8.16 7.33 6.03 4/211 1495
/proc/meminfo: memFree=25713832/32770624 swapFree=66966880/67108860
[pid=1474] ppid=1471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1474/stat : 1474 (xcsp3-exec) S 1471 1474 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510307283 115843072 363 33554432000 4194304 5098028 140722190502512 140722190500616 139904506577532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20955136 140722190508882 140722190509141 140722190509141 140722190512070 0
/proc/1474/statm: 28282 363 304 221 0 87 0
[pid=1476] ppid=1474 vsize=28231652 memory=49820 CPUtime=0.52 cores=0-7
/proc/1476/stat : 1476 (java) S 1474 1474 30433 0 -1 1077944320 10800 0 0 0 48 4 0 0 20 0 20 0 510307284 28909211648 12455 33554432000 4194304 4196468 140724288901328 140724288883872 139740621582071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
/proc/1476/statm: 7057913 12455 3368 1 0 7019032 0
[pid=1476/tid=1477] ppid=1474 vsize=28231652 memory=1398720917958146503 CPUtime=0.3 cores=0-7
/proc/1476/task/1477/stat : 1477 (java) R 1474 1474 30433 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 20 0 510307284 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740625813184 139740605662558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1478] ppid=1474 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1476/task/1478/stat : 1478 (java) S 1474 1474 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740172823184 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1479] ppid=1474 vsize=28231652 memory=1196 CPUtime=0 cores=0-7
/proc/1476/task/1479/stat : 1479 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740171770384 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1480] ppid=1474 vsize=28231652 memory=1044 CPUtime=0 cores=0-7
/proc/1476/task/1480/stat : 1480 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740170717584 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1481] ppid=1474 vsize=28231652 memory=712 CPUtime=0 cores=0-7
/proc/1476/task/1481/stat : 1481 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740169664784 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1482] ppid=1474 vsize=28231652 memory=2832 CPUtime=0 cores=0-7
/proc/1476/task/1482/stat : 1482 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740168613008 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1483] ppid=1474 vsize=28231652 memory=8136 CPUtime=0 cores=0-7
/proc/1476/task/1483/stat : 1483 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740167560208 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1484] ppid=1474 vsize=28231652 memory=10492 CPUtime=0 cores=0-7
/proc/1476/task/1484/stat : 1484 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740166507408 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1485] ppid=1474 vsize=28231652 memory=14012 CPUtime=0 cores=0-7
/proc/1476/task/1485/stat : 1485 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740165454608 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1486] ppid=1474 vsize=28231652 memory=14080 CPUtime=0 cores=0-7
/proc/1476/task/1486/stat : 1486 (java) S 1474 1474 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510307286 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740122650992 139740621593218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1487] ppid=1474 vsize=28231652 memory=35664 CPUtime=0 cores=0-7
/proc/1476/task/1487/stat : 1487 (java) S 1474 1474 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510307287 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740121596960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1488] ppid=1474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1488/stat : 1488 (java) S 1474 1474 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510307287 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740120544112 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1489] ppid=1474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1489/stat : 1489 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307289 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740119492432 139740621600667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1490] ppid=1474 vsize=28231652 memory=0 CPUtime=0.01 cores=0-7
/proc/1476/task/1490/stat : 1490 (java) S 1474 1474 30433 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 510307289 28909211648 12499 33554432000 4194304 4196468 140724288901328 139740118440816 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1491] ppid=1474 vsize=28231652 memory=0 CPUtime=0.04 cores=0-7
/proc/1476/task/1491/stat : 1491 (java) R 1474 1474 30433 0 -1 4202560 185 0 0 0 4 0 0 0 20 0 20 0 510307289 28909211648 12499 33554432000 4194304 4196468 140724288901328 139738860217520 139740599179088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1492] ppid=1474 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1476/task/1492/stat : 1492 (java) S 1474 1474 30433 0 -1 1077944384 382 0 0 0 3 0 0 0 20 0 20 0 510307289 28909211648 12499 33554432000 4194304 4196468 140724288901328 139738859166320 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1493] ppid=1474 vsize=28231652 memory=139665357243887 CPUtime=0.13 cores=0-7
/proc/1476/task/1493/stat : 1493 (java) S 1474 1474 30433 0 -1 1077944384 838 0 0 0 13 0 0 0 20 0 20 0 510307289 28909211648 12499 33554432000 4194304 4196468 140724288901328 139738858113520 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1494] ppid=1474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1494/stat : 1494 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307289 28909211648 12499 33554432000 4194304 4196468 140724288901328 139738857060960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1495] ppid=1474 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7
/proc/1476/task/1495/stat : 1495 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307290 28909211648 12499 33554432000 4194304 4196468 140724288901328 139738856008240 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51272 KiB

[startup+0.700965 s]
/proc/loadavg: 8.16 7.33 6.03 4/211 1495
/proc/meminfo: memFree=25704060/32770624 swapFree=66966880/67108860
[pid=1474] ppid=1471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1474/stat : 1474 (xcsp3-exec) S 1471 1474 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510307283 115843072 363 33554432000 4194304 5098028 140722190502512 140722190500616 139904506577532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20955136 140722190508882 140722190509141 140722190509141 140722190512070 0
/proc/1474/statm: 28282 363 304 221 0 87 0
[pid=1476] ppid=1474 vsize=28233776 memory=83188 CPUtime=1.61 cores=0-7
/proc/1476/stat : 1476 (java) S 1474 1474 30433 0 -1 1077944320 15061 0 0 0 154 7 0 0 20 0 20 0 510307284 28911386624 20797 33554432000 4194304 4196468 140724288901328 140724288883872 139740621582071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
/proc/1476/statm: 7058444 20797 3455 1 0 7019544 0
[pid=1476/tid=1477] ppid=1474 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/1476/task/1477/stat : 1477 (java) R 1474 1474 30433 0 -1 4202560 9256 0 0 0 64 4 0 0 20 0 20 0 510307284 28911386624 20797 33554432000 4194304 4196468 140724288901328 139740625818960 139740263174278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1478] ppid=1474 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1478/stat : 1478 (java) S 1474 1474 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307285 28911386624 20797 33554432000 4194304 4196468 140724288901328 139740172823184 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1479] ppid=1474 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1476/task/1479/stat : 1479 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307285 28911386624 20797 33554432000 4194304 4196468 140724288901328 139740171770384 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1480] ppid=1474 vsize=28233776 memory=2020 CPUtime=0 cores=0-7
/proc/1476/task/1480/stat : 1480 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307285 28911386624 20797 33554432000 4194304 4196468 140724288901328 139740170717584 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0

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

[pid=1476/tid=1656] ppid=1474 vsize=28769364 memory=1452 CPUtime=2278.51 cores=0-7
/proc/1476/task/1656/stat : 1656 (java) R 1474 1474 30433 0 -1 4202560 81781 0 0 0 227689 162 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738845975232 139740264852304 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
Current children cumulated CPU time: 19414.1 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 6267508 KiB

[startup+2502.3 s]
/proc/loadavg: 8.20 8.48 8.26 9/219 1851
/proc/meminfo: memFree=19484908/32770624 swapFree=66966880/67108860
[pid=1474] ppid=1471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1474/stat : 1474 (xcsp3-exec) S 1471 1474 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510307283 115843072 363 33554432000 4194304 5098028 140722190502512 140722190500616 139904506577532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20955136 140722190508882 140722190509141 140722190509141 140722190512070 0
/proc/1474/statm: 28282 363 304 221 0 87 0
[pid=1476] ppid=1474 vsize=28769364 memory=6266056 CPUtime=19891.2 cores=0-7
/proc/1476/stat : 1476 (java) S 1474 1474 30433 0 -1 1077944320 1665800 0 0 0 1987535 1580 0 0 20 0 28 0 510307284 29459828736 1566514 33554432000 4194304 4196468 140724288901328 140724288883872 139740621582071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
/proc/1476/statm: 7192341 1566514 3551 1 0 7153441 0
[pid=1476/tid=1477] ppid=1474 vsize=28769364 memory=6266056 CPUtime=0.87 cores=0-7
/proc/1476/task/1477/stat : 1477 (java) S 1474 1474 30433 0 -1 1077944384 9705 0 0 0 82 5 0 0 20 0 28 0 510307284 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740625822848 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1478] ppid=1474 vsize=28769364 memory=6266056 CPUtime=10.24 cores=0-7
/proc/1476/task/1478/stat : 1478 (java) S 1474 1474 30433 0 -1 1077944384 66249 0 0 0 974 50 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740172823184 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1479] ppid=1474 vsize=28769364 memory=6266056 CPUtime=10.19 cores=0-7
/proc/1476/task/1479/stat : 1479 (java) S 1474 1474 30433 0 -1 1077944384 69000 0 0 0 967 52 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740171770384 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1480] ppid=1474 vsize=28769364 memory=0 CPUtime=10.2 cores=0-7
/proc/1476/task/1480/stat : 1480 (java) S 1474 1474 30433 0 -1 1077944384 69555 0 0 0 971 49 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740170717584 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1481] ppid=1474 vsize=28769364 memory=6266056 CPUtime=10.33 cores=0-7
/proc/1476/task/1481/stat : 1481 (java) S 1474 1474 30433 0 -1 1077944384 71248 0 0 0 981 52 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740169664784 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1482] ppid=1474 vsize=28769364 memory=1452 CPUtime=10.24 cores=0-7
/proc/1476/task/1482/stat : 1482 (java) S 1474 1474 30433 0 -1 1077944384 66971 0 0 0 970 54 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740168613008 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1483] ppid=1474 vsize=28769364 memory=0 CPUtime=10.2 cores=0-7
/proc/1476/task/1483/stat : 1483 (java) S 1474 1474 30433 0 -1 1077944384 67831 0 0 0 968 52 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740167560208 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1484] ppid=1474 vsize=28769364 memory=148 CPUtime=10.12 cores=0-7
/proc/1476/task/1484/stat : 1484 (java) S 1474 1474 30433 0 -1 1077944384 64573 0 0 0 963 49 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740166507408 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1485] ppid=1474 vsize=28769364 memory=1452 CPUtime=10.28 cores=0-7
/proc/1476/task/1485/stat : 1485 (java) S 1474 1474 30433 0 -1 1077944384 67343 0 0 0 973 55 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740165454608 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1486] ppid=1474 vsize=28769364 memory=1452 CPUtime=3.92 cores=0-7
/proc/1476/task/1486/stat : 1486 (java) S 1474 1474 30433 0 -1 1077944384 256578 0 0 0 291 101 0 0 20 0 28 0 510307286 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740122650992 139740621593218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1487] ppid=1474 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/1476/task/1487/stat : 1487 (java) S 1474 1474 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510307287 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740121596960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1488] ppid=1474 vsize=28769364 memory=6266056 CPUtime=0 cores=0-7
/proc/1476/task/1488/stat : 1488 (java) S 1474 1474 30433 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510307287 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740120544112 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1489] ppid=1474 vsize=28769364 memory=3612 CPUtime=0 cores=0-7
/proc/1476/task/1489/stat : 1489 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740119492432 139740621600667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1490] ppid=1474 vsize=28769364 memory=63884 CPUtime=1.48 cores=0-7
/proc/1476/task/1490/stat : 1490 (java) S 1474 1474 30433 0 -1 1077944384 8676 0 0 0 147 1 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740118440816 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1491] ppid=1474 vsize=28769364 memory=1452 CPUtime=1.58 cores=0-7
/proc/1476/task/1491/stat : 1491 (java) S 1474 1474 30433 0 -1 1077944384 8932 0 0 0 157 1 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738860219120 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1492] ppid=1474 vsize=28769364 memory=6266056 CPUtime=1.45 cores=0-7
/proc/1476/task/1492/stat : 1492 (java) S 1474 1474 30433 0 -1 1077944384 7006 0 0 0 144 1 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738859166320 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1493] ppid=1474 vsize=28769364 memory=6266056 CPUtime=0.84 cores=0-7
/proc/1476/task/1493/stat : 1493 (java) S 1474 1474 30433 0 -1 1077944384 8789 0 0 0 82 2 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738858113520 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1494] ppid=1474 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/1476/task/1494/stat : 1494 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738857060960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1495] ppid=1474 vsize=28769364 memory=1452 CPUtime=0.64 cores=0-7
/proc/1476/task/1495/stat : 1495 (java) S 1474 1474 30433 0 -1 1077944384 8847 0 0 0 10 54 0 0 20 0 28 0 510307290 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738856008240 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1649] ppid=1474 vsize=28769364 memory=6266056 CPUtime=2342.26 cores=0-7
/proc/1476/task/1649/stat : 1649 (java) R 1474 1474 30433 0 -1 4202560 44753 0 0 0 234185 41 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738843868744 139740264875106 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1650] ppid=1474 vsize=28769364 memory=1452 CPUtime=2342.86 cores=0-7
/proc/1476/task/1650/stat : 1650 (java) R 1474 1474 30433 0 -1 4202560 38010 0 0 0 234248 38 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738768973752 139740265564067 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1651] ppid=1474 vsize=28769364 memory=6266056 CPUtime=2341.99 cores=0-7
/proc/1476/task/1651/stat : 1651 (java) R 1474 1474 30433 0 -1 4202560 42293 0 0 0 234157 42 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738773175984 139740265766127 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1652] ppid=1474 vsize=28769364 memory=6266056 CPUtime=2339.46 cores=0-7
/proc/1476/task/1652/stat : 1652 (java) R 1474 1474 30433 0 -1 4202560 125560 0 0 0 233738 208 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738774229184 139740265024192 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1653] ppid=1474 vsize=28769364 memory=1452 CPUtime=2337.44 cores=0-7
/proc/1476/task/1653/stat : 1653 (java) R 1474 1474 30433 0 -1 4202560 72386 0 0 0 233596 148 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738772126944 139740259837528 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1654] ppid=1474 vsize=28769364 memory=6266056 CPUtime=2337.46 cores=0-7
/proc/1476/task/1654/stat : 1654 (java) R 1474 1474 30433 0 -1 4202560 158642 0 0 0 233437 309 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738847027640 139740265525311 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1655] ppid=1474 vsize=28769364 memory=288284497924064105 CPUtime=2340.52 cores=0-7
/proc/1476/task/1655/stat : 1655 (java) R 1474 1474 30433 0 -1 4202560 112137 0 0 0 233983 69 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738844921736 139740265075368 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1656] ppid=1474 vsize=28769364 memory=988 CPUtime=2337.74 cores=0-7
/proc/1476/task/1656/stat : 1656 (java) R 1474 1474 30433 0 -1 4202560 83012 0 0 0 233610 164 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738845974320 139740266386050 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
Current children cumulated CPU time: 19891.2 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 6267508 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.14 8.45 8.25 9/219 1851
/proc/meminfo: memFree=19484212/32770624 swapFree=66966880/67108860
[pid=1474] ppid=1471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1474/stat : 1474 (xcsp3-exec) S 1471 1474 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510307283 115843072 363 33554432000 4194304 5098028 140722190502512 140722190500616 139904506577532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20955136 140722190508882 140722190509141 140722190509141 140722190512070 0
/proc/1474/statm: 28282 363 304 221 0 87 0
[pid=1476] ppid=1474 vsize=28769364 memory=6266056 CPUtime=20031.9 cores=0-7
/proc/1476/stat : 1476 (java) S 1474 1474 30433 0 -1 1077944320 1682823 0 0 0 2001603 1588 0 0 20 0 28 0 510307284 29459828736 1566514 33554432000 4194304 4196468 140724288901328 140724288883872 139740621582071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
/proc/1476/statm: 7192341 1566514 3551 1 0 7153441 0
[pid=1476/tid=1477] ppid=1474 vsize=28769364 memory=6935054825532540783 CPUtime=0.87 cores=0-7
/proc/1476/task/1477/stat : 1477 (java) S 1474 1474 30433 0 -1 1077944384 9705 0 0 0 82 5 0 0 20 0 28 0 510307284 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740625822848 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1478] ppid=1474 vsize=28769364 memory=1452 CPUtime=10.3 cores=0-7
/proc/1476/task/1478/stat : 1478 (java) S 1474 1474 30433 0 -1 1077944384 68091 0 0 0 980 50 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740172823184 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1479] ppid=1474 vsize=28769364 memory=6266056 CPUtime=10.24 cores=0-7
/proc/1476/task/1479/stat : 1479 (java) S 1474 1474 30433 0 -1 1077944384 70378 0 0 0 972 52 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740171770384 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1480] ppid=1474 vsize=28769364 memory=4108 CPUtime=10.26 cores=0-7
/proc/1476/task/1480/stat : 1480 (java) S 1474 1474 30433 0 -1 1077944384 70818 0 0 0 977 49 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740170717584 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1481] ppid=1474 vsize=28769364 memory=4126316290023845779 CPUtime=10.39 cores=0-7
/proc/1476/task/1481/stat : 1481 (java) S 1474 1474 30433 0 -1 1077944384 72484 0 0 0 986 53 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740169664784 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1482] ppid=1474 vsize=28769364 memory=3616 CPUtime=10.31 cores=0-7
/proc/1476/task/1482/stat : 1482 (java) S 1474 1474 30433 0 -1 1077944384 68233 0 0 0 976 55 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740168613008 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1483] ppid=1474 vsize=28769364 memory=63884 CPUtime=10.26 cores=0-7
/proc/1476/task/1483/stat : 1483 (java) S 1474 1474 30433 0 -1 1077944384 68925 0 0 0 974 52 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740167560208 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1484] ppid=1474 vsize=28769364 memory=1452 CPUtime=10.18 cores=0-7
/proc/1476/task/1484/stat : 1484 (java) S 1474 1474 30433 0 -1 1077944384 65466 0 0 0 969 49 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740166507408 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1485] ppid=1474 vsize=28769364 memory=6266056 CPUtime=10.33 cores=0-7
/proc/1476/task/1485/stat : 1485 (java) S 1474 1474 30433 0 -1 1077944384 68616 0 0 0 978 55 0 0 20 0 28 0 510307285 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740165454608 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1486] ppid=1474 vsize=28769364 memory=1432 CPUtime=3.94 cores=0-7
/proc/1476/task/1486/stat : 1486 (java) S 1474 1474 30433 0 -1 1077944384 258346 0 0 0 293 101 0 0 20 0 28 0 510307286 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740122650992 139740621593218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1487] ppid=1474 vsize=28769364 memory=776 CPUtime=0 cores=0-7
/proc/1476/task/1487/stat : 1487 (java) S 1474 1474 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510307287 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740121596960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1488] ppid=1474 vsize=28769364 memory=1056 CPUtime=0 cores=0-7
/proc/1476/task/1488/stat : 1488 (java) S 1474 1474 30433 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510307287 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740120544112 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1489] ppid=1474 vsize=28769364 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1476/task/1489/stat : 1489 (java) S 1474 1474 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740119492432 139740621600667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1490] ppid=1474 vsize=28769364 memory=864 CPUtime=1.48 cores=0-7
/proc/1476/task/1490/stat : 1490 (java) S 1474 1474 30433 0 -1 1077944384 8679 0 0 0 147 1 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139740118440816 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1491] ppid=1474 vsize=28769364 memory=1976 CPUtime=1.58 cores=0-7
/proc/1476/task/1491/stat : 1491 (java) S 1474 1474 30433 0 -1 1077944384 8942 0 0 0 157 1 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738860219120 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1492] ppid=1474 vsize=28769364 memory=2496 CPUtime=1.45 cores=0-7
/proc/1476/task/1492/stat : 1492 (java) S 1474 1474 30433 0 -1 1077944384 7011 0 0 0 144 1 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738859166320 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1493] ppid=1474 vsize=28769364 memory=1760 CPUtime=0.84 cores=0-7
/proc/1476/task/1493/stat : 1493 (java) S 1474 1474 30433 0 -1 1077944384 8795 0 0 0 82 2 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738858113520 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1494] ppid=1474 vsize=28769364 memory=111636 CPUtime=0 cores=0-7
/proc/1476/task/1494/stat : 1494 (java) S 1474 1474 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510307289 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738857060960 139740621592277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1495] ppid=1474 vsize=28769364 memory=804 CPUtime=0.64 cores=0-7
/proc/1476/task/1495/stat : 1495 (java) S 1474 1474 30433 0 -1 1077944384 8946 0 0 0 10 54 0 0 20 0 28 0 510307290 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738856008240 139740621593218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1649] ppid=1474 vsize=28769364 memory=1660 CPUtime=2359.85 cores=0-7
/proc/1476/task/1649/stat : 1649 (java) R 1474 1474 30433 0 -1 4202560 45172 0 0 0 235944 41 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738843871472 139740267034464 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1650] ppid=1474 vsize=28769364 memory=4126316290023845779 CPUtime=2360.45 cores=0-7
/proc/1476/task/1650/stat : 1650 (java) R 1474 1474 30433 0 -1 4202560 38385 0 0 0 236007 38 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738768977648 139740268383768 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1651] ppid=1474 vsize=28769364 memory=3616 CPUtime=2359.5 cores=0-7
/proc/1476/task/1651/stat : 1651 (java) R 1474 1474 30433 0 -1 4202560 42724 0 0 0 235907 43 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738773176488 139740259836715 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1652] ppid=1474 vsize=28769364 memory=1552 CPUtime=2356.91 cores=0-7
/proc/1476/task/1652/stat : 1652 (java) R 1474 1474 30433 0 -1 4202560 126738 0 0 0 235482 209 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738774231816 139740262158358 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1653] ppid=1474 vsize=28769364 memory=1708 CPUtime=2354.98 cores=0-7
/proc/1476/task/1653/stat : 1653 (java) R 1474 1474 30433 0 -1 4202560 72858 0 0 0 235349 149 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738772124872 139740265075253 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1654] ppid=1474 vsize=28769364 memory=1196 CPUtime=2354.98 cores=0-7
/proc/1476/task/1654/stat : 1654 (java) R 1474 1474 30433 0 -1 4202560 158914 0 0 0 235189 309 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738847028296 139740264908737 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1655] ppid=1474 vsize=28769364 memory=1044 CPUtime=2358.05 cores=0-7
/proc/1476/task/1655/stat : 1655 (java) R 1474 1474 30433 0 -1 4202560 113107 0 0 0 235736 69 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738844925304 139740266959350 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
[pid=1476/tid=1656] ppid=1474 vsize=28769364 memory=8112282956445269571 CPUtime=2355.27 cores=0-7
/proc/1476/task/1656/stat : 1656 (java) R 1474 1474 30433 0 -1 4202560 83786 0 0 0 235362 165 0 0 20 0 28 0 510321110 29459828736 1566514 33554432000 4194304 4196468 140724288901328 139738845975368 139740264899660 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 28798976 140724288906198 140724288906374 140724288906374 140724288909263 0
Current children cumulated CPU time: 20031.9 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 6267508 KiB

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

[startup+2520.04 s]
# the end of solver process 1474 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001551 s, system=0.000775 s

[startup+2520.14 s]
# the end of solver process 1476 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20016.8 s, system=15.9236 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.14
CPU time (s): 20032.7
CPU user time (s): 20016.8
CPU system time (s): 15.9236
CPU usage (%): 794.904
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 6488520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20016.8
system time used= 15.9236
maximum resident set size= 6522268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1684012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275563
involuntary context switches= 235670


# summary of solver processes directly reported to runsolver:
#   pid: 1474,1476
#   total CPU time (s): 20032.7
#   total CPU user time (s): 20016.8
#   total CPU system time (s): 15.9236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.4203 second user time and 24.2515 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 18:47:46
IDJOB=4407154
IDBENCH=115967
IDSOLVER=2871
FILE ID=node145/4407154-1569343709
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-10-14.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 /var/tmp/evaluation-result-4407154-1569343709/watcher-4407154-1569343709 -o /var/tmp/evaluation-result-4407154-1569343709/solver-4407154-1569343709 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 499698120 HOME/instance-4407154-1569343709.xml

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

MD5SUM BENCH= 2f9116219e9bb224096732f26408ee63
RANDOM SEED=499698120

node145.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.59
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.59
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.59
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.59
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:        25751236 kB
MemAvailable:   31810784 kB
Buffers:          148564 kB
Cached:          6063368 kB
SwapCached:        32456 kB
Active:          3045808 kB
Inactive:        3202980 kB
Active(anon):       4464 kB
Inactive(anon):    89852 kB
Active(file):    3041344 kB
Inactive(file):  3113128 kB
Unevictable:      108772 kB
Mlocked:          108772 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:             26116 kB
Writeback:             0 kB
AnonPages:        111664 kB
Mapped:            57052 kB
Shmem:             48848 kB
Slab:             362236 kB
SReclaimable:     333536 kB
SUnreclaim:        28700 kB
KernelStack:        3408 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node145 at 2019-09-24 19:29:46