Trace number 4297200

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-07)SAT 21.8201 8.37438

General information on the benchmark

NameEternity/
Eternity-10-04_c18.xml
MD5SUMf6e7bfb75851ce9d6d95540719dd30c6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11.9033
Satisfiable
(Un)Satisfiability was proved
Number of variables134
Number of constraints69
Number of domains2
Minimum domain size9
Maximum domain size40
Distribution of domain sizes[{"size":9,"count":94},{"size":40,"count":40}]
Minimum variable degree1
Maximum variable degree11
Distribution of variable degrees[{"degree":1,"count":9},{"degree":2,"count":124},{"degree":11,"count":1}]
Minimum constraint arity1
Maximum constraint arity40
Distribution of constraint arities[{"arity":1,"count":28},{"arity":5,"count":40},{"arity":40,"count":1}]
Number of extensional constraints40
Number of intensional constraints28
Distribution of constraint types[{"type":"extension","count":40},{"type":"intension","count":28},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Fri Jul 27 14:21:09 CEST 2018
0.65/0.55	c PID: 20643
0.65/0.55	c IP: 172.20.3.102
0.65/0.55	c HOST: node102.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.74/0.99	c (0,0) Parsing End
1.74/1.00	c (0,0) CSP: 134 int (0 aux), 0 bool (0 aux), 69 ctr, max domain size 40
1.74/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.74/1.00	c (0,0) Constraint Name Generate Begin
1.74/1.00	c (0,0) Ctr:HOME/instance-4297200-1532694068.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
1.74/1.00	c (0,0) Constraint Name Generate End
1.74/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.74/1.00	c (0,0) CSP to CSPinCNF Begin
6.42/2.20	c (1,1) translated 7 (10%) constraints
8.24/2.77	c (2,2) translated 14 (20%) constraints
9.54/3.26	c (2,2) translated 21 (30%) constraints
10.65/3.74	c (3,3) translated 28 (40%) constraints
11.29/4.21	c (3,3) translated 35 (50%) constraints
11.80/4.67	c (4,4) translated 42 (60%) constraints
11.80/4.67	c (4,4) translated 49 (70%) constraints
11.80/4.67	c (4,4) translated 56 (80%) constraints
11.80/4.67	c (4,4) translated 63 (90%) constraints
11.80/4.67	c (4,4) translated 69 (100%) constraints
12.54/5.00	c (4,4) STATISTICS1:HOME/instance-4297200-1532694068.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,9054,55090,40,40,41,2,40:780,40:4760;9:55902;2:95920;1:11086,41:40;40:2;5:720;4:20800;3:12160;2:21340;1:28,2:780;1:166136;0:40,
12.54/5.00	c (4,4) ===========================================
12.54/5.00	c (4,4) Both Encoding selects:
12.54/5.00	c (4,4) Order
12.54/5.00	c (4,4) ===========================================
13.01/5.18	c (4,4) translated 5509 (10%) constraints
13.31/5.29	c (4,4) translated 11018 (20%) constraints
13.58/5.38	c (4,4) translated 16527 (30%) constraints
13.77/5.47	c (4,4) translated 22036 (40%) constraints
13.89/5.56	c (5,5) translated 27545 (50%) constraints
14.00/5.64	c (5,5) translated 33054 (60%) constraints
14.09/5.73	c (5,5) translated 38563 (70%) constraints
14.20/5.82	c (5,5) translated 44072 (80%) constraints
14.30/5.91	c (5,5) translated 49581 (90%) constraints
14.30/6.00	c (5,5) translated 55090 (100%) constraints
14.30/6.00	c (5,5) CSP to CSPinCNF End
14.42/6.01	c (5,5) CSP: 134 int (0 aux), 8920 bool (8920 aux), 55118 ctr, max domain size 40
14.42/6.01	c (5,5) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.42/6.01	c (5,5) CSPinCNF Propagation Begin
16.56/7.06	c (6,6) 3798 values, 20822 unsatisfiable literals, and 21583 valid clauses are removed
16.56/7.06	c (6,6) CSPinCNF Propagation End
16.56/7.07	c (6,6) CSP: 3468 int (3334 aux), 5586 bool (5586 aux), 33535 ctr, max domain size 40
16.56/7.07	c (6,6) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.56/7.07	c (6,6) Simplify CSPinCNF Begin
16.85/7.19	c (6,6) Simplify CSPinCNF End
17.19/7.20	c (6,6) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.19/7.20	c (6,6) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.19/7.20	c (6,6) Calculate Precise Domain Begin
17.19/7.20	c (6,6) 0 values are removed by re-calculation
17.19/7.20	c (6,6) Calculate Precise Domain End
17.19/7.20	c (6,6) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.19/7.20	c (6,6) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.19/7.20	c (6,6) CSPinCNF to SatSolver Begin
17.95/7.47	c (6,6) 3510 (10 %) CSP clauses are encoded (8770 SAT variables, 38747 SAT clauses)
17.95/7.49	c (6,6) 7019 (20 %) CSP clauses are encoded (8770 SAT variables, 42256 SAT clauses)
18.29/7.52	c (6,6) 10529 (30 %) CSP clauses are encoded (8770 SAT variables, 45766 SAT clauses)
18.29/7.55	c (7,6) 14038 (40 %) CSP clauses are encoded (8770 SAT variables, 49275 SAT clauses)
18.29/7.57	c (7,7) 17548 (50 %) CSP clauses are encoded (8770 SAT variables, 52785 SAT clauses)
18.29/7.59	c (7,7) 21057 (60 %) CSP clauses are encoded (8770 SAT variables, 56294 SAT clauses)
18.51/7.61	c (7,7) 24567 (70 %) CSP clauses are encoded (8770 SAT variables, 59804 SAT clauses)
18.51/7.63	c (7,7) 28076 (80 %) CSP clauses are encoded (8770 SAT variables, 63313 SAT clauses)
18.51/7.65	c (7,7) 31586 (90 %) CSP clauses are encoded (8770 SAT variables, 66823 SAT clauses)
18.51/7.67	c (7,7) 35095 (100 %) CSP clauses are encoded (8770 SAT variables, 70332 SAT clauses)
18.51/7.67	c (7,7) CSPinCNF to SatSolver End
18.51/7.67	c (7,7) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.99/7.86	c (7,7) STATISTICS2:HOME/instance-4297200-1532694068.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,10614,35095,40,40,40,2,40:240;24:1020;4:300,40:2528;24:2500;9:39252;4:340;2:59167,40:17;24:20;16:1;5:318;4:11190;3:7603;2:15946,2:1560;1:100667,
18.99/7.86	c (7,7) SatSolver.solve Begin
18.99/7.86	c (7,7) 8770 bool, 70333 clause
18.99/7.86	c (7,7) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297200-1532694068.xml-scop-20643.cnf HOME/instance-4297200-1532694068.xml-scop-20643.cnf.out
20.87/8.29	c (7,0) c
20.87/8.29	c (7,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
20.87/8.29	c (7,0) c
20.87/8.29	c (7,0) c WARNING: for repeatability, setting FPU to use double precision
20.87/8.29	c (7,0) c 8 solvers engines and 1 companion as a blackboard created.
20.87/8.29	c (7,0) c ========================================[ Problem Statistics ]===========================================
20.87/8.29	c (7,0) c |                                                                                                       |
20.87/8.29	c (7,0) c |  Number of variables:          8770                                                                   |
20.87/8.29	c (7,0) c |  Number of clauses:           70333                                                                   |
20.87/8.29	c (7,0) c |  Parse time:                   0.02 s                                                                 |
20.87/8.29	c (7,0) c |                                                                                                       |
20.87/8.29	c (7,0) c |  Eliminated clauses:           0.12 Mb                                                                |
20.87/8.29	c (7,0) c |  Simplification time:          0.06 s                                                                 |
20.87/8.29	c (7,0) c |                                                                                                       |
20.87/8.29	c (7,0) c |  Generating clones                                                                                    |
20.87/8.29	c (7,0) c |  all clones generated. Memory =  68.20Mb.                                                             |
20.87/8.29	c (7,0) c ========================================================================================================|
20.87/8.29	c (7,0) c last restart ## conflicts  :  26 31 
20.87/8.29	c (7,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
20.87/8.29	c (7,0) c Total Memory so far : 661.67Mb
20.87/8.29	c (7,0) c
20.87/8.29	c (7,0) c real time : 0.413079 s
20.87/8.29	c (7,0) c cpu time  : 2.37073 s
20.87/8.29	c (7,0) c
20.87/8.29	c (7,0) c
20.87/8.29	c (7,0) c
20.87/8.29	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
20.87/8.29	c (7,0) c
20.87/8.29	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.87/8.29	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
20.87/8.29	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.87/8.29	c (7,0) c | Conflicts     |           28116 |       3251 |       3670 |       3714 |       3823 |       3395 |       3292 |       3402 |       3569 |
20.87/8.29	c (7,0) c | Decisions     |           95451 |      11045 |      13392 |      11481 |      12255 |      12855 |      10582 |      10602 |      13239 |
20.87/8.29	c (7,0) c | Propagations  |         9912329 |    1151237 |    1294376 |    1274273 |    1303105 |    1186620 |    1232610 |    1158368 |    1311740 |
20.87/8.29	c (7,0) c | Avg_Trail     |                 |       3787 |       3801 |       4044 |       3827 |       3804 |       3843 |       3936 |       3695 |
20.87/8.29	c (7,0) c | Avg_DL        |                 |         46 |         43 |         46 |         41 |         43 |         43 |         35 |         42 |
20.87/8.29	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
20.87/8.29	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
20.87/8.29	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.87/8.29	c (7,0) c | Exported      |            2534 |        301 |        350 |        292 |        375 |        279 |        266 |        324 |        347 |
20.87/8.29	c (7,0) c | Imported      |           17341 |       2194 |       2018 |       2189 |       2140 |       2230 |       2207 |       2199 |       2164 |
20.87/8.29	c (7,0) c | Good          |            6078 |        759 |        703 |        778 |        742 |        781 |        784 |        780 |        751 |
20.87/8.29	c (7,0) c | Purge         |           11263 |       1435 |       1315 |       1411 |       1398 |       1449 |       1423 |       1419 |       1413 |
20.87/8.29	c (7,0) c | Promoted      |            1313 |        146 |        152 |        178 |        157 |        178 |        156 |        167 |        179 |
20.87/8.29	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
20.87/8.29	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
20.87/8.29	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.87/8.29	c (7,0) c | Unaries       |                 |         16 |         10 |          7 |         12 |         15 |         23 |         17 |         32 |
20.87/8.29	c (7,0) c | Binaries      |                 |        115 |        124 |         94 |        138 |         97 |         88 |        102 |        127 |
20.87/8.29	c (7,0) c | Glues         |                 |        301 |        350 |        292 |        375 |        279 |        266 |        324 |        347 |
20.87/8.29	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.87/8.29	c (7,0) c | Orig_Seen     |            25 % |      16920 |      18224 |      18276 |      17705 |      17250 |      17765 |      17792 |      18484 |
20.87/8.29	c (7,0) c | Diff Orig seen|                 | -      785 |        519 |        571 |      X     | -      455 |         60 |         87 |        779 |
20.87/8.29	c (7,0) c | Hamming       |             8 % |        698 |        711 |        722 |      X     |        688 |        725 |        741 |        783 |
20.87/8.29	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.87/8.29	c (7,0) 
20.87/8.29	c (7,0) s SATISFIABLE
19.19/8.31	c (7,7) SatSolver.solve End
19.19/8.31	c (7,7) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.19/8.32	c (7,7) Show results Begin
19.19/8.33	c (7,7) bot[0] = 0
19.19/8.33	c (7,7) bot[1] = 0
19.19/8.33	c (7,7) bot[2] = 0
19.19/8.33	c (7,7) bot[3] = 0
19.19/8.33	c (7,7) id[0][0] = 3
19.19/8.33	c (7,7) id[0][1] = 5
19.19/8.33	c (7,7) id[0][2] = 23
19.19/8.33	c (7,7) id[0][3] = 1
19.19/8.33	c (7,7) id[1][0] = 19
19.19/8.33	c (7,7) id[1][1] = 26
19.19/8.33	c (7,7) id[1][2] = 32
19.19/8.33	c (7,7) id[1][3] = 18
19.19/8.33	c (7,7) id[2][0] = 21
19.19/8.33	c (7,7) id[2][1] = 37
19.19/8.33	c (7,7) id[2][2] = 28
19.19/8.33	c (7,7) id[2][3] = 10
19.19/8.33	c (7,7) id[3][0] = 7
19.19/8.33	c (7,7) id[3][1] = 35
19.19/8.33	c (7,7) id[3][2] = 29
19.19/8.33	c (7,7) id[3][3] = 15
19.19/8.33	c (7,7) id[4][0] = 20
19.19/8.33	c (7,7) id[4][1] = 36
19.19/8.33	c (7,7) id[4][2] = 33
19.19/8.33	c (7,7) id[4][3] = 6
19.19/8.33	c (7,7) id[5][0] = 17
19.19/8.33	c (7,7) id[5][1] = 39
19.19/8.33	c (7,7) id[5][2] = 34
19.19/8.33	c (7,7) id[5][3] = 13
19.19/8.33	c (7,7) id[6][0] = 9
19.19/8.33	c (7,7) id[6][1] = 25
19.19/8.33	c (7,7) id[6][2] = 27
19.19/8.33	c (7,7) id[6][3] = 4
19.19/8.33	c (7,7) id[7][0] = 22
19.19/8.33	c (7,7) id[7][1] = 24
19.19/8.33	c (7,7) id[7][2] = 31
19.19/8.33	c (7,7) id[7][3] = 11
19.19/8.33	c (7,7) id[8][0] = 16
19.19/8.33	c (7,7) id[8][1] = 38
19.19/8.33	c (7,7) id[8][2] = 30
19.19/8.33	c (7,7) id[8][3] = 8
19.19/8.33	c (7,7) id[9][0] = 2
19.19/8.33	c (7,7) id[9][1] = 14
19.19/8.33	c (7,7) id[9][2] = 12
19.19/8.33	c (7,7) id[9][3] = 0
19.19/8.33	c (7,7) left[0][0] = 0
19.19/8.33	c (7,7) left[0][1] = 3
19.19/8.33	c (7,7) left[0][2] = 1
19.19/8.33	c (7,7) left[0][3] = 3
19.19/8.33	c (7,7) left[1][0] = 0
19.19/8.33	c (7,7) left[1][1] = 4
19.19/8.33	c (7,7) left[1][2] = 8
19.19/8.33	c (7,7) left[1][3] = 4
19.19/8.33	c (7,7) left[2][0] = 0
19.19/8.33	c (7,7) left[2][1] = 7
19.19/8.33	c (7,7) left[2][2] = 6
19.19/8.33	c (7,7) left[2][3] = 7
19.19/8.33	c (7,7) left[3][0] = 0
19.19/8.33	c (7,7) left[3][1] = 5
19.19/8.33	c (7,7) left[3][2] = 5
19.19/8.33	c (7,7) left[3][3] = 7
19.19/8.33	c (7,7) left[4][0] = 0
19.19/8.33	c (7,7) left[4][1] = 5
19.19/8.33	c (7,7) left[4][2] = 8
19.19/8.33	c (7,7) left[4][3] = 5
19.19/8.33	c (7,7) left[5][0] = 0
19.19/8.33	c (7,7) left[5][1] = 8
19.19/8.33	c (7,7) left[5][2] = 8
19.19/8.33	c (7,7) left[5][3] = 5
19.19/8.33	c (7,7) left[6][0] = 0
19.19/8.33	c (7,7) left[6][1] = 6
19.19/8.33	c (7,7) left[6][2] = 4
19.19/8.33	c (7,7) left[6][3] = 4
19.19/8.33	c (7,7) left[7][0] = 0
19.19/8.33	c (7,7) left[7][1] = 7
19.19/8.33	c (7,7) left[7][2] = 4
19.19/8.33	c (7,7) left[7][3] = 8
19.19/8.33	c (7,7) left[8][0] = 0
19.19/8.33	c (7,7) left[8][1] = 7
19.19/8.33	c (7,7) left[8][2] = 7
19.19/8.33	c (7,7) left[8][3] = 6
19.19/8.33	c (7,7) left[9][0] = 0
19.19/8.33	c (7,7) left[9][1] = 2
19.19/8.33	c (7,7) left[9][2] = 2
19.19/8.33	c (7,7) left[9][3] = 2
19.19/8.33	c (7,7) right[0] = 0
19.19/8.33	c (7,7) right[1] = 0
19.19/8.33	c (7,7) right[2] = 0
19.19/8.33	c (7,7) right[3] = 0
19.19/8.33	c (7,7) right[4] = 0
19.19/8.33	c (7,7) right[5] = 0
19.19/8.33	c (7,7) right[6] = 0
19.19/8.33	c (7,7) right[7] = 0
19.19/8.33	c (7,7) right[8] = 0
19.19/8.33	c (7,7) right[9] = 0
19.19/8.33	c (7,7) top[0][0] = 0
19.19/8.33	c (7,7) top[0][1] = 0
19.19/8.33	c (7,7) top[0][2] = 0
19.19/8.33	c (7,7) top[0][3] = 0
19.19/8.33	c (7,7) top[1][0] = 3
19.19/8.33	c (7,7) top[1][1] = 4
19.19/8.33	c (7,7) top[1][2] = 8
19.19/8.33	c (7,7) top[1][3] = 2
19.19/8.33	c (7,7) top[2][0] = 3
19.19/8.33	c (7,7) top[2][1] = 5
19.19/8.33	c (7,7) top[2][2] = 8
19.19/8.33	c (7,7) top[2][3] = 3
19.19/8.33	c (7,7) top[3][0] = 1
19.19/8.33	c (7,7) top[3][1] = 8
19.19/8.33	c (7,7) top[3][2] = 4
19.19/8.33	c (7,7) top[3][3] = 1
19.19/8.33	c (7,7) top[4][0] = 3
19.19/8.33	c (7,7) top[4][1] = 6
19.19/8.33	c (7,7) top[4][2] = 5
19.19/8.33	c (7,7) top[4][3] = 2
19.19/8.33	c (7,7) top[5][0] = 2
19.19/8.33	c (7,7) top[5][1] = 6
19.19/8.33	c (7,7) top[5][2] = 6
19.19/8.33	c (7,7) top[5][3] = 1
19.19/8.33	c (7,7) top[6][0] = 1
19.19/8.33	c (7,7) top[6][1] = 7
19.19/8.33	c (7,7) top[6][2] = 5
19.19/8.33	c (7,7) top[6][3] = 2
19.19/8.33	c (7,7) top[7][0] = 3
19.19/8.33	c (7,7) top[7][1] = 4
19.19/8.33	c (7,7) top[7][2] = 7
19.19/8.33	c (7,7) top[7][3] = 1
19.19/8.33	c (7,7) top[8][0] = 2
19.19/8.33	c (7,7) top[8][1] = 5
19.19/8.33	c (7,7) top[8][2] = 6
19.19/8.33	c (7,7) top[8][3] = 1
19.19/8.33	c (7,7) top[9][0] = 3
19.19/8.33	c (7,7) top[9][1] = 6
19.19/8.33	c (7,7) top[9][2] = 4
19.19/8.33	c (7,7) top[9][3] = 1
19.19/8.33	s SATISFIABLE
19.19/8.33	v <instantiation>
19.19/8.33	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[1][0] id[1][1] id[1][2] id[1][3] id[2][0] id[2][1] id[2][2] id[2][3] id[3][0] id[3][1] id[3][2] id[3][3] id[4][0] id[4][1] id[4][2] id[4][3] id[5][0] id[5][1] id[5][2] id[5][3] id[6][0] id[6][1] id[6][2] id[6][3] id[7][0] id[7][1] id[7][2] id[7][3] id[8][0] id[8][1] id[8][2] id[8][3] id[9][0] id[9][1] id[9][2] id[9][3] top[0][0] top[0][1] top[0][2] top[0][3] top[1][0] top[1][1] top[1][2] top[1][3] top[2][0] top[2][1] top[2][2] top[2][3] top[3][0] top[3][1] top[3][2] top[3][3] top[4][0] top[4][1] top[4][2] top[4][3] top[5][0] top[5][1] top[5][2] top[5][3] top[6][0] top[6][1] top[6][2] top[6][3] top[7][0] top[7][1] top[7][2] top[7][3] top[8][0] top[8][1] top[8][2] top[8][3] top[9][0] top[9][1] top[9][2] top[9][3] left[0][0] left[0][1] left[0][2] left[0][3] left[1][0] left[1][1] left[1][2] left[1][3] left[2][0] left[2][1] left[2][2] left[2][3] left[3][0] left[3][1] left[3][2] left[3][3] left[4][0] left[4][1] left[4][2] left[4][3] left[5][0] left[5][1] left[5][2] left[5][3] left[6][0] left[6][1] left[6][2] left[6][3] left[7][0] left[7][1] left[7][2] left[7][3] left[8][0] left[8][1] left[8][2] left[8][3] left[9][0] left[9][1] left[9][2] left[9][3] bot[0] bot[1] bot[2] bot[3] right[0] right[1] right[2] right[3] right[4] right[5] right[6] right[7] right[8] right[9]</list>
19.19/8.33	v     <values>3 5 23 1 19 26 32 18 21 37 28 10 7 35 29 15 20 36 33 6 17 39 34 13 9 25 27 4 22 24 31 11 16 38 30 8 2 14 12 0 0 0 0 0 3 4 8 2 3 5 8 3 1 8 4 1 3 6 5 2 2 6 6 1 1 7 5 2 3 4 7 1 2 5 6 1 3 6 4 1 0 3 1 3 0 4 8 4 0 7 6 7 0 5 5 7 0 5 8 5 0 8 8 5 0 6 4 4 0 7 4 8 0 7 7 6 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
19.19/8.33	v </instantiation>
19.19/8.33	c (7,7) Show results End
19.19/8.33	c (7,7) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.19/8.33	c (7,7) 0,0,5,6,6,6,7,7,7,STOP-AFTER(ALL)
19.19/8.33	c END-Prog: Fri Jul 27 14:21:17 CEST 2018

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297200-1532694068/watcher-4297200-1532694068 -o /tmp/evaluation-result-4297200-1532694068/solver-4297200-1532694068 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532691216-20153 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297200-1532694068.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=20643, runsolver pid=20640
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 1.58 3.60 6.23 3/198 20663
/proc/meminfo: memFree=26759440/32770624 swapFree=67027760/67108860
[pid=20643] ppid=20640 vsize=27312552 memory=109736 CPUtime=0.11 cores=0-7
/proc/20643/stat : 20643 (java) S 20640 20643 20126 0 -1 1077944320 6446 0 0 0 9 2 0 0 20 0 20 0 86969987 27968053248 27434 33554432000 4194304 4196468 140732295919568 140732295902112 140405853056759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
/proc/20643/statm: 6828138 27434 2747 1 0 6790598 0
[pid=20643/tid=20645] ppid=20640 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20643/task/20645/stat : 20645 (java) R 20640 20643 20126 0 -1 4202560 4558 0 0 0 7 2 0 0 20 0 20 0 86969987 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405824862232 140405853068694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20646] ppid=20640 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/20643/task/20646/stat : 20646 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405857299216 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20647] ppid=20640 vsize=27312552 memory=140441295242880 CPUtime=0 cores=0-7
/proc/20643/task/20647/stat : 20647 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405640694672 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20648] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20648/stat : 20648 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405639642128 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20649] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20649/stat : 20649 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405638589584 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20650] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20650/stat : 20650 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405637536016 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20651] ppid=20640 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20643/task/20651/stat : 20651 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405636483472 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20652] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20652/stat : 20652 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405270108688 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20653] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20653/stat : 20653 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 27434 33554432000 4194304 4196468 140732295919568 140405269056144 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20654] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20654/stat : 20654 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969991 27968053248 27434 33554432000 4194304 4196468 140732295919568 140404845418992 140405853067906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20655] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20655/stat : 20655 (java) S 20640 20643 20126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 86969991 27968053248 27434 33554432000 4194304 4196468 140732295919568 140403755967904 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20656] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20656/stat : 20656 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969992 27968053248 27434 33554432000 4194304 4196468 140732295919568 140403487532528 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20657] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20657/stat : 20657 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 27434 33554432000 4194304 4196468 140732295919568 140403113024208 140405853075355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20658] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20658/stat : 20658 (java) S 20640 20643 20126 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 27434 33554432000 4194304 4196468 140732295919568 140404844365808 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20659] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20659/stat : 20659 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 27434 33554432000 4194304 4196468 140732295919568 140404843313264 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20660] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20660/stat : 20660 (java) R 20640 20643 20126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 27434 33554432000 4194304 4196468 140732295919568 140404842260720 140405853067906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20661] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20661/stat : 20661 (java) R 20640 20643 20126 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 27434 33554432000 4194304 4196468 140732295919568 140404841208176 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20662] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20662/stat : 20662 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 27434 33554432000 4194304 4196468 140732295919568 140402615118560 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20663] ppid=20640 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20643/task/20663/stat : 20663 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969995 27968053248 27434 33554432000 4194304 4196468 140732295919568 140404840156080 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109736 KiB

[startup+0.20998 s]*
/proc/loadavg: 1.58 3.60 6.23 2/198 20663
/proc/meminfo: memFree=26741136/32770624 swapFree=67027760/67108860
[pid=20643] ppid=20640 vsize=27312552 memory=123864 CPUtime=0.25 cores=0-7
/proc/20643/stat : 20643 (java) S 20640 20643 20126 0 -1 1077944320 10236 0 0 0 22 3 0 0 20 0 20 0 86969987 27968053248 30966 33554432000 4194304 4196468 140732295919568 140732295902112 140405853056759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
/proc/20643/statm: 6828138 30966 2908 1 0 6790598 0
[pid=20643/tid=20645] ppid=20640 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/20643/task/20645/stat : 20645 (java) R 20640 20643 20126 0 -1 4202560 8138 0 0 0 17 2 0 0 20 0 20 0 86969987 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405824842112 140405837137246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20646] ppid=20640 vsize=27312552 memory=9237 CPUtime=0 cores=0-7
/proc/20643/task/20646/stat : 20646 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405857299216 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20647] ppid=20640 vsize=27312552 memory=140441295754025 CPUtime=0 cores=0-7
/proc/20643/task/20647/stat : 20647 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405640694672 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20648] ppid=20640 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20643/task/20648/stat : 20648 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405639642128 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20649] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20649/stat : 20649 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405638589584 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20650] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20650/stat : 20650 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405637536016 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20651] ppid=20640 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20643/task/20651/stat : 20651 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405636483472 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20652] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20652/stat : 20652 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405270108688 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20653] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20653/stat : 20653 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31031 33554432000 4194304 4196468 140732295919568 140405269056144 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20654] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20654/stat : 20654 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969991 27968053248 31031 33554432000 4194304 4196468 140732295919568 140404845418992 140405853067906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20655] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20655/stat : 20655 (java) S 20640 20643 20126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 86969991 27968053248 31031 33554432000 4194304 4196468 140732295919568 140403755967904 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20656] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20656/stat : 20656 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969992 27968053248 31031 33554432000 4194304 4196468 140732295919568 140403487532528 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20657] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20657/stat : 20657 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31031 33554432000 4194304 4196468 140732295919568 140403113024208 140405853075355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20658] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20658/stat : 20658 (java) S 20640 20643 20126 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31031 33554432000 4194304 4196468 140732295919568 140404844365808 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20659] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20659/stat : 20659 (java) S 20640 20643 20126 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31031 33554432000 4194304 4196468 140732295919568 140404843313264 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20660] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20660/stat : 20660 (java) S 20640 20643 20126 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31031 33554432000 4194304 4196468 140732295919568 140404842260720 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20661] ppid=20640 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/20643/task/20661/stat : 20661 (java) S 20640 20643 20126 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 86969994 27968053248 31031 33554432000 4194304 4196468 140732295919568 140404841208176 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20662] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20662/stat : 20662 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31031 33554432000 4194304 4196468 140732295919568 140402615118560 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20663] ppid=20640 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20643/task/20663/stat : 20663 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969995 27968053248 31031 33554432000 4194304 4196468 140732295919568 140404840156080 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123864 KiB

[startup+0.309533 s]*
/proc/loadavg: 1.58 3.60 6.23 2/198 20663
/proc/meminfo: memFree=26737972/32770624 swapFree=67027760/67108860
[pid=20643] ppid=20640 vsize=27312552 memory=127600 CPUtime=0.42 cores=0-7
/proc/20643/stat : 20643 (java) S 20640 20643 20126 0 -1 1077944320 10783 0 0 0 38 4 0 0 20 0 20 0 86969987 27968053248 31900 33554432000 4194304 4196468 140732295919568 140732295902112 140405853056759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
/proc/20643/statm: 6828138 31900 2965 1 0 6790598 0
[pid=20643/tid=20645] ppid=20640 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20643/task/20645/stat : 20645 (java) R 20640 20643 20126 0 -1 4202560 8509 0 0 0 26 3 0 0 20 0 20 0 86969987 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405824860912 140405837137246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20646] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20646/stat : 20646 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405857299216 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20647] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20647/stat : 20647 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405640694672 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20648] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20648/stat : 20648 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405639642128 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20649] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20649/stat : 20649 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405638589584 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20650] ppid=20640 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/20643/task/20650/stat : 20650 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405637536016 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20651] ppid=20640 vsize=27312552 memory=140441135707055 CPUtime=0 cores=0-7
/proc/20643/task/20651/stat : 20651 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405636483472 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20652] ppid=20640 vsize=27312552 memory=140441135709360 CPUtime=0 cores=0-7
/proc/20643/task/20652/stat : 20652 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405270108688 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20653] ppid=20640 vsize=27312552 memory=140441135711664 CPUtime=0 cores=0-7
/proc/20643/task/20653/stat : 20653 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27968053248 31900 33554432000 4194304 4196468 140732295919568 140405269056144 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20654] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20654/stat : 20654 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969991 27968053248 31900 33554432000 4194304 4196468 140732295919568 140404845418992 140405853067906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20655] ppid=20640 vsize=27312552 memory=280882271430288 CPUtime=0 cores=0-7
/proc/20643/task/20655/stat : 20655 (java) S 20640 20643 20126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 86969991 27968053248 31900 33554432000 4194304 4196468 140732295919568 140403755967904 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20656] ppid=20640 vsize=27312552 memory=280882271437200 CPUtime=0 cores=0-7
/proc/20643/task/20656/stat : 20656 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969992 27968053248 31900 33554432000 4194304 4196468 140732295919568 140403487532528 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20657] ppid=20640 vsize=27312552 memory=280882271378352 CPUtime=0 cores=0-7
/proc/20643/task/20657/stat : 20657 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31900 33554432000 4194304 4196468 140732295919568 140403113024208 140405853075355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20658] ppid=20640 vsize=27312552 memory=280882271451024 CPUtime=0.02 cores=0-7
/proc/20643/task/20658/stat : 20658 (java) S 20640 20643 20126 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 20 0 86969994 27968053248 31900 33554432000 4194304 4196468 140732295919568 140404844365808 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20659] ppid=20640 vsize=27312552 memory=280882271457936 CPUtime=0.01 cores=0-7
/proc/20643/task/20659/stat : 20659 (java) S 20640 20643 20126 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 86969994 27968053248 31900 33554432000 4194304 4196468 140732295919568 140404843313264 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20660] ppid=20640 vsize=27312552 memory=280882271455632 CPUtime=0 cores=0-7
/proc/20643/task/20660/stat : 20660 (java) S 20640 20643 20126 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31900 33554432000 4194304 4196468 140732295919568 140404842260720 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20661] ppid=20640 vsize=27312552 memory=280882271472240 CPUtime=0.07 cores=0-7
/proc/20643/task/20661/stat : 20661 (java) S 20640 20643 20126 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 20 0 86969994 27968053248 31900 33554432000 4194304 4196468 140732295919568 140404841208176 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20662] ppid=20640 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20662/stat : 20662 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86969994 27968053248 31900 33554432000 4194304 4196468 140732295919568 140402615118560 140405853066965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20663] ppid=20640 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20643/task/20663/stat : 20663 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969995 27968053248 31900 33554432000 4194304 4196468 140732295919568 140404840156080 140405853067906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127600 KiB

[startup+0.700846 s]
/proc/loadavg: 1.58 3.60 6.23 2/198 20663
/proc/meminfo: memFree=26713912/32770624 swapFree=67027760/67108860
[pid=20643] ppid=20640 vsize=27320948 memory=165420 CPUtime=0.99 cores=0-7
/proc/20643/stat : 20643 (java) S 20640 20643 20126 0 -1 1077944320 17909 0 0 0 93 6 0 0 20 0 20 0 86969987 27976650752 41355 33554432000 4194304 4196468 140732295919568 140732295902112 140405853056759 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
/proc/20643/statm: 6830237 41355 3150 1 0 6791622 0
[pid=20643/tid=20645] ppid=20640 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/20643/task/20645/stat : 20645 (java) R 20640 20643 20126 0 -1 4202560 15177 0 0 0 62 5 0 0 20 0 20 0 86969987 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405824874448 140405853068694 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20646] ppid=20640 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20646/stat : 20646 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405857299216 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20647] ppid=20640 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20647/stat : 20647 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405640694672 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20648] ppid=20640 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20648/stat : 20648 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405639642128 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20649] ppid=20640 vsize=27320948 memory=3008 CPUtime=0 cores=0-7
/proc/20643/task/20649/stat : 20649 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405638589584 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20650] ppid=20640 vsize=27320948 memory=2764 CPUtime=0 cores=0-7
/proc/20643/task/20650/stat : 20650 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405637536016 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20651] ppid=20640 vsize=27320948 memory=796 CPUtime=0 cores=0-7
/proc/20643/task/20651/stat : 20651 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405636483472 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20652] ppid=20640 vsize=27320948 memory=1008 CPUtime=0 cores=0-7
/proc/20643/task/20652/stat : 20652 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405270108688 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20653] ppid=20640 vsize=27320948 memory=15316 CPUtime=0 cores=0-7
/proc/20643/task/20653/stat : 20653 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86969989 27976650752 41355 33554432000 4194304 4196468 140732295919568 140405269056144 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20654] ppid=20640 vsize=27320948 memory=3604 CPUtime=0 cores=0-7
/proc/20643/task/20654/stat : 20654 (java) S 20640 20643 20126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86969991 27976650752 41355 33554432000 4194304 4196468 140732295919568 140404845418992 140405853067906 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0

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

/proc/20643/task/20655/stat : 20655 (java) S 20640 20643 20126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 86969991 28656443392 721467 33554432000 4194304 4196468 140732295919568 140403755967904 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20656] ppid=20640 vsize=27984808 memory=4063202774932007968 CPUtime=0 cores=0-7
/proc/20643/task/20656/stat : 20656 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969992 28656443392 721467 33554432000 4194304 4196468 140732295919568 140403487532528 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20657] ppid=20640 vsize=27984808 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/20643/task/20657/stat : 20657 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140403113024208 140405853075355 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20658] ppid=20640 vsize=27984808 memory=6944652177228980320 CPUtime=3.17 cores=0-7
/proc/20643/task/20658/stat : 20658 (java) S 20640 20643 20126 0 -1 1077944384 2743 0 0 0 316 1 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404844365808 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20659] ppid=20640 vsize=27984808 memory=6944656592387989600 CPUtime=3.81 cores=0-7
/proc/20643/task/20659/stat : 20659 (java) S 20640 20643 20126 0 -1 1077944384 4714 0 0 0 380 1 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404843313264 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20660] ppid=20640 vsize=27984808 memory=6944656592455097440 CPUtime=2.99 cores=0-7
/proc/20643/task/20660/stat : 20660 (java) S 20640 20643 20126 0 -1 1077944384 4292 0 0 0 297 2 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404842260720 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20661] ppid=20640 vsize=27984808 memory=6944656592387989600 CPUtime=1.28 cores=0-7
/proc/20643/task/20661/stat : 20661 (java) S 20640 20643 20126 0 -1 1077944384 3480 0 0 0 126 2 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404841208176 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20662] ppid=20640 vsize=27984808 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/20643/task/20662/stat : 20662 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140402615118560 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20663] ppid=20640 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/20643/task/20663/stat : 20663 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969995 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404840156080 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20665] ppid=20640 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/20643/task/20665/stat : 20665 (java) S 20640 20643 20126 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404830582464 140405853081369 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20667] ppid=20640 vsize=27984808 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/20643/task/20667/stat : 20667 (java) S 20640 20643 20126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721467 33554432000 4194304 4196468 140732295919568 140401944018096 140405853078685 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20668] ppid=20640 vsize=27984808 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/20643/task/20668/stat : 20668 (java) S 20640 20643 20126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721467 33554432000 4194304 4196468 140732295919568 140401675582768 140405853078685 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20669] ppid=20640 vsize=27984808 memory=6011571485703487846 CPUtime=0 cores=0-7
/proc/20643/task/20669/stat : 20669 (java) S 20640 20643 20126 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 86970777 28656443392 721467 33554432000 4194304 4196468 140732295919568 140402212461728 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
Current children cumulated CPU time: 19.33 s
Current children cumulated vsize: 28644500 KiB
Current children cumulated memory: 2940468 KiB

[startup+8.20458 s]
/proc/loadavg: 1.53 3.55 6.20 2/211 20677
/proc/meminfo: memFree=23922888/32770624 swapFree=67027760/67108860
[pid=20643] ppid=20640 vsize=27984808 memory=2885868 CPUtime=19.19 cores=0-7
/proc/20643/stat : 20643 (java) S 20640 20643 20126 0 -1 1077944320 37299 0 0 0 1863 56 0 0 20 0 24 0 86969987 28656443392 721467 33554432000 4194304 4196468 140732295919568 140732295902112 140405853056759 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
/proc/20643/statm: 6996202 721467 3232 1 0 6957058 0
[pid=20664] ppid=20643 vsize=661476 memory=59576 CPUtime=1.68 cores=0-7
/proc/20664/stat : 20664 (glucose-syrup) S 20643 20643 20126 0 -1 1077944320 12827 0 0 0 166 2 0 0 20 0 9 0 86970775 677351424 14894 33554432000 4194304 4373367 140724714805664 140724714804208 140142144473730 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
/proc/20664/statm: 165369 14894 385 44 0 161057 0
[pid=20664/tid=20670] ppid=20643 vsize=661476 memory=6944656592387989600 CPUtime=0.19 cores=0-7
/proc/20664/task/20670/stat : 20670 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 621 0 0 0 19 0 0 0 20 0 9 0 86970786 677351424 14894 33554432000 4194304 4373367 140724714805664 140142121974776 140142129765349 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20664/tid=20671] ppid=20643 vsize=661476 memory=4206186544037388384 CPUtime=0.19 cores=0-7
/proc/20664/task/20671/stat : 20671 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 191 0 0 0 19 0 0 0 20 0 9 0 86970786 677351424 14894 33554432000 4194304 4373367 140724714805664 140142113582312 4291498 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20664/tid=20672] ppid=20643 vsize=661476 memory=-6305710607313560704 CPUtime=0.19 cores=0-7
/proc/20664/task/20672/stat : 20672 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 608 0 0 0 19 0 0 0 20 0 9 0 86970786 677351424 14894 33554432000 4194304 4373367 140724714805664 140142105189240 4271609 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20664/tid=20673] ppid=20643 vsize=661476 memory=6655300316396806240 CPUtime=0.19 cores=0-7
/proc/20664/task/20673/stat : 20673 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 204 0 0 0 19 0 0 0 20 0 9 0 86970786 677351424 14894 33554432000 4194304 4373367 140724714805664 140142096796872 4271609 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20664/tid=20674] ppid=20643 vsize=661476 memory=0 CPUtime=0.19 cores=0-7
/proc/20664/task/20674/stat : 20674 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 192 0 0 0 19 0 0 0 20 0 9 0 86970787 677351424 14894 33554432000 4194304 4373367 140724714805664 140142088404168 4271597 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20664/tid=20675] ppid=20643 vsize=661476 memory=7230343849784266840 CPUtime=0.19 cores=0-7
/proc/20664/task/20675/stat : 20675 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 191 0 0 0 19 0 0 0 20 0 9 0 86970787 677351424 14894 33554432000 4194304 4373367 140724714805664 140142080011464 4293608 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20664/tid=20676] ppid=20643 vsize=661476 memory=3008 CPUtime=0.19 cores=0-7
/proc/20664/task/20676/stat : 20676 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 185 0 0 0 19 0 0 0 20 0 9 0 86970787 677351424 14894 33554432000 4194304 4373367 140724714805664 140142071618760 4258831 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20664/tid=20677] ppid=20643 vsize=661476 memory=2764 CPUtime=0.19 cores=0-7
/proc/20664/task/20677/stat : 20677 (glucose-syrup) R 20643 20643 20126 0 -1 4202560 196 0 0 0 19 0 0 0 20 0 9 0 86970787 677351424 14894 33554432000 4194304 4373367 140724714805664 140142063226056 140142130319657 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 30842880 140724714812335 140724714812588 140724714812588 140724714815431 0
[pid=20643/tid=20645] ppid=20640 vsize=27984808 memory=7662705889289527641 CPUtime=7.88 cores=0-7
/proc/20643/task/20645/stat : 20645 (java) S 20640 20643 20126 0 -1 1077944384 20664 0 0 0 741 47 0 0 20 0 24 0 86969987 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405824896000 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20646] ppid=20640 vsize=27984808 memory=7811586352639922537 CPUtime=0 cores=0-7
/proc/20643/task/20646/stat : 20646 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405857299216 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20647] ppid=20640 vsize=27984808 memory=5787220445994897765 CPUtime=0 cores=0-7
/proc/20643/task/20647/stat : 20647 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405640694672 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20648] ppid=20640 vsize=27984808 memory=-7028383565733675155 CPUtime=0 cores=0-7
/proc/20643/task/20648/stat : 20648 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405639642128 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20649] ppid=20640 vsize=27984808 memory=8262277478866581011 CPUtime=0 cores=0-7
/proc/20643/task/20649/stat : 20649 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405638589584 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20650] ppid=20640 vsize=27984808 memory=-9181546050914066336 CPUtime=0 cores=0-7
/proc/20643/task/20650/stat : 20650 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405637536016 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20651] ppid=20640 vsize=27984808 memory=7016714190785702558 CPUtime=0 cores=0-7
/proc/20643/task/20651/stat : 20651 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405636483472 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20652] ppid=20640 vsize=27984808 memory=-6737208495982354336 CPUtime=0 cores=0-7
/proc/20643/task/20652/stat : 20652 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405270108688 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20653] ppid=20640 vsize=27984808 memory=8259761640030508194 CPUtime=0 cores=0-7
/proc/20643/task/20653/stat : 20653 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721467 33554432000 4194304 4196468 140732295919568 140405269056144 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20654] ppid=20640 vsize=27984808 memory=5495740422247797458 CPUtime=0 cores=0-7
/proc/20643/task/20654/stat : 20654 (java) S 20640 20643 20126 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 86969991 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404845418992 140405853067906 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20655] ppid=20640 vsize=27984808 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/20643/task/20655/stat : 20655 (java) S 20640 20643 20126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 86969991 28656443392 721467 33554432000 4194304 4196468 140732295919568 140403755967904 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20656] ppid=20640 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/20643/task/20656/stat : 20656 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969992 28656443392 721467 33554432000 4194304 4196468 140732295919568 140403487532528 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20657] ppid=20640 vsize=27984808 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/20643/task/20657/stat : 20657 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140403113024208 140405853075355 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20658] ppid=20640 vsize=27984808 memory=-7533522213388100735 CPUtime=3.17 cores=0-7
/proc/20643/task/20658/stat : 20658 (java) S 20640 20643 20126 0 -1 1077944384 2743 0 0 0 316 1 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404844365808 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20659] ppid=20640 vsize=27984808 memory=6944656591801717918 CPUtime=3.81 cores=0-7
/proc/20643/task/20659/stat : 20659 (java) S 20640 20643 20126 0 -1 1077944384 4714 0 0 0 380 1 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404843313264 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20660] ppid=20640 vsize=27984808 memory=-8033973626532799130 CPUtime=2.99 cores=0-7
/proc/20643/task/20660/stat : 20660 (java) S 20640 20643 20126 0 -1 1077944384 4292 0 0 0 297 2 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404842260720 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20661] ppid=20640 vsize=27984808 memory=4206468019014099040 CPUtime=1.28 cores=0-7
/proc/20643/task/20661/stat : 20661 (java) S 20640 20643 20126 0 -1 1077944384 3480 0 0 0 126 2 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404841208176 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20662] ppid=20640 vsize=27984808 memory=-7384994778349280928 CPUtime=0 cores=0-7
/proc/20643/task/20662/stat : 20662 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969994 28656443392 721467 33554432000 4194304 4196468 140732295919568 140402615118560 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20663] ppid=20640 vsize=27984808 memory=-3704326594973231466 CPUtime=0 cores=0-7
/proc/20643/task/20663/stat : 20663 (java) R 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969995 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404840156080 140405853067906 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20665] ppid=20640 vsize=27984808 memory=-6861001314482542224 CPUtime=0 cores=0-7
/proc/20643/task/20665/stat : 20665 (java) S 20640 20643 20126 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721467 33554432000 4194304 4196468 140732295919568 140404830582464 140405853081369 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20667] ppid=20640 vsize=27984808 memory=-8412652143485227891 CPUtime=0 cores=0-7
/proc/20643/task/20667/stat : 20667 (java) S 20640 20643 20126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721467 33554432000 4194304 4196468 140732295919568 140401944018096 140405853078685 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20668] ppid=20640 vsize=27984808 memory=8514701219781834910 CPUtime=0 cores=0-7
/proc/20643/task/20668/stat : 20668 (java) S 20640 20643 20126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721467 33554432000 4194304 4196468 140732295919568 140401675582768 140405853078685 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20669] ppid=20640 vsize=27984808 memory=280882272298384 CPUtime=0 cores=0-7
/proc/20643/task/20669/stat : 20669 (java) S 20640 20643 20126 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 86970777 28656443392 721467 33554432000 4194304 4196468 140732295919568 140402212461728 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
Current children cumulated CPU time: 20.87 s
Current children cumulated vsize: 28646284 KiB
Current children cumulated memory: 2945444 KiB

[startup+8.30128 s]
/proc/loadavg: 1.53 3.55 6.20 2/211 20677
/proc/meminfo: memFree=23922888/32770624 swapFree=67027760/67108860
[pid=20643] ppid=20640 vsize=27984808 memory=2887916 CPUtime=19.19 cores=0-7
/proc/20643/stat : 20643 (java) S 20640 20643 20126 0 -1 1077944320 37302 0 0 0 1863 56 0 0 20 0 24 0 86969987 28656443392 721979 33554432000 4194304 4196468 140732295919568 140732295902112 140405853056759 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
/proc/20643/statm: 6996202 721979 3232 1 0 6957058 0
[pid=20643/tid=20645] ppid=20640 vsize=27984808 memory=0 CPUtime=7.88 cores=0-7
/proc/20643/task/20645/stat : 20645 (java) S 20640 20643 20126 0 -1 1077944384 20664 0 0 0 741 47 0 0 20 0 24 0 86969987 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405824896000 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20646] ppid=20640 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/20643/task/20646/stat : 20646 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405857299216 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20647] ppid=20640 vsize=27984808 memory=1878192 CPUtime=0 cores=0-7
/proc/20643/task/20647/stat : 20647 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405640694672 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20648] ppid=20640 vsize=27984808 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/20643/task/20648/stat : 20648 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405639642128 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20649] ppid=20640 vsize=27984808 memory=280882271589056 CPUtime=0 cores=0-7
/proc/20643/task/20649/stat : 20649 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405638589584 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20650] ppid=20640 vsize=27984808 memory=280882271589248 CPUtime=0 cores=0-7
/proc/20643/task/20650/stat : 20650 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405637536016 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20651] ppid=20640 vsize=27984808 memory=-2915662228562433438 CPUtime=0 cores=0-7
/proc/20643/task/20651/stat : 20651 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405636483472 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20652] ppid=20640 vsize=27984808 memory=6576565900033829287 CPUtime=0 cores=0-7
/proc/20643/task/20652/stat : 20652 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405270108688 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20653] ppid=20640 vsize=27984808 memory=8837087704075373376 CPUtime=0 cores=0-7
/proc/20643/task/20653/stat : 20653 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969989 28656443392 721979 33554432000 4194304 4196468 140732295919568 140405269056144 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20654] ppid=20640 vsize=27984808 memory=4627851753751994771 CPUtime=0 cores=0-7
/proc/20643/task/20654/stat : 20654 (java) S 20640 20643 20126 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 86969991 28656443392 721979 33554432000 4194304 4196468 140732295919568 140404845418992 140405853067906 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20655] ppid=20640 vsize=27984808 memory=-4190076264842474805 CPUtime=0 cores=0-7
/proc/20643/task/20655/stat : 20655 (java) S 20640 20643 20126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 86969991 28656443392 721979 33554432000 4194304 4196468 140732295919568 140403755967904 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20656] ppid=20640 vsize=27984808 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/20643/task/20656/stat : 20656 (java) S 20640 20643 20126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 86969992 28656443392 721979 33554432000 4194304 4196468 140732295919568 140403487532528 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20657] ppid=20640 vsize=27984808 memory=7668893962489915494 CPUtime=0 cores=0-7
/proc/20643/task/20657/stat : 20657 (java) S 20640 20643 20126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 86969994 28656443392 721979 33554432000 4194304 4196468 140732295919568 140403113024208 140405853075355 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20658] ppid=20640 vsize=27984808 memory=2813100 CPUtime=3.17 cores=0-7
/proc/20643/task/20658/stat : 20658 (java) S 20640 20643 20126 0 -1 1077944384 2743 0 0 0 316 1 0 0 20 0 24 0 86969994 28656443392 721979 33554432000 4194304 4196468 140732295919568 140404844365808 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20659] ppid=20640 vsize=27984808 memory=1800 CPUtime=3.81 cores=0-7
/proc/20643/task/20659/stat : 20659 (java) S 20640 20643 20126 0 -1 1077944384 4714 0 0 0 380 1 0 0 20 0 24 0 86969994 28656443392 721979 33554432000 4194304 4196468 140732295919568 140404843313264 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20660] ppid=20640 vsize=27984808 memory=920 CPUtime=2.99 cores=0-7
/proc/20643/task/20660/stat : 20660 (java) R 20640 20643 20126 0 -1 4202560 4292 0 0 0 297 2 0 0 20 0 24 0 86969994 28656443392 721979 33554432000 4194304 4196468 140732295919568 140404842260720 140405839078975 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20661] ppid=20640 vsize=27984808 memory=4404 CPUtime=1.28 cores=0-7
/proc/20643/task/20661/stat : 20661 (java) R 20640 20643 20126 0 -1 4202560 3481 0 0 0 126 2 0 0 20 0 24 0 86969994 28656443392 721979 33554432000 4194304 4196468 140732295919568 140404841208176 140405853078106 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20662] ppid=20640 vsize=27984808 memory=1408 CPUtime=0 cores=0-7
/proc/20643/task/20662/stat : 20662 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969994 28656443392 721979 33554432000 4194304 4196468 140732295919568 140402615118560 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20663] ppid=20640 vsize=27984808 memory=2624 CPUtime=0 cores=0-7
/proc/20643/task/20663/stat : 20663 (java) S 20640 20643 20126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 86969995 28656443392 721979 33554432000 4194304 4196468 140732295919568 140404840156080 140405853067906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20665] ppid=20640 vsize=27984808 memory=2405632 CPUtime=0 cores=0-7
/proc/20643/task/20665/stat : 20665 (java) S 20640 20643 20126 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721979 33554432000 4194304 4196468 140732295919568 140404830582464 140405853081369 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20667] ppid=20640 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/20643/task/20667/stat : 20667 (java) R 20640 20643 20126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721979 33554432000 4194304 4196468 140732295919568 140401944018096 140405853068694 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20668] ppid=20640 vsize=27984808 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/20643/task/20668/stat : 20668 (java) S 20640 20643 20126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 86970775 28656443392 721979 33554432000 4194304 4196468 140732295919568 140401675582768 140405853078685 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
[pid=20643/tid=20669] ppid=20640 vsize=27984808 memory=15258134151170438 CPUtime=0 cores=0-7
/proc/20643/task/20669/stat : 20669 (java) S 20640 20643 20126 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 86970777 28656443392 721979 33554432000 4194304 4196468 140732295919568 140402212461728 140405853066965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17682432 140732295926746 140732295927045 140732295927045 140732295929807 0
Current children cumulated CPU time: 19.19 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 2887916 KiB

Child status: 0
Real time (s): 8.37438
CPU time (s): 21.8201
CPU user time (s): 21.1804
CPU system time (s): 0.639711
CPU usage (%): 260.558
Max. virtual memory (cumulated for all children) (KiB): 28646284
Max. memory (cumulated for all children) (KiB): 2945444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1804
system time used= 0.639711
maximum resident set size= 2890664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8284
involuntary context switches= 50


# summary of solver processes directly reported to runsolver:
#   pid: 20643
#   total CPU time (s): 21.8201
#   total CPU user time (s): 21.1804
#   total CPU system time (s): 0.639711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081127 second user time and 0.129365 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-27 14:21:08
IDJOB=4297200
IDBENCH=141655
IDSOLVER=2759
FILE ID=node102/4297200-1532694068
RUNJOBID= node102-1532691216-20153
PBS_JOBID= 21022280
Free space on /tmp= 52748 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Eternity/Eternity-10-04_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297200-1532694068/watcher-4297200-1532694068 -o /tmp/evaluation-result-4297200-1532694068/solver-4297200-1532694068 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532691216-20153 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297200-1532694068.xml

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

MD5SUM BENCH= f6e7bfb75851ce9d6d95540719dd30c6
RANDOM SEED=1283655262

node102.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.51
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.51
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.51
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.51
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:        26854528 kB
MemAvailable:   31932452 kB
Buffers:          188336 kB
Cached:          5144864 kB
SwapCached:        53692 kB
Active:          1188252 kB
Inactive:        4226552 kB
Active(anon):       7068 kB
Inactive(anon):    98780 kB
Active(file):    1181184 kB
Inactive(file):  4127772 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67027760 kB
Dirty:              8504 kB
Writeback:             8 kB
AnonPages:         34928 kB
Mapped:            34348 kB
Shmem:             21544 kB
Slab:             197364 kB
SReclaimable:     169604 kB
SUnreclaim:        27760 kB
KernelStack:        3216 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52740 MiB
End job on node102 at 2018-07-27 14:21:17