Trace number 4399954

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-16 parallelSAT (TO)70 20030.4 2520.12

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-4399954-1568700764.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399954-1568700764.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.14/0.84	c solve instance...
2.71/0.91	o 0 
2.71/0.93	o 4 
2.71/0.96	o 5 
2.71/0.98	o 6 
2.71/0.98	o 10 
2.71/0.98	o 11 
2.71/0.99	o 12 
2.71/1.00	o 15 
3.38/1.02	o 16 
3.38/1.05	o 63 
3.38/1.10	o 64 
4.12/1.15	o 65 
4.79/1.29	o 66 
6.32/1.47	o 67 
7.11/1.52	o 68 
8.59/1.73	o 69 
9.37/1.83	o 70 
20029.70/2520.07	s SATISFIABLE
20029.70/2520.07	v <instantiation>
20029.70/2520.07	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>
20029.70/2520.07	v 	<values>1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 2 2 4 2 4 3 2 4 2 3 2 2 2 2 4 3 4 2 3 5 3 6 3 6 2 4 3 3 3 5 5 5 4 5 2 6 2 6 2 5 3 3 2 3 2 3 2 5 2 6 2 5 2 5 5 4 4 5 5 5 3 5 2 6 3 6 4 3 3 2 3 3 4 3 5 6 3 5 2 3 2 4 5 3 3 3 4 2 3 3 3 5 5 6 4 4 3 4 4 5 5 4 5 4 5 3 3 3 2 4 3 3 2 3 3 2 4 2 5 3 4 4 3 5 5 3 2 4 4 2 4 2 3 2 1 1 2 2 2 2 </values>
20029.70/2520.07	v </instantiation>
20029.70/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	70

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399954-1568700764/watcher-4399954-1568700764 -o /tmp/evaluation-result-4399954-1568700764/solver-4399954-1568700764 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1751174351 HOME/instance-4399954-1568700764.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=28048, runsolver pid=28045
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 3.98 6.58 6.83 2/212 28069
/proc/meminfo: memFree=30340436/32770624 swapFree=66917056/67108860
[pid=28048] ppid=28045 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28048/stat : 28048 (xcsp3-exec) S 28045 28048 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445990214 115843072 363 33554432000 4194304 5098028 140728053470096 140728053468200 140059829097084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10526720 140728053474165 140728053474409 140728053474409 140728053477322 0
/proc/28048/statm: 28282 363 304 221 0 87 0
[pid=28050] ppid=28048 vsize=28227396 memory=28916 CPUtime=0.12 cores=0-7
/proc/28050/stat : 28050 (java) S 28048 28048 27783 0 -1 1077944320 5697 0 0 0 11 1 0 0 20 0 20 0 445990215 28904853504 7229 33554432000 4194304 4196468 140721561103296 140721561085840 140346394717943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
/proc/28050/statm: 7056849 7229 3116 1 0 7019032 0
[pid=28050/tid=28051] ppid=28048 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28050/task/28051/stat : 28051 (java) R 28048 28048 27783 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 20 0 445990215 28904853504 7229 33554432000 4194304 4196468 140721561103296 140346398951216 140346394729878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28052] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28052/stat : 28052 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140346314570640 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28053] ppid=28048 vsize=28227396 memory=139692823324288 CPUtime=0 cores=0-7
/proc/28050/task/28053/stat : 28053 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140346313517840 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28054] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28054/stat : 28054 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140346312465552 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28055] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28055/stat : 28055 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345942858768 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28056] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28056/stat : 28056 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345941805456 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28057] ppid=28048 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28050/task/28057/stat : 28057 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345940752656 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28058] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28058/stat : 28058 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345939700368 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28059] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28059/stat : 28059 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345938647568 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28060] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28060/stat : 28060 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990217 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345060260464 140346394729090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28061] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28061/stat : 28061 (java) S 28048 28048 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 445990218 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345059206432 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28062] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28062/stat : 28062 (java) S 28048 28048 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 445990218 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345058154096 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28063] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28063/stat : 28063 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990220 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345057102416 140346394736539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28064] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28064/stat : 28064 (java) S 28048 28048 27783 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 445990220 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345056049264 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28065] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28065/stat : 28065 (java) S 28048 28048 27783 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 445990220 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345054996464 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28066] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28066/stat : 28066 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990220 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345053944176 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28067] ppid=28048 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28050/task/28067/stat : 28067 (java) R 28048 28048 27783 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 445990220 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345052891376 140346374638388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28068] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28068/stat : 28068 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990221 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345051839328 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28069] ppid=28048 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28050/task/28069/stat : 28069 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990221 28904853504 7229 33554432000 4194304 4196468 140721561103296 140345050786608 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30368 KiB

[startup+0.21077 s]*
/proc/loadavg: 3.98 6.58 6.83 2/212 28069
/proc/meminfo: memFree=30326812/32770624 swapFree=66917056/67108860
[pid=28048] ppid=28045 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28048/stat : 28048 (xcsp3-exec) S 28045 28048 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445990214 115843072 363 33554432000 4194304 5098028 140728053470096 140728053468200 140059829097084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10526720 140728053474165 140728053474409 140728053474409 140728053477322 0
/proc/28048/statm: 28282 363 304 221 0 87 0
[pid=28050] ppid=28048 vsize=28227396 memory=41008 CPUtime=0.33 cores=0-7
/proc/28050/stat : 28050 (java) S 28048 28048 27783 0 -1 1077944320 9507 0 0 0 30 3 0 0 20 0 20 0 445990215 28904853504 10252 33554432000 4194304 4196468 140721561103296 140721561085840 140346394717943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
/proc/28050/statm: 7056849 10252 3308 1 0 7019032 0
[pid=28050/tid=28051] ppid=28048 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28050/task/28051/stat : 28051 (java) R 28048 28048 27783 0 -1 4202560 6635 0 0 0 17 2 0 0 20 0 20 0 445990215 28904853504 10252 33554432000 4194304 4196468 140721561103296 140346398949168 140346394729878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28052] ppid=28048 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/28050/task/28052/stat : 28052 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140346314570640 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28053] ppid=28048 vsize=28227396 memory=4051467530913490592 CPUtime=0 cores=0-7
/proc/28050/task/28053/stat : 28053 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140346313517840 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28054] ppid=28048 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28050/task/28054/stat : 28054 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140346312465552 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28055] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28055/stat : 28055 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345942858768 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28056] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28056/stat : 28056 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345941805456 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28057] ppid=28048 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28050/task/28057/stat : 28057 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345940752656 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28058] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28058/stat : 28058 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345939700368 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28059] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28059/stat : 28059 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345938647568 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28060] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28060/stat : 28060 (java) S 28048 28048 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 445990217 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345060260464 140346394729090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28061] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28061/stat : 28061 (java) S 28048 28048 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 445990218 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345059206432 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28062] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28062/stat : 28062 (java) S 28048 28048 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 445990218 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345058154096 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28063] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28063/stat : 28063 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990220 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345057102416 140346394736539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28064] ppid=28048 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7
/proc/28050/task/28064/stat : 28064 (java) S 28048 28048 27783 0 -1 1077944384 598 0 0 0 3 0 0 0 20 0 20 0 445990220 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345056049264 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28065] ppid=28048 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28050/task/28065/stat : 28065 (java) S 28048 28048 27783 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 445990220 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345054996464 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28066] ppid=28048 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28050/task/28066/stat : 28066 (java) S 28048 28048 27783 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 445990220 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345053944176 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28067] ppid=28048 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/28050/task/28067/stat : 28067 (java) R 28048 28048 27783 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 20 0 445990220 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345052891184 140346386955070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28068] ppid=28048 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28068/stat : 28068 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990221 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345051839328 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28069] ppid=28048 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28050/task/28069/stat : 28069 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990221 28904853504 10252 33554432000 4194304 4196468 140721561103296 140345050786608 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42460 KiB

[startup+0.310662 s]*
/proc/loadavg: 3.98 6.58 6.83 4/212 28069
/proc/meminfo: memFree=30319668/32770624 swapFree=66917056/67108860
[pid=28048] ppid=28045 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28048/stat : 28048 (xcsp3-exec) S 28045 28048 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445990214 115843072 363 33554432000 4194304 5098028 140728053470096 140728053468200 140059829097084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10526720 140728053474165 140728053474409 140728053474409 140728053477322 0
/proc/28048/statm: 28282 363 304 221 0 87 0
[pid=28050] ppid=28048 vsize=28231652 memory=50184 CPUtime=0.52 cores=0-7
/proc/28050/stat : 28050 (java) S 28048 28048 27783 0 -1 1077944320 10950 0 0 0 48 4 0 0 20 0 20 0 445990215 28909211648 12546 33554432000 4194304 4196468 140721561103296 140721561085840 140346394717943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
/proc/28050/statm: 7057913 12546 3349 1 0 7019032 0
[pid=28050/tid=28051] ppid=28048 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28050/task/28051/stat : 28051 (java) R 28048 28048 27783 0 -1 4202560 7821 0 0 0 27 3 0 0 20 0 20 0 445990215 28909211648 12546 33554432000 4194304 4196468 140721561103296 140346398949056 140346394739869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28052] ppid=28048 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28052/stat : 28052 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12546 33554432000 4194304 4196468 140721561103296 140346314570640 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28053] ppid=28048 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28053/stat : 28053 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12546 33554432000 4194304 4196468 140721561103296 140346313517840 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28054] ppid=28048 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28054/stat : 28054 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12546 33554432000 4194304 4196468 140721561103296 140346312465552 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28055] ppid=28048 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28055/stat : 28055 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12546 33554432000 4194304 4196468 140721561103296 140345942858768 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28056] ppid=28048 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/28050/task/28056/stat : 28056 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12546 33554432000 4194304 4196468 140721561103296 140345941805456 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28057] ppid=28048 vsize=28231652 memory=139692670546863 CPUtime=0 cores=0-7
/proc/28050/task/28057/stat : 28057 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12546 33554432000 4194304 4196468 140721561103296 140345940752656 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28058] ppid=28048 vsize=28231652 memory=139692670549168 CPUtime=0 cores=0-7
/proc/28050/task/28058/stat : 28058 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12546 33554432000 4194304 4196468 140721561103296 140345939700368 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28059] ppid=28048 vsize=28231652 memory=139692670551472 CPUtime=0 cores=0-7
/proc/28050/task/28059/stat : 28059 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28909211648 12611 33554432000 4194304 4196468 140721561103296 140345938647568 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28060] ppid=28048 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28060/stat : 28060 (java) S 28048 28048 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 445990217 28909211648 12611 33554432000 4194304 4196468 140721561103296 140345060260464 140346394729090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28061] ppid=28048 vsize=28231652 memory=279385341109904 CPUtime=0 cores=0-7
/proc/28050/task/28061/stat : 28061 (java) S 28048 28048 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 445990218 28909211648 12611 33554432000 4194304 4196468 140721561103296 140345059206432 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28062] ppid=28048 vsize=28231652 memory=279385341116816 CPUtime=0 cores=0-7
/proc/28050/task/28062/stat : 28062 (java) S 28048 28048 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 445990218 28909211648 12611 33554432000 4194304 4196468 140721561103296 140345058154096 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28063] ppid=28048 vsize=28231652 memory=279385341058096 CPUtime=0 cores=0-7
/proc/28050/task/28063/stat : 28063 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990220 28909211648 12611 33554432000 4194304 4196468 140721561103296 140345057102416 140346394736539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28064] ppid=28048 vsize=28231652 memory=279385341130640 CPUtime=0.04 cores=0-7
/proc/28050/task/28064/stat : 28064 (java) S 28048 28048 27783 0 -1 1077944384 612 0 0 0 4 0 0 0 20 0 20 0 445990220 28909211648 12611 33554432000 4194304 4196468 140721561103296 140345056049264 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28065] ppid=28048 vsize=28231652 memory=279385341137552 CPUtime=0.02 cores=0-7
/proc/28050/task/28065/stat : 28065 (java) S 28048 28048 27783 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 20 0 445990220 28909211648 12611 33554432000 4194304 4196468 140721561103296 140345054996464 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28066] ppid=28048 vsize=28231652 memory=279385341135248 CPUtime=0.02 cores=0-7
/proc/28050/task/28066/stat : 28066 (java) R 28048 28048 27783 0 -1 4202560 153 0 0 0 2 0 0 0 20 0 20 0 445990220 28909211648 12615 33554432000 4194304 4196468 140721561103296 140345053944176 140346373961799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28067] ppid=28048 vsize=28231652 memory=279385341151408 CPUtime=0.12 cores=0-7
/proc/28050/task/28067/stat : 28067 (java) S 28048 28048 27783 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 20 0 445990220 28909211648 12615 33554432000 4194304 4196468 140721561103296 140345052891376 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28068] ppid=28048 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28068/stat : 28068 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990221 28909211648 12615 33554432000 4194304 4196468 140721561103296 140345051839328 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28069] ppid=28048 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28050/task/28069/stat : 28069 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990221 28909211648 12615 33554432000 4194304 4196468 140721561103296 140345050786608 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51636 KiB

[startup+0.700942 s]
/proc/loadavg: 3.98 6.58 6.83 2/212 28069
/proc/meminfo: memFree=30308792/32770624 swapFree=66917056/67108860
[pid=28048] ppid=28045 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28048/stat : 28048 (xcsp3-exec) S 28045 28048 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445990214 115843072 363 33554432000 4194304 5098028 140728053470096 140728053468200 140059829097084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10526720 140728053474165 140728053474409 140728053474409 140728053477322 0
/proc/28048/statm: 28282 363 304 221 0 87 0
[pid=28050] ppid=28048 vsize=28233776 memory=87608 CPUtime=1.66 cores=0-7
/proc/28050/stat : 28050 (java) S 28048 28048 27783 0 -1 1077944320 15649 0 0 0 160 6 0 0 20 0 20 0 445990215 28911386624 21902 33554432000 4194304 4196468 140721561103296 140721561085840 140346394717943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
/proc/28050/statm: 7058444 21902 3456 1 0 7019544 0
[pid=28050/tid=28051] ppid=28048 vsize=28233776 memory=279385341509296 CPUtime=0.67 cores=0-7
/proc/28050/task/28051/stat : 28051 (java) R 28048 28048 27783 0 -1 4202560 9192 0 0 0 63 4 0 0 20 0 20 0 445990215 28911386624 21902 33554432000 4194304 4196468 140721561103296 140346398954544 140346394729878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28052] ppid=28048 vsize=28233776 memory=139692670755696 CPUtime=0 cores=0-7
/proc/28050/task/28052/stat : 28052 (java) S 28048 28048 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 445990216 28911386624 21902 33554432000 4194304 4196468 140721561103296 140346314570640 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28053] ppid=28048 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28053/stat : 28053 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445990216 28911386624 21902 33554432000 4194304 4196468 140721561103296 140346313517840 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28054] ppid=28048 vsize=28233776 memory=1124 CPUtime=0 cores=0-7
/proc/28050/task/28054/stat : 28054 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 445990216 28911386624 21902 33554432000 4194304 4196468 140721561103296 140346312465552 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0

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

[pid=28050/tid=28213] ppid=28048 vsize=28768336 memory=1452 CPUtime=2415.58 cores=0-7
/proc/28050/task/28213/stat : 28213 (java) R 28048 28048 27783 0 -1 4202560 230201 0 0 0 241152 406 0 0 20 0 28 0 445990399 29458776064 1757700 33554432000 4194304 4196468 140721561103296 140344834382968 140345998031872 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
Current children cumulated CPU time: 19412.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 7032252 KiB

[startup+2502.3 s]
/proc/loadavg: 8.21 8.37 8.27 9/220 28402
/proc/meminfo: memFree=23333108/32770624 swapFree=66917056/67108860
[pid=28048] ppid=28045 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28048/stat : 28048 (xcsp3-exec) S 28045 28048 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445990214 115843072 363 33554432000 4194304 5098028 140728053470096 140728053468200 140059829097084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10526720 140728053474165 140728053474409 140728053474409 140728053477322 0
/proc/28048/statm: 28282 363 304 221 0 87 0
[pid=28050] ppid=28048 vsize=28768336 memory=7022592 CPUtime=19888.9 cores=0-7
/proc/28050/stat : 28050 (java) S 28048 28048 27783 0 -1 1077944320 1656216 0 0 0 1987226 1663 0 0 20 0 28 0 445990215 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140721561085840 140346394717943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
/proc/28050/statm: 7192084 1755648 3546 1 0 7153184 0
[pid=28050/tid=28051] ppid=28048 vsize=28768336 memory=1452 CPUtime=0.84 cores=0-7
/proc/28050/task/28051/stat : 28051 (java) S 28048 28048 27783 0 -1 1077944384 9313 0 0 0 79 5 0 0 20 0 28 0 445990215 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140346398958720 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28052] ppid=28048 vsize=28768336 memory=0 CPUtime=10.03 cores=0-7
/proc/28050/task/28052/stat : 28052 (java) S 28048 28048 27783 0 -1 1077944384 67531 0 0 0 956 47 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140346314570640 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28053] ppid=28048 vsize=28768336 memory=7022592 CPUtime=10.01 cores=0-7
/proc/28050/task/28053/stat : 28053 (java) S 28048 28048 27783 0 -1 1077944384 60329 0 0 0 955 46 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140346313517840 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28054] ppid=28048 vsize=28768336 memory=7023616 CPUtime=10.1 cores=0-7
/proc/28050/task/28054/stat : 28054 (java) S 28048 28048 27783 0 -1 1077944384 61849 0 0 0 963 47 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140346312465552 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28055] ppid=28048 vsize=28768336 memory=7022592 CPUtime=10.05 cores=0-7
/proc/28050/task/28055/stat : 28055 (java) S 28048 28048 27783 0 -1 1077944384 61065 0 0 0 957 48 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345942858768 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28056] ppid=28048 vsize=28768336 memory=279385342230112 CPUtime=10.07 cores=0-7
/proc/28050/task/28056/stat : 28056 (java) S 28048 28048 27783 0 -1 1077944384 62765 0 0 0 959 48 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345941805456 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28057] ppid=28048 vsize=28768336 memory=6291880799113330778 CPUtime=10.02 cores=0-7
/proc/28050/task/28057/stat : 28057 (java) S 28048 28048 27783 0 -1 1077944384 59996 0 0 0 952 50 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345940752656 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28058] ppid=28048 vsize=28768336 memory=14008 CPUtime=10.11 cores=0-7
/proc/28050/task/28058/stat : 28058 (java) S 28048 28048 27783 0 -1 1077944384 60473 0 0 0 964 47 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345939700368 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28059] ppid=28048 vsize=28768336 memory=12040 CPUtime=10.01 cores=0-7
/proc/28050/task/28059/stat : 28059 (java) S 28048 28048 27783 0 -1 1077944384 62937 0 0 0 955 46 0 0 20 0 28 0 445990216 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345938647568 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28060] ppid=28048 vsize=28768336 memory=1452 CPUtime=4.3 cores=0-7
/proc/28050/task/28060/stat : 28060 (java) S 28048 28048 27783 0 -1 1077944384 285211 0 0 0 319 111 0 0 20 0 28 0 445990217 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345060260464 140346394729090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28061] ppid=28048 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/28050/task/28061/stat : 28061 (java) S 28048 28048 27783 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 445990218 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345059206496 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28062] ppid=28048 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28050/task/28062/stat : 28062 (java) S 28048 28048 27783 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 445990218 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345058154112 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28063] ppid=28048 vsize=28768336 memory=7230640683733379159 CPUtime=0 cores=0-7
/proc/28050/task/28063/stat : 28063 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 445990220 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345057102416 140346394736539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28064] ppid=28048 vsize=28768336 memory=7025156 CPUtime=1.79 cores=0-7
/proc/28050/task/28064/stat : 28064 (java) S 28048 28048 27783 0 -1 1077944384 11832 0 0 0 177 2 0 0 20 0 28 0 445990220 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345056049264 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28065] ppid=28048 vsize=28768336 memory=4100 CPUtime=1.61 cores=0-7
/proc/28050/task/28065/stat : 28065 (java) S 28048 28048 27783 0 -1 1077944384 8930 0 0 0 160 1 0 0 20 0 28 0 445990220 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345054996464 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28066] ppid=28048 vsize=28768336 memory=1398720917958146503 CPUtime=1.41 cores=0-7
/proc/28050/task/28066/stat : 28066 (java) S 28048 28048 27783 0 -1 1077944384 6436 0 0 0 139 2 0 0 20 0 28 0 445990220 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345053944176 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28067] ppid=28048 vsize=28768336 memory=7025156 CPUtime=0.85 cores=0-7
/proc/28050/task/28067/stat : 28067 (java) S 28048 28048 27783 0 -1 1077944384 7169 0 0 0 84 1 0 0 20 0 28 0 445990220 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345052891376 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28068] ppid=28048 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/28050/task/28068/stat : 28068 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 445990221 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345051839328 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28069] ppid=28048 vsize=28768336 memory=7025156 CPUtime=0.61 cores=0-7
/proc/28050/task/28069/stat : 28069 (java) S 28048 28048 27783 0 -1 1077944384 8785 0 0 0 20 41 0 0 20 0 28 0 445990221 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345050786608 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28206] ppid=28048 vsize=28768336 memory=0 CPUtime=2477.04 cores=0-7
/proc/28050/task/28206/stat : 28206 (java) R 28048 28048 27783 0 -1 4202560 48003 0 0 0 247666 38 0 0 20 0 28 0 445990398 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345040514528 140345999112595 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28207] ppid=28048 vsize=28768336 memory=7732788661626230369 CPUtime=2473.51 cores=0-7
/proc/28050/task/28207/stat : 28207 (java) R 28048 28048 27783 0 -1 4202560 42047 0 0 0 247315 36 0 0 20 0 28 0 445990398 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345039462912 140345999135645 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28208] ppid=28048 vsize=28768336 memory=7230341646499598421 CPUtime=2477.31 cores=0-7
/proc/28050/task/28208/stat : 28208 (java) R 28048 28048 27783 0 -1 4202560 50463 0 0 0 247685 46 0 0 20 0 28 0 445990398 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140344832274608 140345998859717 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28209] ppid=28048 vsize=28768336 memory=1452 CPUtime=2472.12 cores=0-7
/proc/28050/task/28209/stat : 28209 (java) R 28048 28048 27783 0 -1 4202560 138770 0 0 0 246976 236 0 0 20 0 28 0 445990398 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345041567792 140345998030656 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28210] ppid=28048 vsize=28768336 memory=6791534058613427641 CPUtime=2470.33 cores=0-7
/proc/28050/task/28210/stat : 28210 (java) R 28048 28048 27783 0 -1 4202560 89324 0 0 0 246864 169 0 0 20 0 28 0 445990398 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345038409720 140345998859262 0 4 0 16800975 0 0 0 -1 7 0 0 27 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28211] ppid=28048 vsize=28768336 memory=4040 CPUtime=2475.37 cores=0-7
/proc/28050/task/28211/stat : 28211 (java) R 28048 28048 27783 0 -1 4202560 89234 0 0 0 247373 164 0 0 20 0 28 0 445990398 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140345037356848 140345993171532 0 4 0 16800975 0 0 0 -1 6 0 0 53 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28212] ppid=28048 vsize=28768336 memory=1124 CPUtime=2471.53 cores=0-7
/proc/28050/task/28212/stat : 28212 (java) R 28048 28048 27783 0 -1 4202560 128575 0 0 0 247075 78 0 0 20 0 28 0 445990398 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140344833329664 140345993171480 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28213] ppid=28048 vsize=28768336 memory=1452 CPUtime=2475.03 cores=0-7
/proc/28050/task/28213/stat : 28213 (java) R 28048 28048 27783 0 -1 4202560 231273 0 0 0 247096 407 0 0 20 0 28 0 445990399 29458776064 1755648 33554432000 4194304 4196468 140721561103296 140344834379840 140345993171532 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
Current children cumulated CPU time: 19888.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 7024044 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.16 8.36 8.27 9/220 28402
/proc/meminfo: memFree=23338312/32770624 swapFree=66917056/67108860
[pid=28048] ppid=28045 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28048/stat : 28048 (xcsp3-exec) S 28045 28048 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445990214 115843072 363 33554432000 4194304 5098028 140728053470096 140728053468200 140059829097084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10526720 140728053474165 140728053474409 140728053474409 140728053477322 0
/proc/28048/statm: 28282 363 304 221 0 87 0
[pid=28050] ppid=28048 vsize=28768336 memory=7016436 CPUtime=20029.7 cores=0-7
/proc/28050/stat : 28050 (java) S 28048 28048 27783 0 -1 1077944320 1677925 0 0 0 2001299 1671 0 0 20 0 28 0 445990215 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140721561085840 140346394717943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
/proc/28050/statm: 7192084 1754109 3546 1 0 7153184 0
[pid=28050/tid=28051] ppid=28048 vsize=28768336 memory=1398720917958146503 CPUtime=0.84 cores=0-7
/proc/28050/task/28051/stat : 28051 (java) S 28048 28048 27783 0 -1 1077944384 9313 0 0 0 79 5 0 0 20 0 28 0 445990215 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140346398958720 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28052] ppid=28048 vsize=28768336 memory=1412 CPUtime=10.09 cores=0-7
/proc/28050/task/28052/stat : 28052 (java) S 28048 28048 27783 0 -1 1077944384 69302 0 0 0 962 47 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140346314570640 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28053] ppid=28048 vsize=28768336 memory=3848 CPUtime=10.08 cores=0-7
/proc/28050/task/28053/stat : 28053 (java) S 28048 28048 27783 0 -1 1077944384 61535 0 0 0 961 47 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140346313517840 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28054] ppid=28048 vsize=28768336 memory=1452 CPUtime=10.16 cores=0-7
/proc/28050/task/28054/stat : 28054 (java) S 28048 28048 27783 0 -1 1077944384 63256 0 0 0 969 47 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140346312465552 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28055] ppid=28048 vsize=28768336 memory=4126316290023845779 CPUtime=10.11 cores=0-7
/proc/28050/task/28055/stat : 28055 (java) S 28048 28048 27783 0 -1 1077944384 62874 0 0 0 962 49 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345942858768 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28056] ppid=28048 vsize=28768336 memory=1804 CPUtime=10.13 cores=0-7
/proc/28050/task/28056/stat : 28056 (java) S 28048 28048 27783 0 -1 1077944384 63920 0 0 0 965 48 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345941805456 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28057] ppid=28048 vsize=28768336 memory=916 CPUtime=10.08 cores=0-7
/proc/28050/task/28057/stat : 28057 (java) S 28048 28048 27783 0 -1 1077944384 61225 0 0 0 958 50 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345940752656 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28058] ppid=28048 vsize=28768336 memory=4136 CPUtime=10.16 cores=0-7
/proc/28050/task/28058/stat : 28058 (java) S 28048 28048 27783 0 -1 1077944384 61668 0 0 0 969 47 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345939700368 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28059] ppid=28048 vsize=28768336 memory=1412 CPUtime=10.08 cores=0-7
/proc/28050/task/28059/stat : 28059 (java) S 28048 28048 27783 0 -1 1077944384 65313 0 0 0 961 47 0 0 20 0 28 0 445990216 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345938647568 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28060] ppid=28048 vsize=28768336 memory=3848 CPUtime=4.33 cores=0-7
/proc/28050/task/28060/stat : 28060 (java) S 28048 28048 27783 0 -1 1077944384 287616 0 0 0 322 111 0 0 20 0 28 0 445990217 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345060260464 140346394729090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28061] ppid=28048 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/28050/task/28061/stat : 28061 (java) S 28048 28048 27783 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 445990218 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345059206496 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28062] ppid=28048 vsize=28768336 memory=3512 CPUtime=0 cores=0-7
/proc/28050/task/28062/stat : 28062 (java) S 28048 28048 27783 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 445990218 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345058154112 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28063] ppid=28048 vsize=28768336 memory=48416 CPUtime=0 cores=0-7
/proc/28050/task/28063/stat : 28063 (java) S 28048 28048 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 445990220 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345057102416 140346394736539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28064] ppid=28048 vsize=28768336 memory=4126316290023845779 CPUtime=1.8 cores=0-7
/proc/28050/task/28064/stat : 28064 (java) S 28048 28048 27783 0 -1 1077944384 11840 0 0 0 178 2 0 0 20 0 28 0 445990220 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345056049264 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28065] ppid=28048 vsize=28768336 memory=288230621803970871 CPUtime=1.61 cores=0-7
/proc/28050/task/28065/stat : 28065 (java) S 28048 28048 27783 0 -1 1077944384 8938 0 0 0 160 1 0 0 20 0 28 0 445990220 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345054996464 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28066] ppid=28048 vsize=28768336 memory=15544015764327034 CPUtime=1.41 cores=0-7
/proc/28050/task/28066/stat : 28066 (java) S 28048 28048 27783 0 -1 1077944384 6448 0 0 0 139 2 0 0 20 0 28 0 445990220 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345053944176 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28067] ppid=28048 vsize=28768336 memory=12040 CPUtime=0.85 cores=0-7
/proc/28050/task/28067/stat : 28067 (java) S 28048 28048 27783 0 -1 1077944384 7177 0 0 0 84 1 0 0 20 0 28 0 445990220 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345052891376 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28068] ppid=28048 vsize=28768336 memory=2124 CPUtime=0 cores=0-7
/proc/28050/task/28068/stat : 28068 (java) S 28048 28048 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 445990221 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345051839328 140346394728149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28069] ppid=28048 vsize=28768336 memory=1452 CPUtime=0.63 cores=0-7
/proc/28050/task/28069/stat : 28069 (java) S 28048 28048 27783 0 -1 1077944384 8907 0 0 0 21 42 0 0 20 0 28 0 445990221 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345050786608 140346394729090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28206] ppid=28048 vsize=28768336 memory=7022076 CPUtime=2494.64 cores=0-7
/proc/28050/task/28206/stat : 28206 (java) R 28048 28048 27783 0 -1 4202560 48621 0 0 0 249425 39 0 0 20 0 28 0 445990398 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345040514880 140346379929189 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28207] ppid=28048 vsize=28768336 memory=1368 CPUtime=2491.06 cores=0-7
/proc/28050/task/28207/stat : 28207 (java) R 28048 28048 27783 0 -1 4202560 42453 0 0 0 249069 37 0 0 20 0 28 0 445990398 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345039463216 140345999111311 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28208] ppid=28048 vsize=28768336 memory=1056 CPUtime=2494.9 cores=0-7
/proc/28050/task/28208/stat : 28208 (java) R 28048 28048 27783 0 -1 4202560 51089 0 0 0 249443 47 0 0 20 0 28 0 445990398 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140344832274240 140345999628458 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28209] ppid=28048 vsize=28768336 memory=1716 CPUtime=2489.53 cores=0-7
/proc/28050/task/28209/stat : 28209 (java) R 28048 28048 27783 0 -1 4202560 140451 0 0 0 248715 238 0 0 20 0 28 0 445990398 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345041570160 140345999151178 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28210] ppid=28048 vsize=28768336 memory=776 CPUtime=2487.89 cores=0-7
/proc/28050/task/28210/stat : 28210 (java) R 28048 28048 27783 0 -1 4202560 89835 0 0 0 248619 170 0 0 20 0 28 0 445990398 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345038409880 140345993171532 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28211] ppid=28048 vsize=28768336 memory=1560 CPUtime=2492.89 cores=0-7
/proc/28050/task/28211/stat : 28211 (java) R 28048 28048 27783 0 -1 4202560 90223 0 0 0 249124 165 0 0 20 0 28 0 445990398 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140345037356864 140345993171566 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28212] ppid=28048 vsize=28768336 memory=4040 CPUtime=2489.03 cores=0-7
/proc/28050/task/28212/stat : 28212 (java) R 28048 28048 27783 0 -1 4202560 130030 0 0 0 248825 78 0 0 20 0 28 0 445990398 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140344833327928 140346001227168 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
[pid=28050/tid=28213] ppid=28048 vsize=28768336 memory=1124 CPUtime=2492.6 cores=0-7
/proc/28050/task/28213/stat : 28213 (java) R 28048 28048 27783 0 -1 4202560 231985 0 0 0 248853 407 0 0 20 0 28 0 445990399 29458776064 1754109 33554432000 4194304 4196468 140721561103296 140344834379640 140345998040748 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 33611776 140721561105386 140721561105558 140721561105558 140721561108431 0
Current children cumulated CPU time: 20029.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 7017888 KiB

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

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

[startup+2520.12 s]
# the end of solver process 28050 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20013.6 s, system=16.7534 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.12
CPU time (s): 20030.4
CPU user time (s): 20013.6
CPU system time (s): 16.7534
CPU usage (%): 794.817
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 7732448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20013.6
system time used= 16.7534
maximum resident set size= 7731388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1679059
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267348
involuntary context switches= 235354


# summary of solver processes directly reported to runsolver:
#   pid: 28048,28050
#   total CPU time (s): 20030.4
#   total CPU user time (s): 20013.6
#   total CPU system time (s): 16.7534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7889 second user time and 27.2766 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-17 08:12:00
IDJOB=4399954
IDBENCH=115967
IDSOLVER=2854
FILE ID=node147/4399954-1568700764
RUNJOBID= node147-1568700717-27810
PBS_JOBID= 21703903
Free space on /tmp= 58880 MiB

SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4399954-1568700764/watcher-4399954-1568700764 -o /tmp/evaluation-result-4399954-1568700764/solver-4399954-1568700764 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1751174351 HOME/instance-4399954-1568700764.xml

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

MD5SUM BENCH= 2f9116219e9bb224096732f26408ee63
RANDOM SEED=1751174351

node147.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.52
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.52
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.52
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.52
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:        30357260 kB
MemAvailable:   31803744 kB
Buffers:          109284 kB
Cached:          1629096 kB
SwapCached:        87660 kB
Active:           938160 kB
Inactive:         891648 kB
Active(anon):       7000 kB
Inactive(anon):   133772 kB
Active(file):     931160 kB
Inactive(file):   757876 kB
Unevictable:      108644 kB
Mlocked:          108644 kB
SwapTotal:      67108860 kB
SwapFree:       66917056 kB
Dirty:             26332 kB
Writeback:             0 kB
AnonPages:        125380 kB
Mapped:            48776 kB
Shmem:             40920 kB
Slab:             175996 kB
SReclaimable:     146568 kB
SUnreclaim:        29428 kB
KernelStack:        3728 kB
PageTables:         5948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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 /tmp at the end= 58856 MiB
End job on node147 at 2019-09-17 08:54:01