Trace number 4305755

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 52.5082 35.6017

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06d_c18.xml
MD5SUM71f002b78114a95e8a0fa642f39b0e56
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.06246
Satisfiable
(Un)Satisfiability was proved
Number of variables1176
Number of constraints701
Number of domains3
Minimum domain size7
Maximum domain size42
Distribution of domain sizes[{"size":7,"count":294},{"size":8,"count":294},{"size":42,"count":588}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":588},{"degree":3,"count":294},{"degree":4,"count":259},{"degree":5,"count":35}]
Minimum constraint arity2
Maximum constraint arity294
Distribution of constraint arities[{"arity":2,"count":588},{"arity":5,"count":7},{"arity":7,"count":84},{"arity":42,"count":14},{"arity":84,"count":7},{"arity":294,"count":1}]
Number of extensional constraints588
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":588},{"type":"allDifferent","count":98},{"type":"ordered","count":7},{"type":"lex","count":1},{"type":"channel","count":7}]
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-22836-serial-file.bin HOME/instance-4305755-1534075187.xml
0.54/0.52	
0.67/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:59:48 CEST 2018
0.67/0.54	c PID: 22839
0.67/0.54	c IP: 172.20.3.135
0.67/0.54	c HOST: node135.alineos.net
0.67/0.55	c (0,0) Parsing Begin
3.08/1.36	c (0,0) Parsing End
3.08/1.37	c (0,0) CSP: 1176 int (0 aux), 0 bool (0 aux), 701 ctr, max domain size 42
3.08/1.37	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.08/1.37	c (0,0) Constraint Name Generate Begin
3.08/1.39	c (0,0) Ctr:HOME/instance-4305755-1534075187.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.08/1.39	c (0,0) Constraint Name Generate End
3.08/1.39	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.08/1.39	c (0,0) CSP to CSPinCNF Begin
5.68/2.21	c (1,1) translated 71 (10%) constraints
10.63/4.49	c (3,3) translated 141 (20%) constraints
11.63/4.72	c (4,4) translated 211 (30%) constraints
12.25/4.92	c (4,4) translated 281 (40%) constraints
12.59/5.09	c (4,4) translated 351 (50%) constraints
13.19/5.26	c (4,4) translated 421 (60%) constraints
13.79/5.43	c (4,4) translated 491 (70%) constraints
14.10/5.59	c (5,5) translated 561 (80%) constraints
14.70/5.74	c (5,5) translated 631 (90%) constraints
15.03/5.89	c (5,5) translated 701 (100%) constraints
16.47/6.39	c (5,5) STATISTICS1:HOME/instance-4305755-1534075187.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6031,56774,42,42,42,2,42:11561;41:324;40:298;39:305;38:625;8:882;7:882,42:86359;41:1271;40:1121;39:1121;38:2210;8:6468;7:5880;2:22209,42:28;9:294;8:294;7:168;4:445;3:31211;2:24259;1:75,2:14877;1:121581;0:588,
16.47/6.39	c (5,5) ==========================================
16.47/6.39	c (5,5) Both Encoding selects:
16.47/6.39	c (5,5) Order
16.47/6.39	c (5,5) ==========================================
17.29/6.64	c (6,6) translated 5678 (10%) constraints
17.82/6.84	c (6,6) translated 11355 (20%) constraints
18.86/7.20	c (6,6) translated 17033 (30%) constraints
19.38/7.64	c (7,7) translated 22710 (40%) constraints
19.80/8.06	c (7,7) translated 28387 (50%) constraints
20.30/8.50	c (7,7) translated 34065 (60%) constraints
20.63/8.88	c (8,8) translated 39742 (70%) constraints
21.18/9.07	c (8,8) translated 45420 (80%) constraints
21.47/9.18	c (8,8) translated 51097 (90%) constraints
21.65/9.27	c (8,8) translated 56774 (100%) constraints
21.65/9.27	c (8,8) CSP to CSPinCNF End
21.65/9.28	c (8,8) CSP: 1176 int (0 aux), 29551 bool (29551 aux), 106166 ctr, max domain size 42
21.65/9.28	c (8,8) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
21.65/9.28	c (8,8) CSPinCNF Propagation Begin
23.54/10.03	c (9,9) 262 values, 2426 unsatisfiable literals, and 1752 valid clauses are removed
23.54/10.03	c (9,9) CSPinCNF Propagation End
23.54/10.03	c (9,9) CSP: 1368 int (192 aux), 29359 bool (29359 aux), 104414 ctr, max domain size 42
23.54/10.03	c (9,9) Heap : 455 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.54/10.03	c (9,9) Simplify CSPinCNF Begin
24.38/10.67	c (10,9) Simplify CSPinCNF End
24.38/10.69	c (10,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
24.38/10.69	c (10,9) Heap : 783 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.38/10.69	c (10,9) Calculate Precise Domain Begin
24.38/10.69	c (10,9) 0 values are removed by re-calculation
24.38/10.69	c (10,9) Calculate Precise Domain End
24.66/10.71	c (10,10) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
24.66/10.71	c (10,10) Heap : 783 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.66/10.71	c (10,10) CSPinCNF to SatSolver Begin
26.85/11.92	c (11,11) 13259 (10 %) CSP clauses are encoded (85272 SAT variables, 394862 SAT clauses)
27.80/12.83	c (12,12) 26518 (20 %) CSP clauses are encoded (85272 SAT variables, 764389 SAT clauses)
29.16/13.71	c (13,12) 39777 (30 %) CSP clauses are encoded (85272 SAT variables, 1053907 SAT clauses)
29.16/13.79	c (13,12) 53036 (40 %) CSP clauses are encoded (85272 SAT variables, 1075643 SAT clauses)
29.26/13.84	c (13,12) 66295 (50 %) CSP clauses are encoded (85272 SAT variables, 1088902 SAT clauses)
29.36/13.90	c (13,13) 79554 (60 %) CSP clauses are encoded (85272 SAT variables, 1102161 SAT clauses)
29.41/14.21	c (13,13) 92813 (70 %) CSP clauses are encoded (85272 SAT variables, 1115420 SAT clauses)
29.41/14.26	c (13,13) 106072 (80 %) CSP clauses are encoded (85272 SAT variables, 1128679 SAT clauses)
29.61/14.43	c (13,13) 119331 (90 %) CSP clauses are encoded (85272 SAT variables, 1184304 SAT clauses)
29.61/14.49	c (13,13) 132589 (100 %) CSP clauses are encoded (85272 SAT variables, 1197562 SAT clauses)
29.61/14.49	c (13,13) Launch Command will be: minisat_release
29.61/14.49	c (13,13) CSPinCNF to SatSolver End
29.61/14.49	c (13,13) Heap : 1007 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
30.45/14.89	c (14,13) STATISTICS2:HOME/instance-4305755-1534075187.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,58902,132589,42,42,42,2,42:19934;41:606;40:1165;39:1124;38:2338;8:1764;7:1764,42:145153;41:2169;40:4035;39:3711;38:7308;8:8232;7:7644;2:151335,42:7;38:20;36:1;8:294;7:462;4:445;3:29791;2:101494;1:75,2:28695;1:272197,
30.45/14.89	c (14,13) 85272 bool, 1197563 clause
30.45/14.89	c (14,13) Export Begin
30.81/15.05	c (14,13) Export to HOME/scop-22836-serial-file.bin
30.81/15.05	c (14,13) Export End
30.81/15.05	c (14,13) Export File Size: 0.23 MB
30.81/15.05	c (14,13) 0,0,8,9,10,10,13,STOP-AFTER(DIMACS)
30.81/15.05	c END-Prog: Sun Aug 12 14:00:02 CEST 2018
30.81/15.08	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22836-serial-file.bin
30.96/15.58	c (0,0) Read Serial File Begin
30.96/15.58	c (0,0) HOME/scop-22836-serial-file.bin
30.96/15.83	c (0,0) Read Serial File End
30.96/15.84	
30.96/15.84	scop order+minisat_release (2018-07-31)
30.96/15.84	(Solving Process)
30.96/15.84	
30.96/15.86	c BEGIN-Prog: Sun Aug 12 14:00:03 CEST 2018
30.96/15.86	c PID: 22861
30.96/15.86	c IP: 172.20.3.135
30.96/15.86	c HOST: node135.alineos.net
30.96/15.87	c (0,0) SatSolver.solve Begin
30.96/15.87	c (0,0) 0 bool, 0 clause
30.96/15.87	c (0,0) minisat_release HOME/instance-4305755-1534075187.xml-scop-22839.cnf
51.81/35.36	c (19,0) c This is COMiniSatPS.
51.81/35.36	c (19,0) c WARNING: for repeatability, setting FPU to use double precision
51.81/35.36	c (19,0) c ============================[ Problem Statistics ]=============================
51.81/35.36	c (19,0) c |                                                                             |
51.81/35.36	c (19,0) c |  Number of variables:         85272                                         |
51.81/35.36	c (19,0) c |  Number of clauses:         1196638                                         |
51.81/35.36	c (19,0) c |  Parse time:                   0.34 s                                       |
51.81/35.36	c (19,0) c |  Eliminated clauses:           0.93 Mb                                      |
51.81/35.36	c (19,0) c Reduced to 40934 vars, 1097263 cls (grow=0)
51.81/35.36	c (19,0) c No iterative elimination performed. (vars=40934, c/v ratio=26.8)
51.81/35.36	c (19,0) c |  Simplification time:          1.43 s                                       |
51.81/35.36	c (19,0) c |                                                                             |
51.81/35.36	c (19,0) c ============================[ Search Statistics ]==============================
51.81/35.36	c (19,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.81/35.36	c (19,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
51.81/35.36	c (19,0) c ===============================================================================
51.81/35.36	c (19,0) c ===============================================================================
51.81/35.36	c (19,0) c restarts              : 205
51.81/35.36	c (19,0) c conflicts             : 49472          (2554 /sec)
51.81/35.36	c (19,0) c decisions             : 901561         (0.00 % random) (46544 /sec)
51.81/35.36	c (19,0) c propagations          : 50302658       (2596907 /sec)
51.81/35.36	c (19,0) c conflict literals     : 577205         (6.13 % deleted)
51.81/35.36	c (19,0) c CPU time              : 19.3702 s
51.81/35.36	c (19,0) 
51.81/35.36	c (19,0) s SATISFIABLE
51.98/35.45	c (19,0) SatSolver.solve End
51.98/35.45	c (19,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
51.98/35.45	c (19,0) Show results Begin
52.19/35.55	s SATISFIABLE
52.19/35.58	v <instantiation>
52.19/35.58	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6]</list>
52.19/35.58	v     <values>0 8 16 18 24 34 38 1 28 11 13 31 36 20 2 39 15 35 29 9 19 3 33 22 14 26 10 37 4 40 23 32 12 6 27 5 12 19 31 10 39 28 6 17 25 4 22 30 40 7 41 24 3 14 35 23 8 32 2 21 36 16 26 9 18 33 29 15 41 1 10 23 36 17 32 26 3 11 16 30 20 25 40 5 12 35 21 37 28 4 7 13 19 27 0 6 31 39 14 38 8 2 34 24 22 15 9 32 28 1 20 36 16 22 34 24 40 5 11 17 4 10 38 33 21 29 18 14 35 27 37 8 2 19 13 7 41 30 0 25 20 11 29 16 3 38 35 21 1 41 26 8 32 14 22 31 12 36 5 27 6 23 30 17 39 9 28 4 24 7 18 33 0 37 15 25 34 40 19 13 2 10 26 15 31 1 39 11 18 27 37 20 8 35 3 17 28 36 9 34 2 23 13 29 0 6 12 41 33 21 30 5 38 22 7 25 16 31 10 39 23 4 29 12 32 3 26 15 38 18 8 33 20 14 40 27 7 0 34 6 37 5 17 22 24 35 2 13 25 11 19 41 36 21 28 30 16 1 9 37 24 0 6 18 12 30 38 25 1 7 19 13 31 39 26 3 9 20 14 32 40 27 4 10 21 15 33 41 29 5 11 23 17 34 0 29 37 13 24 19 33 1 21 38 26 15 36 9 2 35 8 14 28 25 18 3 32 39 7 20 27 10 4 17 40 6 31 12 23 5 30 41 34 22 16 11 6 34 29 37 13 4 22 7 24 19 38 30 33 12 8 0 14 27 21 18 32 9 15 28 39 23 2 36 10 31 17 40 5 3 25 11 20 1 41 35 26 16 12 5 22 29 4 37 31 13 19 35 1 25 38 28 14 18 33 3 7 39 21 15 26 2 32 9 40 24 16 11 0 20 36 8 30 17 6 23 10 34 41 27 18 9 24 0 37 32 26 19 13 5 25 38 35 2 20 33 27 11 39 15 1 21 36 12 8 40 17 29 22 16 3 30 6 34 14 23 10 4 31 41 28 7 24 37 7 16 0 14 34 25 38 6 35 11 30 19 26 39 32 21 3 10 8 27 40 13 18 33 22 4 28 1 36 15 12 23 5 29 41 20 9 2 31 17 30 23 11 36 19 6 37 31 22 26 5 1 13 38 32 8 15 4 10 21 39 33 3 9 24 17 29 40 34 25 16 28 14 0 41 35 12 18 2 27 7 20 36 28 10 22 8 1 15 37 27 34 12 18 24 3 38 14 30 17 32 20 0 39 2 31 23 26 5 13 40 4 25 33 16 11 6 41 7 21 19 29 9 35 0 1 2 3 4 5 6 0 4 1 2 5 6 3 0 6 2 5 4 1 3 0 5 3 2 4 1 6 0 6 3 5 2 1 4 0 2 3 5 1 6 4 1 2 4 0 3 5 6 1 6 4 0 2 5 3 1 5 0 3 6 2 4 1 3 5 4 2 6 0 1 3 6 2 5 4 0 1 2 5 3 4 6 0 2 5 3 6 4 0 1 2 3 4 0 1 5 6 2 6 1 0 5 4 3 2 1 5 4 0 3 6 2 3 5 4 6 0 1 2 0 1 6 5 3 4 3 2 5 4 6 1 0 3 2 1 6 5 0 4 3 1 4 2 0 6 5 3 0 6 4 1 5 2 3 5 2 6 0 4 1 3 5 2 6 1 4 0 4 1 3 5 0 6 2 4 5 6 3 2 0 1 4 2 5 0 6 1 3 4 6 3 1 5 0 2 4 6 1 5 0 3 2 4 0 1 2 6 5 3 5 0 6 3 1 4 2 5 1 6 3 0 4 2 5 0 4 2 6 3 1 5 3 2 6 4 1 0 5 1 6 0 2 3 4 5 0 2 4 1 3 6 6 3 4 5 2 0 1 6 4 0 1 3 2 5 6 4 0 1 3 2 5 6 4 0 1 3 2 5 6 4 0 1 3 2 5 6 4 0 1 3 2 5 0 5 7 2 4 3 6 0 4 7 5 3 6 2 0 6 1 2 5 4 3 0 6 7 1 4 5 2 0 3 7 1 6 2 4 1 5 7 6 4 3 2 1 6 5 7 2 0 4 1 4 3 7 5 6 2 1 0 2 5 4 3 6 2 3 5 7 4 0 6 2 6 3 7 1 0 4 2 4 0 7 6 5 3 2 1 4 5 0 7 6 2 3 6 0 4 7 5 2 3 6 0 1 7 4 3 5 0 6 2 7 4 3 2 0 4 6 1 5 3 1 4 2 6 7 5 3 2 4 0 7 6 5 3 2 1 4 7 6 0 4 6 5 2 7 3 0 4 6 2 1 7 3 5 4 3 0 5 1 6 2 4 2 0 6 7 5 1 4 7 1 3 0 2 6 4 7 1 6 2 5 3 5 7 6 4 0 2 1 5 7 2 3 6 4 0 5 0 6 3 2 4 1 5 7 4 2 0 6 3 5 4 2 6 3 1 7 6 4 5 1 0 2 7 6 1 3 0 2 4 7 6 0 2 4 3 5 7 6 4 3 5 2 0 7 6 2 3 0 5 1 4 6 5 2 4 1 0 3 7 5 6 2 3 4 0 7 2 5 3 6 4 0 7 0 6 4 5 1 2 7 0 4 6 3 2 1 7 1 4 3 5 2 6</values>
52.19/35.58	v </instantiation>
52.19/35.58	c (20,0) Show results End
52.19/35.58	c (20,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
52.19/35.58	c (20,0) 19,20,STOP-AFTER(ALL)
52.19/35.58	c END-Prog: Sun Aug 12 14:00:23 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 (6946 MiB free)
  memory of node 1: 16384 MiB (4574 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305755-1534075187/watcher-4305755-1534075187 -o /tmp/evaluation-result-4305755-1534075187/solver-4305755-1534075187 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305755-1534075187.xml 

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

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

solver pid=22836, runsolver pid=22833

[startup+0.100189 s]*
/proc/loadavg: 2.39 2.13 2.08 3/226 22853
/proc/meminfo: memFree=11737028/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225081894 115843072 349 33554432000 4194304 5098028 140723482015072 140723482012328 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 349 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15012476 memory=72476 CPUtime=0.11 cores=0,2,4,6
/proc/22839/stat : 22839 (java) S 22836 22836 19383 0 -1 1077944320 6717 0 0 0 10 1 0 0 20 0 15 0 225081894 15372775424 18053 33554432000 4194304 4196468 140736312279072 140736312261616 139919088463607 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
/proc/22839/statm: 3753119 18053 2769 1 0 3715579 0
[pid=22839/tid=22840] ppid=22836 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 19383 0 -1 4202560 4832 0 0 0 8 1 0 0 20 0 15 0 225081895 15372775424 18119 33554432000 4194304 4196468 140736312279072 139919060275592 139919068739314 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22841] ppid=22836 vsize=15012476 memory=3472468737305790128 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 18119 33554432000 4194304 4196468 140736312279072 139919092705552 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22842] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 18119 33554432000 4194304 4196468 140736312279072 139918906861968 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22843] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 18119 33554432000 4194304 4196468 140736312279072 139918905809424 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22844] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 18119 33554432000 4194304 4196468 140736312279072 139918904756880 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22845] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081898 15372775424 18119 33554432000 4194304 4196468 140736312279072 139918126123504 139919088474754 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22846] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081898 15372775424 18185 33554432000 4194304 4196468 140736312279072 139917619357088 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22847] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081899 15372775424 18185 33554432000 4194304 4196468 140736312279072 139917350921712 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22848] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 18185 33554432000 4194304 4196468 140736312279072 139916976413392 139919088482203 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22849] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22849/stat : 22849 (java) S 22836 22836 19383 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 18185 33554432000 4194304 4196468 140736312279072 139918125070320 139919088474754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22850] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22850/stat : 22850 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 18185 33554432000 4194304 4196468 140736312279072 139918124017776 139919088474754 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22851] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0.01 cores=0,2,4,6
/proc/22839/task/22851/stat : 22851 (java) S 22836 22836 19383 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 225081901 15372775424 18185 33554432000 4194304 4196468 140736312279072 139918122965232 139919088474754 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22852] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 18185 33554432000 4194304 4196468 140736312279072 139916478507616 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22853] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 18185 33554432000 4194304 4196468 140736312279072 139918121913136 139919088474754 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73872 KiB

[startup+0.211035 s]*
/proc/loadavg: 2.39 2.13 2.08 4/226 22853
/proc/meminfo: memFree=11723324/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225081894 115843072 349 33554432000 4194304 5098028 140723482015072 140723482012328 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 349 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15012476 memory=85484 CPUtime=0.25 cores=0,2,4,6
/proc/22839/stat : 22839 (java) S 22836 22836 19383 0 -1 1077944320 10277 0 0 0 23 2 0 0 20 0 15 0 225081894 15372775424 21371 33554432000 4194304 4196468 140736312279072 140736312261616 139919088463607 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
/proc/22839/statm: 3753119 21371 2902 1 0 3715579 0
[pid=22839/tid=22840] ppid=22836 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 19383 0 -1 4202560 8164 0 0 0 18 2 0 0 20 0 15 0 225081895 15372775424 21371 33554432000 4194304 4196468 140736312279072 139919060290000 139919088475542 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22841] ppid=22836 vsize=15012476 memory=3472468737305790128 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 21371 33554432000 4194304 4196468 140736312279072 139919092705552 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22842] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918906861968 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22843] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918905809424 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22844] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918904756880 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22845] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081898 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918126123504 139919088474754 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22846] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081898 15372775424 21371 33554432000 4194304 4196468 140736312279072 139917619357088 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22847] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081899 15372775424 21371 33554432000 4194304 4196468 140736312279072 139917350921712 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22848] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 21371 33554432000 4194304 4196468 140736312279072 139916976413392 139919088482203 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22849] ppid=22836 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22839/task/22849/stat : 22849 (java) S 22836 22836 19383 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 225081901 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918125070320 139919088474754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22850] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22850/stat : 22850 (java) R 22836 22836 19383 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918124017776 139919088474754 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22851] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0.03 cores=0,2,4,6
/proc/22839/task/22851/stat : 22851 (java) R 22836 22836 19383 0 -1 4202560 301 0 0 0 3 0 0 0 20 0 15 0 225081901 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918122965232 139919068434792 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22852] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 21371 33554432000 4194304 4196468 140736312279072 139916478507616 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22853] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 21371 33554432000 4194304 4196468 140736312279072 139918121913136 139919088474754 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86880 KiB

[startup+0.310971 s]*
/proc/loadavg: 2.39 2.13 2.08 3/226 22853
/proc/meminfo: memFree=11719772/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225081894 115843072 349 33554432000 4194304 5098028 140723482015072 140723482012328 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 349 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15012476 memory=89632 CPUtime=0.43 cores=0,2,4,6
/proc/22839/stat : 22839 (java) S 22836 22836 19383 0 -1 1077944320 10900 0 0 0 40 3 0 0 20 0 15 0 225081894 15372775424 22408 33554432000 4194304 4196468 140736312279072 140736312261616 139919088463607 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
/proc/22839/statm: 3753119 22408 2972 1 0 3715579 0
[pid=22839/tid=22840] ppid=22836 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 19383 0 -1 4202560 8603 0 0 0 27 2 0 0 20 0 15 0 225081895 15372775424 22408 33554432000 4194304 4196468 140736312279072 139919060258608 139919072987328 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22841] ppid=22836 vsize=15012476 memory=3472468737305790128 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 22408 33554432000 4194304 4196468 140736312279072 139919092705552 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22842] ppid=22836 vsize=15012476 memory=280882012511104 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918906861968 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22843] ppid=22836 vsize=15012476 memory=280881868834848 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918905809424 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22844] ppid=22836 vsize=15012476 memory=140440934401295 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918904756880 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22845] ppid=22836 vsize=15012476 memory=280882012518016 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081898 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918126123504 139919088474754 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22846] ppid=22836 vsize=15012476 memory=140440934405903 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081898 15372775424 22408 33554432000 4194304 4196468 140736312279072 139917619357088 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22847] ppid=22836 vsize=15012476 memory=140440934430630 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081899 15372775424 22408 33554432000 4194304 4196468 140736312279072 139917350921712 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22848] ppid=22836 vsize=15012476 memory=280881868844064 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 22408 33554432000 4194304 4196468 140736312279072 139916976413392 139919088482203 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22849] ppid=22836 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22839/task/22849/stat : 22849 (java) R 22836 22836 19383 0 -1 4202560 378 0 0 0 2 0 0 0 20 0 15 0 225081901 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918125070320 139919067639808 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22850] ppid=22836 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22839/task/22850/stat : 22850 (java) R 22836 22836 19383 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 225081901 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918124017776 139919088474754 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22851] ppid=22836 vsize=15012476 memory=140441078109824 CPUtime=0.07 cores=0,2,4,6
/proc/22839/task/22851/stat : 22851 (java) R 22836 22836 19383 0 -1 4202560 340 0 0 0 7 0 0 0 20 0 15 0 225081901 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918122965232 139919073831744 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22852] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 22408 33554432000 4194304 4196468 140736312279072 139916478507616 139919088473813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22853] ppid=22836 vsize=15012476 memory=140441078111220 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081901 15372775424 22408 33554432000 4194304 4196468 140736312279072 139918121913136 139919088474754 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91028 KiB

[startup+0.705399 s]
/proc/loadavg: 2.39 2.13 2.08 3/226 22853
/proc/meminfo: memFree=11695092/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225081894 115843072 349 33554432000 4194304 5098028 140723482015072 140723482012328 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 349 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15020872 memory=132084 CPUtime=1.05 cores=0,2,4,6
/proc/22839/stat : 22839 (java) S 22836 22836 19383 0 -1 1077944320 18087 0 0 0 100 5 0 0 20 0 15 0 225081894 15381372928 33021 33554432000 4194304 4196468 140736312279072 140736312261616 139919088463607 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
/proc/22839/statm: 3755218 33021 3145 1 0 3716603 0
[pid=22839/tid=22840] ppid=22836 vsize=15020872 memory=57 CPUtime=0.68 cores=0,2,4,6
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 19383 0 -1 4202560 15204 0 0 0 64 4 0 0 20 0 15 0 225081895 15381372928 33021 33554432000 4194304 4196468 140736312279072 139919060295504 139919072544094 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22841] ppid=22836 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15381372928 33021 33554432000 4194304 4196468 140736312279072 139919092705552 139919088473813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22842] ppid=22836 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081896 15381372928 33021 33554432000 4194304 4196468 140736312279072 139918906861968 139919088473813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22843] ppid=22836 vsize=15020872 memory=7518566443438921570 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15381372928 33021 33554432000 4194304 4196468 140736312279072 139918905809424 139919088473813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22844] ppid=22836 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225081896 15381372928 33021 33554432000 4194304 4196468 140736312279072 139918904756880 139919088473813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22845] ppid=22836 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225081898 15381372928 33021 33554432000 4194304 4196468 140736312279072 139918126123504 139919088474754 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22846] ppid=22836 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225081898 15381372928 33021 33554432000 4194304 4196468 140736312279072 139917619357088 139919088473813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22847] ppid=22836 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081899 15381372928 33021 33554432000 4194304 4196468 140736312279072 139917350921712 139919088473813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22848] ppid=22836 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15381372928 33021 33554432000 4194304 4196468 140736312279072 139916976413392 139919088482203 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22849] ppid=22836 vsize=15020872 memory=12144 CPUtime=0.08 cores=0,2,4,6
/proc/22839/task/22849/stat : 22849 (java) S 22836 22836 19383 0 -1 1077944384 562 0 0 0 8 0 0 0 20 0 15 0 225081901 15381372928 33021 33554432000 4194304 4196468 140736312279072 139918125070320 139919088474754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22850] ppid=22836 vsize=15020872 memory=1712 CPUtime=0.1 cores=0,2,4,6
/proc/22839/task/22850/stat : 22850 (java) R 22836 22836 19383 0 -1 4202560 531 0 0 0 10 0 0 0 20 0 15 0 225081901 15381372928 33087 33554432000 4194304 4196468 140736312279072 139918123998888 139919069163904 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22851] ppid=22836 vsize=15020872 memory=8812 CPUtime=0.17 cores=0,2,4,6
/proc/22839/task/22851/stat : 22851 (java) S 22836 22836 19383 0 -1 1077944384 521 0 0 0 17 0 0 0 20 0 15 0 225081901 15381372928 33087 33554432000 4194304 4196468 140736312279072 139918122965232 139919088474754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22852] ppid=22836 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225081901 15381372928 33087 33554432000 4194304 4196468 140736312279072 139916478507616 139919088473813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
[pid=22839/tid=22853] ppid=22836 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225081901 15381372928 33087 33554432000 4194304 4196468 140736312279072 139918121913136 139919088474754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35508224 140736312284167 140736312284465 140736312284465 140736312287183 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133480 KiB

[startup+1.50356 s]
/proc/loadavg: 2.39 2.13 2.08 5/226 22853
/proc/meminfo: memFree=11636480/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225081894 115843072 349 33554432000 4194304 5098028 140723482015072 140723482012328 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 349 296 221 0 87 0

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

[pid=22861] ppid=22836 vsize=8068220 memory=120568 CPUtime=1.45 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22836 22836 19383 0 -1 1077944320 19404 0 0 0 134 11 0 0 20 0 19 0 225083403 8261857280 30142 33554432000 4194304 4196468 140737334966480 140737334949024 140489689419511 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
/proc/22861/statm: 2017055 30142 3158 1 0 1978454 0
[pid=22876] ppid=22861 vsize=141124 memory=115024 CPUtime=17.7 cores=0,2,4,6
/proc/22876/stat : 22876 (minisat_release) R 22861 22836 19383 0 -1 4202496 96045 0 0 0 1761 9 0 0 20 0 1 0 225083483 144510976 28756 33554432000 4194304 4308513 140729132172560 140729132170184 4276008 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34185216 140729132180596 140729132180694 140729132180694 140729132183493 0
/proc/22876/statm: 35281 28756 342 28 0 31521 0
[pid=22861/tid=22862] ppid=22836 vsize=8068220 memory=120568 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22862/stat : 22862 (java) S 22836 22836 19383 0 -1 1077944384 15652 0 0 0 75 8 0 0 20 0 19 0 225083403 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489661259664 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22863] ppid=22836 vsize=8068220 memory=-7824251494390978403 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489693661712 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22864] ppid=22836 vsize=8068220 memory=120568 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489522756240 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22865] ppid=22836 vsize=8068220 memory=115024 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489173403920 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22866] ppid=22836 vsize=8068220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489172351376 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22867] ppid=22836 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22836 22836 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489001577200 140489689430658 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22868] ppid=22836 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22836 22836 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488380245664 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22869] ppid=22836 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22836 22836 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488246023408 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22870] ppid=22836 vsize=8068220 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140487871519184 140489689438107 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22871] ppid=22836 vsize=8068220 memory=4486604260213485459 CPUtime=0.15 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22836 22836 19383 0 -1 1077944384 922 0 0 0 15 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489000524016 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22872] ppid=22836 vsize=8068220 memory=-7824251494390978403 CPUtime=0.18 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22836 22836 19383 0 -1 1077944384 581 0 0 0 18 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488999471472 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22873] ppid=22836 vsize=8068220 memory=213 CPUtime=0.22 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22836 22836 19383 0 -1 1077944384 817 0 0 0 22 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488998418416 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22874] ppid=22836 vsize=8068220 memory=115024 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140487373613408 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22875] ppid=22836 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488997366832 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22877] ppid=22836 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22836 22836 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225083483 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488989558592 140489689444121 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22879] ppid=22836 vsize=8068220 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22836 22836 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225083484 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486836727728 140489689441437 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22880] ppid=22836 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22880/stat : 22880 (java) S 22836 22836 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225083484 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486970949168 140489689441437 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22881] ppid=22836 vsize=8068220 memory=120568 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22881/stat : 22881 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083486 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486568303904 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
Current children cumulated CPU time: 50.11 s
Current children cumulated vsize: 8322472 KiB
Current children cumulated memory: 237064 KiB

[startup+34.401 s]
/proc/loadavg: 2.48 2.19 2.10 3/231 22881
/proc/meminfo: memFree=11548844/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1472 CPUtime=30.96 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 591 40377 0 0 0 0 3001 95 20 0 1 0 225081894 115843072 368 33554432000 4194304 5098028 140723482015072 140723482011816 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 368 311 221 0 87 0
[pid=22861] ppid=22836 vsize=8068220 memory=120568 CPUtime=1.45 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22836 22836 19383 0 -1 1077944320 19404 0 0 0 134 11 0 0 20 0 19 0 225083403 8261857280 30142 33554432000 4194304 4196468 140737334966480 140737334949024 140489689419511 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
/proc/22861/statm: 2017055 30142 3158 1 0 1978454 0
[pid=22876] ppid=22861 vsize=141124 memory=115024 CPUtime=18.5 cores=0,2,4,6
/proc/22876/stat : 22876 (minisat_release) R 22861 22836 19383 0 -1 4202496 96068 0 0 0 1841 9 0 0 20 0 1 0 225083483 144510976 28756 33554432000 4194304 4308513 140729132172560 140729132170184 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34185216 140729132180596 140729132180694 140729132180694 140729132183493 0
/proc/22876/statm: 35281 28756 342 28 0 31521 0
[pid=22861/tid=22862] ppid=22836 vsize=8068220 memory=1228 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22862/stat : 22862 (java) S 22836 22836 19383 0 -1 1077944384 15652 0 0 0 75 8 0 0 20 0 19 0 225083403 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489661259664 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22863] ppid=22836 vsize=8068220 memory=-7824251494390978403 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489693661712 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22864] ppid=22836 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489522756240 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22865] ppid=22836 vsize=8068220 memory=116072 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489173403920 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22866] ppid=22836 vsize=8068220 memory=43280 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489172351376 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22867] ppid=22836 vsize=8068220 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22836 22836 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489001577200 140489689430658 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22868] ppid=22836 vsize=8068220 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22836 22836 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488380245664 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22869] ppid=22836 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22836 22836 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488246023408 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22870] ppid=22836 vsize=8068220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140487871519184 140489689438107 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22871] ppid=22836 vsize=8068220 memory=1224 CPUtime=0.15 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22836 22836 19383 0 -1 1077944384 922 0 0 0 15 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489000524016 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22872] ppid=22836 vsize=8068220 memory=1472 CPUtime=0.18 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22836 22836 19383 0 -1 1077944384 581 0 0 0 18 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488999471472 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22873] ppid=22836 vsize=8068220 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22836 22836 19383 0 -1 1077944384 817 0 0 0 22 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488998418416 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22874] ppid=22836 vsize=8068220 memory=120568 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140487373613408 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22875] ppid=22836 vsize=8068220 memory=115024 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488997366832 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22877] ppid=22836 vsize=8068220 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22836 22836 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225083483 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488989558592 140489689444121 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22879] ppid=22836 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22836 22836 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225083484 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486836727728 140489689441437 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22880] ppid=22836 vsize=8068220 memory=968 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22880/stat : 22880 (java) S 22836 22836 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225083484 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486970949168 140489689441437 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22881] ppid=22836 vsize=8068220 memory=4481 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22881/stat : 22881 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083486 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486568303904 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 8322472 KiB
Current children cumulated memory: 237064 KiB

[startup+35.201 s]
/proc/loadavg: 2.48 2.19 2.10 3/231 22881
/proc/meminfo: memFree=11548844/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1472 CPUtime=30.96 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 591 40377 0 0 0 0 3001 95 20 0 1 0 225081894 115843072 368 33554432000 4194304 5098028 140723482015072 140723482011816 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 368 311 221 0 87 0
[pid=22861] ppid=22836 vsize=8068220 memory=120568 CPUtime=1.45 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22836 22836 19383 0 -1 1077944320 19404 0 0 0 134 11 0 0 20 0 19 0 225083403 8261857280 30142 33554432000 4194304 4196468 140737334966480 140737334949024 140489689419511 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
/proc/22861/statm: 2017055 30142 3158 1 0 1978454 0
[pid=22876] ppid=22861 vsize=141124 memory=115024 CPUtime=19.3 cores=0,2,4,6
/proc/22876/stat : 22876 (minisat_release) R 22861 22836 19383 0 -1 4202496 96077 0 0 0 1921 9 0 0 20 0 1 0 225083483 144510976 28756 33554432000 4194304 4308513 140729132172560 140729132170184 4275601 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34185216 140729132180596 140729132180694 140729132180694 140729132183493 0
/proc/22876/statm: 35281 28756 342 28 0 31521 0
[pid=22861/tid=22862] ppid=22836 vsize=8068220 memory=61204 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22862/stat : 22862 (java) S 22836 22836 19383 0 -1 1077944384 15652 0 0 0 75 8 0 0 20 0 19 0 225083403 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489661259664 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22863] ppid=22836 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489693661712 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22864] ppid=22836 vsize=8068220 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489522756240 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22865] ppid=22836 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22836 22836 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489173403920 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22866] ppid=22836 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22836 22836 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225083404 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489172351376 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22867] ppid=22836 vsize=8068220 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22836 22836 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489001577200 140489689430658 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22868] ppid=22836 vsize=8068220 memory=8812 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22836 22836 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488380245664 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22869] ppid=22836 vsize=8068220 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22836 22836 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225083406 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488246023408 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22870] ppid=22836 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140487871519184 140489689438107 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22871] ppid=22836 vsize=8068220 memory=120568 CPUtime=0.15 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22836 22836 19383 0 -1 1077944384 922 0 0 0 15 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140489000524016 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22872] ppid=22836 vsize=8068220 memory=115024 CPUtime=0.18 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22836 22836 19383 0 -1 1077944384 581 0 0 0 18 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488999471472 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22873] ppid=22836 vsize=8068220 memory=2244 CPUtime=0.22 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22836 22836 19383 0 -1 1077944384 817 0 0 0 22 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488998418416 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22874] ppid=22836 vsize=8068220 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140487373613408 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22875] ppid=22836 vsize=8068220 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083409 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488997366832 140489689430658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22877] ppid=22836 vsize=8068220 memory=115024 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22836 22836 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225083483 8261857280 30142 33554432000 4194304 4196468 140737334966480 140488989558592 140489689444121 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22879] ppid=22836 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22836 22836 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225083484 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486836727728 140489689441437 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22880] ppid=22836 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22880/stat : 22880 (java) S 22836 22836 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225083484 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486970949168 140489689441437 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
[pid=22861/tid=22881] ppid=22836 vsize=8068220 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22881/stat : 22881 (java) S 22836 22836 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225083486 8261857280 30142 33554432000 4194304 4196468 140737334966480 140486568303904 140489689429717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140737334969525 140737334969649 140737334969649 140737334972367 0
Current children cumulated CPU time: 51.71 s
Current children cumulated vsize: 8322472 KiB
Current children cumulated memory: 237064 KiB

[startup+35.6008 s]
/proc/loadavg: 2.48 2.19 2.10 3/231 22881
/proc/meminfo: memFree=11548844/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1472 CPUtime=30.96 cores=0,2,4,6
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 19383 0 -1 4202496 591 40377 0 0 0 0 3001 95 20 0 1 0 225081894 115843072 368 33554432000 4194304 5098028 140723482015072 140723482011816 140395777598076 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14385152 140723482022977 140723482023175 140723482023175 140723482025933 0
/proc/22836/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 30.96 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 35.6017
CPU time (s): 52.5082
CPU user time (s): 51.3037
CPU system time (s): 1.20447
CPU usage (%): 147.488
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3255428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.3037
system time used= 1.20447
maximum resident set size= 3254572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8351
involuntary context switches= 175


# summary of solver processes directly reported to runsolver:
#   pid: 22836
#   total CPU time (s): 52.5082
#   total CPU user time (s): 51.3037
#   total CPU system time (s): 1.20447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.242545 second user time and 0.452387 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-12 13:59:47
IDJOB=4305755
IDBENCH=141393
IDSOLVER=2783
FILE ID=node135/4305755-1534075187
RUNJOBID= node135-1534062530-19414
PBS_JOBID= 21036983
Free space on /tmp= 42760 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06d_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-4305755-1534075187/watcher-4305755-1534075187 -o /tmp/evaluation-result-4305755-1534075187/solver-4305755-1534075187 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305755-1534075187.xml

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

MD5SUM BENCH= 71f002b78114a95e8a0fa642f39b0e56
RANDOM SEED=848972281

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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:        11798036 kB
MemAvailable:   31756180 kB
Buffers:          246252 kB
Cached:         19718008 kB
SwapCached:            0 kB
Active:          9118380 kB
Inactive:       11050036 kB
Active(anon):     153312 kB
Inactive(anon):   103204 kB
Active(file):    8965068 kB
Inactive(file): 10946832 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8192 kB
Writeback:             0 kB
AnonPages:        245940 kB
Mapped:            73852 kB
Shmem:             49824 kB
Slab:             503592 kB
SReclaimable:     474704 kB
SUnreclaim:        28888 kB
KernelStack:        4000 kB
PageTables:         6016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5870796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42752 MiB
End job on node135 at 2018-08-12 14:00:23