Trace number 4307520

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-31)SAT 43.6508 14.3513

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06c_c18.xml
MD5SUM9b1ba7009c0c118539aa61bd7976011a
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 benchmark10.4895
Satisfiable
(Un)Satisfiability was proved
Number of variables864
Number of constraints529
Number of domains3
Minimum domain size6
Maximum domain size36
Distribution of domain sizes[{"size":6,"count":216},{"size":7,"count":216},{"size":36,"count":432}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":432},{"degree":3,"count":216},{"degree":4,"count":186},{"degree":5,"count":30}]
Minimum constraint arity2
Maximum constraint arity216
Distribution of constraint arities[{"arity":2,"count":432},{"arity":5,"count":6},{"arity":6,"count":72},{"arity":36,"count":12},{"arity":72,"count":6},{"arity":216,"count":1}]
Number of extensional constraints432
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":432},{"type":"allDifferent","count":84},{"type":"ordered","count":6},{"type":"lex","count":1},{"type":"channel","count":6}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-11992-serial-file.bin HOME/instance-4307520-1534192588.xml
0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Mon Aug 13 22:36:29 CEST 2018
0.65/0.55	c PID: 11995
0.65/0.55	c IP: 172.20.3.137
0.65/0.55	c HOST: node137.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.04/1.27	c (0,0) Parsing End
3.04/1.28	c (0,0) CSP: 864 int (0 aux), 0 bool (0 aux), 529 ctr, max domain size 36
3.04/1.28	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.04/1.28	c (0,0) Constraint Name Generate Begin
3.04/1.29	c (0,0) Ctr:HOME/instance-4307520-1534192588.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.04/1.29	c (0,0) Constraint Name Generate End
3.04/1.29	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.04/1.29	c (0,0) CSP to CSPinCNF Begin
5.46/1.93	c (1,1) translated 53 (10%) constraints
9.54/3.38	c (2,2) translated 106 (20%) constraints
10.41/3.56	c (3,3) translated 159 (30%) constraints
10.83/3.68	c (3,3) translated 212 (40%) constraints
11.25/3.80	c (3,3) translated 265 (50%) constraints
12.08/3.91	c (3,3) translated 318 (60%) constraints
12.53/4.02	c (3,3) translated 371 (70%) constraints
12.94/4.12	c (3,3) translated 424 (80%) constraints
13.30/4.22	c (3,3) translated 477 (90%) constraints
13.67/4.31	c (3,3) translated 529 (100%) constraints
14.88/4.65	c (4,4) STATISTICS1:HOME/instance-4307520-1534192588.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,3982,35884,36,36,36,2,36:7176;35:241;34:219;33:225;32:463;7:540;6:540,36:53878;35:957;34:828;33:828;32:1629;7:4104;6:3672;2:14106,36:24;8:216;7:216;6:144;4:310;3:19480;2:15430;1:64,2:9404;1:76746;0:432,
14.88/4.65	c (4,4) ==========================================
14.88/4.65	c (4,4) Both Encoding selects:
14.88/4.65	c (4,4) Order
14.88/4.65	c (4,4) ==========================================
15.76/4.85	c (4,4) translated 3589 (10%) constraints
16.19/4.98	c (4,4) translated 7177 (20%) constraints
17.39/5.24	c (4,4) translated 10766 (30%) constraints
18.40/5.54	c (5,4) translated 14354 (40%) constraints
18.70/5.80	c (5,5) translated 17942 (50%) constraints
18.93/6.08	c (5,5) translated 21531 (60%) constraints
19.25/6.32	c (5,5) translated 25119 (70%) constraints
19.66/6.45	c (5,5) translated 28708 (80%) constraints
20.02/6.53	c (5,5) translated 32296 (90%) constraints
20.02/6.58	c (6,6) translated 35884 (100%) constraints
20.02/6.58	c (6,6) CSP to CSPinCNF End
20.02/6.59	c (6,6) CSP: 864 int (0 aux), 18670 bool (18670 aux), 66988 ctr, max domain size 36
20.02/6.59	c (6,6) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
20.02/6.59	c (6,6) CSPinCNF Propagation Begin
21.44/7.09	c (6,6) 225 values, 1865 unsatisfiable literals, and 1359 valid clauses are removed
21.44/7.09	c (6,6) CSPinCNF Propagation End
21.44/7.09	c (6,6) CSP: 1029 int (165 aux), 18505 bool (18505 aux), 65629 ctr, max domain size 36
21.44/7.09	c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.44/7.09	c (6,6) Simplify CSPinCNF Begin
22.40/7.56	c (7,7) Simplify CSPinCNF End
22.40/7.57	c (7,7) CSP: 1029 int (165 aux), 36175 bool (36175 aux), 83299 ctr, max domain size 36
22.40/7.57	c (7,7) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
22.40/7.57	c (7,7) Calculate Precise Domain Begin
22.40/7.57	c (7,7) 0 values are removed by re-calculation
22.40/7.57	c (7,7) Calculate Precise Domain End
22.40/7.58	c (7,7) CSP: 1029 int (165 aux), 36175 bool (36175 aux), 83299 ctr, max domain size 36
22.40/7.58	c (7,7) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
22.40/7.58	c (7,7) CSPinCNF to SatSolver Begin
24.12/8.35	c (7,7) 8330 (10 %) CSP clauses are encoded (53506 SAT variables, 213875 SAT clauses)
24.81/8.95	c (8,8) 16660 (20 %) CSP clauses are encoded (53506 SAT variables, 412313 SAT clauses)
25.31/9.42	c (8,8) 24990 (30 %) CSP clauses are encoded (53506 SAT variables, 567152 SAT clauses)
25.31/9.48	c (8,8) 33320 (40 %) CSP clauses are encoded (53506 SAT variables, 579688 SAT clauses)
25.41/9.52	c (8,8) 41650 (50 %) CSP clauses are encoded (53506 SAT variables, 588018 SAT clauses)
25.41/9.57	c (9,9) 49980 (60 %) CSP clauses are encoded (53506 SAT variables, 596348 SAT clauses)
25.52/9.61	c (9,9) 58310 (70 %) CSP clauses are encoded (53506 SAT variables, 604678 SAT clauses)
25.52/9.66	c (9,9) 66640 (80 %) CSP clauses are encoded (53506 SAT variables, 613008 SAT clauses)
25.61/9.78	c (9,9) 74970 (90 %) CSP clauses are encoded (53506 SAT variables, 647252 SAT clauses)
25.78/9.83	c (9,9) 83299 (100 %) CSP clauses are encoded (53506 SAT variables, 655581 SAT clauses)
25.78/9.83	c (9,9) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
25.78/9.83	c (9,9) CSPinCNF to SatSolver End
25.78/9.83	c (9,9) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
26.59/10.15	c (9,9) STATISTICS2:HOME/instance-4307520-1534192588.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,37204,83299,36,36,36,2,36:12051;35:446;34:853;33:819;32:1715;7:1080;6:1080,36:89286;35:1618;34:2976;33:2700;32:5302;7:5184;6:4752;2:95048,36:6;32:17;30:1;7:216;6:360;4:310;3:18406;2:63919;1:64,2:18044;1:170778,
26.59/10.15	c (9,9) 53506 bool, 655582 clause
26.59/10.15	c (9,9) Export Begin
26.74/10.28	c (9,9) Export to HOME/scop-11992-serial-file.bin
26.74/10.28	c (9,9) Export End
26.74/10.29	c (9,9) Export File Size: 0.17 MB
26.74/10.29	c (9,9) 0,0,6,6,7,7,9,STOP-AFTER(DIMACS)
26.74/10.29	c END-Prog: Mon Aug 13 22:36:39 CEST 2018
27.00/10.34	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-11992-serial-file.bin
27.04/10.83	c (0,0) Read Serial File Begin
27.04/10.83	c (0,0) HOME/scop-11992-serial-file.bin
28.13/11.22	c (0,0) Read Serial File End
28.13/11.23	
28.13/11.23	scop order+glucose-syrup (2018-07-31)
28.13/11.23	(Solving Process)
28.13/11.23	
28.13/11.26	c BEGIN-Prog: Mon Aug 13 22:36:40 CEST 2018
28.13/11.26	c PID: 12015
28.13/11.26	c IP: 172.20.3.137
28.13/11.26	c HOST: node137.alineos.net
28.13/11.26	c (0,0) SatSolver.solve Begin
28.13/11.26	c (0,0) 0 bool, 0 clause
28.13/11.26	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307520-1534192588.xml-scop-11995.cnf
42.82/14.14	c (3,0) c
42.82/14.14	c (3,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
42.82/14.14	c (3,0) c
42.82/14.14	c (3,0) c WARNING: for repeatability, setting FPU to use double precision
42.82/14.14	c (3,0) c 8 solvers engines and 1 companion as a blackboard created.
42.82/14.14	c (3,0) c ========================================[ Problem Statistics ]===========================================
42.82/14.14	c (3,0) c |                                                                                                       |
42.82/14.14	c (3,0) c |  Number of variables:         53506                                                                   |
42.82/14.14	c (3,0) c |  Number of clauses:          654801                                                                   |
42.82/14.14	c (3,0) c |  Parse time:                   0.21 s                                                                 |
42.82/14.14	c (3,0) c |                                                                                                       |
42.82/14.14	c (3,0) c |  Eliminated clauses:           0.58 Mb                                                                |
42.82/14.14	c (3,0) c |  Simplification time:          0.69 s                                                                 |
42.82/14.14	c (3,0) c |                                                                                                       |
42.82/14.14	c (3,0) c |  Generating clones                                                                                    |
42.82/14.15	c (3,0) c |  all clones generated. Memory = 445.83Mb.                                                             |
42.82/14.15	c (3,0) c ========================================================================================================|
42.82/14.15	c (3,0) c last restart ## conflicts  :  48 541 
42.82/14.15	c (3,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
42.82/14.15	c (3,0) c Total Memory so far : 1025.47Mb
42.82/14.15	c (3,0) c
42.82/14.15	c (3,0) c real time : 2.85569 s
42.82/14.15	c (3,0) c cpu time  : 14.1663 s
42.82/14.15	c (3,0) c
42.82/14.15	c (3,0) c
42.82/14.15	c (3,0) c
42.82/14.15	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
42.82/14.15	c (3,0) c
42.82/14.15	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.82/14.15	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
42.82/14.15	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.82/14.15	c (3,0) c | Conflicts     |           33873 |       3552 |       4364 |       4674 |       4620 |       4087 |       4511 |       3261 |       4804 |
42.82/14.15	c (3,0) c | Decisions     |          510588 |      53292 |      70026 |      63190 |      67807 |      65448 |      69380 |      50691 |      70754 |
42.82/14.15	c (3,0) c | Propagations  |        26120118 |    2663600 |    3444722 |    3358864 |    3512118 |    3309926 |    3591653 |    2665015 |    3574220 |
42.82/14.15	c (3,0) c | Avg_Trail     |                 |      14048 |      14997 |      16563 |      15054 |      15797 |      15541 |      14793 |      15636 |
42.82/14.15	c (3,0) c | Avg_DL        |                 |        187 |        209 |        228 |        210 |        225 |        216 |        200 |        221 |
42.82/14.15	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.82/14.15	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.82/14.15	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.82/14.15	c (3,0) c | Exported      |            1725 |        249 |        243 |        168 |        235 |        215 |        209 |        176 |        230 |
42.82/14.15	c (3,0) c | Imported      |           11928 |       1456 |       1482 |       1517 |       1471 |       1488 |       1500 |       1522 |       1492 |
42.82/14.15	c (3,0) c | Good          |            7618 |        918 |        948 |        965 |        939 |        943 |        972 |        969 |        964 |
42.82/14.15	c (3,0) c | Purge         |            4310 |        538 |        534 |        552 |        532 |        545 |        528 |        553 |        528 |
42.82/14.15	c (3,0) c | Promoted      |             306 |         40 |         40 |         39 |         47 |         35 |         39 |         27 |         39 |
42.82/14.15	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.82/14.15	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.82/14.15	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.82/14.15	c (3,0) c | Unaries       |                 |         20 |          8 |          8 |         12 |          4 |          3 |          4 |         15 |
42.82/14.15	c (3,0) c | Binaries      |                 |        171 |        156 |        111 |        149 |        144 |        120 |        114 |        139 |
42.82/14.15	c (3,0) c | Glues         |                 |        249 |        243 |        168 |        235 |        215 |        209 |        176 |        230 |
42.82/14.15	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.82/14.15	c (3,0) c | Orig_Seen     |             4 % |      23339 |      28095 |      26973 |      28721 |      27045 |      28322 |      23289 |      29631 |
42.82/14.15	c (3,0) c | Diff Orig seen|                 |         50 |       4806 |       3684 |       5432 |       3756 |       5033 |      X     |       6342 |
42.82/14.15	c (3,0) c | Hamming       |            15 % |       8221 |       8097 |       8280 |       8207 |       7985 |       8598 |      X     |       7711 |
42.82/14.15	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.82/14.15	c (3,0) 
42.82/14.15	c (3,0) s SATISFIABLE
43.25/14.21	c (3,0) SatSolver.solve End
43.25/14.21	c (3,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
43.25/14.21	c (3,0) Show results Begin
43.51/14.31	s SATISFIABLE
43.51/14.34	v <instantiation>
43.51/14.34	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5]</list>
43.51/14.34	v     <values>0 7 12 18 28 33 1 27 35 16 21 10 2 14 23 26 11 32 3 9 25 22 15 30 4 31 17 8 20 24 5 25 13 10 31 18 6 30 28 20 14 1 7 2 22 24 12 34 8 16 32 3 19 29 9 5 30 17 18 27 10 15 19 31 4 25 11 35 29 23 16 2 12 28 0 32 22 6 13 24 3 33 8 20 14 34 26 7 1 21 15 32 21 6 5 26 16 29 20 30 3 7 17 4 33 25 23 8 18 0 14 27 34 9 19 11 1 35 13 28 20 26 8 12 33 0 21 10 15 28 32 5 22 13 34 29 7 3 23 6 27 14 2 31 24 17 4 11 35 19 25 1 18 9 30 16 26 18 16 34 10 4 27 8 2 21 17 35 28 3 31 15 6 22 29 33 5 13 9 23 30 12 24 19 0 11 31 19 6 0 24 12 32 20 7 1 25 13 33 21 9 2 26 14 34 22 10 4 27 15 35 23 11 5 29 17 0 18 12 31 30 20 1 25 19 32 14 6 2 7 27 33 23 11 3 28 13 8 16 22 4 17 24 34 10 26 5 9 29 35 15 21 6 23 31 15 28 12 7 0 32 14 22 16 8 27 20 4 13 17 9 3 33 25 29 18 10 21 34 5 26 1 11 19 35 24 2 30 12 30 0 20 7 31 13 22 5 29 19 32 14 2 18 23 6 33 15 10 21 28 3 34 16 8 26 1 11 25 17 24 4 9 27 35 18 26 25 0 9 5 19 31 10 30 8 24 20 32 16 6 4 13 21 33 15 27 1 14 22 34 7 3 12 28 23 35 2 11 17 29 24 13 30 7 31 4 25 5 3 17 32 10 26 20 14 2 33 15 27 1 23 18 34 9 28 12 6 21 0 19 29 16 11 22 35 8 30 6 9 16 25 3 31 4 28 10 5 23 32 15 8 12 21 2 33 29 17 13 20 0 34 14 22 26 18 7 35 11 1 19 24 27 0 1 2 3 4 5 0 4 5 2 3 1 0 2 3 4 1 5 0 1 4 3 2 5 0 5 2 1 3 4 0 4 2 1 5 3 1 5 4 3 2 0 1 0 3 4 2 5 1 2 5 0 3 4 1 0 5 2 3 4 1 2 3 5 0 4 1 5 4 3 2 0 2 4 0 5 3 1 2 4 0 5 1 3 2 5 4 1 0 3 2 5 3 1 0 4 2 4 3 5 0 1 2 0 5 4 3 1 3 0 2 4 5 1 3 1 0 5 2 4 3 4 1 2 5 0 3 1 2 4 5 0 3 2 5 4 1 0 3 1 4 2 0 5 4 2 0 1 5 3 4 0 3 1 5 2 4 3 2 5 1 0 4 1 0 3 2 5 4 0 5 2 1 3 4 5 0 2 1 3 5 2 4 3 0 1 5 3 1 0 4 2 5 3 1 0 4 2 5 3 1 0 4 2 5 3 1 0 4 2 5 3 1 0 4 2 0 3 2 6 5 4 0 4 3 6 2 1 0 1 5 6 4 2 0 5 2 1 3 4 0 3 4 6 2 5 1 2 5 6 3 4 1 4 6 3 5 2 1 0 6 2 4 3 1 5 4 0 2 3 2 0 6 4 5 3 2 4 6 1 5 0 2 3 6 4 0 5 2 5 0 4 1 6 2 4 1 5 3 6 2 0 3 4 1 6 3 2 4 5 0 6 3 1 5 0 2 4 3 4 0 2 5 6 3 5 4 0 2 1 3 6 2 5 1 4 4 6 3 1 0 2 4 6 3 5 0 2 4 6 1 0 2 5 4 6 0 2 3 5 4 2 5 1 6 0 4 1 0 3 6 2 5 4 2 0 6 3 5 0 4 3 6 2 5 2 1 4 0 3 5 3 2 4 6 1 5 1 2 3 4 0 6 0 5 2 1 4 6 3 1 2 4 0 6 5 3 2 4 0 6 2 4 5 3 1 6 2 0 3 4 5</values>
43.51/14.34	v </instantiation>
43.51/14.34	c (3,0) Show results End
43.51/14.34	c (3,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
43.51/14.34	c (3,0) 3,3,STOP-AFTER(ALL)
43.51/14.34	c END-Prog: Mon Aug 13 22:36:43 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 (11333 MiB free)
  memory of node 1: 16384 MiB (10641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307520-1534192588/watcher-4307520-1534192588 -o /tmp/evaluation-result-4307520-1534192588/solver-4307520-1534192588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307520-1534192588.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=11992, runsolver pid=11989
Current StackSize limit: 8192 KiB


[startup+0.100041 s]*
/proc/loadavg: 4.35 6.60 7.23 2/199 12014
/proc/meminfo: memFree=22408440/32770624 swapFree=67108372/67108860
[pid=11992] ppid=11989 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11992/stat : 11992 (scop.sh) S 11989 11992 10382 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 236822024 115843072 349 33554432000 4194304 5098028 140735459330384 140735459327640 140709103387260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27328512 140735459337251 140735459337475 140735459337475 140735459340237 0
/proc/11992/statm: 28282 349 296 221 0 87 0
[pid=11995] ppid=11992 vsize=27313900 memory=106420 CPUtime=0.1 cores=0-7
/proc/11995/stat : 11995 (java) S 11992 11992 10382 0 -1 1077944320 6581 0 0 0 8 2 0 0 20 0 20 0 236822024 27969433600 26605 33554432000 4194304 4196468 140733053625600 140733053608144 140633222971127 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
/proc/11995/statm: 6828475 26605 2739 1 0 6790935 0
[pid=11995/tid=11996] ppid=11992 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11995/task/11996/stat : 11996 (java) R 11992 11992 10382 0 -1 4202560 4682 0 0 0 7 1 0 0 20 0 20 0 236822024 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633194748208 140633203236912 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11997] ppid=11992 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11995/task/11997/stat : 11997 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633227213584 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11998] ppid=11992 vsize=27313900 memory=140027284153984 CPUtime=0 cores=0-7
/proc/11995/task/11998/stat : 11998 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633010609040 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11999] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/11999/stat : 11999 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633009556496 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12000] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12000/stat : 12000 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633008503952 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12001] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12001/stat : 12001 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633007450384 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12002] ppid=11992 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11995/task/12002/stat : 12002 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633006397840 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12003] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12003/stat : 12003 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633005345296 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12004] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12004/stat : 12004 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 26605 33554432000 4194304 4196468 140733053625600 140633004292752 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12005] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12005/stat : 12005 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822028 27969433600 26605 33554432000 4194304 4196468 140733053625600 140632347625968 140633222982274 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12006] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12006/stat : 12006 (java) S 11992 11992 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236822029 27969433600 26605 33554432000 4194304 4196468 140733053625600 140631120799136 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12007] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12007/stat : 12007 (java) S 11992 11992 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236822029 27969433600 26605 33554432000 4194304 4196468 140733053625600 140630986577392 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12008] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12008/stat : 12008 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 26605 33554432000 4194304 4196468 140733053625600 140630612073168 140633222989723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12009] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12009/stat : 12009 (java) S 11992 11992 10382 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 26605 33554432000 4194304 4196468 140733053625600 140632346572784 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12010] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12010/stat : 12010 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 26605 33554432000 4194304 4196468 140733053625600 140632345520240 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12011] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12011/stat : 12011 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 26605 33554432000 4194304 4196468 140733053625600 140632344467696 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12012] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12012/stat : 12012 (java) S 11992 11992 10382 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 26605 33554432000 4194304 4196468 140733053625600 140632343415152 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12013] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12013/stat : 12013 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236822032 27969433600 26605 33554432000 4194304 4196468 140733053625600 140630114167520 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12014] ppid=11992 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11995/task/12014/stat : 12014 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822032 27969433600 26605 33554432000 4194304 4196468 140733053625600 140632342363056 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 107816 KiB

[startup+0.210343 s]*
/proc/loadavg: 4.35 6.60 7.23 2/199 12014
/proc/meminfo: memFree=22391448/32770624 swapFree=67108372/67108860
[pid=11992] ppid=11989 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11992/stat : 11992 (scop.sh) S 11989 11992 10382 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 236822024 115843072 349 33554432000 4194304 5098028 140735459330384 140735459327640 140709103387260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27328512 140735459337251 140735459337475 140735459337475 140735459340237 0
/proc/11992/statm: 28282 349 296 221 0 87 0
[pid=11995] ppid=11992 vsize=27313900 memory=121072 CPUtime=0.25 cores=0-7
/proc/11995/stat : 11995 (java) S 11992 11992 10382 0 -1 1077944320 10496 0 0 0 22 3 0 0 20 0 20 0 236822024 27969433600 30268 33554432000 4194304 4196468 140733053625600 140733053608144 140633222971127 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
/proc/11995/statm: 6828475 30268 2875 1 0 6790935 0
[pid=11995/tid=11996] ppid=11992 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11995/task/11996/stat : 11996 (java) R 11992 11992 10382 0 -1 4202560 8367 0 0 0 17 2 0 0 20 0 20 0 236822024 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633194760832 140633222993053 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11997] ppid=11992 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/11995/task/11997/stat : 11997 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633227213584 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11998] ppid=11992 vsize=27313900 memory=4049214948852360864 CPUtime=0 cores=0-7
/proc/11995/task/11998/stat : 11998 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633010609040 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11999] ppid=11992 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11995/task/11999/stat : 11999 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633009556496 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12000] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12000/stat : 12000 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633008503952 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12001] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12001/stat : 12001 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633007450384 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12002] ppid=11992 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11995/task/12002/stat : 12002 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633006397840 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12003] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12003/stat : 12003 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633005345296 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12004] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12004/stat : 12004 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 30268 33554432000 4194304 4196468 140733053625600 140633004292752 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12005] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12005/stat : 12005 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822028 27969433600 30268 33554432000 4194304 4196468 140733053625600 140632347625968 140633222982274 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12006] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12006/stat : 12006 (java) S 11992 11992 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236822029 27969433600 30268 33554432000 4194304 4196468 140733053625600 140631120799136 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12007] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12007/stat : 12007 (java) S 11992 11992 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236822029 27969433600 30268 33554432000 4194304 4196468 140733053625600 140630986577392 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12008] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12008/stat : 12008 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 30268 33554432000 4194304 4196468 140733053625600 140630612073168 140633222989723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12009] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12009/stat : 12009 (java) S 11992 11992 10382 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 30268 33554432000 4194304 4196468 140733053625600 140632346572784 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12010] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12010/stat : 12010 (java) R 11992 11992 10382 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 30268 33554432000 4194304 4196468 140733053625600 140632345520240 140633222982274 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12011] ppid=11992 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11995/task/12011/stat : 12011 (java) S 11992 11992 10382 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 30268 33554432000 4194304 4196468 140733053625600 140632344467696 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12012] ppid=11992 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/11995/task/12012/stat : 12012 (java) S 11992 11992 10382 0 -1 1077944384 304 0 0 0 2 0 0 0 20 0 20 0 236822031 27969433600 30268 33554432000 4194304 4196468 140733053625600 140632343415152 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12013] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12013/stat : 12013 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236822032 27969433600 30268 33554432000 4194304 4196468 140733053625600 140630114167520 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12014] ppid=11992 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11995/task/12014/stat : 12014 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822032 27969433600 30268 33554432000 4194304 4196468 140733053625600 140632342363056 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122468 KiB

[startup+0.310474 s]*
/proc/loadavg: 4.35 6.60 7.23 2/199 12014
/proc/meminfo: memFree=22386204/32770624 swapFree=67108372/67108860
[pid=11992] ppid=11989 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11992/stat : 11992 (scop.sh) S 11989 11992 10382 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 236822024 115843072 349 33554432000 4194304 5098028 140735459330384 140735459327640 140709103387260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27328512 140735459337251 140735459337475 140735459337475 140735459340237 0
/proc/11992/statm: 28282 349 296 221 0 87 0
[pid=11995] ppid=11992 vsize=27313900 memory=125000 CPUtime=0.41 cores=0-7
/proc/11995/stat : 11995 (java) S 11992 11992 10382 0 -1 1077944320 11138 0 0 0 38 3 0 0 20 0 20 0 236822024 27969433600 31250 33554432000 4194304 4196468 140733053625600 140733053608144 140633222971127 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
/proc/11995/statm: 6828475 31250 2918 1 0 6790935 0
[pid=11995/tid=11996] ppid=11992 vsize=27313900 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/11995/task/11996/stat : 11996 (java) R 11992 11992 10382 0 -1 4202560 8813 0 0 0 27 3 0 0 20 0 20 0 236822024 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633194766576 140633207051614 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11997] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/11997/stat : 11997 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633227213584 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11998] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/11998/stat : 11998 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633010609040 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11999] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/11999/stat : 11999 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633009556496 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12000] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12000/stat : 12000 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633008503952 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12001] ppid=11992 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/11995/task/12001/stat : 12001 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633007450384 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12002] ppid=11992 vsize=27313900 memory=140027141125039 CPUtime=0 cores=0-7
/proc/11995/task/12002/stat : 12002 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633006397840 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12003] ppid=11992 vsize=27313900 memory=140027141127344 CPUtime=0 cores=0-7
/proc/11995/task/12003/stat : 12003 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633005345296 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12004] ppid=11992 vsize=27313900 memory=140027141129648 CPUtime=0 cores=0-7
/proc/11995/task/12004/stat : 12004 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236822027 27969433600 31250 33554432000 4194304 4196468 140733053625600 140633004292752 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12005] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12005/stat : 12005 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822028 27969433600 31250 33554432000 4194304 4196468 140733053625600 140632347625968 140633222982274 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12006] ppid=11992 vsize=27313900 memory=280054282266256 CPUtime=0 cores=0-7
/proc/11995/task/12006/stat : 12006 (java) S 11992 11992 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236822029 27969433600 31250 33554432000 4194304 4196468 140733053625600 140631120799136 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12007] ppid=11992 vsize=27313900 memory=280054282273168 CPUtime=0 cores=0-7
/proc/11995/task/12007/stat : 12007 (java) S 11992 11992 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236822029 27969433600 31250 33554432000 4194304 4196468 140733053625600 140630986577392 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12008] ppid=11992 vsize=27313900 memory=280054282214448 CPUtime=0 cores=0-7
/proc/11995/task/12008/stat : 12008 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 31250 33554432000 4194304 4196468 140733053625600 140630612073168 140633222989723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12009] ppid=11992 vsize=27313900 memory=280054282286992 CPUtime=0.01 cores=0-7
/proc/11995/task/12009/stat : 12009 (java) S 11992 11992 10382 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 20 0 236822031 27969433600 31250 33554432000 4194304 4196468 140733053625600 140632346572784 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12010] ppid=11992 vsize=27313900 memory=280054282293904 CPUtime=0.02 cores=0-7
/proc/11995/task/12010/stat : 12010 (java) S 11992 11992 10382 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 236822031 27969433600 31250 33554432000 4194304 4196468 140733053625600 140632345520240 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12011] ppid=11992 vsize=27313900 memory=280054282291600 CPUtime=0 cores=0-7
/proc/11995/task/12011/stat : 12011 (java) S 11992 11992 10382 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 236822031 27969433600 31250 33554432000 4194304 4196468 140733053625600 140632344467696 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12012] ppid=11992 vsize=27313900 memory=280054282307760 CPUtime=0.07 cores=0-7
/proc/11995/task/12012/stat : 12012 (java) S 11992 11992 10382 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 20 0 236822031 27969433600 31250 33554432000 4194304 4196468 140733053625600 140632343415152 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12013] ppid=11992 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/12013/stat : 12013 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236822032 27969433600 31250 33554432000 4194304 4196468 140733053625600 140630114167520 140633222981333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=12014] ppid=11992 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11995/task/12014/stat : 12014 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236822032 27969433600 31250 33554432000 4194304 4196468 140733053625600 140632342363056 140633222982274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126396 KiB

[startup+0.701008 s]
/proc/loadavg: 4.35 6.60 7.23 2/199 12014
/proc/meminfo: memFree=22363556/32770624 swapFree=67108372/67108860
[pid=11992] ppid=11989 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11992/stat : 11992 (scop.sh) S 11989 11992 10382 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 236822024 115843072 349 33554432000 4194304 5098028 140735459330384 140735459327640 140709103387260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27328512 140735459337251 140735459337475 140735459337475 140735459340237 0
/proc/11992/statm: 28282 349 296 221 0 87 0
[pid=11995] ppid=11992 vsize=27320172 memory=164548 CPUtime=1.02 cores=0-7
/proc/11995/stat : 11995 (java) S 11992 11992 10382 0 -1 1077944320 18208 0 0 0 96 6 0 0 20 0 20 0 236822024 27975856128 41137 33554432000 4194304 4196468 140733053625600 140733053608144 140633222971127 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
/proc/11995/statm: 6830043 41137 3133 1 0 6791447 0
[pid=11995/tid=11996] ppid=11992 vsize=27320172 memory=280054282665648 CPUtime=0.67 cores=0-7
/proc/11995/task/11996/stat : 11996 (java) R 11992 11992 10382 0 -1 4202560 15354 0 0 0 62 5 0 0 20 0 20 0 236822024 27975856128 41137 33554432000 4194304 4196468 140733053625600 140633194796816 140633222993053 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11997] ppid=11992 vsize=27320172 memory=140027141333872 CPUtime=0 cores=0-7
/proc/11995/task/11997/stat : 11997 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27975856128 41137 33554432000 4194304 4196468 140733053625600 140633227213584 140633222981333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11998] ppid=11992 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/11995/task/11998/stat : 11998 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27975856128 41137 33554432000 4194304 4196468 140733053625600 140633010609040 140633222981333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0
[pid=11995/tid=11999] ppid=11992 vsize=27320172 memory=752 CPUtime=0 cores=0-7
/proc/11995/task/11999/stat : 11999 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236822027 27975856128 41137 33554432000 4194304 4196468 140733053625600 140633009556496 140633222981333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140733053629417 140733053629741 140733053629741 140733053632463 0

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

[pid=12015/tid=12017] ppid=11992 vsize=8413904 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12015/task/12017/stat : 12017 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170804054288 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12018] ppid=11992 vsize=8413904 memory=5792262870373781584 CPUtime=0 cores=0-7
/proc/12015/task/12018/stat : 12018 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170622142864 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12019] ppid=11992 vsize=8413904 memory=7649399397132808753 CPUtime=0 cores=0-7
/proc/12015/task/12019/stat : 12019 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170621090320 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12020] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12020/stat : 12020 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170283088528 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12021] ppid=11992 vsize=8413904 memory=11057 CPUtime=0 cores=0-7
/proc/12015/task/12021/stat : 12021 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170282035984 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12022] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12022/stat : 12022 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170280983440 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12023] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12023/stat : 12023 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170279930896 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12024] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12024/stat : 12024 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236823060 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170278878352 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12025] ppid=11992 vsize=8413904 memory=2225 CPUtime=0 cores=0-7
/proc/12015/task/12025/stat : 12025 (java) S 11992 11992 10382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 236823061 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170228799472 140170799823490 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12026] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12026/stat : 12026 (java) S 11992 11992 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236823062 8615837696 30996 33554432000 4194304 4196468 140732045129616 140169411814304 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12027] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12027/stat : 12027 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823062 8615837696 30996 33554432000 4194304 4196468 140732045129616 140169143378928 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12028] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12028/stat : 12028 (java) S 11992 11992 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236823064 8615837696 30996 33554432000 4194304 4196468 140732045129616 140168768870608 140170799830939 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12029] ppid=11992 vsize=8413904 memory=0 CPUtime=0.11 cores=0-7
/proc/12015/task/12029/stat : 12029 (java) S 11992 11992 10382 0 -1 1077944384 987 0 0 0 11 0 0 0 20 0 24 0 236823065 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170227747312 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12030] ppid=11992 vsize=8413904 memory=0 CPUtime=0.1 cores=0-7
/proc/12015/task/12030/stat : 12030 (java) S 11992 11992 10382 0 -1 1077944384 313 0 0 0 10 0 0 0 20 0 24 0 236823065 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170226694768 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12031] ppid=11992 vsize=8413904 memory=0 CPUtime=0.07 cores=0-7
/proc/12015/task/12031/stat : 12031 (java) S 11992 11992 10382 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 24 0 236823065 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170225642224 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12032] ppid=11992 vsize=8413904 memory=0 CPUtime=0.22 cores=0-7
/proc/12015/task/12032/stat : 12032 (java) S 11992 11992 10382 0 -1 1077944384 670 0 0 0 22 0 0 0 20 0 24 0 236823065 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170224589680 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12033] ppid=11992 vsize=8413904 memory=-1 CPUtime=0 cores=0-7
/proc/12015/task/12033/stat : 12033 (java) S 11992 11992 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236823065 8615837696 30996 33554432000 4194304 4196468 140732045129616 140168270964960 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12034] ppid=11992 vsize=8413904 memory=-1 CPUtime=0 cores=0-7
/proc/12015/task/12034/stat : 12034 (java) S 11992 11992 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236823065 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170223536560 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12036] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12036/stat : 12036 (java) S 11992 11992 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236823153 8615837696 30996 33554432000 4194304 4196468 140732045129616 140170217919680 140170799836953 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12038] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12038/stat : 12038 (java) S 11992 11992 10382 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236823153 8615837696 30996 33554432000 4194304 4196468 140732045129616 140167599865648 140170799834269 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12039] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12039/stat : 12039 (java) S 11992 11992 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236823153 8615837696 30996 33554432000 4194304 4196468 140732045129616 140167868301232 140170799834269 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12040] ppid=11992 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12015/task/12040/stat : 12040 (java) S 11992 11992 10382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236823155 8615837696 30996 33554432000 4194304 4196468 140732045129616 140167331438240 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
Current children cumulated CPU time: 42.01 s
Current children cumulated vsize: 9576980 KiB
Current children cumulated memory: 596300 KiB

[startup+14.2025 s]
/proc/loadavg: 4.37 6.49 7.18 9/212 12048
/proc/meminfo: memFree=21907388/32770624 swapFree=67108372/67108860
[pid=11992] ppid=11989 vsize=113128 memory=1472 CPUtime=27.04 cores=0-7
/proc/11992/stat : 11992 (scop.sh) S 11989 11992 10382 0 -1 4202496 589 44626 0 0 0 0 2619 85 20 0 1 0 236822024 115843072 368 33554432000 4194304 5098028 140735459330384 140735459327128 140709103387260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27328512 140735459337251 140735459337475 140735459337475 140735459340237 0
/proc/11992/statm: 28282 368 311 221 0 87 0
[pid=12015] ppid=11992 vsize=8413904 memory=134540 CPUtime=16.21 cores=0-7
/proc/12015/stat : 12015 (java) S 11992 11992 10382 0 -1 1077944320 18840 137605 0 0 140 10 1417 54 20 0 23 0 236823058 8615837696 33635 33554432000 4194304 4196468 140732045129616 140732045112160 140170799812343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
/proc/12015/statm: 2103476 33635 3169 1 0 2064875 0
[pid=12015/tid=12016] ppid=11992 vsize=8413904 memory=7228928657758118464 CPUtime=15.52 cores=0-7
/proc/12015/task/12016/stat : 12016 (java) S 11992 11992 10382 0 -1 1077944384 15035 137605 0 0 74 7 1417 54 20 0 23 0 236823059 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170771652496 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12017] ppid=11992 vsize=8413904 memory=7228928657758118464 CPUtime=14.71 cores=0-7
/proc/12015/task/12017/stat : 12017 (java) S 11992 11992 10382 0 -1 1077944384 2 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170804054288 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12018] ppid=11992 vsize=8413904 memory=5931329015123165280 CPUtime=14.71 cores=0-7
/proc/12015/task/12018/stat : 12018 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170622142864 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12019] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12019/stat : 12019 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170621090320 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12020] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12020/stat : 12020 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170283088528 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12021] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12021/stat : 12021 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170282035984 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12022] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12022/stat : 12022 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170280983440 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12023] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12023/stat : 12023 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170279930896 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12024] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12024/stat : 12024 (java) S 11992 11992 10382 0 -1 1077944384 3 137605 0 0 0 0 1417 54 20 0 23 0 236823060 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170278878352 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12025] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12025/stat : 12025 (java) S 11992 11992 10382 0 -1 1077944384 6 137605 0 0 0 0 1417 54 20 0 23 0 236823061 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170228799472 140170799823490 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12026] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12026/stat : 12026 (java) S 11992 11992 10382 0 -1 1077944384 13 137605 0 0 0 0 1417 54 20 0 23 0 236823062 8615837696 33635 33554432000 4194304 4196468 140732045129616 140169411814304 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12027] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12027/stat : 12027 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823062 8615837696 33635 33554432000 4194304 4196468 140732045129616 140169143378928 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12028] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12028/stat : 12028 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 23 0 236823064 8615837696 33635 33554432000 4194304 4196468 140732045129616 140168768870608 140170799830939 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12029] ppid=11992 vsize=8413904 memory=0 CPUtime=14.85 cores=0-7
/proc/12015/task/12029/stat : 12029 (java) R 11992 11992 10382 0 -1 4202560 1001 137605 0 0 14 0 1417 54 20 0 23 0 236823065 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170227747312 140170785876321 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12030] ppid=11992 vsize=8413904 memory=0 CPUtime=14.82 cores=0-7
/proc/12015/task/12030/stat : 12030 (java) R 11992 11992 10382 0 -1 4202560 322 137605 0 0 11 0 1417 54 20 0 23 0 236823065 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170226694768 140170779995120 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12031] ppid=11992 vsize=8413904 memory=0 CPUtime=14.79 cores=0-7
/proc/12015/task/12031/stat : 12031 (java) R 11992 11992 10382 0 -1 4202560 296 137605 0 0 8 0 1417 54 20 0 23 0 236823065 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170225642224 140170779658224 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12032] ppid=11992 vsize=8413904 memory=0 CPUtime=14.96 cores=0-7
/proc/12015/task/12032/stat : 12032 (java) S 11992 11992 10382 0 -1 1077944384 737 137605 0 0 25 0 1417 54 20 0 23 0 236823065 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170224589680 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12033] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12033/stat : 12033 (java) S 11992 11992 10382 0 -1 1077944384 3 137605 0 0 0 0 1417 54 20 0 23 0 236823065 8615837696 33635 33554432000 4194304 4196468 140732045129616 140168270964960 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12034] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12034/stat : 12034 (java) S 11992 11992 10382 0 -1 1077944384 2 137605 0 0 0 0 1417 54 20 0 23 0 236823065 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170223536560 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12036] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12036/stat : 12036 (java) S 11992 11992 10382 0 -1 1077944384 24 137605 0 0 0 0 1417 54 20 0 23 0 236823153 8615837696 33635 33554432000 4194304 4196468 140732045129616 140170217918864 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12038] ppid=11992 vsize=8413904 memory=0 CPUtime=14.76 cores=0-7
/proc/12015/task/12038/stat : 12038 (java) R 11992 11992 10382 0 -1 4202560 50 137605 0 0 5 0 1417 54 20 0 23 0 236823153 8615837696 33635 33554432000 4194304 4196468 140732045129616 140167599869808 140170799824278 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12040] ppid=11992 vsize=8413904 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12040/stat : 12040 (java) S 11992 11992 10382 0 -1 1077944384 8 137605 0 0 0 0 1417 54 20 0 23 0 236823155 8615837696 33635 33554432000 4194304 4196468 140732045129616 140167331438000 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
Current children cumulated CPU time: 43.25 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 136012 KiB

[startup+14.3011 s]
/proc/loadavg: 4.37 6.49 7.18 9/212 12048
/proc/meminfo: memFree=21907388/32770624 swapFree=67108372/67108860
[pid=11992] ppid=11989 vsize=113128 memory=1472 CPUtime=27.04 cores=0-7
/proc/11992/stat : 11992 (scop.sh) S 11989 11992 10382 0 -1 4202496 589 44626 0 0 0 0 2619 85 20 0 1 0 236822024 115843072 368 33554432000 4194304 5098028 140735459330384 140735459327128 140709103387260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27328512 140735459337251 140735459337475 140735459337475 140735459340237 0
/proc/11992/statm: 28282 368 311 221 0 87 0
[pid=12015] ppid=11992 vsize=8282828 memory=140436 CPUtime=16.47 cores=0-7
/proc/12015/stat : 12015 (java) S 11992 11992 10382 0 -1 1077944320 19256 137605 0 0 165 11 1417 54 20 0 22 0 236823058 8481615872 35109 33554432000 4194304 4196468 140732045129616 140732045112160 140170799812343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
/proc/12015/statm: 2070707 35109 3176 1 0 2032106 0
[pid=12015/tid=12016] ppid=11992 vsize=8282828 memory=123984 CPUtime=15.6 cores=0-7
/proc/12015/task/12016/stat : 12016 (java) R 11992 11992 10382 0 -1 4202560 15277 137605 0 0 82 7 1417 54 20 0 22 0 236823059 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170771649856 140170799834269 0 4 2 25189581 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12017] ppid=11992 vsize=8282828 memory=470548 CPUtime=14.71 cores=0-7
/proc/12015/task/12017/stat : 12017 (java) S 11992 11992 10382 0 -1 1077944384 2 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170804054288 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12018] ppid=11992 vsize=8282828 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12018/stat : 12018 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170622142864 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12019] ppid=11992 vsize=8282828 memory=137 CPUtime=14.71 cores=0-7
/proc/12015/task/12019/stat : 12019 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170621090320 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12020] ppid=11992 vsize=8282828 memory=110 CPUtime=14.71 cores=0-7
/proc/12015/task/12020/stat : 12020 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170283088528 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12021] ppid=11992 vsize=8282828 memory=1396 CPUtime=14.71 cores=0-7
/proc/12015/task/12021/stat : 12021 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170282035984 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12022] ppid=11992 vsize=8282828 memory=812420 CPUtime=14.71 cores=0-7
/proc/12015/task/12022/stat : 12022 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170280983440 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12023] ppid=11992 vsize=8282828 memory=280054282063248 CPUtime=14.71 cores=0-7
/proc/12015/task/12023/stat : 12023 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170279930896 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12024] ppid=11992 vsize=8282828 memory=280054282063120 CPUtime=14.71 cores=0-7
/proc/12015/task/12024/stat : 12024 (java) S 11992 11992 10382 0 -1 1077944384 3 137605 0 0 0 0 1417 54 20 0 22 0 236823060 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170278878352 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12025] ppid=11992 vsize=8282828 memory=140027141462609 CPUtime=14.71 cores=0-7
/proc/12015/task/12025/stat : 12025 (java) S 11992 11992 10382 0 -1 1077944384 6 137605 0 0 0 0 1417 54 20 0 22 0 236823061 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170228799472 140170799823490 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12026] ppid=11992 vsize=8282828 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12026/stat : 12026 (java) S 11992 11992 10382 0 -1 1077944384 13 137605 0 0 0 0 1417 54 20 0 22 0 236823062 8481615872 35109 33554432000 4194304 4196468 140732045129616 140169411814304 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12027] ppid=11992 vsize=8282828 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12027/stat : 12027 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823062 8481615872 35109 33554432000 4194304 4196468 140732045129616 140169143378928 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12028] ppid=11992 vsize=8282828 memory=0 CPUtime=14.71 cores=0-7
/proc/12015/task/12028/stat : 12028 (java) S 11992 11992 10382 0 -1 1077944384 1 137605 0 0 0 0 1417 54 20 0 22 0 236823064 8481615872 35109 33554432000 4194304 4196468 140732045129616 140168768870608 140170799830939 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12029] ppid=11992 vsize=8282828 memory=64140 CPUtime=14.89 cores=0-7
/proc/12015/task/12029/stat : 12029 (java) S 11992 11992 10382 0 -1 1077944384 1021 137605 0 0 18 0 1417 54 20 0 22 0 236823065 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170227747312 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12030] ppid=11992 vsize=8282828 memory=1100 CPUtime=14.86 cores=0-7
/proc/12015/task/12030/stat : 12030 (java) S 11992 11992 10382 0 -1 1077944384 344 137605 0 0 15 0 1417 54 20 0 22 0 236823065 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170226694768 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12031] ppid=11992 vsize=8282828 memory=2144 CPUtime=14.83 cores=0-7
/proc/12015/task/12031/stat : 12031 (java) S 11992 11992 10382 0 -1 1077944384 315 137605 0 0 12 0 1417 54 20 0 22 0 236823065 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170225642224 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12032] ppid=11992 vsize=8282828 memory=1752 CPUtime=15.01 cores=0-7
/proc/12015/task/12032/stat : 12032 (java) S 11992 11992 10382 0 -1 1077944384 848 137605 0 0 29 1 1417 54 20 0 22 0 236823065 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170224589680 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12033] ppid=11992 vsize=8282828 memory=1472 CPUtime=14.71 cores=0-7
/proc/12015/task/12033/stat : 12033 (java) S 11992 11992 10382 0 -1 1077944384 3 137605 0 0 0 0 1417 54 20 0 22 0 236823065 8481615872 35109 33554432000 4194304 4196468 140732045129616 140168270964960 140170799822549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12034] ppid=11992 vsize=8282828 memory=3812 CPUtime=14.71 cores=0-7
/proc/12015/task/12034/stat : 12034 (java) S 11992 11992 10382 0 -1 1077944384 2 137605 0 0 0 0 1417 54 20 0 22 0 236823065 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170223536560 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12036] ppid=11992 vsize=8282828 memory=64140 CPUtime=14.71 cores=0-7
/proc/12015/task/12036/stat : 12036 (java) S 11992 11992 10382 0 -1 1077944384 24 137605 0 0 0 0 1417 54 20 0 22 0 236823153 8481615872 35109 33554432000 4194304 4196468 140732045129616 140170217918864 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
[pid=12015/tid=12040] ppid=11992 vsize=8282828 memory=6791534058613427641 CPUtime=14.71 cores=0-7
/proc/12015/task/12040/stat : 12040 (java) S 11992 11992 10382 0 -1 1077944384 12 137605 0 0 0 0 1417 54 20 0 22 0 236823155 8481615872 35109 33554432000 4194304 4196468 140732045129616 140167331440048 140170799823490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9449472 140732045137073 140732045137197 140732045137197 140732045139919 0
Current children cumulated CPU time: 43.51 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 141908 KiB

Child status: 0
Real time (s): 14.3513
CPU time (s): 43.6508
CPU user time (s): 42.1179
CPU system time (s): 1.53291
CPU usage (%): 304.16
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 4273404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.1179
system time used= 1.53292
maximum resident set size= 4272412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23016
involuntary context switches= 178


# summary of solver processes directly reported to runsolver:
#   pid: 11992
#   total CPU time (s): 43.6508
#   total CPU user time (s): 42.1179
#   total CPU system time (s): 1.53291

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.146607 second user time and 0.184337 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 22:36:29
IDJOB=4307520
IDBENCH=141392
IDSOLVER=2789
FILE ID=node137/4307520-1534192588
RUNJOBID= node137-1534189810-10409
PBS_JOBID= 21037989
Free space on /tmp= 26576 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06c_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307520-1534192588/watcher-4307520-1534192588 -o /tmp/evaluation-result-4307520-1534192588/solver-4307520-1534192588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307520-1534192588.xml

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

MD5SUM BENCH= 9b1ba7009c0c118539aa61bd7976011a
RANDOM SEED=1612095519

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22502224 kB
MemAvailable:   31898080 kB
Buffers:          120292 kB
Cached:          9469600 kB
SwapCached:            8 kB
Active:          4260548 kB
Inactive:        5387392 kB
Active(anon):       4820 kB
Inactive(anon):   105160 kB
Active(file):    4255728 kB
Inactive(file):  5282232 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8576 kB
Writeback:             0 kB
AnonPages:         82044 kB
Mapped:            54596 kB
Shmem:             49624 kB
Slab:             314496 kB
SReclaimable:     286356 kB
SUnreclaim:        28140 kB
KernelStack:        3520 kB
PageTables:         4976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26568 MiB
End job on node137 at 2018-08-13 22:36:43