Trace number 4305545

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 49.4813 33.0218

General information on the benchmark

NameBibd/
Bibd-sum-10-03-08_c18.xml
MD5SUM6905926ecf5563edf040969d33d8e2ad
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.8953
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints176
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1200}]
Minimum variable degree12
Maximum variable degree12
Distribution of variable degrees[{"degree":12,"count":1200}]
Minimum constraint arity10
Maximum constraint arity1200
Distribution of constraint arities[{"arity":10,"count":120},{"arity":120,"count":10},{"arity":240,"count":45},{"arity":1200,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":175}]
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-27061-serial-file.bin HOME/instance-4305545-1534072082.xml
0.55/0.51	
0.55/0.52	scop both+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Sun Aug 12 13:08:03 CEST 2018
0.67/0.54	c PID: 27064
0.67/0.54	c IP: 172.20.3.106
0.67/0.54	c HOST: node106.alineos.net
0.67/0.55	c (0,0) Parsing Begin
2.05/1.19	c (0,0) Parsing End
2.36/1.20	c (0,0) CSP: 0 int (0 aux), 1200 bool (0 aux), 176 ctr, max domain size 2
2.64/1.30	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.30	c (0,0) Constraint Name Generate Begin
2.64/1.30	c (0,0) Ctr:HOME/instance-4305545-1534072082.xml,IntVar:LexMatrix:Num:WeightedSum
2.64/1.30	c (0,0) Constraint Name Generate End
2.64/1.30	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.30	c (0,0) CSP to CSPinCNF Begin
3.28/1.51	c (0,0) translated 18 (10%) constraints
3.28/1.52	c (1,0) translated 36 (20%) constraints
3.28/1.53	c (1,1) translated 53 (30%) constraints
3.28/1.54	c (1,1) translated 71 (40%) constraints
3.28/1.55	c (1,1) translated 88 (50%) constraints
3.28/1.57	c (1,1) translated 106 (60%) constraints
3.28/1.57	c (1,1) translated 124 (70%) constraints
5.70/2.30	c (1,1) translated 141 (80%) constraints
7.80/3.01	c (2,2) translated 159 (90%) constraints
8.97/3.52	c (3,2) translated 176 (100%) constraints
26.70/18.59	c (18,17) STATISTICS1:HOME/instance-4305545-1534072082.xml,IntVar:LexMatrix:Num:WeightedSum,14014,26059,9223372036854775807,2,4,120,9223372036854775807:110;512:240;2:4412,2:71266,4:2014;3:10928;2:12814;1:303,120:110;10:240;2:4412;1:60042,6400:110
26.70/18.59	c (18,17) ==========================================
26.70/18.59	c (18,17) Both Encoding selects:
26.70/18.59	c (18,17) Log
26.70/18.59	c (18,17) ==========================================
27.68/18.84	c (18,18) translated 2606 (10%) constraints
28.05/18.95	c (18,18) translated 5212 (20%) constraints
28.39/19.07	c (18,18) translated 7818 (30%) constraints
28.69/19.18	c (18,18) translated 10424 (40%) constraints
28.96/19.29	c (18,18) translated 13030 (50%) constraints
29.25/19.37	c (18,18) translated 15636 (60%) constraints
29.43/19.45	c (18,18) translated 18242 (70%) constraints
29.94/19.64	c (19,18) translated 20848 (80%) constraints
30.08/19.73	c (19,18) translated 23454 (90%) constraints
30.35/19.83	c (19,18) translated 26059 (100%) constraints
30.35/19.83	c (19,18) CSP to CSPinCNF End
30.35/19.84	c (19,18) CSP: 0 int (0 aux), 19414 bool (18214 aux), 37034 ctr, max domain size 2
30.35/19.84	c (19,18) Heap : 234 MiB used (max 11159 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.35/19.84	c (19,18) CSPinCNF Propagation Begin
31.56/20.21	c (19,19) 0 values, 5400 unsatisfiable literals, and 5400 valid clauses are removed
31.56/20.21	c (19,19) CSPinCNF Propagation End
31.56/20.22	c (19,19) CSP: 0 int (0 aux), 19414 bool (18214 aux), 31634 ctr, max domain size 2
31.56/20.22	c (19,19) Heap : 376 MiB used (max 11159 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.56/20.22	c (19,19) Simplify CSPinCNF Begin
31.78/20.37	c (19,19) Simplify CSPinCNF End
31.78/20.38	c (19,19) CSP: 0 int (0 aux), 23826 bool (22626 aux), 36046 ctr, max domain size 2
31.78/20.38	c (19,19) Heap : 447 MiB used (max 11159 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.78/20.38	c (19,19) Calculate Precise Domain Begin
31.78/20.38	c (19,19) 0 values are removed by re-calculation
31.78/20.38	c (19,19) Calculate Precise Domain End
31.78/20.38	c (19,19) CSP: 0 int (0 aux), 23826 bool (22626 aux), 36046 ctr, max domain size 2
31.78/20.38	c (19,19) Heap : 447 MiB used (max 11159 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.78/20.38	c (19,19) CSPinCNF to SatSolver Begin
34.70/21.51	c (20,20) 3605 (10 %) CSP clauses are being encoded (103218 SAT variables, 234996 SAT clauses)
35.01/21.70	c (21,20) 7210 (20 %) CSP clauses are being encoded (114690 SAT variables, 271553 SAT clauses)
35.50/21.85	c (21,20) 10814 (30 %) CSP clauses are being encoded (126162 SAT variables, 308109 SAT clauses)
35.70/22.00	c (21,21) 14419 (40 %) CSP clauses are being encoded (137634 SAT variables, 344666 SAT clauses)
35.90/22.14	c (21,21) 18023 (50 %) CSP clauses are being encoded (149106 SAT variables, 381222 SAT clauses)
35.99/22.28	c (21,21) 21628 (60 %) CSP clauses are being encoded (160578 SAT variables, 417779 SAT clauses)
36.20/22.43	c (21,21) 25233 (70 %) CSP clauses are being encoded (172050 SAT variables, 454336 SAT clauses)
36.30/22.58	c (22,21) 28837 (80 %) CSP clauses are being encoded (178905 SAT variables, 477017 SAT clauses)
36.89/22.74	c (22,21) 32442 (90 %) CSP clauses are being encoded (181643 SAT variables, 486938 SAT clauses)
37.19/22.88	c (22,21) 36046 (100 %) CSP clauses are being encoded (184467 SAT variables, 496874 SAT clauses)
37.19/22.88	c (22,21) Launch Command will be: minisat_release
37.19/22.88	c (22,21) CSPinCNF to SatSolver End
37.19/22.88	c (22,21) Heap : 1952 MiB used (max 11159 MiB), NonHeap : 29 MiB used (max 0 MiB)
37.82/23.10	c (22,22) STATISTICS2:HOME/instance-4305545-1534072082.xml,IntVar:LexMatrix:Num:WeightedSum,23826,36046,9223372036854775807,2,4,120,9223372036854775807:110;512:240;2:6554,2:102974,4:2014;3:5528;2:28026;1:478,120:110;10:240;2:6554;1:74266,2:110
37.82/23.10	c (22,22) 184468 bool, 496876 clause
37.82/23.10	c (22,22) Export Begin
38.76/23.32	c (22,22) Export to HOME/scop-27061-serial-file.bin
38.76/23.32	c (22,22) Export End
38.76/23.33	c (22,22) Export File Size: 0.44 MB
38.76/23.33	c (22,22) 0,0,19,19,19,19,22,STOP-AFTER(DIMACS)
38.76/23.33	c END-Prog: Sun Aug 12 13:08:26 CEST 2018
38.76/23.36	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-27061-serial-file.bin
38.89/23.84	c (0,0) Read Serial File Begin
38.89/23.84	c (0,0) HOME/scop-27061-serial-file.bin
40.00/24.29	c (0,0) Read Serial File End
40.22/24.30	
40.22/24.30	scop log+minisat_release (2018-07-31)
40.22/24.30	(Solving Process)
40.22/24.30	
40.22/24.32	c BEGIN-Prog: Sun Aug 12 13:08:27 CEST 2018
40.22/24.32	c PID: 27079
40.22/24.32	c IP: 172.20.3.106
40.22/24.32	c HOST: node106.alineos.net
40.22/24.33	c (0,0) SatSolver.solve Begin
40.22/24.33	c (0,0) 0 bool, 0 clause
40.22/24.33	c (0,0) minisat_release HOME/instance-4305545-1534072082.xml-scop-27064.cnf
48.78/32.76	c (9,0) c This is COMiniSatPS.
48.78/32.76	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
48.78/32.76	c (9,0) c ============================[ Problem Statistics ]=============================
48.78/32.76	c (9,0) c |                                                                             |
48.78/32.76	c (9,0) c |  Number of variables:        184468                                         |
48.78/32.76	c (9,0) c |  Number of clauses:          496398                                         |
48.78/32.76	c (9,0) c |  Parse time:                   0.18 s                                       |
48.78/32.76	c (9,0) c |  Eliminated clauses:           0.76 Mb                                      |
48.78/32.76	c (9,0) c Reduced to 153634 vars, 450793 cls (grow=0)
48.78/32.76	c (9,0) c |  Eliminated clauses:           3.12 Mb                                      |
48.78/32.76	c (9,0) c Reduced to 108138 vars, 614233 cls (grow=8)
48.78/32.76	c (9,0) c cl_inc_rate=1.363, var_dec_rate=1.421
48.78/32.76	c (9,0) c No. effective iterative eliminations: 1
48.78/32.76	c (9,0) c |  Simplification time:          1.24 s                                       |
48.78/32.76	c (9,0) c |                                                                             |
48.78/32.76	c (9,0) c ============================[ Search Statistics ]==============================
48.78/32.76	c (9,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.78/32.76	c (9,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
48.78/32.76	c (9,0) c ===============================================================================
48.78/32.76	c (9,0) c ===============================================================================
48.78/32.76	c (9,0) c restarts              : 104
48.78/32.76	c (9,0) c conflicts             : 26022          (3121 /sec)
48.78/32.76	c (9,0) c decisions             : 132383         (0.00 % random) (15877 /sec)
48.78/32.76	c (9,0) c propagations          : 24236103       (2906721 /sec)
48.78/32.76	c (9,0) c conflict literals     : 1160913        (29.39 % deleted)
48.78/32.76	c (9,0) c CPU time              : 8.33795 s
48.78/32.76	c (9,0) 
48.78/32.76	c (9,0) s SATISFIABLE
48.98/32.90	c (9,0) SatSolver.solve End
48.98/32.90	c (9,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
48.98/32.90	c (9,0) Show results Begin
49.21/32.97	s SATISFIABLE
49.21/33.00	v <instantiation>
49.21/33.00	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[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] 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[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] 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[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] 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[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] 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[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] 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[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] 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[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] 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[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] 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] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119]</list>
49.21/33.00	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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 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 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 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
49.21/33.00	v </instantiation>
49.21/33.00	c (9,0) Show results End
49.21/33.00	c (9,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
49.21/33.00	c (9,0) 9,9,STOP-AFTER(ALL)
49.21/33.00	c END-Prog: Sun Aug 12 13:08:35 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 (7465 MiB free)
  memory of node 1: 16384 MiB (11645 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

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
solver pid=27061, runsolver pid=27058
Current StackSize limit: 8192 KiB


[startup+0.10017 s]*
/proc/loadavg: 2.02 2.03 2.05 3/222 27078
/proc/meminfo: memFree=19509184/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224771103 115843072 349 33554432000 4194304 5098028 140734668916512 140734668913768 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 349 296 221 0 87 0
[pid=27064] ppid=27061 vsize=15012476 memory=72828 CPUtime=0.11 cores=1,3,5,7
/proc/27064/stat : 27064 (java) S 27061 27061 23167 0 -1 1077944320 6316 0 0 0 9 2 0 0 20 0 15 0 224771103 15372775424 18207 33554432000 4194304 4196468 140728330669296 140728330651840 140514732252919 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
/proc/27064/statm: 3753119 18207 2770 1 0 3715579 0
[pid=27064/tid=27065] ppid=27061 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/27064/task/27065/stat : 27065 (java) R 27061 27061 23167 0 -1 4202560 4431 0 0 0 8 1 0 0 20 0 15 0 224771103 15372775424 18207 33554432000 4194304 4196468 140728330669296 140514704064904 140514712528747 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27066] ppid=27061 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27066/stat : 27066 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 18273 33554432000 4194304 4196468 140728330669296 140514736495760 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27067] ppid=27061 vsize=15012476 memory=140623897581184 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27067/stat : 27067 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 18273 33554432000 4194304 4196468 140728330669296 140514554584080 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27068] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27068/stat : 27068 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 18273 33554432000 4194304 4196468 140728330669296 140514191551376 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27069] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27069/stat : 27069 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 18273 33554432000 4194304 4196468 140728330669296 140514190498576 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27070] ppid=27061 vsize=15012476 memory=140623897581184 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27070/stat : 27070 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 18273 33554432000 4194304 4196468 140728330669296 140513769855344 140514732264066 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27071] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27071/stat : 27071 (java) S 27061 27061 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 18273 33554432000 4194304 4196468 140728330669296 140513411851296 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27072] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27072/stat : 27072 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 18273 33554432000 4194304 4196468 140728330669296 140513143415664 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27073] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27073/stat : 27073 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 18273 33554432000 4194304 4196468 140728330669296 140512768907088 140514732271515 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27074] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27074/stat : 27074 (java) S 27061 27061 23167 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 18273 33554432000 4194304 4196468 140728330669296 140513768803184 140514732264066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27075] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27075/stat : 27075 (java) S 27061 27061 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 18273 33554432000 4194304 4196468 140728330669296 140513767750384 140514732264066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27076] ppid=27061 vsize=15012476 memory=140623897581184 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27076/stat : 27076 (java) S 27061 27061 23167 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 18273 33554432000 4194304 4196468 140728330669296 140513766697584 140514732264066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27077] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27077/stat : 27077 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 18273 33554432000 4194304 4196468 140728330669296 140512271002336 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27078] ppid=27061 vsize=15012476 memory=140623897581184 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27078/stat : 27078 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 18339 33554432000 4194304 4196468 140728330669296 140513765644976 140514732264066 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74224 KiB

[startup+0.210662 s]*
/proc/loadavg: 2.02 2.03 2.05 3/222 27078
/proc/meminfo: memFree=19495200/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224771103 115843072 349 33554432000 4194304 5098028 140734668916512 140734668913768 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 349 296 221 0 87 0
[pid=27064] ppid=27061 vsize=15012476 memory=85904 CPUtime=0.26 cores=1,3,5,7
/proc/27064/stat : 27064 (java) S 27061 27061 23167 0 -1 1077944320 9829 0 0 0 23 3 0 0 20 0 15 0 224771103 15372775424 21476 33554432000 4194304 4196468 140728330669296 140728330651840 140514732252919 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
/proc/27064/statm: 3753119 21476 2871 1 0 3715579 0
[pid=27064/tid=27065] ppid=27061 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/27064/task/27065/stat : 27065 (java) R 27061 27061 23167 0 -1 4202560 7730 0 0 0 18 2 0 0 20 0 15 0 224771103 15372775424 21476 33554432000 4194304 4196468 140728330669296 140514704079312 140514732264854 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27066] ppid=27061 vsize=15012476 memory=546 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27066/stat : 27066 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 21476 33554432000 4194304 4196468 140728330669296 140514736495760 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27067] ppid=27061 vsize=15012476 memory=140623898780531 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27067/stat : 27067 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 21476 33554432000 4194304 4196468 140728330669296 140514554584080 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27068] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27068/stat : 27068 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 21476 33554432000 4194304 4196468 140728330669296 140514191551376 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27069] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27069/stat : 27069 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 21476 33554432000 4194304 4196468 140728330669296 140514190498576 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27070] ppid=27061 vsize=15012476 memory=140623897581184 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27070/stat : 27070 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 21476 33554432000 4194304 4196468 140728330669296 140513769855344 140514732264066 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27071] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27071/stat : 27071 (java) S 27061 27061 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 21476 33554432000 4194304 4196468 140728330669296 140513411851296 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27072] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27072/stat : 27072 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 21476 33554432000 4194304 4196468 140728330669296 140513143415664 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27073] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27073/stat : 27073 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 21476 33554432000 4194304 4196468 140728330669296 140512768907088 140514732271515 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27074] ppid=27061 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27064/task/27074/stat : 27074 (java) R 27061 27061 23167 0 -1 4202560 454 0 0 0 1 0 0 0 20 0 15 0 224771110 15372775424 21476 33554432000 4194304 4196468 140728330669296 140513768794832 140514732274266 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27075] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27075/stat : 27075 (java) R 27061 27061 23167 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 21476 33554432000 4194304 4196468 140728330669296 140513767750480 140514732263125 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27076] ppid=27061 vsize=15012476 memory=140623897581184 CPUtime=0.03 cores=1,3,5,7
/proc/27064/task/27076/stat : 27076 (java) R 27061 27061 23167 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 224771110 15372775424 21476 33554432000 4194304 4196468 140728330669296 140513766697584 140514732264854 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27077] ppid=27061 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27077/stat : 27077 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 21476 33554432000 4194304 4196468 140728330669296 140512271002336 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27078] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27078/stat : 27078 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 21476 33554432000 4194304 4196468 140728330669296 140513765644976 140514732264066 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87300 KiB

[startup+0.310706 s]*
/proc/loadavg: 2.02 2.03 2.05 3/222 27078
/proc/meminfo: memFree=19492036/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224771103 115843072 349 33554432000 4194304 5098028 140734668916512 140734668913768 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 349 296 221 0 87 0
[pid=27064] ppid=27061 vsize=15012476 memory=89492 CPUtime=0.43 cores=1,3,5,7
/proc/27064/stat : 27064 (java) S 27061 27061 23167 0 -1 1077944320 10390 0 0 0 40 3 0 0 20 0 15 0 224771103 15372775424 22373 33554432000 4194304 4196468 140728330669296 140728330651840 140514732252919 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
/proc/27064/statm: 3753119 22373 2971 1 0 3715579 0
[pid=27064/tid=27065] ppid=27061 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27064/task/27065/stat : 27065 (java) R 27061 27061 23167 0 -1 4202560 8130 0 0 0 27 2 0 0 20 0 15 0 224771103 15372775424 22373 33554432000 4194304 4196468 140728330669296 140514704070656 140514716333406 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27066] ppid=27061 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27066/stat : 27066 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 22373 33554432000 4194304 4196468 140728330669296 140514736495760 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27067] ppid=27061 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27067/stat : 27067 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 22373 33554432000 4194304 4196468 140728330669296 140514554584080 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27068] ppid=27061 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27068/stat : 27068 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 22373 33554432000 4194304 4196468 140728330669296 140514191551376 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27069] ppid=27061 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27069/stat : 27069 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15372775424 22373 33554432000 4194304 4196468 140728330669296 140514190498576 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27070] ppid=27061 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27070/stat : 27070 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 22373 33554432000 4194304 4196468 140728330669296 140513769855344 140514732264066 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27071] ppid=27061 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27071/stat : 27071 (java) S 27061 27061 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 22373 33554432000 4194304 4196468 140728330669296 140513411851296 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27072] ppid=27061 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27072/stat : 27072 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771107 15372775424 22373 33554432000 4194304 4196468 140728330669296 140513143415664 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27073] ppid=27061 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27073/stat : 27073 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 22373 33554432000 4194304 4196468 140728330669296 140512768907088 140514732271515 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27074] ppid=27061 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27064/task/27074/stat : 27074 (java) R 27061 27061 23167 0 -1 4202560 508 0 0 0 2 0 0 0 20 0 15 0 224771110 15372775424 22373 33554432000 4194304 4196468 140728330669296 140513768803184 140514709887568 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27075] ppid=27061 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27064/task/27075/stat : 27075 (java) R 27061 27061 23167 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 224771110 15372775424 22373 33554432000 4194304 4196468 140728330669296 140513767750384 140514732264066 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27076] ppid=27061 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27064/task/27076/stat : 27076 (java) R 27061 27061 23167 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 224771110 15372775424 22373 33554432000 4194304 4196468 140728330669296 140513766697584 140514715621121 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27077] ppid=27061 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27077/stat : 27077 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 22373 33554432000 4194304 4196468 140728330669296 140512271002336 140514732263125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27078] ppid=27061 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27078/stat : 27078 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771110 15372775424 22373 33554432000 4194304 4196468 140728330669296 140513765644976 140514732264066 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90888 KiB

[startup+0.703875 s]
/proc/loadavg: 2.02 2.03 2.05 3/222 27078
/proc/meminfo: memFree=19466976/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224771103 115843072 349 33554432000 4194304 5098028 140734668916512 140734668913768 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 349 296 221 0 87 0
[pid=27064] ppid=27061 vsize=15020872 memory=130108 CPUtime=1.03 cores=1,3,5,7
/proc/27064/stat : 27064 (java) S 27061 27061 23167 0 -1 1077944320 17638 0 0 0 97 6 0 0 20 0 15 0 224771103 15381372928 32527 33554432000 4194304 4196468 140728330669296 140728330651840 140514732252919 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
/proc/27064/statm: 3755218 32527 3167 1 0 3716603 0
[pid=27064/tid=27065] ppid=27061 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/27064/task/27065/stat : 27065 (java) R 27061 27061 23167 0 -1 1077944384 14891 0 0 0 63 4 0 0 20 0 15 0 224771103 15381372928 32527 33554432000 4194304 4196468 140728330669296 140514704089552 140514732263125 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27066] ppid=27061 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27066/stat : 27066 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15381372928 32527 33554432000 4194304 4196468 140728330669296 140514736495760 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27067] ppid=27061 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27067/stat : 27067 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15381372928 32527 33554432000 4194304 4196468 140728330669296 140514554584080 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27068] ppid=27061 vsize=15020872 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27068/stat : 27068 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15381372928 32527 33554432000 4194304 4196468 140728330669296 140514191551376 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27069] ppid=27061 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27069/stat : 27069 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224771105 15381372928 32527 33554432000 4194304 4196468 140728330669296 140514190498576 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27070] ppid=27061 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27070/stat : 27070 (java) S 27061 27061 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224771107 15381372928 32527 33554432000 4194304 4196468 140728330669296 140513769855344 140514732264066 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27071] ppid=27061 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27071/stat : 27071 (java) S 27061 27061 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224771107 15381372928 32527 33554432000 4194304 4196468 140728330669296 140513411851296 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27072] ppid=27061 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27072/stat : 27072 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771107 15381372928 32527 33554432000 4194304 4196468 140728330669296 140513143415664 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27073] ppid=27061 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27073/stat : 27073 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15381372928 32527 33554432000 4194304 4196468 140728330669296 140512768907088 140514732271515 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27074] ppid=27061 vsize=15020872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27064/task/27074/stat : 27074 (java) S 27061 27061 23167 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 15 0 224771110 15381372928 32527 33554432000 4194304 4196468 140728330669296 140513768803184 140514732264066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27075] ppid=27061 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27064/task/27075/stat : 27075 (java) S 27061 27061 23167 0 -1 1077944384 331 0 0 0 9 0 0 0 20 0 15 0 224771110 15381372928 32527 33554432000 4194304 4196468 140728330669296 140513767750384 140514732264066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27076] ppid=27061 vsize=15020872 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/27064/task/27076/stat : 27076 (java) S 27061 27061 23167 0 -1 1077944384 476 0 0 0 17 0 0 0 20 0 15 0 224771110 15381372928 32527 33554432000 4194304 4196468 140728330669296 140513766693344 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27077] ppid=27061 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27077/stat : 27077 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224771110 15381372928 32527 33554432000 4194304 4196468 140728330669296 140512271002336 140514732263125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
[pid=27064/tid=27078] ppid=27061 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27064/task/27078/stat : 27078 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224771110 15381372928 32527 33554432000 4194304 4196468 140728330669296 140513765644976 140514732264066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140728330675207 140728330675505 140728330675505 140728330678223 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131504 KiB

[startup+1.50086 s]
/proc/loadavg: 2.02 2.03 2.05 4/222 27078
/proc/meminfo: memFree=19440072/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224771103 115843072 349 33554432000 4194304 5098028 140734668916512 140734668913768 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 349 296 221 0 87 0

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

[pid=27079] ppid=27061 vsize=8068220 memory=127704 CPUtime=1.55 cores=1,3,5,7
/proc/27079/stat : 27079 (java) S 27061 27061 23167 0 -1 1077944320 19117 0 0 0 143 12 0 0 20 0 19 0 224773439 8261857280 31926 33554432000 4194304 4196468 140722863173296 140722863155840 139826130878199 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
/proc/27079/statm: 2017055 31926 3147 1 0 1978454 0
[pid=27094] ppid=27079 vsize=140484 memory=108312 CPUtime=6.04 cores=1,3,5,7
/proc/27094/stat : 27094 (minisat_release) R 27079 27061 23167 0 -1 4202496 56693 0 0 0 598 6 0 0 20 0 1 0 224773538 143855616 27078 33554432000 4194304 4308513 140733613016384 140733613013336 139901994964012 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31399936 140733613024372 140733613024470 140733613024470 140733613027269 0
/proc/27094/statm: 35121 27078 341 28 0 31361 0
[pid=27079/tid=27080] ppid=27061 vsize=8068220 memory=-7824251494390453867 CPUtime=0.88 cores=1,3,5,7
/proc/27079/task/27080/stat : 27080 (java) S 27061 27061 23167 0 -1 1077944384 15540 0 0 0 77 11 0 0 20 0 19 0 224773440 8261857280 31926 33554432000 4194304 4196468 140722863173296 139826102718352 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27081] ppid=27061 vsize=8068220 memory=61184 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27081/stat : 27081 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139826135120144 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27082] ppid=27061 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27082/stat : 27082 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825615894928 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27083] ppid=27061 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27083/stat : 27083 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825614842384 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27084] ppid=27061 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27084/stat : 27084 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825613789840 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27085] ppid=27061 vsize=8068220 memory=127704 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27085/stat : 27085 (java) S 27061 27061 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224773442 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825443150320 139826130889346 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27086] ppid=27061 vsize=8068220 memory=106260 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27086/stat : 27086 (java) S 27061 27061 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224773443 8261857280 31926 33554432000 4194304 4196468 140722863173296 139824942015904 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27087] ppid=27061 vsize=8068220 memory=-2023959437020729679 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27087/stat : 27087 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224773443 8261857280 31926 33554432000 4194304 4196468 140722863173296 139824673580528 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27088] ppid=27061 vsize=8068220 memory=7667488782352539987 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27088/stat : 27088 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139824299072208 139826130896795 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27089] ppid=27061 vsize=8068220 memory=7524512692651257697 CPUtime=0.23 cores=1,3,5,7
/proc/27079/task/27089/stat : 27089 (java) S 27061 27061 23167 0 -1 1077944384 792 0 0 0 23 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825442097136 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27090] ppid=27061 vsize=8068220 memory=1752 CPUtime=0.17 cores=1,3,5,7
/proc/27079/task/27090/stat : 27090 (java) S 27061 27061 23167 0 -1 1077944384 729 0 0 0 17 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825441044592 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27091] ppid=27061 vsize=8068220 memory=868 CPUtime=0.24 cores=1,3,5,7
/proc/27079/task/27091/stat : 27091 (java) S 27061 27061 23167 0 -1 1077944384 661 0 0 0 24 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825439992048 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27092] ppid=27061 vsize=8068220 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27092/stat : 27092 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823801166432 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27093] ppid=27061 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27093/stat : 27093 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773446 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825438939952 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27095] ppid=27061 vsize=8068220 memory=748 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27095/stat : 27095 (java) S 27061 27061 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224773538 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825431131712 139826130902809 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27097] ppid=27061 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27097/stat : 27097 (java) S 27061 27061 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224773538 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823264280752 139826130900125 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27098] ppid=27061 vsize=8068220 memory=6580 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27098/stat : 27098 (java) S 27061 27061 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224773539 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823130058032 139826130900125 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27099] ppid=27061 vsize=8068220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27099/stat : 27099 (java) S 27061 27061 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224773541 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823398509600 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
Current children cumulated CPU time: 46.48 s
Current children cumulated vsize: 8321832 KiB
Current children cumulated memory: 237488 KiB

[startup+32.001 s]*
/proc/loadavg: 2.20 2.08 2.06 3/227 27099
/proc/meminfo: memFree=19350084/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1472 CPUtime=38.89 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 591 64514 0 0 0 0 3790 99 20 0 1 0 224771103 115843072 368 33554432000 4194304 5098028 140734668916512 140734668913256 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 368 311 221 0 87 0
[pid=27079] ppid=27061 vsize=8068220 memory=127704 CPUtime=1.55 cores=1,3,5,7
/proc/27079/stat : 27079 (java) S 27061 27061 23167 0 -1 1077944320 19117 0 0 0 143 12 0 0 20 0 19 0 224773439 8261857280 31926 33554432000 4194304 4196468 140722863173296 140722863155840 139826130878199 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
/proc/27079/statm: 2017055 31926 3147 1 0 1978454 0
[pid=27094] ppid=27079 vsize=140484 memory=108320 CPUtime=7.65 cores=1,3,5,7
/proc/27094/stat : 27094 (minisat_release) R 27079 27061 23167 0 -1 4202496 70019 0 0 0 758 7 0 0 20 0 1 0 224773538 143855616 27080 33554432000 4194304 4308513 140733613016384 140733613013336 4269570 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31399936 140733613024372 140733613024470 140733613024470 140733613027269 0
/proc/27094/statm: 35121 27080 341 28 0 31361 0
[pid=27079/tid=27080] ppid=27061 vsize=8068220 memory=-7824251494390453867 CPUtime=0.88 cores=1,3,5,7
/proc/27079/task/27080/stat : 27080 (java) S 27061 27061 23167 0 -1 1077944384 15540 0 0 0 77 11 0 0 20 0 19 0 224773440 8261857280 31926 33554432000 4194304 4196468 140722863173296 139826102718352 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27081] ppid=27061 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27081/stat : 27081 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139826135120144 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27082] ppid=27061 vsize=8068220 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27082/stat : 27082 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825615894928 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27083] ppid=27061 vsize=8068220 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27083/stat : 27083 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825614842384 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27084] ppid=27061 vsize=8068220 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27084/stat : 27084 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825613789840 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27085] ppid=27061 vsize=8068220 memory=15768 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27085/stat : 27085 (java) S 27061 27061 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224773442 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825443150320 139826130889346 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27086] ppid=27061 vsize=8068220 memory=34556 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27086/stat : 27086 (java) S 27061 27061 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224773443 8261857280 31926 33554432000 4194304 4196468 140722863173296 139824942015904 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27087] ppid=27061 vsize=8068220 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27087/stat : 27087 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224773443 8261857280 31926 33554432000 4194304 4196468 140722863173296 139824673580528 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27088] ppid=27061 vsize=8068220 memory=496 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27088/stat : 27088 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139824299072208 139826130896795 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27089] ppid=27061 vsize=8068220 memory=924 CPUtime=0.23 cores=1,3,5,7
/proc/27079/task/27089/stat : 27089 (java) S 27061 27061 23167 0 -1 1077944384 792 0 0 0 23 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825442097136 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27090] ppid=27061 vsize=8068220 memory=1168 CPUtime=0.17 cores=1,3,5,7
/proc/27079/task/27090/stat : 27090 (java) S 27061 27061 23167 0 -1 1077944384 729 0 0 0 17 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825441044592 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27091] ppid=27061 vsize=8068220 memory=2336 CPUtime=0.24 cores=1,3,5,7
/proc/27079/task/27091/stat : 27091 (java) S 27061 27061 23167 0 -1 1077944384 661 0 0 0 24 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825439992048 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27092] ppid=27061 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27092/stat : 27092 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224773445 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823801166432 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27093] ppid=27061 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27093/stat : 27093 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773446 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825438939952 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27095] ppid=27061 vsize=8068220 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27095/stat : 27095 (java) S 27061 27061 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224773538 8261857280 31926 33554432000 4194304 4196468 140722863173296 139825431131712 139826130902809 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27097] ppid=27061 vsize=8068220 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27097/stat : 27097 (java) S 27061 27061 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224773538 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823264280752 139826130900125 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27098] ppid=27061 vsize=8068220 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27098/stat : 27098 (java) S 27061 27061 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224773539 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823130058032 139826130900125 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27099] ppid=27061 vsize=8068220 memory=7284 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27099/stat : 27099 (java) S 27061 27061 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224773541 8261857280 31926 33554432000 4194304 4196468 140722863173296 139823398509600 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
Current children cumulated CPU time: 48.09 s
Current children cumulated vsize: 8321832 KiB
Current children cumulated memory: 237496 KiB

[startup+32.8021 s]
/proc/loadavg: 2.20 2.08 2.06 3/227 27099
/proc/meminfo: memFree=19350084/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1472 CPUtime=38.89 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 591 64514 0 0 0 0 3790 99 20 0 1 0 224771103 115843072 368 33554432000 4194304 5098028 140734668916512 140734668913256 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 368 311 221 0 87 0
[pid=27079] ppid=27061 vsize=8068220 memory=138284 CPUtime=1.65 cores=1,3,5,7
/proc/27079/stat : 27079 (java) S 27061 27061 23167 0 -1 1077944320 19762 0 0 0 152 13 0 0 20 0 19 0 224773439 8261857280 34571 33554432000 4194304 4196468 140722863173296 140722863155840 139826130878199 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
/proc/27079/statm: 2017055 34571 3156 1 0 1978454 0
[pid=27094] ppid=27079 vsize=140484 memory=108476 CPUtime=8.44 cores=1,3,5,7
/proc/27094/stat : 27094 (minisat_release) R 27079 27061 23167 0 -1 4202496 71531 0 0 0 837 7 0 0 20 0 1 0 224773538 143855616 27119 33554432000 4194304 4308513 140733613016384 140733613012296 139901989723232 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31399936 140733613024372 140733613024470 140733613024470 140733613027269 0
/proc/27094/statm: 35121 27119 341 28 0 31361 0
[pid=27079/tid=27080] ppid=27061 vsize=8068220 memory=912 CPUtime=0.88 cores=1,3,5,7
/proc/27079/task/27080/stat : 27080 (java) S 27061 27061 23167 0 -1 1077944384 15540 0 0 0 77 11 0 0 20 0 19 0 224773440 8261857280 34571 33554432000 4194304 4196468 140722863173296 139826102718352 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27081] ppid=27061 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27081/stat : 27081 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 34571 33554432000 4194304 4196468 140722863173296 139826135120144 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27082] ppid=27061 vsize=8068220 memory=127704 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27082/stat : 27082 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825615894928 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27083] ppid=27061 vsize=8068220 memory=108400 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27083/stat : 27083 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825614842384 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27084] ppid=27061 vsize=8068220 memory=106260 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27084/stat : 27084 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773441 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825613789840 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27085] ppid=27061 vsize=8068220 memory=127704 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27085/stat : 27085 (java) S 27061 27061 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224773442 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825443150320 139826130889346 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27086] ppid=27061 vsize=8068220 memory=92144 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27086/stat : 27086 (java) S 27061 27061 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224773443 8261857280 34571 33554432000 4194304 4196468 140722863173296 139824942015904 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27087] ppid=27061 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27087/stat : 27087 (java) S 27061 27061 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224773443 8261857280 34571 33554432000 4194304 4196468 140722863173296 139824673580528 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27088] ppid=27061 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27088/stat : 27088 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224773445 8261857280 34571 33554432000 4194304 4196468 140722863173296 139824299072208 139826130896795 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27089] ppid=27061 vsize=8068220 memory=1472 CPUtime=0.27 cores=1,3,5,7
/proc/27079/task/27089/stat : 27089 (java) R 27061 27061 23167 0 -1 4202560 942 0 0 0 27 0 0 0 20 0 19 0 224773445 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825442087408 139826110124440 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27090] ppid=27061 vsize=8068220 memory=127704 CPUtime=0.19 cores=1,3,5,7
/proc/27079/task/27090/stat : 27090 (java) S 27061 27061 23167 0 -1 1077944384 736 0 0 0 19 0 0 0 20 0 19 0 224773445 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825441044592 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27091] ppid=27061 vsize=8068220 memory=108320 CPUtime=0.25 cores=1,3,5,7
/proc/27079/task/27091/stat : 27091 (java) S 27061 27061 23167 0 -1 1077944384 1140 0 0 0 25 0 0 0 20 0 19 0 224773445 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825439992048 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27092] ppid=27061 vsize=8068220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27092/stat : 27092 (java) S 27061 27061 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224773445 8261857280 34571 33554432000 4194304 4196468 140722863173296 139823801166432 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27093] ppid=27061 vsize=8068220 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27093/stat : 27093 (java) S 27061 27061 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224773446 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825438939952 139826130889346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27095] ppid=27061 vsize=8068220 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27095/stat : 27095 (java) S 27061 27061 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224773538 8261857280 34571 33554432000 4194304 4196468 140722863173296 139825431131712 139826130902809 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27097] ppid=27061 vsize=8068220 memory=12668 CPUtime=0.02 cores=1,3,5,7
/proc/27079/task/27097/stat : 27097 (java) S 27061 27061 23167 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 224773538 8261857280 34571 33554432000 4194304 4196468 140722863173296 139823264280768 139826130900125 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27098] ppid=27061 vsize=8068220 memory=-7824251494390453867 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27098/stat : 27098 (java) S 27061 27061 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224773539 8261857280 34571 33554432000 4194304 4196468 140722863173296 139823130058032 139826130900125 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
[pid=27079/tid=27099] ppid=27061 vsize=8068220 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/27079/task/27099/stat : 27099 (java) S 27061 27061 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224773541 8261857280 34571 33554432000 4194304 4196468 140722863173296 139823398509600 139826130888405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140722863174837 140722863174961 140722863174961 140722863177679 0
Current children cumulated CPU time: 48.98 s
Current children cumulated vsize: 8321832 KiB
Current children cumulated memory: 248232 KiB

[startup+33.0055 s]*
/proc/loadavg: 2.20 2.08 2.06 5/224 27099
/proc/meminfo: memFree=19413808/32770624 swapFree=67108688/67108860
[pid=27061] ppid=27058 vsize=113128 memory=1472 CPUtime=38.89 cores=1,3,5,7
/proc/27061/stat : 27061 (scop.sh) S 27058 27061 23167 0 -1 4202496 591 64514 0 0 0 0 3790 99 20 0 1 0 224771103 115843072 368 33554432000 4194304 5098028 140734668916512 140734668913256 140667330077308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38977536 140734668923969 140734668924167 140734668924167 140734668926925 0
/proc/27061/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 38.89 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 33.0218
CPU time (s): 49.4813
CPU user time (s): 48.2536
CPU system time (s): 1.22773
CPU usage (%): 149.844
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3303152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.2536
system time used= 1.22772
maximum resident set size= 3302052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8259
involuntary context switches= 161


# summary of solver processes directly reported to runsolver:
#   pid: 27061
#   total CPU time (s): 49.4813
#   total CPU user time (s): 48.2536
#   total CPU system time (s): 1.22773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.214459 second user time and 0.411685 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 13:08:02
IDJOB=4305545
IDBENCH=141330
IDSOLVER=2783
FILE ID=node106/4305545-1534072082
RUNJOBID= node106-1534060601-23199
PBS_JOBID= 21036975
Free space on /tmp= 39552 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Bibd/Bibd-sum-10-03-08_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-4305545-1534072082/watcher-4305545-1534072082 -o /tmp/evaluation-result-4305545-1534072082/solver-4305545-1534072082 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305545-1534072082.xml

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

MD5SUM BENCH= 6905926ecf5563edf040969d33d8e2ad
RANDOM SEED=1639191368

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:        19570240 kB
MemAvailable:   30866880 kB
Buffers:          127520 kB
Cached:         11316180 kB
SwapCached:            0 kB
Active:          6685992 kB
Inactive:        5848768 kB
Active(anon):    1038132 kB
Inactive(anon):   105404 kB
Active(file):    5647860 kB
Inactive(file):  5743364 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              7844 kB
Writeback:             0 kB
AnonPages:       1098260 kB
Mapped:            63660 kB
Shmem:             49632 kB
Slab:             362404 kB
SReclaimable:     333876 kB
SUnreclaim:        28528 kB
KernelStack:        3632 kB
PageTables:         7880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6566968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    507904 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= 39544 MiB
End job on node106 at 2018-08-12 13:08:36