Trace number 4305544

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+MapleCOMSPS (2018-07-31)SAT 37.3459 23.033

General information on the benchmark

NameBibd/
Bibd-sum-09-03-09_c18.xml
MD5SUM8720a51077744f6e775f5d31127f86ee
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 benchmark5.99989
Satisfiable
(Un)Satisfiability was proved
Number of variables972
Number of constraints154
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":972}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":972}]
Minimum constraint arity9
Maximum constraint arity972
Distribution of constraint arities[{"arity":9,"count":108},{"arity":108,"count":9},{"arity":216,"count":36},{"arity":972,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":153}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-26703-serial-file.bin HOME/instance-4305544-1534070871.xml
0.66/0.52	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Sun Aug 12 12:47:51 CEST 2018
0.66/0.55	c PID: 26706
0.66/0.55	c IP: 172.20.3.106
0.66/0.55	c HOST: node106.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.01/1.15	c (0,0) Parsing End
2.01/1.17	c (0,0) CSP: 0 int (0 aux), 972 bool (0 aux), 154 ctr, max domain size 2
2.01/1.17	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.01/1.17	c (0,0) Constraint Name Generate Begin
2.29/1.27	c (0,0) Ctr:HOME/instance-4305544-1534070871.xml,IntVar:LexMatrix:Num:WeightedSum
2.29/1.27	c (0,0) Constraint Name Generate End
2.29/1.27	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.29/1.27	c (0,0) CSP to CSPinCNF Begin
2.90/1.44	c (0,0) translated 16 (10%) constraints
2.90/1.44	c (0,0) translated 31 (20%) constraints
2.90/1.45	c (0,0) translated 47 (30%) constraints
2.90/1.46	c (0,0) translated 62 (40%) constraints
2.90/1.47	c (0,0) translated 77 (50%) constraints
2.90/1.48	c (0,0) translated 93 (60%) constraints
2.90/1.48	c (0,0) translated 108 (70%) constraints
4.38/1.98	c (1,1) translated 124 (80%) constraints
6.51/2.64	c (2,2) translated 139 (90%) constraints
7.93/3.11	c (2,2) translated 154 (100%) constraints
20.25/13.12	c (12,12) STATISTICS1:HOME/instance-4305544-1534070871.xml,IntVar:LexMatrix:Num:WeightedSum,10345,19129,9223372036854775807,2,4,108,9223372036854775807:90;256:216;2:3539,2:52693,4:1597;3:7891;2:9373;1:268,108:90;9:216;2:3539;1:43671,5184:90
20.25/13.12	c (12,12) ==========================================
20.25/13.12	c (12,12) Both Encoding selects:
20.25/13.12	c (12,12) Order
20.25/13.12	c (12,12) ==========================================
21.24/13.40	c (12,12) translated 1913 (10%) constraints
21.54/13.50	c (12,12) translated 3826 (20%) constraints
21.89/13.60	c (13,12) translated 5739 (30%) constraints
22.23/13.71	c (13,13) translated 7652 (40%) constraints
22.55/13.85	c (13,13) translated 9565 (50%) constraints
22.85/13.96	c (13,13) translated 11478 (60%) constraints
23.19/14.06	c (13,13) translated 13391 (70%) constraints
23.48/14.15	c (13,13) translated 15304 (80%) constraints
23.76/14.22	c (13,13) translated 17217 (90%) constraints
23.76/14.29	c (13,13) translated 19129 (100%) constraints
24.06/14.30	c (13,13) CSP to CSPinCNF End
24.06/14.30	c (13,13) CSP: 945 int (945 aux), 14233 bool (13261 aux), 28948 ctr, max domain size 37
24.06/14.30	c (13,13) Heap : 2797 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
24.06/14.30	c (13,13) CSPinCNF Propagation Begin
25.08/14.62	c (14,13) 0 values, 3888 unsatisfiable literals, and 3888 valid clauses are removed
25.08/14.62	c (14,13) CSPinCNF Propagation End
25.08/14.62	c (14,13) CSP: 945 int (945 aux), 14233 bool (13261 aux), 25060 ctr, max domain size 37
25.08/14.62	c (14,13) Heap : 129 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.08/14.62	c (14,13) Simplify CSPinCNF Begin
25.34/14.76	c (14,13) Simplify CSPinCNF End
25.34/14.76	c (14,13) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
25.34/14.76	c (14,13) Heap : 197 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.34/14.76	c (14,13) Calculate Precise Domain Begin
25.64/14.83	c (14,14) 0 values are removed by re-calculation
25.64/14.83	c (14,14) Calculate Precise Domain End
25.64/14.84	c (14,14) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
25.64/14.84	c (14,14) Heap : 197 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
25.64/14.84	c (14,14) CSPinCNF to SatSolver Begin
28.52/16.03	c (15,15) 2860 (10 %) CSP clauses are encoded (27492 SAT variables, 234862 SAT clauses)
28.94/16.31	c (15,15) 5720 (20 %) CSP clauses are encoded (27492 SAT variables, 304222 SAT clauses)
29.16/16.54	c (16,15) 8580 (30 %) CSP clauses are encoded (27492 SAT variables, 373582 SAT clauses)
29.36/16.77	c (16,15) 11440 (40 %) CSP clauses are encoded (27492 SAT variables, 442942 SAT clauses)
29.56/17.01	c (16,16) 14300 (50 %) CSP clauses are encoded (27492 SAT variables, 512302 SAT clauses)
29.86/17.24	c (16,16) 17160 (60 %) CSP clauses are encoded (27492 SAT variables, 581662 SAT clauses)
30.06/17.47	c (16,16) 20020 (70 %) CSP clauses are encoded (27492 SAT variables, 651022 SAT clauses)
30.16/17.59	c (17,16) 22880 (80 %) CSP clauses are encoded (27492 SAT variables, 681102 SAT clauses)
30.31/17.65	c (17,16) 25740 (90 %) CSP clauses are encoded (27492 SAT variables, 685379 SAT clauses)
30.51/17.70	c (17,16) 28599 (100 %) CSP clauses are encoded (27492 SAT variables, 689625 SAT clauses)
30.51/17.70	c (17,16) Launch Command will be: minisat_release
30.51/17.70	c (17,16) CSPinCNF to SatSolver End
30.51/17.70	c (17,16) Heap : 2541 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.81/17.85	c (17,17) STATISTICS2:HOME/instance-4305544-1534070871.xml,IntVar:LexMatrix:Num:WeightedSum,18717,28599,1369,37,4,10,1369:18;512:1080;361:54;256:216;100:828;2:5251,37:108;19:216;10:3456;2:76803,4:1597;3:4003;2:20688;1:2311,10:1080;9:216;3:900;2:5251;1:54637,
31.07/17.94	c (17,17) 27492 bool, 689626 clause
31.07/17.94	c (17,17) Export Begin
31.37/18.08	c (17,17) Export to HOME/scop-26703-serial-file.bin
31.37/18.08	c (17,17) Export End
31.37/18.08	c (17,17) Export File Size: 0.15 MB
31.37/18.08	c (17,17) 0,0,13,14,14,14,17,STOP-AFTER(DIMACS)
31.37/18.08	c END-Prog: Sun Aug 12 12:48:09 CEST 2018
0.00/18.11	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26703-serial-file.bin
31.61/18.61	c (0,0) Read Serial File Begin
31.61/18.61	c (0,0) HOME/scop-26703-serial-file.bin
31.61/18.82	c (0,0) Read Serial File End
31.61/18.84	
31.61/18.84	scop order+minisat_release (2018-07-31)
31.61/18.84	(Solving Process)
31.61/18.84	
31.61/18.86	c BEGIN-Prog: Sun Aug 12 12:48:10 CEST 2018
31.61/18.86	c PID: 26721
31.61/18.86	c IP: 172.20.3.106
31.61/18.86	c HOST: node106.alineos.net
31.61/18.86	c (0,0) SatSolver.solve Begin
31.61/18.86	c (0,0) 0 bool, 0 clause
31.61/18.86	c (0,0) minisat_release HOME/instance-4305544-1534070871.xml-scop-26706.cnf
36.84/22.83	c (4,0) c This is COMiniSatPS.
36.84/22.83	c (4,0) c WARNING: for repeatability, setting FPU to use double precision
36.84/22.83	c (4,0) c ============================[ Problem Statistics ]=============================
36.84/22.83	c (4,0) c |                                                                             |
36.84/22.83	c (4,0) c |  Number of variables:         27492                                         |
36.84/22.83	c (4,0) c |  Number of clauses:          689626                                         |
36.84/22.83	c (4,0) c |  Parse time:                   0.22 s                                       |
36.84/22.83	c (4,0) c |  Eliminated clauses:           0.29 Mb                                      |
36.84/22.83	c (4,0) c Reduced to 16169 vars, 652037 cls (grow=0)
36.84/22.83	c (4,0) c No iterative elimination performed. (vars=16169, c/v ratio=40.3)
36.84/22.83	c (4,0) c |  Simplification time:          2.90 s                                       |
36.84/22.83	c (4,0) c |                                                                             |
36.84/22.83	c (4,0) c ============================[ Search Statistics ]==============================
36.84/22.83	c (4,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.84/22.83	c (4,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
36.84/22.83	c (4,0) c ===============================================================================
36.84/22.83	c (4,0) c ===============================================================================
36.84/22.83	c (4,0) c restarts              : 24
36.84/22.83	c (4,0) c conflicts             : 5068           (1299 /sec)
36.84/22.83	c (4,0) c decisions             : 21154          (0.00 % random) (5424 /sec)
36.84/22.83	c (4,0) c propagations          : 2491585        (638854 /sec)
36.84/22.83	c (4,0) c conflict literals     : 186090         (20.38 % deleted)
36.84/22.83	c (4,0) c CPU time              : 3.90008 s
36.84/22.83	c (4,0) 
36.84/22.83	c (4,0) s SATISFIABLE
36.84/22.88	c (4,0) SatSolver.solve End
36.84/22.88	c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
36.84/22.88	c (4,0) Show results Begin
37.05/22.97	s SATISFIABLE
37.28/23.01	v <instantiation>
37.28/23.01	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107]</list>
37.28/23.01	v     <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
37.28/23.01	v </instantiation>
37.28/23.01	c (4,0) Show results End
37.28/23.01	c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
37.28/23.01	c (4,0) 4,4,STOP-AFTER(ALL)
37.28/23.01	c END-Prog: Sun Aug 12 12:48:14 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 (8579 MiB free)
  memory of node 1: 16384 MiB (11202 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305544-1534070871/watcher-4305544-1534070871 -o /tmp/evaluation-result-4305544-1534070871/solver-4305544-1534070871 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305544-1534070871.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26703, runsolver pid=26700

[startup+0.100082 s]*
/proc/loadavg: 2.00 2.02 2.05 3/222 26720
/proc/meminfo: memFree=20194872/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649932 115843072 349 33554432000 4194304 5098028 140735918133520 140735918130776 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 349 296 221 0 87 0
[pid=26706] ppid=26703 vsize=15012476 memory=73596 CPUtime=0.11 cores=0,2,4,6
/proc/26706/stat : 26706 (java) S 26703 26703 23167 0 -1 1077944320 6510 0 0 0 9 2 0 0 20 0 15 0 224649932 15372775424 18399 33554432000 4194304 4196468 140728899787072 140728899769616 139669450661623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
/proc/26706/statm: 3753119 18399 2770 1 0 3715579 0
[pid=26706/tid=26707] ppid=26703 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=0,2,4,6
/proc/26706/task/26707/stat : 26707 (java) R 26703 26703 23167 0 -1 4202560 4606 0 0 0 7 1 0 0 20 0 15 0 224649933 15372775424 18399 33554432000 4194304 4196468 140728899787072 139669422473608 139669433864636 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26708] ppid=26703 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26708/stat : 26708 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 18399 33554432000 4194304 4196468 140728899787072 139669454904208 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26709] ppid=26703 vsize=15012476 memory=140563824170624 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26709/stat : 26709 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 18399 33554432000 4194304 4196468 140728899787072 139669253679888 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26710] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26710/stat : 26710 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 18399 33554432000 4194304 4196468 140728899787072 139669252627600 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26711] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26711/stat : 26711 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 18399 33554432000 4194304 4196468 140728899787072 139669251574800 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26712] ppid=26703 vsize=15012476 memory=140563824170624 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26712/stat : 26712 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 18399 33554432000 4194304 4196468 140728899787072 139668421019760 139669450672770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26713] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26713/stat : 26713 (java) S 26703 26703 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 18399 33554432000 4194304 4196468 140728899787072 139668041491232 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26714] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26714/stat : 26714 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 18399 33554432000 4194304 4196468 140728899787072 139667773056112 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26715] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26715/stat : 26715 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 18399 33554432000 4194304 4196468 140728899787072 139667398547536 139669450680219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26716] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26716/stat : 26716 (java) S 26703 26703 23167 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 18399 33554432000 4194304 4196468 140728899787072 139668419967600 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26717] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26717/stat : 26717 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 18399 33554432000 4194304 4196468 140728899787072 139668418914800 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26718] ppid=26703 vsize=15012476 memory=140563824170624 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26718/stat : 26718 (java) R 26703 26703 23167 0 -1 4202560 270 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 18399 33554432000 4194304 4196468 140728899787072 139668417862512 139669429171789 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26719] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26719/stat : 26719 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 18399 33554432000 4194304 4196468 140728899787072 139666900642784 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26720] ppid=26703 vsize=15012476 memory=140563824170624 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26720/stat : 26720 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 18399 33554432000 4194304 4196468 140728899787072 139668416809392 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74992 KiB

[startup+0.210613 s]*
/proc/loadavg: 2.00 2.02 2.05 3/222 26720
/proc/meminfo: memFree=20178820/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649932 115843072 349 33554432000 4194304 5098028 140735918133520 140735918130776 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 349 296 221 0 87 0
[pid=26706] ppid=26703 vsize=15012476 memory=86664 CPUtime=0.25 cores=0,2,4,6
/proc/26706/stat : 26706 (java) S 26703 26703 23167 0 -1 1077944320 10002 0 0 0 22 3 0 0 20 0 15 0 224649932 15372775424 21666 33554432000 4194304 4196468 140728899787072 140728899769616 139669450661623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
/proc/26706/statm: 3753119 21666 2879 1 0 3715579 0
[pid=26706/tid=26707] ppid=26703 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/26706/task/26707/stat : 26707 (java) R 26703 26703 23167 0 -1 4202560 7918 0 0 0 17 2 0 0 20 0 15 0 224649933 15372775424 21666 33554432000 4194304 4196468 140728899787072 139669422488016 139669450673558 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26708] ppid=26703 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26708/stat : 26708 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 21666 33554432000 4194304 4196468 140728899787072 139669454904208 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26709] ppid=26703 vsize=15012476 memory=140563825362922 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26709/stat : 26709 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 21666 33554432000 4194304 4196468 140728899787072 139669253679888 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26710] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26710/stat : 26710 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 21666 33554432000 4194304 4196468 140728899787072 139669252627600 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26711] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26711/stat : 26711 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 21666 33554432000 4194304 4196468 140728899787072 139669251574800 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26712] ppid=26703 vsize=15012476 memory=140563824170624 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26712/stat : 26712 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 21666 33554432000 4194304 4196468 140728899787072 139668421019760 139669450672770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26713] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26713/stat : 26713 (java) S 26703 26703 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 21666 33554432000 4194304 4196468 140728899787072 139668041491232 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26714] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26714/stat : 26714 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 21666 33554432000 4194304 4196468 140728899787072 139667773056112 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26715] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26715/stat : 26715 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 21666 33554432000 4194304 4196468 140728899787072 139667398547536 139669450680219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26716] ppid=26703 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26706/task/26716/stat : 26716 (java) S 26703 26703 23167 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 15 0 224649939 15372775424 21666 33554432000 4194304 4196468 140728899787072 139668419967600 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26717] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26717/stat : 26717 (java) S 26703 26703 23167 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 21666 33554432000 4194304 4196468 140728899787072 139668418914800 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26718] ppid=26703 vsize=15012476 memory=140563824170624 CPUtime=0.03 cores=0,2,4,6
/proc/26706/task/26718/stat : 26718 (java) R 26703 26703 23167 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 224649939 15372775424 21666 33554432000 4194304 4196468 140728899787072 139668417862512 139669442898750 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26719] ppid=26703 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26719/stat : 26719 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 21666 33554432000 4194304 4196468 140728899787072 139666900642784 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26720] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26720/stat : 26720 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 21666 33554432000 4194304 4196468 140728899787072 139668416809392 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88060 KiB

[startup+0.310586 s]*
/proc/loadavg: 2.00 2.02 2.05 3/222 26720
/proc/meminfo: memFree=20175336/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649932 115843072 349 33554432000 4194304 5098028 140735918133520 140735918130776 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 349 296 221 0 87 0
[pid=26706] ppid=26703 vsize=15012476 memory=90456 CPUtime=0.42 cores=0,2,4,6
/proc/26706/stat : 26706 (java) S 26703 26703 23167 0 -1 1077944320 10540 0 0 0 39 3 0 0 20 0 15 0 224649932 15372775424 22614 33554432000 4194304 4196468 140728899787072 140728899769616 139669450661623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
/proc/26706/statm: 3753119 22614 3014 1 0 3715579 0
[pid=26706/tid=26707] ppid=26703 vsize=15012476 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/26706/task/26707/stat : 26707 (java) R 26703 26703 23167 0 -1 4202560 8292 0 0 0 27 3 0 0 20 0 15 0 224649933 15372775424 22614 33554432000 4194304 4196468 140728899787072 139669422456624 139669434742110 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26708] ppid=26703 vsize=15012476 memory=288292155783643526 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26708/stat : 26708 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 22614 33554432000 4194304 4196468 140728899787072 139669454904208 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26709] ppid=26703 vsize=15012476 memory=1193162 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26709/stat : 26709 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 22614 33554432000 4194304 4196468 140728899787072 139669253679888 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26710] ppid=26703 vsize=15012476 memory=281127353088368 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26710/stat : 26710 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 22614 33554432000 4194304 4196468 140728899787072 139669252627600 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26711] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26711/stat : 26711 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15372775424 22614 33554432000 4194304 4196468 140728899787072 139669251574800 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26712] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26712/stat : 26712 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 22614 33554432000 4194304 4196468 140728899787072 139668421019760 139669450672770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26713] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26713/stat : 26713 (java) S 26703 26703 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 22614 33554432000 4194304 4196468 140728899787072 139668041491232 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26714] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26714/stat : 26714 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649936 15372775424 22614 33554432000 4194304 4196468 140728899787072 139667773056112 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26715] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26715/stat : 26715 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 22614 33554432000 4194304 4196468 140728899787072 139667398547536 139669450680219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26716] ppid=26703 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26706/task/26716/stat : 26716 (java) S 26703 26703 23167 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 15 0 224649939 15372775424 22614 33554432000 4194304 4196468 140728899787072 139668419967600 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26717] ppid=26703 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26706/task/26717/stat : 26717 (java) S 26703 26703 23167 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 224649939 15372775424 22614 33554432000 4194304 4196468 140728899787072 139668418914800 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26718] ppid=26703 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26706/task/26718/stat : 26718 (java) S 26703 26703 23167 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 224649939 15372775424 22614 33554432000 4194304 4196468 140728899787072 139668417862512 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26719] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26719/stat : 26719 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 22614 33554432000 4194304 4196468 140728899787072 139666900642784 139669450671829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26720] ppid=26703 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26720/stat : 26720 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649939 15372775424 22614 33554432000 4194304 4196468 140728899787072 139668416809392 139669450672770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91852 KiB

[startup+0.700734 s]
/proc/loadavg: 2.00 2.02 2.05 3/222 26720
/proc/meminfo: memFree=20151076/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649932 115843072 349 33554432000 4194304 5098028 140735918133520 140735918130776 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 349 296 221 0 87 0
[pid=26706] ppid=26703 vsize=15020872 memory=129408 CPUtime=1 cores=0,2,4,6
/proc/26706/stat : 26706 (java) S 26703 26703 23167 0 -1 1077944320 17573 0 0 0 93 7 0 0 20 0 15 0 224649932 15381372928 32352 33554432000 4194304 4196468 140728899787072 140728899769616 139669450661623 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
/proc/26706/statm: 3755218 32352 3137 1 0 3716603 0
[pid=26706/tid=26707] ppid=26703 vsize=15020872 memory=868 CPUtime=0.66 cores=0,2,4,6
/proc/26706/task/26707/stat : 26707 (java) R 26703 26703 23167 0 -1 4202560 14881 0 0 0 61 5 0 0 20 0 15 0 224649933 15381372928 32352 33554432000 4194304 4196468 140728899787072 139669422483024 139668932051133 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26708] ppid=26703 vsize=15020872 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26708/stat : 26708 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15381372928 32352 33554432000 4194304 4196468 140728899787072 139669454904208 139669450671829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26709] ppid=26703 vsize=15020872 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26709/stat : 26709 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649934 15381372928 32352 33554432000 4194304 4196468 140728899787072 139669253679888 139669450671829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26710] ppid=26703 vsize=15020872 memory=748 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26710/stat : 26710 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649934 15381372928 32352 33554432000 4194304 4196468 140728899787072 139669252627600 139669450671829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26711] ppid=26703 vsize=15020872 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26711/stat : 26711 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649934 15381372928 32352 33554432000 4194304 4196468 140728899787072 139669251574800 139669450671829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26712] ppid=26703 vsize=15020872 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26712/stat : 26712 (java) S 26703 26703 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224649936 15381372928 32352 33554432000 4194304 4196468 140728899787072 139668421019760 139669450672770 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26713] ppid=26703 vsize=15020872 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26713/stat : 26713 (java) S 26703 26703 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649936 15381372928 32352 33554432000 4194304 4196468 140728899787072 139668041491232 139669450671829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26714] ppid=26703 vsize=15020872 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26714/stat : 26714 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649936 15381372928 32352 33554432000 4194304 4196468 140728899787072 139667773056112 139669450671829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26715] ppid=26703 vsize=15020872 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26715/stat : 26715 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15381372928 32352 33554432000 4194304 4196468 140728899787072 139667398547536 139669450680219 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26716] ppid=26703 vsize=15020872 memory=12668 CPUtime=0.09 cores=0,2,4,6
/proc/26706/task/26716/stat : 26716 (java) R 26703 26703 23167 0 -1 4202560 720 0 0 0 9 0 0 0 20 0 15 0 224649939 15381372928 32352 33554432000 4194304 4196468 140728899787072 139668419967600 139669428503728 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26717] ppid=26703 vsize=15020872 memory=1072 CPUtime=0.06 cores=0,2,4,6
/proc/26706/task/26717/stat : 26717 (java) R 26703 26703 23167 0 -1 1077944384 192 0 0 0 6 0 0 0 20 0 15 0 224649939 15381372928 32352 33554432000 4194304 4196468 140728899787072 139668418905184 139669450671829 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26718] ppid=26703 vsize=15020872 memory=14888 CPUtime=0.16 cores=0,2,4,6
/proc/26706/task/26718/stat : 26718 (java) R 26703 26703 23167 0 -1 4202560 445 0 0 0 16 0 0 0 20 0 15 0 224649939 15381372928 32352 33554432000 4194304 4196468 140728899787072 139668417860048 139669450673558 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26719] ppid=26703 vsize=15020872 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26719/stat : 26719 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649939 15381372928 32352 33554432000 4194304 4196468 140728899787072 139666900642784 139669450671829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
[pid=26706/tid=26720] ppid=26703 vsize=15020872 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/26706/task/26720/stat : 26720 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649939 15381372928 32352 33554432000 4194304 4196468 140728899787072 139668416809392 139669450672770 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24862720 140728899793927 140728899794225 140728899794225 140728899796943 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130804 KiB

[startup+1.50074 s]
/proc/loadavg: 2.00 2.02 2.05 4/222 26720
/proc/meminfo: memFree=20121980/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649932 115843072 349 33554432000 4194304 5098028 140735918133520 140735918130776 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 349 296 221 0 87 0

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

/proc/26721/task/26737/stat : 26737 (java) S 26703 26703 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224651821 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386912298304 140387602493209 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26739] ppid=26703 vsize=8068220 memory=7524786419088060013 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26739/stat : 26739 (java) S 26703 26703 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224651821 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384898366896 140387602490525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26740] ppid=26703 vsize=8068220 memory=5795963826934147672 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26740/stat : 26740 (java) S 26703 26703 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224651822 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384764145712 140387602490525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26741] ppid=26703 vsize=8068220 memory=164 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26741/stat : 26741 (java) S 26703 26703 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224651824 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384495722272 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
Current children cumulated CPU time: 34.85 s
Current children cumulated vsize: 8277408 KiB
Current children cumulated memory: 191540 KiB

[startup+22.4009 s]
/proc/loadavg: 2.00 2.02 2.05 3/227 26741
/proc/meminfo: memFree=20041228/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1472 CPUtime=31.61 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 590 49214 0 0 0 0 3083 78 20 0 1 0 224649932 115843072 368 33554432000 4194304 5098028 140735918133520 140735918130264 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 368 311 221 0 87 0
[pid=26721] ppid=26703 vsize=8068220 memory=120316 CPUtime=1.33 cores=0,2,4,6
/proc/26721/stat : 26721 (java) S 26703 26703 23167 0 -1 1077944320 18835 0 0 0 125 8 0 0 20 0 19 0 224651744 8261857280 30079 33554432000 4194304 4196468 140727003904224 140727003886768 140387602468599 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
/proc/26721/statm: 2017055 30079 3139 1 0 1978454 0
[pid=26736] ppid=26721 vsize=92428 memory=64076 CPUtime=3.5 cores=0,2,4,6
/proc/26736/stat : 26736 (minisat_release) R 26721 26703 23167 0 -1 4202496 29410 0 0 0 347 3 0 0 20 0 1 0 224651821 94646272 16019 33554432000 4194304 4308513 140720313735856 140720313733480 4276095 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 33468416 140720313742452 140720313742550 140720313742550 140720313745349 0
/proc/26736/statm: 23107 16019 325 28 0 19347 0
[pid=26721/tid=26722] ppid=26703 vsize=8068220 memory=3472328296227683777 CPUtime=0.79 cores=0,2,4,6
/proc/26721/task/26722/stat : 26722 (java) S 26703 26703 23167 0 -1 1077944384 15461 0 0 0 73 6 0 0 20 0 19 0 224651744 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387574308752 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26723] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26723/stat : 26723 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387606711312 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26724] ppid=26703 vsize=8068220 memory=3121 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26724/stat : 26724 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387406879888 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26725] ppid=26703 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26725/stat : 26725 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387405826832 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26726] ppid=26703 vsize=8068220 memory=21 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26726/stat : 26726 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387404774288 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26727] ppid=26703 vsize=8068220 memory=20 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26727/stat : 26727 (java) S 26703 26703 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224651747 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386914736368 140387602479746 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26728] ppid=26703 vsize=8068220 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26728/stat : 26728 (java) S 26703 26703 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224651747 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386441880736 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26729] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26729/stat : 26729 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651747 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386173444848 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26730] ppid=26703 vsize=8068220 memory=281127353365456 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26730/stat : 26730 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140385798936528 140387602487195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26731] ppid=26703 vsize=8068220 memory=1399094042734925955 CPUtime=0.16 cores=0,2,4,6
/proc/26721/task/26731/stat : 26731 (java) S 26703 26703 23167 0 -1 1077944384 1063 0 0 0 16 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386913684208 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26732] ppid=26703 vsize=8068220 memory=7679937539659563834 CPUtime=0.13 cores=0,2,4,6
/proc/26721/task/26732/stat : 26732 (java) S 26703 26703 23167 0 -1 1077944384 307 0 0 0 13 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386844535664 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26733] ppid=26703 vsize=8068220 memory=-9181546050914066336 CPUtime=0.21 cores=0,2,4,6
/proc/26721/task/26733/stat : 26733 (java) S 26703 26703 23167 0 -1 1077944384 595 0 0 0 21 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386843482608 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26734] ppid=26703 vsize=8068220 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26734/stat : 26734 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140385301031776 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26735] ppid=26703 vsize=8068220 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26735/stat : 26735 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386842430000 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26737] ppid=26703 vsize=8068220 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26737/stat : 26737 (java) S 26703 26703 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224651821 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386912298304 140387602493209 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26739] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26739/stat : 26739 (java) S 26703 26703 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224651821 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384898366896 140387602490525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26740] ppid=26703 vsize=8068220 memory=8316868033356759116 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26740/stat : 26740 (java) S 26703 26703 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224651822 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384764145712 140387602490525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26741] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26741/stat : 26741 (java) S 26703 26703 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224651824 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384495722272 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
Current children cumulated CPU time: 36.44 s
Current children cumulated vsize: 8273776 KiB
Current children cumulated memory: 185864 KiB

[startup+22.8009 s]
/proc/loadavg: 2.00 2.02 2.05 3/227 26741
/proc/meminfo: memFree=20041228/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1472 CPUtime=31.61 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 590 49214 0 0 0 0 3083 78 20 0 1 0 224649932 115843072 368 33554432000 4194304 5098028 140735918133520 140735918130264 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 368 311 221 0 87 0
[pid=26721] ppid=26703 vsize=8068220 memory=120316 CPUtime=1.33 cores=0,2,4,6
/proc/26721/stat : 26721 (java) S 26703 26703 23167 0 -1 1077944320 18835 0 0 0 125 8 0 0 20 0 19 0 224651744 8261857280 30079 33554432000 4194304 4196468 140727003904224 140727003886768 140387602468599 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
/proc/26721/statm: 2017055 30079 3139 1 0 1978454 0
[pid=26736] ppid=26721 vsize=92428 memory=64076 CPUtime=3.9 cores=0,2,4,6
/proc/26736/stat : 26736 (minisat_release) R 26721 26703 23167 0 -1 4202496 29410 0 0 0 387 3 0 0 20 0 1 0 224651821 94646272 16019 33554432000 4194304 4308513 140720313735856 140720313733480 4275992 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 33468416 140720313742452 140720313742550 140720313742550 140720313745349 0
/proc/26736/statm: 23107 16019 325 28 0 19347 0
[pid=26721/tid=26722] ppid=26703 vsize=8068220 memory=12668 CPUtime=0.79 cores=0,2,4,6
/proc/26721/task/26722/stat : 26722 (java) S 26703 26703 23167 0 -1 1077944384 15461 0 0 0 73 6 0 0 20 0 19 0 224651744 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387574308752 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26723] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26723/stat : 26723 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387606711312 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26724] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26724/stat : 26724 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387406879888 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26725] ppid=26703 vsize=8068220 memory=140563676479316 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26725/stat : 26725 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387405826832 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26726] ppid=26703 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26726/stat : 26726 (java) S 26703 26703 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224651745 8261857280 30079 33554432000 4194304 4196468 140727003904224 140387404774288 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26727] ppid=26703 vsize=8068220 memory=120316 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26727/stat : 26727 (java) S 26703 26703 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224651747 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386914736368 140387602479746 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26728] ppid=26703 vsize=8068220 memory=69752 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26728/stat : 26728 (java) S 26703 26703 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224651747 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386441880736 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26729] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26729/stat : 26729 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651747 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386173444848 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26730] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26730/stat : 26730 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140385798936528 140387602487195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26731] ppid=26703 vsize=8068220 memory=6656426216303648864 CPUtime=0.16 cores=0,2,4,6
/proc/26721/task/26731/stat : 26731 (java) S 26703 26703 23167 0 -1 1077944384 1063 0 0 0 16 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386913684208 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26732] ppid=26703 vsize=8068220 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26721/task/26732/stat : 26732 (java) S 26703 26703 23167 0 -1 1077944384 307 0 0 0 13 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386844535664 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26733] ppid=26703 vsize=8068220 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/26721/task/26733/stat : 26733 (java) S 26703 26703 23167 0 -1 1077944384 595 0 0 0 21 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386843482608 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26734] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26734/stat : 26734 (java) S 26703 26703 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140385301031776 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26735] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26735/stat : 26735 (java) S 26703 26703 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224651750 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386842430000 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26737] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26737/stat : 26737 (java) S 26703 26703 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224651821 8261857280 30079 33554432000 4194304 4196468 140727003904224 140386912298304 140387602493209 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26739] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26739/stat : 26739 (java) S 26703 26703 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224651821 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384898366896 140387602490525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26740] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26740/stat : 26740 (java) S 26703 26703 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224651822 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384764145712 140387602490525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26741] ppid=26703 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26721/task/26741/stat : 26741 (java) S 26703 26703 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224651824 8261857280 30079 33554432000 4194304 4196468 140727003904224 140384495722272 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
Current children cumulated CPU time: 36.84 s
Current children cumulated vsize: 8273776 KiB
Current children cumulated memory: 185864 KiB

[startup+23.0009 s]*
/proc/loadavg: 2.00 2.02 2.05 6/224 26741
/proc/meminfo: memFree=20093032/32770624 swapFree=67108688/67108860
[pid=26703] ppid=26700 vsize=113128 memory=1472 CPUtime=31.61 cores=0,2,4,6
/proc/26703/stat : 26703 (scop.sh) S 26700 26703 23167 0 -1 4202496 590 49214 0 0 0 0 3083 78 20 0 1 0 224649932 115843072 368 33554432000 4194304 5098028 140735918133520 140735918130264 140245057581692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140735918138433 140735918138631 140735918138631 140735918141389 0
/proc/26703/statm: 28282 368 311 221 0 87 0
[pid=26721] ppid=26703 vsize=7937144 memory=135432 CPUtime=5.67 cores=0,2,4,6
/proc/26721/stat : 26721 (java) S 26703 26703 23167 0 -1 1077944320 19565 29606 0 0 165 8 390 4 20 0 17 0 224651744 8127635456 33858 33554432000 4194304 4196468 140727003904224 140727003886768 140387602468599 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
/proc/26721/statm: 1984286 33858 3150 1 0 1945685 0
[pid=26721/tid=26722] ppid=26703 vsize=7937144 memory=6791534058613427641 CPUtime=4.85 cores=0,2,4,6
/proc/26721/task/26722/stat : 26722 (java) R 26703 26703 23167 0 -1 4202560 15762 29606 0 0 85 6 390 4 20 0 17 0 224651744 8127635456 33858 33554432000 4194304 4196468 140727003904224 140387574306176 140387586549086 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26723] ppid=26703 vsize=7937144 memory=4872558044660077418 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26723/stat : 26723 (java) S 26703 26703 23167 0 -1 1077944384 1 29606 0 0 0 0 390 4 20 0 17 0 224651745 8127635456 33858 33554432000 4194304 4196468 140727003904224 140387606711312 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26724] ppid=26703 vsize=7937144 memory=276104 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26724/stat : 26724 (java) S 26703 26703 23167 0 -1 1077944384 2 29606 0 0 0 0 390 4 20 0 17 0 224651745 8127635456 33858 33554432000 4194304 4196468 140727003904224 140387406879888 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26725] ppid=26703 vsize=7937144 memory=4104 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26725/stat : 26725 (java) S 26703 26703 23167 0 -1 1077944384 1 29606 0 0 0 0 390 4 20 0 17 0 224651745 8127635456 33858 33554432000 4194304 4196468 140727003904224 140387405826832 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26726] ppid=26703 vsize=7937144 memory=1408 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26726/stat : 26726 (java) S 26703 26703 23167 0 -1 1077944384 2 29606 0 0 0 0 390 4 20 0 17 0 224651745 8127635456 33858 33554432000 4194304 4196468 140727003904224 140387404774288 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26727] ppid=26703 vsize=7937144 memory=2660 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26727/stat : 26727 (java) S 26703 26703 23167 0 -1 1077944384 5 29606 0 0 0 0 390 4 20 0 17 0 224651747 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386914736368 140387602479746 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26728] ppid=26703 vsize=7937144 memory=1472 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26728/stat : 26728 (java) S 26703 26703 23167 0 -1 1077944384 13 29606 0 0 0 0 390 4 20 0 17 0 224651747 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386441880736 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26729] ppid=26703 vsize=7937144 memory=120316 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26729/stat : 26729 (java) S 26703 26703 23167 0 -1 1077944384 1 29606 0 0 0 0 390 4 20 0 17 0 224651747 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386173444848 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26730] ppid=26703 vsize=7937144 memory=69752 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26730/stat : 26730 (java) S 26703 26703 23167 0 -1 1077944384 3 29606 0 0 0 0 390 4 20 0 17 0 224651750 8127635456 33858 33554432000 4194304 4196468 140727003904224 140385798936528 140387602487195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26731] ppid=26703 vsize=7937144 memory=-7824251494390979428 CPUtime=4.17 cores=0,2,4,6
/proc/26721/task/26731/stat : 26731 (java) R 26703 26703 23167 0 -1 4202560 1094 29606 0 0 23 0 390 4 20 0 17 0 224651750 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386913670448 140387586862817 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26732] ppid=26703 vsize=7937144 memory=0 CPUtime=4.13 cores=0,2,4,6
/proc/26721/task/26732/stat : 26732 (java) R 26703 26703 23167 0 -1 4202560 353 29606 0 0 19 0 390 4 20 0 17 0 224651750 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386844535792 140387581098096 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26733] ppid=26703 vsize=7937144 memory=0 CPUtime=4.25 cores=0,2,4,6
/proc/26721/task/26733/stat : 26733 (java) R 26703 26703 23167 0 -1 4202560 854 29606 0 0 31 0 390 4 20 0 17 0 224651750 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386843478336 140387581007648 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26734] ppid=26703 vsize=7937144 memory=281127354009792 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26734/stat : 26734 (java) S 26703 26703 23167 0 -1 1077944384 3 29606 0 0 0 0 390 4 20 0 17 0 224651750 8127635456 33858 33554432000 4194304 4196468 140727003904224 140385301031776 140387602478805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26735] ppid=26703 vsize=7937144 memory=-1 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26735/stat : 26735 (java) S 26703 26703 23167 0 -1 1077944384 2 29606 0 0 0 0 390 4 20 0 17 0 224651750 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386842430000 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26737] ppid=26703 vsize=7937144 memory=0 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26737/stat : 26737 (java) S 26703 26703 23167 0 -1 1077944384 24 29606 0 0 0 0 390 4 20 0 17 0 224651821 8127635456 33858 33554432000 4194304 4196468 140727003904224 140386912297488 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
[pid=26721/tid=26741] ppid=26703 vsize=7937144 memory=0 CPUtime=3.94 cores=0,2,4,6
/proc/26721/task/26741/stat : 26741 (java) S 26703 26703 23167 0 -1 1077944384 12 29606 0 0 0 0 390 4 20 0 17 0 224651824 8127635456 33858 33554432000 4194304 4196468 140727003904224 140384495724080 140387602479746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10715136 140727003907253 140727003907377 140727003907377 140727003910095 0
Current children cumulated CPU time: 37.28 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 136904 KiB

Child status: 0
Real time (s): 23.033
CPU time (s): 37.3459
CPU user time (s): 36.4187
CPU system time (s): 0.927194
CPU usage (%): 162.141
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3202880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.4187
system time used= 0.927194
maximum resident set size= 3202008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7549
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 26703
#   total CPU time (s): 37.3459
#   total CPU user time (s): 36.4187
#   total CPU system time (s): 0.927194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.159616 second user time and 0.291843 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 12:47:51
IDJOB=4305544
IDBENCH=141327
IDSOLVER=2783
FILE ID=node106/4305544-1534070871
RUNJOBID= node106-1534060601-23198
PBS_JOBID= 21036975
Free space on /tmp= 39636 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Bibd/Bibd-sum-09-03-09_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305544-1534070871/watcher-4305544-1534070871 -o /tmp/evaluation-result-4305544-1534070871/solver-4305544-1534070871 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305544-1534070871.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8720a51077744f6e775f5d31127f86ee
RANDOM SEED=845354658

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20257524 kB
MemAvailable:   31468528 kB
Buffers:          126516 kB
Cached:         11231028 kB
SwapCached:            0 kB
Active:          6002984 kB
Inactive:        5847516 kB
Active(anon):     439492 kB
Inactive(anon):   105404 kB
Active(file):    5563492 kB
Inactive(file):  5742112 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              7664 kB
Writeback:             0 kB
AnonPages:        497272 kB
Mapped:            63616 kB
Shmem:             49632 kB
Slab:             362064 kB
SReclaimable:     333860 kB
SUnreclaim:        28204 kB
KernelStack:        3664 kB
PageTables:         6636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6158200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39628 MiB
End job on node106 at 2018-08-12 12:48:14