Trace number 4307531

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-31)UNSAT 19.8258 7.48998

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
MD5SUM597c97ebbfec0748b52bd546c50d9854
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark16.8786
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size34
Distribution of domain sizes[{"size":6,"count":2},{"size":19,"count":4},{"size":22,"count":10},{"size":27,"count":336},{"size":34,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-24187-serial-file.bin HOME/instance-4307531-1534184625.xml
0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 20:23:45 CEST 2018
0.65/0.56	c PID: 24190
0.65/0.56	c IP: 172.20.3.134
0.65/0.56	c HOST: node134.alineos.net
0.65/0.56	c (0,0) Parsing Begin
5.80/1.95	c (1,1) Parsing End
5.80/1.96	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 34
5.80/1.96	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.80/1.96	c (1,1) Constraint Name Generate Begin
5.80/1.98	c (1,1) Ctr:HOME/instance-4307531-1534184625.xml,Dist:Eq:IntVar:Le:Num
5.80/1.98	c (1,1) Constraint Name Generate End
5.80/1.98	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.80/1.98	c (1,1) CSP to CSPinCNF Begin
6.86/2.25	c (1,1) translated 411 (10%) constraints
7.20/2.32	c (1,1) translated 821 (20%) constraints
7.20/2.37	c (1,1) translated 1231 (30%) constraints
7.61/2.41	c (1,1) translated 1642 (40%) constraints
7.61/2.46	c (1,1) translated 2052 (50%) constraints
7.61/2.50	c (1,1) translated 2462 (60%) constraints
7.99/2.53	c (2,1) translated 2873 (70%) constraints
7.99/2.57	c (2,2) translated 3283 (80%) constraints
8.40/2.60	c (2,2) translated 3693 (90%) constraints
8.88/2.74	c (2,2) translated 4103 (100%) constraints
9.35/2.84	c (2,2) STATISTICS1:HOME/instance-4307531-1534184625.xml,Dist:Eq:IntVar:Le:Num,680,4783,34,34,2,2,34:3314;27:5144;22:344;19:24;6:60,34:9348;27:7956;22:364;19:40;6:64,2:4103;1:680,2:8886,
9.35/2.84	c (2,2) ==========================================
9.35/2.84	c (2,2) Both Encoding selects:
9.35/2.84	c (2,2) Order
9.35/2.84	c (2,2) ==========================================
9.35/2.87	c (2,2) translated 479 (10%) constraints
9.35/2.89	c (2,2) translated 957 (20%) constraints
9.78/2.90	c (2,2) translated 1435 (30%) constraints
9.78/2.92	c (2,2) translated 1914 (40%) constraints
9.78/2.93	c (2,2) translated 2392 (50%) constraints
9.78/2.95	c (2,2) translated 2870 (60%) constraints
9.78/2.96	c (2,2) translated 3349 (70%) constraints
9.78/2.97	c (2,2) translated 3827 (80%) constraints
9.78/2.99	c (2,2) translated 4305 (90%) constraints
9.78/3.00	c (2,2) translated 4783 (100%) constraints
9.78/3.00	c (2,2) CSP to CSPinCNF End
9.78/3.00	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 34
9.78/3.00	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
9.78/3.00	c (2,2) CSPinCNF Propagation Begin
12.23/4.32	c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
12.23/4.32	c (3,3) CSPinCNF Propagation End
12.23/4.32	c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 34
12.23/4.32	c (3,3) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
12.23/4.32	c (3,3) Simplify CSPinCNF Begin
12.76/4.57	c (4,4) Simplify CSPinCNF End
12.76/4.57	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 34
12.76/4.57	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
12.76/4.57	c (4,4) Calculate Precise Domain Begin
12.76/4.57	c (4,4) 0 values are removed by re-calculation
12.76/4.57	c (4,4) Calculate Precise Domain End
12.76/4.58	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 34
12.76/4.58	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
12.76/4.58	c (4,4) CSPinCNF to SatSolver Begin
14.04/4.88	c (4,4) 1299 (10 %) CSP clauses are encoded (28058 SAT variables, 44559 SAT clauses)
14.44/4.98	c (4,4) 2598 (20 %) CSP clauses are encoded (28058 SAT variables, 69267 SAT clauses)
14.83/5.07	c (4,4) 3897 (30 %) CSP clauses are encoded (28058 SAT variables, 91036 SAT clauses)
15.10/5.15	c (4,4) 5196 (40 %) CSP clauses are encoded (28058 SAT variables, 115352 SAT clauses)
15.25/5.25	c (4,4) 6495 (50 %) CSP clauses are encoded (28058 SAT variables, 140976 SAT clauses)
15.45/5.34	c (4,4) 7794 (60 %) CSP clauses are encoded (28058 SAT variables, 166525 SAT clauses)
15.69/5.43	c (4,4) 9093 (70 %) CSP clauses are encoded (28058 SAT variables, 191557 SAT clauses)
15.87/5.51	c (4,4) 10392 (80 %) CSP clauses are encoded (28058 SAT variables, 216610 SAT clauses)
15.87/5.58	c (5,5) 11691 (90 %) CSP clauses are encoded (28058 SAT variables, 240321 SAT clauses)
16.03/5.64	c (5,5) 12989 (100 %) CSP clauses are encoded (28058 SAT variables, 259394 SAT clauses)
16.03/5.64	c (5,5) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
16.03/5.64	c (5,5) CSPinCNF to SatSolver End
16.03/5.64	c (5,5) Heap : 2590 MiB used (max 21589 MiB), NonHeap : 37 MiB used (max 0 MiB)
16.37/5.73	c (5,5) STATISTICS2:HOME/instance-4307531-1534184625.xml,Dist:Eq:IntVar:Le:Num,8886,12989,34,34,2,2,34:3314;27:5144;22:344;19:24;6:60,34:9348;27:7956;22:364;19:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
16.37/5.73	c (5,5) 28058 bool, 259406 clause
16.37/5.73	c (5,5) Export Begin
17.37/6.05	c (5,5) Export to HOME/scop-24187-serial-file.bin
17.37/6.05	c (5,5) Export End
17.37/6.05	c (5,5) Export File Size: 3.54 MB
17.37/6.05	c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS)
17.37/6.05	c END-Prog: Mon Aug 13 20:23:51 CEST 2018
17.37/6.08	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24187-serial-file.bin
17.48/6.58	c (0,0) Read Serial File Begin
17.48/6.58	c (0,0) HOME/scop-24187-serial-file.bin
17.48/6.91	c (0,0) Read Serial File End
17.48/6.91	
17.48/6.91	scop order+glucose-syrup (2018-07-31)
17.48/6.92	(Solving Process)
17.48/6.92	
17.48/6.94	c BEGIN-Prog: Mon Aug 13 20:23:52 CEST 2018
17.48/6.94	c PID: 24210
17.48/6.94	c IP: 172.20.3.134
17.48/6.94	c HOST: node134.alineos.net
17.48/6.95	c (0,0) SatSolver.solve Begin
17.48/6.95	c (0,0) 0 bool, 0 clause
17.48/6.95	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307531-1534184625.xml-scop-24190.cnf
19.58/7.46	c (1,0) c
19.58/7.46	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
19.58/7.46	c (1,0) c
19.58/7.46	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
19.58/7.46	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
19.58/7.46	c (1,0) c ========================================[ Problem Statistics ]===========================================
19.58/7.46	c (1,0) c |                                                                                                       |
19.58/7.46	c (1,0) c |  Number of variables:         28058                                                                   |
19.58/7.46	c (1,0) c |  Number of clauses:          259406                                                                   |
19.58/7.46	c (1,0) c |  Parse time:                   0.09 s                                                                 |
19.58/7.46	c (1,0) c |                                                                                                       |
19.58/7.46	c (1,0) c |  Eliminated clauses:           0.08 Mb                                                                |
19.58/7.46	c (1,0) c |  Simplification time:          0.25 s                                                                 |
19.58/7.46	c (1,0) c |                                                                                                       |
19.58/7.46	c (1,0) c |  Generating clones                                                                                    |
19.58/7.46	c (1,0) c |  all clones generated. Memory = 194.99Mb.                                                             |
19.58/7.46	c (1,0) c ========================================================================================================|
19.58/7.47	c (1,0) c Thread 4 is 100% pure glucose! First thread to finish! (UNSAT answer).
19.58/7.47	c (1,0) c Total Memory so far : 771.02Mb
19.58/7.47	c (1,0) c
19.58/7.47	c (1,0) c real time : 0.493158 s
19.58/7.47	c (1,0) c cpu time  : 0.554104 s
19.58/7.47	c (1,0) c
19.58/7.47	c (1,0) c
19.58/7.47	c (1,0) c
19.58/7.47	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
19.58/7.47	c (1,0) c
19.58/7.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.58/7.47	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
19.58/7.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.58/7.47	c (1,0) c | Conflicts     |            1467 |        101 |        215 |        161 |        220 |        170 |        216 |        219 |        165 |
19.58/7.47	c (1,0) c | Decisions     |            3714 |        817 |        434 |        378 |        439 |        386 |        436 |        440 |        384 |
19.58/7.47	c (1,0) c | Propagations  |          259840 |      27214 |      36083 |      28444 |      36467 |      29802 |      36226 |      36272 |      29332 |
19.58/7.47	c (1,0) c | Avg_Trail     |                 |       6454 |       1391 |       1745 |       1372 |       1671 |       1387 |       1376 |       1712 |
19.58/7.47	c (1,0) c | Avg_DL        |                 |        178 |         36 |         46 |         35 |         44 |         35 |         35 |         45 |
19.58/7.47	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.58/7.47	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.58/7.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.58/7.47	c (1,0) c | Exported      |             214 |         21 |         30 |         17 |         38 |         18 |         31 |         37 |         22 |
19.58/7.47	c (1,0) c | Imported      |            1294 |          0 |        184 |        196 |        174 |        194 |        181 |        173 |        192 |
19.58/7.47	c (1,0) c | Good          |             459 |          0 |         62 |         73 |         61 |         71 |         60 |         60 |         72 |
19.58/7.47	c (1,0) c | Purge         |             835 |          0 |        122 |        123 |        113 |        123 |        121 |        113 |        120 |
19.58/7.47	c (1,0) c | Promoted      |               5 |          0 |          0 |          2 |          0 |          0 |          1 |          2 |          0 |
19.58/7.47	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.58/7.47	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.58/7.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.58/7.47	c (1,0) c | Unaries       |                 |          0 |          4 |          3 |          5 |          6 |          4 |          5 |          2 |
19.58/7.47	c (1,0) c | Binaries      |                 |          2 |         15 |          4 |         15 |          5 |         15 |         16 |          5 |
19.58/7.47	c (1,0) c | Glues         |                 |         21 |         30 |         17 |         38 |         18 |         31 |         37 |         22 |
19.58/7.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.58/7.47	c (1,0) c | Orig_Seen     |             0 % |        487 |       1379 |       1241 |       1406 |       1285 |       1382 |       1414 |       1258 |
19.58/7.47	c (1,0) c | Diff Orig seen|                 | -      798 |         94 | -       44 |        121 |      X     |         97 |        129 | -       27 |
19.58/7.47	c (1,0) c | Hamming       |             2 % |       4164 |        144 |        185 |        172 |      X     |        168 |        172 |        158 |
19.58/7.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.58/7.47	c (1,0) 
19.58/7.47	c (1,0) s UNSATISFIABLE
19.58/7.47	c (1,0) SatSolver.solve End
19.58/7.47	c (1,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.58/7.47	c (1,0) Show results Begin
19.58/7.47	s UNSATISFIABLE
19.58/7.47	c (1,0) Show results End
19.58/7.47	c (1,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.58/7.48	c (1,0) 1,1,STOP-AFTER(ALL)
19.58/7.48	c END-Prog: Mon Aug 13 20:23:52 CEST 2018

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10623 MiB free)
  memory of node 1: 16384 MiB (6746 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307531-1534184625/watcher-4307531-1534184625 -o /tmp/evaluation-result-4307531-1534184625/solver-4307531-1534184625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307531-1534184625.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
Current StackSize limit: 8192 KiB

solver pid=24187, runsolver pid=24184

[startup+0.100343 s]*
/proc/loadavg: 3.61 6.74 7.83 2/204 24209
/proc/meminfo: memFree=17692832/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236025678 115843072 349 33554432000 4194304 5098028 140735850990912 140735850988168 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 349 296 221 0 87 0
[pid=24190] ppid=24187 vsize=27313900 memory=107652 CPUtime=0.1 cores=0-7
/proc/24190/stat : 24190 (java) S 24187 24187 22617 0 -1 1077944320 6374 0 0 0 8 2 0 0 20 0 20 0 236025678 27969433600 26913 33554432000 4194304 4196468 140737320918912 140737320901456 140096721546999 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
/proc/24190/statm: 6828475 26913 2738 1 0 6790935 0
[pid=24190/tid=24191] ppid=24187 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24190/task/24191/stat : 24191 (java) R 24187 24187 22617 0 -1 4202560 4537 0 0 0 6 2 0 0 20 0 20 0 236025679 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096693381568 140096721558934 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24192] ppid=24187 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24190/task/24192/stat : 24192 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096725789072 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24193] ppid=24187 vsize=27313900 memory=140207617504896 CPUtime=0 cores=0-7
/proc/24190/task/24193/stat : 24193 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096539945232 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24194] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24194/stat : 24194 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096538892944 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24195] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24195/stat : 24195 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096537840144 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24196] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24196/stat : 24196 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096536787856 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24197] ppid=24187 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/24190/task/24197/stat : 24197 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096535735056 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24198] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24198/stat : 24198 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096534682768 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24199] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24199/stat : 24199 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 26978 33554432000 4194304 4196468 140737320918912 140096533629968 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24200] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24200/stat : 24200 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 26978 33554432000 4194304 4196468 140737320918912 140095913924720 140096721558146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24201] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24201/stat : 24201 (java) S 24187 24187 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 26978 33554432000 4194304 4196468 140737320918912 140094384104224 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24202] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24202/stat : 24202 (java) S 24187 24187 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 26978 33554432000 4194304 4196468 140737320918912 140094249882736 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24203] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24203/stat : 24203 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 26978 33554432000 4194304 4196468 140737320918912 140093875378256 140096721565595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24204] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24204/stat : 24204 (java) S 24187 24187 22617 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 26978 33554432000 4194304 4196468 140737320918912 140095912872560 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24205] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24205/stat : 24205 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 26978 33554432000 4194304 4196468 140737320918912 140095911819760 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24206] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24206/stat : 24206 (java) S 24187 24187 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 26978 33554432000 4194304 4196468 140737320918912 140095910767472 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24207] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24207/stat : 24207 (java) S 24187 24187 22617 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 26978 33554432000 4194304 4196468 140737320918912 140095909714672 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24208] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24208/stat : 24208 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 26978 33554432000 4194304 4196468 140737320918912 140093377472864 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24209] ppid=24187 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/24190/task/24209/stat : 24209 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 26978 33554432000 4194304 4196468 140737320918912 140095908661552 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109048 KiB

[startup+0.210504 s]*
/proc/loadavg: 3.40 6.65 7.79 2/204 24209
/proc/meminfo: memFree=17676832/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236025678 115843072 349 33554432000 4194304 5098028 140735850990912 140735850988168 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 349 296 221 0 87 0
[pid=24190] ppid=24187 vsize=27313900 memory=122028 CPUtime=0.25 cores=0-7
/proc/24190/stat : 24190 (java) S 24187 24187 22617 0 -1 1077944320 10227 0 0 0 21 4 0 0 20 0 20 0 236025678 27969433600 30507 33554432000 4194304 4196468 140737320918912 140737320901456 140096721546999 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
/proc/24190/statm: 6828475 30507 2877 1 0 6790935 0
[pid=24190/tid=24191] ppid=24187 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24190/task/24191/stat : 24191 (java) R 24187 24187 22617 0 -1 4202560 8120 0 0 0 16 3 0 0 20 0 20 0 236025679 27969433600 30507 33554432000 4194304 4196468 140737320918912 140096693355744 140096721568925 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24192] ppid=24187 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/24190/task/24192/stat : 24192 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30507 33554432000 4194304 4196468 140737320918912 140096725789072 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24193] ppid=24187 vsize=27313900 memory=140207617527709 CPUtime=0 cores=0-7
/proc/24190/task/24193/stat : 24193 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30507 33554432000 4194304 4196468 140737320918912 140096539945232 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24194] ppid=24187 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/24190/task/24194/stat : 24194 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30572 33554432000 4194304 4196468 140737320918912 140096538892944 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24195] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24195/stat : 24195 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30572 33554432000 4194304 4196468 140737320918912 140096537840144 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24196] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24196/stat : 24196 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30572 33554432000 4194304 4196468 140737320918912 140096536787856 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24197] ppid=24187 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/24190/task/24197/stat : 24197 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30572 33554432000 4194304 4196468 140737320918912 140096535735056 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24198] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24198/stat : 24198 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30572 33554432000 4194304 4196468 140737320918912 140096534682768 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24199] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24199/stat : 24199 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 30572 33554432000 4194304 4196468 140737320918912 140096533629968 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24200] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24200/stat : 24200 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 30572 33554432000 4194304 4196468 140737320918912 140095913924720 140096721558146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24201] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24201/stat : 24201 (java) S 24187 24187 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 30572 33554432000 4194304 4196468 140737320918912 140094384104224 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24202] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24202/stat : 24202 (java) S 24187 24187 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 30572 33554432000 4194304 4196468 140737320918912 140094249882736 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24203] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24203/stat : 24203 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 30572 33554432000 4194304 4196468 140737320918912 140093875378256 140096721565595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24204] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24204/stat : 24204 (java) S 24187 24187 22617 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 30572 33554432000 4194304 4196468 140737320918912 140095912872560 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24205] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24205/stat : 24205 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 30572 33554432000 4194304 4196468 140737320918912 140095911819760 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24206] ppid=24187 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/24190/task/24206/stat : 24206 (java) S 24187 24187 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 30572 33554432000 4194304 4196468 140737320918912 140095910767472 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24207] ppid=24187 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/24190/task/24207/stat : 24207 (java) S 24187 24187 22617 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 20 0 236025686 27969433600 30572 33554432000 4194304 4196468 140737320918912 140095909714672 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24208] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24208/stat : 24208 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 30572 33554432000 4194304 4196468 140737320918912 140093377472864 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24209] ppid=24187 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/24190/task/24209/stat : 24209 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 30572 33554432000 4194304 4196468 140737320918912 140095908661552 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 123424 KiB

[startup+0.310455 s]*
/proc/loadavg: 3.40 6.65 7.79 2/204 24209
/proc/meminfo: memFree=17673140/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236025678 115843072 349 33554432000 4194304 5098028 140735850990912 140735850988168 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 349 296 221 0 87 0
[pid=24190] ppid=24187 vsize=27313900 memory=125548 CPUtime=0.41 cores=0-7
/proc/24190/stat : 24190 (java) S 24187 24187 22617 0 -1 1077944320 10770 0 0 0 37 4 0 0 20 0 20 0 236025678 27969433600 31387 33554432000 4194304 4196468 140737320918912 140737320901456 140096721546999 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
/proc/24190/statm: 6828475 31387 2925 1 0 6790935 0
[pid=24190/tid=24191] ppid=24187 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24190/task/24191/stat : 24191 (java) R 24187 24187 22617 0 -1 4202560 8498 0 0 0 26 3 0 0 20 0 20 0 236025679 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096693342448 140096705627486 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24192] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24192/stat : 24192 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096725789072 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24193] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24193/stat : 24193 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096539945232 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24194] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24194/stat : 24194 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096538892944 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24195] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24195/stat : 24195 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096537840144 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24196] ppid=24187 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/24190/task/24196/stat : 24196 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096536787856 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24197] ppid=24187 vsize=27313900 memory=140207462642607 CPUtime=0 cores=0-7
/proc/24190/task/24197/stat : 24197 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096535735056 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24198] ppid=24187 vsize=27313900 memory=140207462644912 CPUtime=0 cores=0-7
/proc/24190/task/24198/stat : 24198 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096534682768 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24199] ppid=24187 vsize=27313900 memory=140207462647216 CPUtime=0 cores=0-7
/proc/24190/task/24199/stat : 24199 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27969433600 31387 33554432000 4194304 4196468 140737320918912 140096533629968 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24200] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24200/stat : 24200 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 31387 33554432000 4194304 4196468 140737320918912 140095913924720 140096721558146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24201] ppid=24187 vsize=27313900 memory=280414925301392 CPUtime=0 cores=0-7
/proc/24190/task/24201/stat : 24201 (java) S 24187 24187 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 31387 33554432000 4194304 4196468 140737320918912 140094384104224 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24202] ppid=24187 vsize=27313900 memory=280414925308304 CPUtime=0 cores=0-7
/proc/24190/task/24202/stat : 24202 (java) S 24187 24187 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236025683 27969433600 31387 33554432000 4194304 4196468 140737320918912 140094249882736 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24203] ppid=24187 vsize=27313900 memory=280414925249584 CPUtime=0 cores=0-7
/proc/24190/task/24203/stat : 24203 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 31387 33554432000 4194304 4196468 140737320918912 140093875378256 140096721565595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24204] ppid=24187 vsize=27313900 memory=280414925322128 CPUtime=0 cores=0-7
/proc/24190/task/24204/stat : 24204 (java) S 24187 24187 22617 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 31387 33554432000 4194304 4196468 140737320918912 140095912872560 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24205] ppid=24187 vsize=27313900 memory=280414925329040 CPUtime=0.01 cores=0-7
/proc/24190/task/24205/stat : 24205 (java) S 24187 24187 22617 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 236025686 27969433600 31387 33554432000 4194304 4196468 140737320918912 140095911819760 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24206] ppid=24187 vsize=27313900 memory=280414925326736 CPUtime=0.02 cores=0-7
/proc/24190/task/24206/stat : 24206 (java) S 24187 24187 22617 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 20 0 236025686 27969433600 31387 33554432000 4194304 4196468 140737320918912 140095910767472 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24207] ppid=24187 vsize=27313900 memory=280414925342896 CPUtime=0.07 cores=0-7
/proc/24190/task/24207/stat : 24207 (java) S 24187 24187 22617 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 20 0 236025686 27969433600 31387 33554432000 4194304 4196468 140737320918912 140095909714672 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24208] ppid=24187 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24208/stat : 24208 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 31387 33554432000 4194304 4196468 140737320918912 140093377472864 140096721557205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24209] ppid=24187 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/24190/task/24209/stat : 24209 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025686 27969433600 31387 33554432000 4194304 4196468 140737320918912 140095908661552 140096721558146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126944 KiB

[startup+0.701126 s]
/proc/loadavg: 3.40 6.65 7.79 2/204 24209
/proc/meminfo: memFree=17648460/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236025678 115843072 349 33554432000 4194304 5098028 140735850990912 140735850988168 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 349 296 221 0 87 0
[pid=24190] ppid=24187 vsize=27320172 memory=162520 CPUtime=1 cores=0-7
/proc/24190/stat : 24190 (java) S 24187 24187 22617 0 -1 1077944320 17651 0 0 0 94 6 0 0 20 0 20 0 236025678 27975856128 40630 33554432000 4194304 4196468 140737320918912 140737320901456 140096721546999 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
/proc/24190/statm: 6830043 40630 3126 1 0 6791447 0
[pid=24190/tid=24191] ppid=24187 vsize=27320172 memory=280414925700784 CPUtime=0.67 cores=0-7
/proc/24190/task/24191/stat : 24191 (java) R 24187 24187 22617 0 -1 4202560 14864 0 0 0 62 5 0 0 20 0 20 0 236025679 27975856128 40630 33554432000 4194304 4196468 140737320918912 140096693384816 140096721558934 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24192] ppid=24187 vsize=27320172 memory=140207462851440 CPUtime=0 cores=0-7
/proc/24190/task/24192/stat : 24192 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27975856128 40630 33554432000 4194304 4196468 140737320918912 140096725789072 140096721557205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24193] ppid=24187 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/24190/task/24193/stat : 24193 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27975856128 40630 33554432000 4194304 4196468 140737320918912 140096539945232 140096721557205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24194] ppid=24187 vsize=27320172 memory=1616 CPUtime=0 cores=0-7
/proc/24190/task/24194/stat : 24194 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025681 27975856128 40630 33554432000 4194304 4196468 140737320918912 140096538892944 140096721557205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0

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

[pid=24190/tid=24208] ppid=24187 vsize=27326392 memory=16348 CPUtime=0 cores=0-7
/proc/24190/task/24208/stat : 24208 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236025686 27982225408 193727 33554432000 4194304 4196468 140737320918912 140093377472864 140096721557205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
[pid=24190/tid=24209] ppid=24187 vsize=27326392 memory=1176 CPUtime=0 cores=0-7
/proc/24190/task/24209/stat : 24209 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236025686 27982225408 193727 33554432000 4194304 4196468 140737320918912 140095908661552 140096721558146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140737320920041 140737320920365 140737320920365 140737320923087 0
Current children cumulated CPU time: 10.65 s
Current children cumulated vsize: 27439520 KiB
Current children cumulated memory: 774256 KiB

[startup+6.30037 s]
/proc/loadavg: 3.21 6.55 7.76 2/204 24209
/proc/meminfo: memFree=15144552/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1472 CPUtime=17.48 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 590 38286 0 0 0 0 1678 70 20 0 1 0 236025678 115843072 368 33554432000 4194304 5098028 140735850990912 140735850987656 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 17.48 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

[startup+7.48993 s]
# the end of solver process 24187 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18.91 s, system=0.91581 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.4004 s]
/proc/loadavg: 3.21 6.55 7.76 2/204 24209
/proc/meminfo: memFree=15144552/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1472 CPUtime=17.48 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 590 38286 0 0 0 0 1678 70 20 0 1 0 236025678 115843072 368 33554432000 4194304 5098028 140735850990912 140735850987656 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 17.48 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

[startup+7.20115 s]
/proc/loadavg: 3.21 6.55 7.76 2/209 24235
/proc/meminfo: memFree=17647680/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1472 CPUtime=17.48 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 590 38286 0 0 0 0 1678 70 20 0 1 0 236025678 115843072 368 33554432000 4194304 5098028 140735850990912 140735850987656 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 368 311 221 0 87 0
[pid=24210] ppid=24187 vsize=8413904 memory=133960 CPUtime=1.68 cores=0-7
/proc/24210/stat : 24210 (java) S 24187 24187 22617 0 -1 1077944320 18703 0 0 0 155 13 0 0 20 0 24 0 236026287 8615837696 33490 33554432000 4194304 4196468 140725941149296 140725941131840 140530199744247 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
/proc/24210/statm: 2103476 33490 3166 1 0 2064875 0
[pid=24230] ppid=24210 vsize=54164 memory=32660 CPUtime=0.22 cores=0-7
/proc/24230/stat : 24230 (glucose-syrup) R 24210 24187 22617 0 -1 4202496 7916 0 0 0 21 1 0 0 20 0 1 0 236026375 55463936 8165 33554432000 4194304 4373367 140722981204800 140722981201896 139665280080869 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6470912 6472264 34824192 140722981213264 140722981213396 140722981213396 140722981216199 0
/proc/24230/statm: 13541 8165 352 44 0 9229 0
[pid=24210/tid=24211] ppid=24187 vsize=8413904 memory=0 CPUtime=0.9 cores=0-7
/proc/24210/task/24211/stat : 24211 (java) S 24187 24187 22617 0 -1 1077944384 14613 0 0 0 80 10 0 0 20 0 24 0 236026287 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530171584400 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24212] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24212/stat : 24212 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530203986832 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24213] ppid=24187 vsize=8413904 memory=3184238127538916128 CPUtime=0 cores=0-7
/proc/24210/task/24213/stat : 24213 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530004155152 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24214] ppid=24187 vsize=8413904 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/24210/task/24214/stat : 24214 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530003102864 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24215] ppid=24187 vsize=8413904 memory=288288895920243274 CPUtime=0 cores=0-7
/proc/24210/task/24215/stat : 24215 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530002050064 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24216] ppid=24187 vsize=8413904 memory=6935652554312077392 CPUtime=0 cores=0-7
/proc/24210/task/24216/stat : 24216 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530000996752 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24217] ppid=24187 vsize=8413904 memory=280414925095152 CPUtime=0 cores=0-7
/proc/24210/task/24217/stat : 24217 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529999943952 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24218] ppid=24187 vsize=8413904 memory=7590655979367786604 CPUtime=0 cores=0-7
/proc/24210/task/24218/stat : 24218 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529998891664 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24219] ppid=24187 vsize=8413904 memory=-3535470213243961690 CPUtime=0 cores=0-7
/proc/24210/task/24219/stat : 24219 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529997838864 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24220] ppid=24187 vsize=8413904 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/24210/task/24220/stat : 24220 (java) S 24187 24187 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236026290 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529360333424 140530199755394 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24221] ppid=24187 vsize=8413904 memory=7739269192017798741 CPUtime=0 cores=0-7
/proc/24210/task/24221/stat : 24221 (java) S 24187 24187 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236026290 8615837696 33490 33554432000 4194304 4196468 140725941149296 140528712672544 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24222] ppid=24187 vsize=8413904 memory=7157492219343644565 CPUtime=0 cores=0-7
/proc/24210/task/24222/stat : 24222 (java) S 24187 24187 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236026291 8615837696 33490 33554432000 4194304 4196468 140725941149296 140528578451056 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24223] ppid=24187 vsize=8413904 memory=140207463004472 CPUtime=0 cores=0-7
/proc/24210/task/24223/stat : 24223 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140528203946576 140530199762843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24224] ppid=24187 vsize=8413904 memory=2452 CPUtime=0.14 cores=0-7
/proc/24210/task/24224/stat : 24224 (java) S 24187 24187 22617 0 -1 1077944384 608 0 0 0 14 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529359280240 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24225] ppid=24187 vsize=8413904 memory=7523107478184158290 CPUtime=0.19 cores=0-7
/proc/24210/task/24225/stat : 24225 (java) S 24187 24187 22617 0 -1 1077944384 545 0 0 0 19 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529358227440 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24226] ppid=24187 vsize=8413904 memory=7523107478184158290 CPUtime=0.15 cores=0-7
/proc/24210/task/24226/stat : 24226 (java) S 24187 24187 22617 0 -1 1077944384 876 0 0 0 15 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529357175152 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24227] ppid=24187 vsize=8413904 memory=7523107478184158290 CPUtime=0.24 cores=0-7
/proc/24210/task/24227/stat : 24227 (java) S 24187 24187 22617 0 -1 1077944384 645 0 0 0 24 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529356122352 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24228] ppid=24187 vsize=8413904 memory=7523107478184158290 CPUtime=0 cores=0-7
/proc/24210/task/24228/stat : 24228 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140527706041184 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24229] ppid=24187 vsize=8413904 memory=7523107478184158290 CPUtime=0 cores=0-7
/proc/24210/task/24229/stat : 24229 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529355070256 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24231] ppid=24187 vsize=8413904 memory=7523107478184158290 CPUtime=0 cores=0-7
/proc/24210/task/24231/stat : 24231 (java) S 24187 24187 22617 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236026375 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529347262272 140530199768857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24233] ppid=24187 vsize=8413904 memory=7523107478184158290 CPUtime=0 cores=0-7
/proc/24210/task/24233/stat : 24233 (java) S 24187 24187 22617 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 236026375 8615837696 33490 33554432000 4194304 4196468 140725941149296 140527034940848 140530199766173 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24234] ppid=24187 vsize=8413904 memory=7454130749351154278 CPUtime=0 cores=0-7
/proc/24210/task/24234/stat : 24234 (java) S 24187 24187 22617 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236026376 8615837696 33490 33554432000 4194304 4196468 140725941149296 140527303376176 140530199766173 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24235] ppid=24187 vsize=8413904 memory=7454130749351154278 CPUtime=0 cores=0-7
/proc/24210/task/24235/stat : 24235 (java) S 24187 24187 22617 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236026377 8615837696 33490 33554432000 4194304 4196468 140725941149296 140526766513440 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
Current children cumulated CPU time: 19.38 s
Current children cumulated vsize: 8581196 KiB
Current children cumulated memory: 168092 KiB

[startup+7.40115 s]
/proc/loadavg: 3.21 6.55 7.76 2/209 24235
/proc/meminfo: memFree=17647680/32770624 swapFree=67108688/67108860
[pid=24187] ppid=24184 vsize=113128 memory=1472 CPUtime=17.48 cores=0-7
/proc/24187/stat : 24187 (scop.sh) S 24184 24187 22617 0 -1 4202496 590 38286 0 0 0 0 1678 70 20 0 1 0 236025678 115843072 368 33554432000 4194304 5098028 140735850990912 140735850987656 140116972896892 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30167040 140735850996771 140735850996995 140735850996995 140735850999757 0
/proc/24187/statm: 28282 368 311 221 0 87 0
[pid=24210] ppid=24187 vsize=8413904 memory=133960 CPUtime=1.68 cores=0-7
/proc/24210/stat : 24210 (java) S 24187 24187 22617 0 -1 1077944320 18703 0 0 0 155 13 0 0 20 0 24 0 236026287 8615837696 33490 33554432000 4194304 4196468 140725941149296 140725941131840 140530199744247 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
/proc/24210/statm: 2103476 33490 3166 1 0 2064875 0
[pid=24230] ppid=24210 vsize=145236 memory=126028 CPUtime=0.42 cores=0-7
/proc/24230/stat : 24230 (glucose-syrup) R 24210 24187 22617 0 -1 4202496 23193 0 0 0 39 3 0 0 20 0 1 0 236026375 148721664 31442 33554432000 4194304 4373367 140722981204800 140722981202856 139665280080869 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6470912 6472264 34824192 140722981213264 140722981213396 140722981213396 140722981216199 0
/proc/24230/statm: 36309 31507 366 44 0 31997 0
[pid=24210/tid=24211] ppid=24187 vsize=8413904 memory=164 CPUtime=0.9 cores=0-7
/proc/24210/task/24211/stat : 24211 (java) S 24187 24187 22617 0 -1 1077944384 14613 0 0 0 80 10 0 0 20 0 24 0 236026287 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530171584400 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24212] ppid=24187 vsize=8413904 memory=7681905605394137875 CPUtime=0 cores=0-7
/proc/24210/task/24212/stat : 24212 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530203986832 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24213] ppid=24187 vsize=8413904 memory=-9001734013606258791 CPUtime=0 cores=0-7
/proc/24210/task/24213/stat : 24213 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530004155152 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24214] ppid=24187 vsize=8413904 memory=7449611718424029016 CPUtime=0 cores=0-7
/proc/24210/task/24214/stat : 24214 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530003102864 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24215] ppid=24187 vsize=8413904 memory=7591211279867144273 CPUtime=0 cores=0-7
/proc/24210/task/24215/stat : 24215 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530002050064 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24216] ppid=24187 vsize=8413904 memory=3984 CPUtime=0 cores=0-7
/proc/24210/task/24216/stat : 24216 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140530000996752 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24217] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24217/stat : 24217 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529999943952 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24218] ppid=24187 vsize=8413904 memory=4580 CPUtime=0 cores=0-7
/proc/24210/task/24218/stat : 24218 (java) S 24187 24187 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529998891664 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24219] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24219/stat : 24219 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236026288 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529997838864 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24220] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24220/stat : 24220 (java) S 24187 24187 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236026290 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529360333424 140530199755394 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24221] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24221/stat : 24221 (java) S 24187 24187 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236026290 8615837696 33490 33554432000 4194304 4196468 140725941149296 140528712672544 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24222] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24222/stat : 24222 (java) S 24187 24187 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236026291 8615837696 33490 33554432000 4194304 4196468 140725941149296 140528578451056 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24223] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24223/stat : 24223 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140528203946576 140530199762843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24224] ppid=24187 vsize=8413904 memory=43772361331 CPUtime=0.14 cores=0-7
/proc/24210/task/24224/stat : 24224 (java) S 24187 24187 22617 0 -1 1077944384 608 0 0 0 14 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529359280240 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24225] ppid=24187 vsize=8413904 memory=-4866526899798303339 CPUtime=0.19 cores=0-7
/proc/24210/task/24225/stat : 24225 (java) S 24187 24187 22617 0 -1 1077944384 545 0 0 0 19 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529358227440 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24226] ppid=24187 vsize=8413904 memory=6944656592455097440 CPUtime=0.15 cores=0-7
/proc/24210/task/24226/stat : 24226 (java) S 24187 24187 22617 0 -1 1077944384 876 0 0 0 15 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529357175152 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24227] ppid=24187 vsize=8413904 memory=6944656592387989600 CPUtime=0.24 cores=0-7
/proc/24210/task/24227/stat : 24227 (java) S 24187 24187 22617 0 -1 1077944384 645 0 0 0 24 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529356122352 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24228] ppid=24187 vsize=8413904 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/24210/task/24228/stat : 24228 (java) S 24187 24187 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140527706041184 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24229] ppid=24187 vsize=8413904 memory=-7595718147998060693 CPUtime=0 cores=0-7
/proc/24210/task/24229/stat : 24229 (java) S 24187 24187 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236026293 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529355070256 140530199755394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24231] ppid=24187 vsize=8413904 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/24210/task/24231/stat : 24231 (java) S 24187 24187 22617 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236026375 8615837696 33490 33554432000 4194304 4196468 140725941149296 140529347262272 140530199768857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24233] ppid=24187 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/24210/task/24233/stat : 24233 (java) S 24187 24187 22617 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 236026375 8615837696 33490 33554432000 4194304 4196468 140725941149296 140527034940848 140530199766173 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24234] ppid=24187 vsize=8413904 memory=7449636998386052454 CPUtime=0 cores=0-7
/proc/24210/task/24234/stat : 24234 (java) S 24187 24187 22617 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236026376 8615837696 33490 33554432000 4194304 4196468 140725941149296 140527303376176 140530199766173 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
[pid=24210/tid=24235] ppid=24187 vsize=8413904 memory=7740962534463787370 CPUtime=0 cores=0-7
/proc/24210/task/24235/stat : 24235 (java) S 24187 24187 22617 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236026377 8615837696 33490 33554432000 4194304 4196468 140725941149296 140526766513440 140530199754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140725941154993 140725941155117 140725941155117 140725941157839 0
Current children cumulated CPU time: 19.58 s
Current children cumulated vsize: 8672268 KiB
Current children cumulated memory: 261460 KiB

Child status: 0
Real time (s): 7.48998
CPU time (s): 19.8258
CPU user time (s): 18.91
CPU system time (s): 0.91581
CPU usage (%): 264.698
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 2645436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.91
system time used= 0.91581
maximum resident set size= 2648888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9264
involuntary context switches= 40


# summary of solver processes directly reported to runsolver:
#   pid: 24187
#   total CPU time (s): 19.8258
#   total CPU user time (s): 18.91
#   total CPU system time (s): 0.91581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066097 second user time and 0.134168 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-13 20:23:45
IDJOB=4307531
IDBENCH=141181
IDSOLVER=2789
FILE ID=node134/4307531-1534184625
RUNJOBID= node134-1534182009-22644
PBS_JOBID= 21037981
Free space on /tmp= 42776 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f10_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307531-1534184625/watcher-4307531-1534184625 -o /tmp/evaluation-result-4307531-1534184625/solver-4307531-1534184625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307531-1534184625.xml

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

MD5SUM BENCH= 597c97ebbfec0748b52bd546c50d9854
RANDOM SEED=181468254

node134.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.68
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.68
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.68
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.68
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:        17787776 kB
MemAvailable:   31900492 kB
Buffers:          227436 kB
Cached:         14034072 kB
SwapCached:           52 kB
Active:          4498736 kB
Inactive:        9817304 kB
Active(anon):       3712 kB
Inactive(anon):   103128 kB
Active(file):    4495024 kB
Inactive(file):  9714176 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8660 kB
Writeback:             0 kB
AnonPages:         62096 kB
Mapped:            55852 kB
Shmem:             49652 kB
Slab:             360552 kB
SReclaimable:     331976 kB
SUnreclaim:        28576 kB
KernelStack:        3264 kB
PageTables:         4680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 42768 MiB
End job on node134 at 2018-08-13 20:23:52