Trace number 4307287

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 order+glucose-syrup (2018-07-31)SAT 29.4069 11.2526

General information on the benchmark

NameMisteryShopper/
MisteryShopper-10b_c18.xml
MD5SUMb0a0fd8e7c9e530f6e7ba3bf5f78e329
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 benchmark8.32763
Satisfiable
(Un)Satisfiability was proved
Number of variables640
Number of constraints417
Number of domains3
Minimum domain size4
Maximum domain size40
Distribution of domain sizes[{"size":4,"count":160},{"size":5,"count":160},{"size":40,"count":320}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":320},{"degree":3,"count":160},{"degree":4,"count":140},{"degree":5,"count":20}]
Minimum constraint arity2
Maximum constraint arity160
Distribution of constraint arities[{"arity":2,"count":320},{"arity":4,"count":80},{"arity":5,"count":4},{"arity":40,"count":8},{"arity":80,"count":4},{"arity":160,"count":1}]
Number of extensional constraints320
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":320},{"type":"allDifferent","count":88},{"type":"ordered","count":4},{"type":"lex","count":1},{"type":"channel","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-23350-serial-file.bin HOME/instance-4307287-1534192647.xml
0.64/0.53	
0.64/0.54	scop order+glucose-syrup (2018-07-31)
0.64/0.54	(Encoding Process)
0.64/0.54	
0.64/0.56	c BEGIN-Prog: Mon Aug 13 22:37:28 CEST 2018
0.64/0.56	c PID: 23353
0.64/0.56	c IP: 172.20.3.132
0.64/0.56	c HOST: node132.alineos.net
0.64/0.57	c (0,0) Parsing Begin
2.81/1.21	c (0,0) Parsing End
2.81/1.22	c (0,0) CSP: 640 int (0 aux), 0 bool (0 aux), 417 ctr, max domain size 40
2.81/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.81/1.22	c (0,0) Constraint Name Generate Begin
2.81/1.23	c (0,0) Ctr:HOME/instance-4307287-1534192647.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.81/1.23	c (0,0) Constraint Name Generate End
2.81/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.81/1.23	c (0,0) CSP to CSPinCNF Begin
4.63/1.81	c (1,1) translated 42 (10%) constraints
4.63/1.84	c (1,1) translated 84 (20%) constraints
8.94/3.16	c (2,2) translated 126 (30%) constraints
9.36/3.27	c (2,2) translated 167 (40%) constraints
9.78/3.35	c (2,2) translated 209 (50%) constraints
10.21/3.41	c (2,2) translated 251 (60%) constraints
10.21/3.49	c (2,2) translated 292 (70%) constraints
10.62/3.56	c (3,3) translated 334 (80%) constraints
11.02/3.62	c (3,3) translated 376 (90%) constraints
11.02/3.69	c (3,3) translated 417 (100%) constraints
12.26/3.95	c (3,3) STATISTICS1:HOME/instance-4307287-1534192647.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,2272,25620,40,40,40,2,40:5910;39:191;38:161;37:165;36:339;5:240;4:240,40:41304;39:701;38:566;37:566;36:1115;5:2080;4:1760;2:7136,40:16;6:160;5:160;4:352;3:14442;2:10432;1:58,2:7246;1:53536;0:320,
12.26/3.95	c (3,3) ==========================================
12.26/3.95	c (3,3) Order
12.26/3.95	c (3,3) ==========================================
12.76/4.10	c (3,3) translated 2562 (10%) constraints
13.23/4.19	c (3,3) translated 5124 (20%) constraints
13.91/4.35	c (3,3) translated 7686 (30%) constraints
15.10/4.61	c (4,4) translated 10248 (40%) constraints
15.71/4.81	c (4,4) translated 12810 (50%) constraints
15.84/4.98	c (4,4) translated 15372 (60%) constraints
16.05/5.18	c (4,4) translated 17934 (70%) constraints
16.26/5.34	c (4,4) translated 20496 (80%) constraints
16.65/5.41	c (4,4) translated 23058 (90%) constraints
16.65/5.47	c (4,4) translated 25620 (100%) constraints
16.65/5.47	c (4,4) CSP to CSPinCNF End
16.65/5.48	c (4,4) CSP: 640 int (0 aux), 14432 bool (14432 aux), 51220 ctr, max domain size 40
16.65/5.48	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
16.65/5.48	c (4,4) CSPinCNF Propagation Begin
17.82/5.86	c (5,5) 151 values, 1343 unsatisfiable literals, and 973 valid clauses are removed
17.82/5.86	c (5,5) CSPinCNF Propagation End
17.82/5.87	c (5,5) CSP: 751 int (111 aux), 14321 bool (14321 aux), 50247 ctr, max domain size 40
17.82/5.87	c (5,5) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.82/5.87	c (5,5) Simplify CSPinCNF Begin
18.57/6.24	c (5,5) Simplify CSPinCNF End
18.57/6.24	c (5,5) CSP: 751 int (111 aux), 28037 bool (28037 aux), 63963 ctr, max domain size 40
18.57/6.24	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.57/6.24	c (5,5) Calculate Precise Domain Begin
18.57/6.25	c (5,5) 0 values are removed by re-calculation
18.57/6.25	c (5,5) Calculate Precise Domain End
18.57/6.25	c (5,5) CSP: 751 int (111 aux), 28037 bool (28037 aux), 63963 ctr, max domain size 40
18.57/6.25	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.57/6.25	c (5,5) CSPinCNF to SatSolver Begin
20.26/6.94	c (6,6) 6397 (10 %) CSP clauses are encoded (41526 SAT variables, 181992 SAT clauses)
20.86/7.45	c (6,6) 12793 (20 %) CSP clauses are encoded (41526 SAT variables, 351078 SAT clauses)
21.37/7.92	c (7,7) 19189 (30 %) CSP clauses are encoded (41526 SAT variables, 511171 SAT clauses)
21.37/7.97	c (7,7) 25586 (40 %) CSP clauses are encoded (41526 SAT variables, 520112 SAT clauses)
21.37/8.00	c (7,7) 31982 (50 %) CSP clauses are encoded (41526 SAT variables, 526508 SAT clauses)
21.48/8.04	c (7,7) 38378 (60 %) CSP clauses are encoded (41526 SAT variables, 532904 SAT clauses)
21.48/8.07	c (7,7) 44775 (70 %) CSP clauses are encoded (41526 SAT variables, 539301 SAT clauses)
21.48/8.10	c (7,7) 51171 (80 %) CSP clauses are encoded (41526 SAT variables, 545697 SAT clauses)
21.58/8.14	c (7,7) 57567 (90 %) CSP clauses are encoded (41526 SAT variables, 552093 SAT clauses)
21.68/8.24	c (7,7) 63963 (100 %) CSP clauses are encoded (41526 SAT variables, 578447 SAT clauses)
21.68/8.24	c (7,7) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
21.68/8.24	c (7,7) CSPinCNF to SatSolver End
21.68/8.24	c (7,7) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.54/8.51	c (7,7) STATISTICS2:HOME/instance-4307287-1534192647.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,28788,63963,40,40,40,2,40:10109;39:358;38:661;37:609;36:1269;5:480;4:480,40:71408;39:1236;38:2202;37:1926;36:3786;5:2560;4:2240;2:72198,40:4;36:11;34:1;5:160;4:512;3:13660;2:49557;1:58,2:13966;1:129624,
22.54/8.51	c (7,7) 41526 bool, 578448 clause
22.54/8.51	c (7,7) Export Begin
22.73/8.63	c (8,8) Export to HOME/scop-23350-serial-file.bin
22.73/8.63	c (8,8) Export End
22.73/8.63	c (8,8) Export File Size: 0.13 MB
22.73/8.63	c (8,8) 0,0,4,5,5,5,7,STOP-AFTER(DIMACS)
22.73/8.63	c END-Prog: Mon Aug 13 22:37:36 CEST 2018
22.87/8.79	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23350-serial-file.bin
23.42/9.29	c (0,0) Read Serial File Begin
23.42/9.29	c (0,0) HOME/scop-23350-serial-file.bin
23.97/9.51	c (0,0) Read Serial File End
23.97/9.52	
23.97/9.52	scop order+glucose-syrup (2018-07-31)
23.97/9.52	(Solving Process)
23.97/9.52	
23.97/9.54	c BEGIN-Prog: Mon Aug 13 22:37:37 CEST 2018
23.97/9.54	c PID: 23373
23.97/9.54	c IP: 172.20.3.132
23.97/9.54	c HOST: node132.alineos.net
23.97/9.55	c (0,0) SatSolver.solve Begin
23.97/9.55	c (0,0) 0 bool, 0 clause
23.97/9.55	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307287-1534192647.xml-scop-23353.cnf
28.55/11.06	c (1,0) c
28.55/11.06	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
28.55/11.06	c (1,0) c
28.55/11.06	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
28.55/11.06	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
28.55/11.06	c (1,0) c ========================================[ Problem Statistics ]===========================================
28.55/11.06	c (1,0) c |                                                                                                       |
28.55/11.06	c (1,0) c |  Number of variables:         41526                                                                   |
28.55/11.06	c (1,0) c |  Number of clauses:          577715                                                                   |
28.55/11.06	c (1,0) c |  Parse time:                   0.17 s                                                                 |
28.55/11.06	c (1,0) c |                                                                                                       |
28.55/11.06	c (1,0) c |  Eliminated clauses:           0.44 Mb                                                                |
28.55/11.06	c (1,0) c |  Simplification time:          0.62 s                                                                 |
28.55/11.06	c (1,0) c |                                                                                                       |
28.55/11.06	c (1,0) c |  Generating clones                                                                                    |
28.55/11.06	c (1,0) c |  all clones generated. Memory = 397.39Mb.                                                             |
28.55/11.06	c (1,0) c ========================================================================================================|
28.55/11.06	c (1,0) c last restart ## conflicts  :  134 416 
28.55/11.06	c (1,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer).
28.55/11.06	c (1,0) c Total Memory so far : 977.16Mb
28.55/11.06	c (1,0) c
28.55/11.06	c (1,0) c real time : 1.48434 s
28.55/11.06	c (1,0) c cpu time  : 4.35459 s
28.55/11.06	c (1,0) c
28.55/11.06	c (1,0) c
28.55/11.06	c (1,0) c
28.55/11.06	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
28.55/11.06	c (1,0) c
28.55/11.06	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.55/11.06	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
28.55/11.06	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.55/11.06	c (1,0) c | Conflicts     |            9924 |       1270 |       1271 |        991 |       1562 |       1093 |       1593 |       1249 |        895 |
28.55/11.06	c (1,0) c | Decisions     |          107294 |      12753 |      14084 |      12683 |      15038 |      12397 |      14742 |      14584 |      11013 |
28.55/11.06	c (1,0) c | Propagations  |         5784155 |     625872 |     771288 |     620372 |     831024 |     642841 |     876642 |     821360 |     594756 |
28.55/11.06	c (1,0) c | Avg_Trail     |                 |      11143 |      11233 |      10814 |      11676 |      11678 |      11661 |      11787 |      12229 |
28.55/11.06	c (1,0) c | Avg_DL        |                 |        113 |        125 |        110 |        124 |        127 |        127 |        142 |        145 |
28.55/11.06	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
28.55/11.06	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
28.55/11.06	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.55/11.06	c (1,0) c | Exported      |             931 |        162 |        129 |        107 |        132 |        116 |        113 |         90 |         82 |
28.55/11.06	c (1,0) c | Imported      |            6323 |        721 |        796 |        800 |        772 |        795 |        817 |        813 |        809 |
28.55/11.06	c (1,0) c | Good          |            3220 |        350 |        420 |        401 |        398 |        399 |        422 |        424 |        406 |
28.55/11.06	c (1,0) c | Purge         |            3103 |        371 |        376 |        399 |        374 |        396 |        395 |        389 |        403 |
28.55/11.06	c (1,0) c | Promoted      |              52 |          4 |          8 |          9 |          8 |          3 |          8 |          8 |          4 |
28.55/11.06	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
28.55/11.06	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
28.55/11.06	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.55/11.06	c (1,0) c | Unaries       |                 |         15 |         11 |          9 |         18 |          2 |          9 |         11 |          3 |
28.55/11.06	c (1,0) c | Binaries      |                 |         93 |         56 |         63 |         63 |         69 |         57 |         36 |         43 |
28.55/11.06	c (1,0) c | Glues         |                 |        162 |        129 |        107 |        132 |        116 |        113 |         90 |         82 |
28.55/11.06	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.55/11.06	c (1,0) c | Orig_Seen     |             1 % |      10299 |       9371 |       8200 |      10961 |       8150 |      10757 |       9688 |       7299 |
28.55/11.06	c (1,0) c | Diff Orig seen|                 |       2099 |       1171 |      X     |       2761 | -       50 |       2557 |       1488 | -      901 |
28.55/11.06	c (1,0) c | Hamming       |            12 % |       5459 |       5082 |      X     |       5401 |       5645 |       4964 |       4950 |       5276 |
28.55/11.06	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.55/11.06	c (1,0) 
28.55/11.06	c (1,0) s SATISFIABLE
29.07/11.12	c (1,0) SatSolver.solve End
29.07/11.12	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
29.07/11.12	c (1,0) Show results Begin
29.28/11.21	s SATISFIABLE
29.28/11.24	v <instantiation>
29.28/11.24	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[39][0] vr[39][1] vr[39][2] vr[39][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[39][0] ve[39][1] ve[39][2] ve[39][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[39][0] gve[39][1] gve[39][2] gve[39][3]</list>
29.28/11.24	v     <values>0 16 29 35 1 10 33 27 2 11 21 31 3 12 23 37 4 20 32 17 5 18 25 39 6 15 24 38 7 30 22 14 8 36 28 13 9 19 34 26 10 8 20 30 11 9 27 32 12 33 26 6 13 34 3 23 14 7 36 28 15 29 39 2 16 5 31 25 17 27 30 8 18 28 0 34 19 37 2 29 20 31 4 11 21 38 14 9 22 35 1 12 23 6 13 33 24 32 5 15 25 13 8 36 26 39 6 16 27 0 37 19 28 4 38 18 29 14 35 5 30 1 11 21 31 3 12 20 32 17 9 24 33 23 7 10 34 2 15 22 35 21 10 0 36 22 16 1 37 24 17 3 38 25 18 4 39 26 19 7 0 27 18 35 1 30 22 36 2 34 19 15 3 31 13 37 4 28 20 38 5 16 24 29 6 23 26 12 7 14 33 39 8 10 25 17 9 11 32 21 10 1 35 33 11 2 30 20 12 3 31 22 13 25 23 8 14 29 21 7 15 6 34 24 16 0 36 26 17 32 37 4 18 5 38 28 19 9 39 27 20 4 10 31 21 35 2 30 22 36 7 34 23 33 3 13 24 37 6 32 25 38 5 16 26 39 12 9 27 17 11 1 28 18 8 14 29 15 0 19 30 7 17 10 31 20 16 2 32 24 4 11 33 12 1 23 34 13 9 18 35 22 29 0 36 8 14 25 37 19 27 3 38 21 28 6 39 26 15 5 0 1 2 3 0 1 3 2 0 1 2 3 0 1 2 3 0 2 3 1 0 1 2 3 0 1 2 3 0 3 2 1 0 3 2 1 0 1 3 2 1 0 2 3 1 0 2 3 1 3 2 0 1 3 0 2 1 0 3 2 1 2 3 0 1 0 3 2 1 2 3 0 1 2 0 3 1 3 0 2 2 3 0 1 2 3 1 0 2 3 0 1 2 0 1 3 2 3 0 1 2 1 0 3 2 3 0 1 2 0 3 1 2 0 3 1 2 1 3 0 3 0 1 2 3 0 1 2 3 1 0 2 3 2 0 1 3 0 1 2 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 0 3 2 4 0 3 2 4 0 3 2 1 0 3 1 4 0 3 2 4 0 1 2 3 0 2 3 1 0 1 3 4 0 1 3 2 0 1 3 2 1 0 4 3 1 0 3 2 1 0 3 2 1 3 2 0 1 3 2 0 1 0 3 2 1 0 4 3 2 3 4 0 2 0 4 3 2 0 4 3 2 0 1 3 2 4 0 3 2 4 0 3 2 3 0 1 2 4 0 3 3 4 0 1 3 4 1 0 3 2 1 0 3 2 0 1 3 1 0 2 3 0 2 1 3 2 1 0 3 2 0 1 3 1 0 2 3 1 0 2 4 2 3 0 4 0 1 3 4 2 3 0 4 2 3 0 4 3 1 0</values>
29.28/11.24	v </instantiation>
29.28/11.24	c (2,0) Show results End
29.28/11.24	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
29.28/11.24	c (2,0) 1,2,STOP-AFTER(ALL)
29.28/11.24	c END-Prog: Mon Aug 13 22:37:39 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 (6904 MiB free)
  memory of node 1: 16384 MiB (10039 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307287-1534192647/watcher-4307287-1534192647 -o /tmp/evaluation-result-4307287-1534192647/solver-4307287-1534192647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307287-1534192647.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=23350, runsolver pid=23347
Current StackSize limit: 8192 KiB


[startup+0.105515 s]*
/proc/loadavg: 0.13 0.12 0.55 3/203 23372
/proc/meminfo: memFree=17256692/32770624 swapFree=67108860/67108860
[pid=23350] ppid=23347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23350/stat : 23350 (scop.sh) S 23347 23350 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236827896 115843072 348 33554432000 4194304 5098028 140723422120944 140723422118200 140393803633276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140723422127138 140723422127363 140723422127363 140723422130125 0
/proc/23350/statm: 28282 348 296 221 0 87 0
[pid=23353] ppid=23350 vsize=27313900 memory=107260 CPUtime=0.11 cores=0-7
/proc/23353/stat : 23353 (java) S 23350 23350 22710 0 -1 1077944320 6803 0 0 0 8 3 0 0 20 0 20 0 236827896 27969433600 26815 33554432000 4194304 4196468 140733711342032 140733711324576 140584552042231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
/proc/23353/statm: 6828475 26815 2733 1 0 6790935 0
[pid=23353/tid=23354] ppid=23350 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23353/task/23354/stat : 23354 (java) R 23350 23350 22710 0 -1 4202560 4905 0 0 0 7 2 0 0 20 0 20 0 236827896 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584523822304 140584536122718 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23355] ppid=23350 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23353/task/23355/stat : 23355 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584556284944 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23356] ppid=23350 vsize=27313900 memory=140363760363136 CPUtime=0 cores=0-7
/proc/23353/task/23356/stat : 23356 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584370441360 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23357] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23357/stat : 23357 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584369388304 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23358] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23358/stat : 23358 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584368335760 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23359] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23359/stat : 23359 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584367282704 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23360] ppid=23350 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23353/task/23360/stat : 23360 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584366230160 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23361] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23361/stat : 23361 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584365177104 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23362] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23362/stat : 23362 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 26815 33554432000 4194304 4196468 140733711342032 140584364124560 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23363] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23363/stat : 23363 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236827900 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582670871280 140584552053378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23364] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23364/stat : 23364 (java) S 23350 23350 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236827901 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582466872992 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23365] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23365/stat : 23365 (java) S 23350 23350 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236827901 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582332650736 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23366] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23366/stat : 23366 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 26815 33554432000 4194304 4196468 140733711342032 140581958146512 140584552060827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23367] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23367/stat : 23367 (java) S 23350 23350 22710 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582669818096 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23368] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23368/stat : 23368 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582198430064 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23369] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23369/stat : 23369 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582197377008 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23370] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23370/stat : 23370 (java) S 23350 23350 22710 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582196324464 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23371] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23371/stat : 23371 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 26815 33554432000 4194304 4196468 140733711342032 140581460241376 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23372] ppid=23350 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23353/task/23372/stat : 23372 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 26815 33554432000 4194304 4196468 140733711342032 140582195272880 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 108652 KiB

[startup+0.210546 s]*
/proc/loadavg: 0.13 0.12 0.55 2/203 23372
/proc/meminfo: memFree=17240940/32770624 swapFree=67108860/67108860
[pid=23350] ppid=23347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23350/stat : 23350 (scop.sh) S 23347 23350 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236827896 115843072 348 33554432000 4194304 5098028 140723422120944 140723422118200 140393803633276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140723422127138 140723422127363 140723422127363 140723422130125 0
/proc/23350/statm: 28282 348 296 221 0 87 0
[pid=23353] ppid=23350 vsize=27313900 memory=121348 CPUtime=0.24 cores=0-7
/proc/23353/stat : 23353 (java) S 23350 23350 22710 0 -1 1077944320 10568 0 0 0 20 4 0 0 20 0 20 0 236827896 27969433600 30337 33554432000 4194304 4196468 140733711342032 140733711324576 140584552042231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
/proc/23353/statm: 6828475 30337 2898 1 0 6790935 0
[pid=23353/tid=23354] ppid=23350 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23353/task/23354/stat : 23354 (java) R 23350 23350 22710 0 -1 4202560 8451 0 0 0 16 3 0 0 20 0 20 0 236827896 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584523831936 140584537767934 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23355] ppid=23350 vsize=27313900 memory=339 CPUtime=0 cores=0-7
/proc/23353/task/23355/stat : 23355 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584556284944 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23356] ppid=23350 vsize=27313900 memory=140363760385927 CPUtime=0 cores=0-7
/proc/23353/task/23356/stat : 23356 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584370441360 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23357] ppid=23350 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23353/task/23357/stat : 23357 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584369388304 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23358] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23358/stat : 23358 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584368335760 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23359] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23359/stat : 23359 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584367282704 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23360] ppid=23350 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23353/task/23360/stat : 23360 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584366230160 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23361] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23361/stat : 23361 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584365177104 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23362] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23362/stat : 23362 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 30337 33554432000 4194304 4196468 140733711342032 140584364124560 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23363] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23363/stat : 23363 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236827900 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582670871280 140584552053378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23364] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23364/stat : 23364 (java) S 23350 23350 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236827901 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582466872992 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23365] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23365/stat : 23365 (java) S 23350 23350 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236827901 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582332650736 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23366] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23366/stat : 23366 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 30337 33554432000 4194304 4196468 140733711342032 140581958146512 140584552060827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23367] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23367/stat : 23367 (java) S 23350 23350 22710 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582669818096 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23368] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23368/stat : 23368 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582198430064 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23369] ppid=23350 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23353/task/23369/stat : 23369 (java) S 23350 23350 22710 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582197377008 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23370] ppid=23350 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/23353/task/23370/stat : 23370 (java) S 23350 23350 22710 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 20 0 236827904 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582196324464 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23371] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23371/stat : 23371 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 30337 33554432000 4194304 4196468 140733711342032 140581460241376 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23372] ppid=23350 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23353/task/23372/stat : 23372 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 30337 33554432000 4194304 4196468 140733711342032 140582195272880 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122740 KiB

[startup+0.310402 s]*
/proc/loadavg: 0.13 0.12 0.55 2/203 23372
/proc/meminfo: memFree=17237404/32770624 swapFree=67108860/67108860
[pid=23350] ppid=23347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23350/stat : 23350 (scop.sh) S 23347 23350 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236827896 115843072 348 33554432000 4194304 5098028 140723422120944 140723422118200 140393803633276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140723422127138 140723422127363 140723422127363 140723422130125 0
/proc/23350/statm: 28282 348 296 221 0 87 0
[pid=23353] ppid=23350 vsize=27313900 memory=125140 CPUtime=0.41 cores=0-7
/proc/23353/stat : 23353 (java) S 23350 23350 22710 0 -1 1077944320 11121 0 0 0 36 5 0 0 20 0 20 0 236827896 27969433600 31285 33554432000 4194304 4196468 140733711342032 140733711324576 140584552042231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
/proc/23353/statm: 6828475 31285 2974 1 0 6790935 0
[pid=23353/tid=23354] ppid=23350 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23353/task/23354/stat : 23354 (java) R 23350 23350 22710 0 -1 4202560 8836 0 0 0 25 4 0 0 20 0 20 0 236827896 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584523837680 140584533605769 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23355] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23355/stat : 23355 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584556284944 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23356] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23356/stat : 23356 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584370441360 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23357] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23357/stat : 23357 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584369388304 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23358] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23358/stat : 23358 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584368335760 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23359] ppid=23350 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/23353/task/23359/stat : 23359 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584367282704 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23360] ppid=23350 vsize=27313900 memory=140363624969135 CPUtime=0 cores=0-7
/proc/23353/task/23360/stat : 23360 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584366230160 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23361] ppid=23350 vsize=27313900 memory=140363624971440 CPUtime=0 cores=0-7
/proc/23353/task/23361/stat : 23361 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584365177104 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23362] ppid=23350 vsize=27313900 memory=140363624973744 CPUtime=0 cores=0-7
/proc/23353/task/23362/stat : 23362 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827899 27969433600 31285 33554432000 4194304 4196468 140733711342032 140584364124560 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23363] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23363/stat : 23363 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236827900 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582670871280 140584552053378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23364] ppid=23350 vsize=27313900 memory=280727249954448 CPUtime=0 cores=0-7
/proc/23353/task/23364/stat : 23364 (java) S 23350 23350 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236827901 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582466872992 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23365] ppid=23350 vsize=27313900 memory=280727249961360 CPUtime=0 cores=0-7
/proc/23353/task/23365/stat : 23365 (java) S 23350 23350 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236827901 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582332650736 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23366] ppid=23350 vsize=27313900 memory=280727249902640 CPUtime=0 cores=0-7
/proc/23353/task/23366/stat : 23366 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 31285 33554432000 4194304 4196468 140733711342032 140581958146512 140584552060827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23367] ppid=23350 vsize=27313900 memory=280727249975184 CPUtime=0.01 cores=0-7
/proc/23353/task/23367/stat : 23367 (java) S 23350 23350 22710 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 20 0 236827904 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582669818096 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23368] ppid=23350 vsize=27313900 memory=280727249982096 CPUtime=0.01 cores=0-7
/proc/23353/task/23368/stat : 23368 (java) S 23350 23350 22710 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 236827904 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582198430064 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23369] ppid=23350 vsize=27313900 memory=280727249979792 CPUtime=0.01 cores=0-7
/proc/23353/task/23369/stat : 23369 (java) S 23350 23350 22710 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 20 0 236827904 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582197377008 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23370] ppid=23350 vsize=27313900 memory=280727249995952 CPUtime=0.07 cores=0-7
/proc/23353/task/23370/stat : 23370 (java) S 23350 23350 22710 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 20 0 236827904 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582196324464 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23371] ppid=23350 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23371/stat : 23371 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 31285 33554432000 4194304 4196468 140733711342032 140581460241376 140584552052437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23372] ppid=23350 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/23353/task/23372/stat : 23372 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827904 27969433600 31285 33554432000 4194304 4196468 140733711342032 140582195272880 140584552053378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126532 KiB

[startup+0.700898 s]
/proc/loadavg: 0.13 0.12 0.55 2/203 23372
/proc/meminfo: memFree=17213220/32770624 swapFree=67108860/67108860
[pid=23350] ppid=23347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23350/stat : 23350 (scop.sh) S 23347 23350 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236827896 115843072 348 33554432000 4194304 5098028 140723422120944 140723422118200 140393803633276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140723422127138 140723422127363 140723422127363 140723422130125 0
/proc/23350/statm: 28282 348 296 221 0 87 0
[pid=23353] ppid=23350 vsize=27320172 memory=162644 CPUtime=0.99 cores=0-7
/proc/23353/stat : 23353 (java) S 23350 23350 22710 0 -1 1077944320 18134 0 0 0 92 7 0 0 20 0 20 0 236827896 27975856128 40661 33554432000 4194304 4196468 140733711342032 140733711324576 140584552042231 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
/proc/23353/statm: 6830043 40661 3135 1 0 6791447 0
[pid=23353/tid=23354] ppid=23350 vsize=27320172 memory=280727250353840 CPUtime=0.66 cores=0-7
/proc/23353/task/23354/stat : 23354 (java) R 23350 23350 22710 0 -1 4202560 15348 0 0 0 61 5 0 0 20 0 20 0 236827896 27975856128 40661 33554432000 4194304 4196468 140733711342032 140584523879840 140584027260391 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23355] ppid=23350 vsize=27320172 memory=140363625177968 CPUtime=0 cores=0-7
/proc/23353/task/23355/stat : 23355 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27975856128 40661 33554432000 4194304 4196468 140733711342032 140584556284944 140584552052437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23356] ppid=23350 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/23353/task/23356/stat : 23356 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27975856128 40661 33554432000 4194304 4196468 140733711342032 140584370441360 140584552052437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0
[pid=23353/tid=23357] ppid=23350 vsize=27320172 memory=10784 CPUtime=0 cores=0-7
/proc/23353/task/23357/stat : 23357 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236827899 27975856128 40661 33554432000 4194304 4196468 140733711342032 140584369388304 140584552052437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36802560 140733711344616 140733711344941 140733711344941 140733711347663 0

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

/proc/23373/task/23377/stat : 23377 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863516412176 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23378] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23378/stat : 23378 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863515359632 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23379] ppid=23350 vsize=8413904 memory=2445480 CPUtime=0 cores=0-7
/proc/23373/task/23379/stat : 23379 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863514307600 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23380] ppid=23350 vsize=8413904 memory=3184097920075968560 CPUtime=0 cores=0-7
/proc/23373/task/23380/stat : 23380 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863513255056 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23381] ppid=23350 vsize=8413904 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/23373/task/23381/stat : 23381 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863512202000 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23382] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23382/stat : 23382 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863511149456 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23383] ppid=23350 vsize=8413904 memory=140363625407505 CPUtime=0 cores=0-7
/proc/23373/task/23383/stat : 23383 (java) S 23350 23350 22710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236828779 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862990637296 139864031881858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23384] ppid=23350 vsize=8413904 memory=3977871859062040937 CPUtime=0 cores=0-7
/proc/23373/task/23384/stat : 23384 (java) S 23350 23350 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236828779 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862657197216 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23385] ppid=23350 vsize=8413904 memory=3977871859062040937 CPUtime=0 cores=0-7
/proc/23373/task/23385/stat : 23385 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828779 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862388761328 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23386] ppid=23350 vsize=8413904 memory=6283714868275734889 CPUtime=0 cores=0-7
/proc/23373/task/23386/stat : 23386 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862014253008 139864031889307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23387] ppid=23350 vsize=8413904 memory=7652809154996365673 CPUtime=0.07 cores=0-7
/proc/23373/task/23387/stat : 23387 (java) S 23350 23350 22710 0 -1 1077944384 536 0 0 0 7 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862989585136 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23388] ppid=23350 vsize=8413904 memory=3764271865857141102 CPUtime=0.11 cores=0-7
/proc/23373/task/23388/stat : 23388 (java) S 23350 23350 22710 0 -1 1077944384 724 0 0 0 11 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862988532592 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23389] ppid=23350 vsize=8413904 memory=3764271865857141102 CPUtime=0.08 cores=0-7
/proc/23373/task/23389/stat : 23389 (java) S 23350 23350 22710 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862987479536 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23390] ppid=23350 vsize=8413904 memory=4279073208581449571 CPUtime=0.23 cores=0-7
/proc/23373/task/23390/stat : 23390 (java) S 23350 23350 22710 0 -1 1077944384 848 0 0 0 23 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862986426992 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23391] ppid=23350 vsize=8413904 memory=7954596513813391212 CPUtime=0 cores=0-7
/proc/23373/task/23391/stat : 23391 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139861516347872 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23392] ppid=23350 vsize=8413904 memory=70932 CPUtime=0 cores=0-7
/proc/23373/task/23392/stat : 23392 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862985374384 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23394] ppid=23350 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/23373/task/23394/stat : 23394 (java) S 23350 23350 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236828853 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862977897408 139864031895321 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23396] ppid=23350 vsize=8413904 memory=122684 CPUtime=0 cores=0-7
/proc/23373/task/23396/stat : 23396 (java) S 23350 23350 22710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236828853 8615837696 30671 33554432000 4194304 4196468 140720801486960 139860845248560 139864031892637 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23397] ppid=23350 vsize=8413904 memory=2336 CPUtime=0 cores=0-7
/proc/23373/task/23397/stat : 23397 (java) S 23350 23350 22710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 236828854 8615837696 30671 33554432000 4194304 4196468 140720801486960 139861113684144 139864031892637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23398] ppid=23350 vsize=8413904 memory=1580 CPUtime=0 cores=0-7
/proc/23373/task/23398/stat : 23398 (java) S 23350 23350 22710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236828856 8615837696 30671 33554432000 4194304 4196468 140720801486960 139860576820640 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
Current children cumulated CPU time: 25.05 s
Current children cumulated vsize: 8638776 KiB
Current children cumulated memory: 191816 KiB

[startup+10.8052 s]
/proc/loadavg: 0.57 0.22 0.58 2/208 23398
/proc/meminfo: memFree=17170116/32770624 swapFree=67108860/67108860
[pid=23350] ppid=23347 vsize=113128 memory=1468 CPUtime=22.9 cores=0-7
/proc/23350/stat : 23350 (scop.sh) S 23347 23350 22710 0 -1 4202496 589 41276 0 0 0 0 2219 71 20 0 1 0 236827896 115843072 367 33554432000 4194304 5098028 140723422120944 140723422117688 140393803633276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140723422127138 140723422127363 140723422127363 140723422130125 0
/proc/23350/statm: 28282 367 311 221 0 87 0
[pid=23373] ppid=23350 vsize=8413904 memory=122684 CPUtime=1.33 cores=0-7
/proc/23373/stat : 23373 (java) S 23350 23350 22710 0 -1 1077944320 19429 0 0 0 126 7 0 0 20 0 24 0 236828775 8615837696 30671 33554432000 4194304 4196468 140720801486960 140720801469504 139864031870711 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
/proc/23373/statm: 2103476 30671 3151 1 0 2064875 0
[pid=23393] ppid=23373 vsize=1000472 memory=414744 CPUtime=2.69 cores=0-7
/proc/23393/stat : 23393 (glucose-syrup) S 23373 23350 22710 0 -1 1077944320 69265 0 0 0 237 32 0 0 20 0 9 0 236828853 1024483328 103686 33554432000 4194304 4373367 140724557042176 140724557040720 140604175940226 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 8749056 140724557046864 140724557046996 140724557046996 140724557049799 0
/proc/23393/statm: 250118 103686 385 44 0 245806 0
[pid=23373/tid=23374] ppid=23350 vsize=8413904 memory=15932 CPUtime=0.79 cores=0-7
/proc/23373/task/23374/stat : 23374 (java) S 23350 23350 22710 0 -1 1077944384 15631 0 0 0 74 5 0 0 20 0 24 0 236828776 8615837696 30671 33554432000 4194304 4196468 140720801486960 139864003710864 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23375] ppid=23350 vsize=8413904 memory=3332 CPUtime=0 cores=0-7
/proc/23373/task/23375/stat : 23375 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139864036112912 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23376] ppid=23350 vsize=8413904 memory=1732 CPUtime=0 cores=0-7
/proc/23373/task/23376/stat : 23376 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863517465232 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23377] ppid=23350 vsize=8413904 memory=1172 CPUtime=0 cores=0-7
/proc/23373/task/23377/stat : 23377 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863516412176 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23378] ppid=23350 vsize=8413904 memory=500 CPUtime=0 cores=0-7
/proc/23373/task/23378/stat : 23378 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863515359632 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23379] ppid=23350 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/23373/task/23379/stat : 23379 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863514307600 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23380] ppid=23350 vsize=8413904 memory=2336 CPUtime=0 cores=0-7
/proc/23373/task/23380/stat : 23380 (java) S 23350 23350 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863513255056 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23381] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23381/stat : 23381 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863512202000 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23382] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23382/stat : 23382 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828777 8615837696 30671 33554432000 4194304 4196468 140720801486960 139863511149456 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23383] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23383/stat : 23383 (java) S 23350 23350 22710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236828779 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862990637296 139864031881858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23384] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23384/stat : 23384 (java) S 23350 23350 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236828779 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862657197216 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23385] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23385/stat : 23385 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828779 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862388761328 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23386] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23386/stat : 23386 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862014253008 139864031889307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23387] ppid=23350 vsize=8413904 memory=0 CPUtime=0.07 cores=0-7
/proc/23373/task/23387/stat : 23387 (java) S 23350 23350 22710 0 -1 1077944384 536 0 0 0 7 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862989585136 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23388] ppid=23350 vsize=8413904 memory=0 CPUtime=0.11 cores=0-7
/proc/23373/task/23388/stat : 23388 (java) S 23350 23350 22710 0 -1 1077944384 724 0 0 0 11 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862988532592 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23389] ppid=23350 vsize=8413904 memory=0 CPUtime=0.08 cores=0-7
/proc/23373/task/23389/stat : 23389 (java) S 23350 23350 22710 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862987479536 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23390] ppid=23350 vsize=8413904 memory=0 CPUtime=0.23 cores=0-7
/proc/23373/task/23390/stat : 23390 (java) S 23350 23350 22710 0 -1 1077944384 848 0 0 0 23 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862986426992 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23391] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23391/stat : 23391 (java) S 23350 23350 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139861516347872 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23392] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23392/stat : 23392 (java) S 23350 23350 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236828782 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862985374384 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23394] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23394/stat : 23394 (java) S 23350 23350 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236828853 8615837696 30671 33554432000 4194304 4196468 140720801486960 139862977897408 139864031895321 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23396] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23396/stat : 23396 (java) S 23350 23350 22710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236828853 8615837696 30671 33554432000 4194304 4196468 140720801486960 139860845248560 139864031892637 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23397] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23397/stat : 23397 (java) S 23350 23350 22710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 236828854 8615837696 30671 33554432000 4194304 4196468 140720801486960 139861113684144 139864031892637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23398] ppid=23350 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/23373/task/23398/stat : 23398 (java) S 23350 23350 22710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236828856 8615837696 30671 33554432000 4194304 4196468 140720801486960 139860576820640 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
Current children cumulated CPU time: 26.92 s
Current children cumulated vsize: 9527504 KiB
Current children cumulated memory: 538896 KiB

[startup+11.2011 s]
/proc/loadavg: 0.57 0.22 0.58 9/216 23406
/proc/meminfo: memFree=16814076/32770624 swapFree=67108860/67108860
[pid=23350] ppid=23347 vsize=113128 memory=1468 CPUtime=22.9 cores=0-7
/proc/23350/stat : 23350 (scop.sh) S 23347 23350 22710 0 -1 4202496 589 41276 0 0 0 0 2219 71 20 0 1 0 236827896 115843072 367 33554432000 4194304 5098028 140723422120944 140723422117688 140393803633276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140723422127138 140723422127363 140723422127363 140723422130125 0
/proc/23350/statm: 28282 367 311 221 0 87 0
[pid=23373] ppid=23350 vsize=8282828 memory=137036 CPUtime=6.38 cores=0-7
/proc/23373/stat : 23373 (java) S 23350 23350 22710 0 -1 1077944320 19943 70194 0 0 160 8 436 34 20 0 22 0 236828775 8481615872 34259 33554432000 4194304 4196468 140720801486960 140720801469504 139864031870711 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
/proc/23373/statm: 2070707 34259 3166 1 0 2032106 0
[pid=23373/tid=23374] ppid=23350 vsize=8282828 memory=0 CPUtime=5.57 cores=0-7
/proc/23373/task/23374/stat : 23374 (java) R 23350 23350 22710 0 -1 4202560 15851 70194 0 0 82 5 436 34 20 0 22 0 236828776 8481615872 34259 33554432000 4194304 4196468 140720801486960 139864003709680 139864031892637 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23375] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23375/stat : 23375 (java) S 23350 23350 22710 0 -1 1077944384 1 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139864036112912 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23376] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23376/stat : 23376 (java) S 23350 23350 22710 0 -1 1077944384 2 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139863517465232 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23377] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23377/stat : 23377 (java) S 23350 23350 22710 0 -1 1077944384 2 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139863516412176 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23378] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23378/stat : 23378 (java) S 23350 23350 22710 0 -1 1077944384 1 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139863515359632 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23379] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23379/stat : 23379 (java) S 23350 23350 22710 0 -1 1077944384 2 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139863514307600 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23380] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23380/stat : 23380 (java) S 23350 23350 22710 0 -1 1077944384 2 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139863513255056 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23381] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23381/stat : 23381 (java) S 23350 23350 22710 0 -1 1077944384 3 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139863512202000 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23382] ppid=23350 vsize=8282828 memory=288230574492221466 CPUtime=4.7 cores=0-7
/proc/23373/task/23382/stat : 23382 (java) S 23350 23350 22710 0 -1 1077944384 1 70194 0 0 0 0 436 34 20 0 22 0 236828777 8481615872 34259 33554432000 4194304 4196468 140720801486960 139863511149456 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23383] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23383/stat : 23383 (java) S 23350 23350 22710 0 -1 1077944384 5 70194 0 0 0 0 436 34 20 0 22 0 236828779 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862990637296 139864031881858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23384] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23384/stat : 23384 (java) S 23350 23350 22710 0 -1 1077944384 13 70194 0 0 0 0 436 34 20 0 22 0 236828779 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862657197216 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23385] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23385/stat : 23385 (java) S 23350 23350 22710 0 -1 1077944384 1 70194 0 0 0 0 436 34 20 0 22 0 236828779 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862388761328 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23386] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23386/stat : 23386 (java) S 23350 23350 22710 0 -1 1077944384 1 70194 0 0 0 0 436 34 20 0 22 0 236828782 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862014253008 139864031889307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23387] ppid=23350 vsize=8282828 memory=6656426216303648864 CPUtime=4.82 cores=0-7
/proc/23373/task/23387/stat : 23387 (java) S 23350 23350 22710 0 -1 1077944384 560 70194 0 0 12 0 436 34 20 0 22 0 236828782 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862989585136 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23388] ppid=23350 vsize=8282828 memory=0 CPUtime=4.86 cores=0-7
/proc/23373/task/23388/stat : 23388 (java) S 23350 23350 22710 0 -1 1077944384 746 70194 0 0 16 0 436 34 20 0 22 0 236828782 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862988532592 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23389] ppid=23350 vsize=8282828 memory=0 CPUtime=4.82 cores=0-7
/proc/23373/task/23389/stat : 23389 (java) S 23350 23350 22710 0 -1 1077944384 312 70194 0 0 12 0 436 34 20 0 22 0 236828782 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862987479536 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23390] ppid=23350 vsize=8282828 memory=0 CPUtime=5 cores=0-7
/proc/23373/task/23390/stat : 23390 (java) R 23350 23350 22710 0 -1 4202560 1026 70194 0 0 30 0 436 34 20 0 22 0 236828782 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862986426992 139864013434286 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23391] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23391/stat : 23391 (java) S 23350 23350 22710 0 -1 1077944384 3 70194 0 0 0 0 436 34 20 0 22 0 236828782 8481615872 34259 33554432000 4194304 4196468 140720801486960 139861516347872 139864031880917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23392] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23392/stat : 23392 (java) S 23350 23350 22710 0 -1 1077944384 1 70194 0 0 0 0 436 34 20 0 22 0 236828782 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862985374384 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23394] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23394/stat : 23394 (java) S 23350 23350 22710 0 -1 1077944384 23 70194 0 0 0 0 436 34 20 0 22 0 236828853 8481615872 34259 33554432000 4194304 4196468 140720801486960 139862977896592 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
[pid=23373/tid=23398] ppid=23350 vsize=8282828 memory=0 CPUtime=4.7 cores=0-7
/proc/23373/task/23398/stat : 23398 (java) S 23350 23350 22710 0 -1 1077944384 8 70194 0 0 0 0 436 34 20 0 22 0 236828856 8481615872 34259 33554432000 4194304 4196468 140720801486960 139860576822448 139864031881858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140720801494193 140720801494317 140720801494317 140720801497039 0
Current children cumulated CPU time: 29.28 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 138504 KiB

Child status: 0
Real time (s): 11.2526
CPU time (s): 29.4069
CPU user time (s): 28.2478
CPU system time (s): 1.15914
CPU usage (%): 261.335
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 3489776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2478
system time used= 1.15914
maximum resident set size= 3488772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26363
involuntary context switches= 85


# summary of solver processes directly reported to runsolver:
#   pid: 23350
#   total CPU time (s): 29.4069
#   total CPU user time (s): 28.2478
#   total CPU system time (s): 1.15914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110436 second user time and 0.166889 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-13 22:37:27
IDJOB=4307287
IDBENCH=141394
IDSOLVER=2788
FILE ID=node132/4307287-1534192647
RUNJOBID= node132-1534187531-22737
PBS_JOBID= 21037984
Free space on /tmp= 38332 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-10b_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307287-1534192647/watcher-4307287-1534192647 -o /tmp/evaluation-result-4307287-1534192647/solver-4307287-1534192647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307287-1534192647.xml

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

MD5SUM BENCH= b0a0fd8e7c9e530f6e7ba3bf5f78e329
RANDOM SEED=950093297

node132.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.65
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.65
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.65
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.65
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:        17352104 kB
MemAvailable:   31903264 kB
Buffers:          262900 kB
Cached:         14400376 kB
SwapCached:            0 kB
Active:          7396852 kB
Inactive:        7320712 kB
Active(anon):       3940 kB
Inactive(anon):   102812 kB
Active(file):    7392912 kB
Inactive(file):  7217900 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8396 kB
Writeback:             4 kB
AnonPages:         60780 kB
Mapped:            55800 kB
Shmem:             49824 kB
Slab:             397344 kB
SReclaimable:     368808 kB
SUnreclaim:        28536 kB
KernelStack:        3264 kB
PageTables:         4860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 38320 MiB
End job on node132 at 2018-08-13 22:37:39