Trace number 4305524

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-07-31)SAT 64.3121 46.8301

General information on the benchmark

NameMisteryShopper/
MisteryShopper-12_c18.xml
MD5SUM193461ec87a084283094d7342f0c20d4
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.63089
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints741
Number of domains3
Minimum domain size5
Maximum domain size60
Distribution of domain sizes[{"size":5,"count":300},{"size":6,"count":300},{"size":60,"count":600}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":600},{"degree":3,"count":300},{"degree":4,"count":275},{"degree":5,"count":25}]
Minimum constraint arity2
Maximum constraint arity300
Distribution of constraint arities[{"arity":2,"count":600},{"arity":5,"count":125},{"arity":60,"count":10},{"arity":120,"count":5},{"arity":300,"count":1}]
Number of extensional constraints600
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":600},{"type":"allDifferent","count":130},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-7665-serial-file.bin HOME/instance-4305524-1534075044.xml
0.65/0.52	
0.65/0.52	scop order+minisat_release (2018-07-31)
0.65/0.52	(Encoding Process)
0.65/0.52	
0.65/0.54	c BEGIN-Prog: Sun Aug 12 13:57:25 CEST 2018
0.65/0.54	c PID: 7668
0.65/0.54	c IP: 172.20.3.151
0.65/0.54	c HOST: node151.alineos.net
0.65/0.55	c (0,0) Parsing Begin
3.45/1.40	c (0,0) Parsing End
3.45/1.41	c (0,0) CSP: 1200 int (0 aux), 0 bool (0 aux), 741 ctr, max domain size 60
3.45/1.41	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.45/1.41	c (0,0) Constraint Name Generate Begin
3.45/1.43	c (0,0) Ctr:HOME/instance-4305524-1534075044.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.45/1.43	c (0,0) Constraint Name Generate End
3.45/1.43	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.45/1.43	c (0,0) CSP to CSPinCNF Begin
6.02/2.35	c (1,1) translated 75 (10%) constraints
11.42/5.36	c (4,4) translated 149 (20%) constraints
12.12/5.59	c (5,4) translated 223 (30%) constraints
12.76/5.76	c (5,5) translated 297 (40%) constraints
13.37/5.92	c (5,5) translated 371 (50%) constraints
13.70/6.06	c (5,5) translated 445 (60%) constraints
14.29/6.22	c (5,5) translated 519 (70%) constraints
14.60/6.36	c (5,5) translated 593 (80%) constraints
15.20/6.51	c (5,5) translated 667 (90%) constraints
15.49/6.64	c (6,6) translated 741 (100%) constraints
17.26/7.20	c (6,6) STATISTICS1:HOME/instance-4305524-1534075044.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4909,68724,60,60,60,2,60:17143;59:350;58:302;57:307;56:625;6:600;5:600,60:116133;59:1227;58:1029;57:1029;56:2036;6:4800;5:4200;2:16527,60:20;7:300;6:300;5:240;4:409;3:40263;2:27109;1:83,2:19927;1:143127;0:600,
17.26/7.20	c (6,6) ==========================================
17.26/7.20	c (6,6) Order
17.26/7.20	c (6,6) ==========================================
17.76/7.48	c (6,6) translated 6873 (10%) constraints
18.29/7.69	c (7,7) translated 13745 (20%) constraints
18.78/7.98	c (7,7) translated 20618 (30%) constraints
20.33/8.61	c (8,7) translated 27490 (40%) constraints
20.75/9.10	c (8,8) translated 34362 (50%) constraints
21.26/9.58	c (9,8) translated 41235 (60%) constraints
21.77/10.03	c (9,9) translated 48107 (70%) constraints
22.16/10.48	c (9,9) translated 54980 (80%) constraints
22.58/10.70	c (10,9) translated 61852 (90%) constraints
23.12/10.81	c (10,10) translated 68724 (100%) constraints
23.12/10.81	c (10,10) CSP to CSPinCNF End
23.12/10.83	c (10,10) CSP: 1200 int (0 aux), 39709 bool (39709 aux), 140724 ctr, max domain size 60
23.12/10.83	c (10,10) Heap : 1030 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.12/10.83	c (10,10) CSPinCNF Propagation Begin
24.65/11.67	c (11,10) 188 values, 2276 unsatisfiable literals, and 1614 valid clauses are removed
24.65/11.67	c (11,10) CSPinCNF Propagation End
24.65/11.69	c (11,10) CSP: 1338 int (138 aux), 39571 bool (39571 aux), 139110 ctr, max domain size 60
24.65/11.69	c (11,10) Heap : 1521 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.65/11.69	c (11,10) Simplify CSPinCNF Begin
26.06/12.60	c (12,11) Simplify CSPinCNF End
26.06/12.63	c (12,11) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
26.06/12.63	c (12,11) Heap : 2013 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.06/12.63	c (12,11) Calculate Precise Domain Begin
26.06/12.64	c (12,11) 0 values are removed by re-calculation
26.06/12.64	c (12,11) Calculate Precise Domain End
26.06/12.67	c (12,11) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
26.06/12.67	c (12,11) Heap : 2013 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.06/12.67	c (12,11) CSPinCNF to SatSolver Begin
30.13/14.92	c (14,13) 17745 (10 %) CSP clauses are encoded (115868 SAT variables, 745573 SAT clauses)
31.88/16.64	c (16,15) 35489 (20 %) CSP clauses are encoded (115868 SAT variables, 1455110 SAT clauses)
34.28/18.52	c (17,17) 53234 (30 %) CSP clauses are encoded (115868 SAT variables, 2162909 SAT clauses)
34.38/18.64	c (18,17) 70978 (40 %) CSP clauses are encoded (115868 SAT variables, 2191169 SAT clauses)
34.48/18.72	c (18,17) 88723 (50 %) CSP clauses are encoded (115868 SAT variables, 2208914 SAT clauses)
34.48/18.79	c (18,17) 106467 (60 %) CSP clauses are encoded (115868 SAT variables, 2226658 SAT clauses)
34.58/18.87	c (18,17) 124212 (70 %) CSP clauses are encoded (115868 SAT variables, 2244403 SAT clauses)
34.69/18.95	c (18,17) 141956 (80 %) CSP clauses are encoded (115868 SAT variables, 2262147 SAT clauses)
34.80/19.03	c (18,17) 159701 (90 %) CSP clauses are encoded (115868 SAT variables, 2279892 SAT clauses)
35.02/19.26	c (18,18) 177445 (100 %) CSP clauses are encoded (115868 SAT variables, 2357336 SAT clauses)
35.02/19.26	c (18,18) Launch Command will be: minisat_release
35.02/19.26	c (18,18) CSPinCNF to SatSolver End
35.02/19.26	c (18,18) Heap : 2048 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
35.88/19.77	c (19,18) STATISTICS2:HOME/instance-4305524-1534075044.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,79244,177445,60,60,60,2,60:30958;59:670;58:1249;57:1162;56:2388;6:1200;5:1200,60:208691;59:2227;58:4057;57:3649;56:7216;6:6000;5:5400;2:200017,60:5;56:14;54:1;6:300;5:540;4:409;3:38887;2:137206;1:83,2:38827;1:359603,
35.88/19.77	c (19,18) 115868 bool, 2357337 clause
35.88/19.77	c (19,18) Export Begin
36.27/19.93	c (19,18) Export to HOME/scop-7665-serial-file.bin
36.27/19.93	c (19,18) Export End
36.27/19.93	c (19,18) Export File Size: 0.24 MB
36.27/19.93	c (19,18) 0,0,10,11,12,12,18,STOP-AFTER(DIMACS)
36.27/19.93	c END-Prog: Sun Aug 12 13:57:44 CEST 2018
36.27/19.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-7665-serial-file.bin
36.97/20.45	c (0,0) Read Serial File Begin
36.97/20.45	c (0,0) HOME/scop-7665-serial-file.bin
37.56/20.70	c (0,0) Read Serial File End
37.56/20.71	
37.56/20.71	scop order+minisat_release (2018-07-31)
37.56/20.71	(Solving Process)
37.56/20.71	
37.56/20.73	c BEGIN-Prog: Sun Aug 12 13:57:45 CEST 2018
37.56/20.73	c PID: 7683
37.56/20.73	c IP: 172.20.3.151
37.56/20.73	c HOST: node151.alineos.net
37.56/20.74	c (0,0) SatSolver.solve Begin
37.56/20.74	c (0,0) 0 bool, 0 clause
37.56/20.74	c (0,0) minisat_release HOME/instance-4305524-1534075044.xml-scop-7668.cnf
63.54/46.57	c (26,0) c This is COMiniSatPS.
63.54/46.57	c (26,0) c WARNING: for repeatability, setting FPU to use double precision
63.54/46.57	c (26,0) c ============================[ Problem Statistics ]=============================
63.54/46.57	c (26,0) c |                                                                             |
63.54/46.57	c (26,0) c |  Number of variables:        115868                                         |
63.54/46.57	c (26,0) c |  Number of clauses:         2356250                                         |
63.54/46.57	c (26,0) c |  Parse time:                   0.62 s                                       |
63.54/46.57	c (26,0) c |  Eliminated clauses:           1.24 Mb                                      |
63.54/46.57	c (26,0) c Reduced to 55850 vars, 2197355 cls (grow=0)
63.54/46.57	c (26,0) c No iterative elimination performed. (vars=55850, c/v ratio=39.3)
63.54/46.57	c (26,0) c |  Simplification time:          3.40 s                                       |
63.54/46.57	c (26,0) c |                                                                             |
63.54/46.57	c (26,0) c ============================[ Search Statistics ]==============================
63.54/46.57	c (26,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.54/46.57	c (26,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
63.54/46.57	c (26,0) c ===============================================================================
63.54/46.57	c (26,0) c ===============================================================================
63.54/46.57	c (26,0) c restarts              : 235
63.54/46.57	c (26,0) c conflicts             : 51944          (2030 /sec)
63.54/46.57	c (26,0) c decisions             : 629912         (0.00 % random) (24615 /sec)
63.54/46.57	c (26,0) c propagations          : 52131487       (2037152 /sec)
63.54/46.57	c (26,0) c conflict literals     : 1636018        (9.11 % deleted)
63.54/46.57	c (26,0) c CPU time              : 25.5904 s
63.54/46.57	c (26,0) 
63.54/46.57	c (26,0) s SATISFIABLE
37.90/46.67	c (26,0) SatSolver.solve End
37.90/46.67	c (26,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
37.90/46.67	c (26,0) Show results Begin
63.94/46.77	s SATISFIABLE
64.22/46.81	v <instantiation>
64.22/46.81	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[42][0] vr[42][1] vr[42][2] vr[42][3] vr[42][4] vr[43][0] vr[43][1] vr[43][2] vr[43][3] vr[43][4] vr[44][0] vr[44][1] vr[44][2] vr[44][3] vr[44][4] vr[45][0] vr[45][1] vr[45][2] vr[45][3] vr[45][4] vr[46][0] vr[46][1] vr[46][2] vr[46][3] vr[46][4] vr[47][0] vr[47][1] vr[47][2] vr[47][3] vr[47][4] vr[48][0] vr[48][1] vr[48][2] vr[48][3] vr[48][4] vr[49][0] vr[49][1] vr[49][2] vr[49][3] vr[49][4] vr[50][0] vr[50][1] vr[50][2] vr[50][3] vr[50][4] vr[51][0] vr[51][1] vr[51][2] vr[51][3] vr[51][4] vr[52][0] vr[52][1] vr[52][2] vr[52][3] vr[52][4] vr[53][0] vr[53][1] vr[53][2] vr[53][3] vr[53][4] vr[54][0] vr[54][1] vr[54][2] vr[54][3] vr[54][4] vr[55][0] vr[55][1] vr[55][2] vr[55][3] vr[55][4] vr[56][0] vr[56][1] vr[56][2] vr[56][3] vr[56][4] vr[57][0] vr[57][1] vr[57][2] vr[57][3] vr[57][4] vr[58][0] vr[58][1] vr[58][2] vr[58][3] vr[58][4] vr[59][0] vr[59][1] vr[59][2] vr[59][3] vr[59][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[42][0] ve[42][1] ve[42][2] ve[42][3] ve[42][4] ve[43][0] ve[43][1] ve[43][2] ve[43][3] ve[43][4] ve[44][0] ve[44][1] ve[44][2] ve[44][3] ve[44][4] ve[45][0] ve[45][1] ve[45][2] ve[45][3] ve[45][4] ve[46][0] ve[46][1] ve[46][2] ve[46][3] ve[46][4] ve[47][0] ve[47][1] ve[47][2] ve[47][3] ve[47][4] ve[48][0] ve[48][1] ve[48][2] ve[48][3] ve[48][4] ve[49][0] ve[49][1] ve[49][2] ve[49][3] ve[49][4] ve[50][0] ve[50][1] ve[50][2] ve[50][3] ve[50][4] ve[51][0] ve[51][1] ve[51][2] ve[51][3] ve[51][4] ve[52][0] ve[52][1] ve[52][2] ve[52][3] ve[52][4] ve[53][0] ve[53][1] ve[53][2] ve[53][3] ve[53][4] ve[54][0] ve[54][1] ve[54][2] ve[54][3] ve[54][4] ve[55][0] ve[55][1] ve[55][2] ve[55][3] ve[55][4] ve[56][0] ve[56][1] ve[56][2] ve[56][3] ve[56][4] ve[57][0] ve[57][1] ve[57][2] ve[57][3] ve[57][4] ve[58][0] ve[58][1] ve[58][2] ve[58][3] ve[58][4] ve[59][0] ve[59][1] ve[59][2] ve[59][3] ve[59][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[42][0] gvr[42][1] gvr[42][2] gvr[42][3] gvr[42][4] gvr[43][0] gvr[43][1] gvr[43][2] gvr[43][3] gvr[43][4] gvr[44][0] gvr[44][1] gvr[44][2] gvr[44][3] gvr[44][4] gvr[45][0] gvr[45][1] gvr[45][2] gvr[45][3] gvr[45][4] gvr[46][0] gvr[46][1] gvr[46][2] gvr[46][3] gvr[46][4] gvr[47][0] gvr[47][1] gvr[47][2] gvr[47][3] gvr[47][4] gvr[48][0] gvr[48][1] gvr[48][2] gvr[48][3] gvr[48][4] gvr[49][0] gvr[49][1] gvr[49][2] gvr[49][3] gvr[49][4] gvr[50][0] gvr[50][1] gvr[50][2] gvr[50][3] gvr[50][4] gvr[51][0] gvr[51][1] gvr[51][2] gvr[51][3] gvr[51][4] gvr[52][0] gvr[52][1] gvr[52][2] gvr[52][3] gvr[52][4] gvr[53][0] gvr[53][1] gvr[53][2] gvr[53][3] gvr[53][4] gvr[54][0] gvr[54][1] gvr[54][2] gvr[54][3] gvr[54][4] gvr[55][0] gvr[55][1] gvr[55][2] gvr[55][3] gvr[55][4] gvr[56][0] gvr[56][1] gvr[56][2] gvr[56][3] gvr[56][4] gvr[57][0] gvr[57][1] gvr[57][2] gvr[57][3] gvr[57][4] gvr[58][0] gvr[58][1] gvr[58][2] gvr[58][3] gvr[58][4] gvr[59][0] gvr[59][1] gvr[59][2] gvr[59][3] gvr[59][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[42][0] gve[42][1] gve[42][2] gve[42][3] gve[42][4] gve[43][0] gve[43][1] gve[43][2] gve[43][3] gve[43][4] gve[44][0] gve[44][1] gve[44][2] gve[44][3] gve[44][4] gve[45][0] gve[45][1] gve[45][2] gve[45][3] gve[45][4] gve[46][0] gve[46][1] gve[46][2] gve[46][3] gve[46][4] gve[47][0] gve[47][1] gve[47][2] gve[47][3] gve[47][4] gve[48][0] gve[48][1] gve[48][2] gve[48][3] gve[48][4] gve[49][0] gve[49][1] gve[49][2] gve[49][3] gve[49][4] gve[50][0] gve[50][1] gve[50][2] gve[50][3] gve[50][4] gve[51][0] gve[51][1] gve[51][2] gve[51][3] gve[51][4] gve[52][0] gve[52][1] gve[52][2] gve[52][3] gve[52][4] gve[53][0] gve[53][1] gve[53][2] gve[53][3] gve[53][4] gve[54][0] gve[54][1] gve[54][2] gve[54][3] gve[54][4] gve[55][0] gve[55][1] gve[55][2] gve[55][3] gve[55][4] gve[56][0] gve[56][1] gve[56][2] gve[56][3] gve[56][4] gve[57][0] gve[57][1] gve[57][2] gve[57][3] gve[57][4] gve[58][0] gve[58][1] gve[58][2] gve[58][3] gve[58][4] gve[59][0] gve[59][1] gve[59][2] gve[59][3] gve[59][4]</list>
64.22/46.81	v     <values>0 20 35 44 50 1 30 58 12 46 2 32 55 13 41 3 54 28 36 18 4 39 15 33 48 5 34 52 22 42 6 21 51 31 38 7 47 56 19 25 8 37 53 17 24 9 23 26 43 49 10 57 40 16 29 11 24 23 57 37 12 50 30 39 2 13 58 4 27 45 14 29 8 56 43 15 49 5 34 40 16 25 1 42 53 17 41 59 26 7 18 44 6 28 54 19 3 33 38 55 20 31 46 10 51 21 35 48 0 36 22 9 47 32 52 23 33 50 37 3 24 51 36 5 15 25 40 11 59 22 26 0 21 45 58 27 52 41 18 8 28 38 14 54 1 29 55 20 9 39 30 43 12 49 6 31 48 10 47 19 32 46 16 53 4 33 45 0 55 13 34 22 54 46 5 35 15 2 48 47 36 53 25 1 16 37 27 19 4 56 38 12 9 58 26 39 6 18 24 57 40 28 49 23 11 41 59 3 21 30 42 7 31 52 17 43 8 29 50 14 44 10 32 51 20 45 56 7 15 33 46 11 24 14 59 47 18 57 29 0 48 2 43 30 21 49 4 39 35 12 50 26 13 40 9 51 36 17 3 32 52 5 22 25 44 53 1 34 41 23 54 42 27 20 10 55 13 37 2 27 56 14 38 6 28 57 16 42 7 31 58 17 44 8 34 59 19 45 11 35 0 26 33 21 47 1 53 16 36 28 2 48 35 55 12 3 19 41 51 23 4 49 13 37 32 5 52 15 24 34 6 39 18 56 30 7 42 45 57 17 8 43 14 58 27 9 22 38 29 50 10 44 31 20 54 11 46 25 59 40 12 38 30 1 49 13 55 50 2 33 14 56 28 46 43 15 35 4 45 24 16 57 32 10 36 17 58 51 8 42 18 47 39 27 3 19 59 37 7 31 20 0 29 54 44 21 6 26 41 48 22 34 52 5 25 23 9 11 40 53 24 11 46 39 8 25 16 36 52 7 26 50 9 17 38 27 37 54 13 55 28 40 3 18 56 29 14 43 47 10 30 1 12 48 41 31 20 42 6 57 32 2 44 22 51 33 23 19 4 45 34 5 53 15 58 35 21 0 49 59 36 51 24 3 21 37 8 55 23 11 38 28 56 19 6 39 4 49 12 29 40 25 10 50 15 41 17 27 53 2 42 54 57 16 5 43 30 48 9 14 44 18 58 0 52 45 33 59 26 13 46 32 20 34 1 47 7 22 31 35 48 31 21 35 4 49 15 40 30 9 50 12 23 43 0 51 24 6 44 20 52 27 5 42 22 53 36 8 32 16 54 3 34 28 18 55 29 2 33 19 56 45 7 14 37 57 10 47 11 39 58 13 1 38 26 59 41 17 25 46 0 1 2 3 4 0 2 4 1 3 0 2 4 1 3 0 4 2 3 1 0 3 1 2 4 0 2 4 1 3 0 1 4 2 3 0 3 4 1 2 0 3 4 1 2 0 1 2 3 4 0 4 3 1 2 0 2 1 4 3 1 4 2 3 0 1 4 0 2 3 1 2 0 4 3 1 4 0 2 3 1 2 0 3 4 1 3 4 2 0 1 3 0 2 4 1 0 2 3 4 1 2 3 0 4 1 2 4 0 3 1 0 3 2 4 1 2 4 3 0 2 4 3 0 1 2 3 0 4 1 2 0 1 3 4 2 4 3 1 0 2 3 1 4 0 2 4 1 0 3 2 3 1 4 0 2 4 0 3 1 2 3 1 4 0 2 3 0 4 1 2 1 4 3 0 2 1 0 4 3 3 4 2 0 1 3 2 1 0 4 3 1 0 4 2 3 0 1 2 4 3 2 4 1 0 3 4 0 1 2 3 0 2 4 1 3 0 2 4 1 3 0 2 4 1 3 4 0 1 2 3 0 2 1 4 3 1 4 2 0 4 0 3 2 1 4 0 3 2 1 4 2 1 3 0 4 3 1 0 2 4 0 1 2 3 4 0 2 3 1 4 3 2 1 0 4 1 3 0 2 4 1 3 0 2 4 1 3 0 2 4 1 3 0 2 4 1 3 0 2 0 2 3 1 4 0 4 1 3 2 0 4 3 5 1 0 1 3 4 2 0 4 1 3 2 0 4 1 2 3 0 3 1 5 2 0 3 4 5 1 0 3 1 5 2 0 1 3 2 4 0 3 2 1 4 1 4 2 5 3 1 3 2 0 4 1 5 4 0 3 1 5 2 4 3 1 3 0 4 2 1 5 2 0 3 1 5 4 0 3 1 4 3 2 0 1 5 3 0 2 1 0 2 4 3 1 0 2 3 4 1 3 4 0 2 2 0 1 3 4 2 1 4 3 0 2 1 3 4 0 2 4 0 1 3 2 3 4 1 5 2 3 0 1 5 2 1 3 4 0 2 0 1 4 3 2 1 3 0 5 2 0 3 1 4 3 2 1 0 4 3 0 4 1 5 3 1 0 4 5 3 4 2 0 1 3 0 5 2 1 3 2 5 1 0 3 0 4 1 2 3 2 0 4 1 3 1 2 4 0 3 4 5 1 0 3 2 4 0 1 3 1 5 0 4 4 3 5 2 1 4 2 1 3 0 4 0 1 2 3 4 2 1 3 0 4 1 3 2 0 4 1 2 3 0 4 2 0 3 1 4 2 0 3 1 4 3 0 2 1 4 0 3 2 1 5 2 0 3 1 5 4 0 1 3 5 0 4 1 3 5 1 0 3 2 5 3 1 2 4</values>
64.22/46.81	v </instantiation>
64.22/46.81	c (26,0) Show results End
64.22/46.81	c (26,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
64.22/46.81	c (26,0) 26,26,STOP-AFTER(ALL)
64.22/46.81	c END-Prog: Sun Aug 12 13:58:11 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 (3043 MiB free)
  memory of node 1: 16384 MiB (5517 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305524-1534075044/watcher-4305524-1534075044 -o /tmp/evaluation-result-4305524-1534075044/solver-4305524-1534075044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305524-1534075044.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=7665, runsolver pid=7662

[startup+0.10013 s]*
/proc/loadavg: 2.24 2.12 2.07 3/222 7682
/proc/meminfo: memFree=8708096/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225067622 115843072 348 33554432000 4194304 5098028 140720461777696 140720461774952 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 348 296 221 0 87 0
[pid=7668] ppid=7665 vsize=15012476 memory=69652 CPUtime=0.11 cores=0,2,4,6
/proc/7668/stat : 7668 (java) S 7665 7665 3762 0 -1 1077944320 6613 0 0 0 9 2 0 0 20 0 15 0 225067622 15372775424 17413 33554432000 4194304 4196468 140724999644320 140724999626864 139955926269687 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
/proc/7668/statm: 3753119 17413 2739 1 0 3715579 0
[pid=7668/tid=7669] ppid=7665 vsize=15012476 memory=-6526411401870300574 CPUtime=0.08 cores=0,2,4,6
/proc/7668/task/7669/stat : 7669 (java) R 7665 7665 3762 0 -1 4202560 4746 0 0 0 7 1 0 0 20 0 15 0 225067623 15372775424 17544 33554432000 4194304 4196468 140724999644320 139955898072632 139955910350174 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7670] ppid=7665 vsize=15012476 memory=3472467982935574192 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7670/stat : 7670 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 17544 33554432000 4194304 4196468 140724999644320 139955930512016 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7671] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7671/stat : 7671 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 17544 33554432000 4194304 4196468 140724999644320 139955744668176 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7672] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7672/stat : 7672 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 17544 33554432000 4194304 4196468 140724999644320 139955743615376 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7673] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7673/stat : 7673 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 17544 33554432000 4194304 4196468 140724999644320 139955742562576 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7674] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7674/stat : 7674 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954762009456 139955926280834 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7675] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7675/stat : 7675 (java) S 7665 7665 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954529232416 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7676] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7676/stat : 7676 (java) S 7665 7665 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954395010416 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7677] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7677/stat : 7677 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954020505936 139955926288283 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7678] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7678/stat : 7678 (java) S 7665 7665 3762 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954760956272 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7679] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7679/stat : 7679 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954759903472 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7680] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7680/stat : 7680 (java) R 7665 7665 3762 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954758847784 139955905254410 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7681] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7681/stat : 7681 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 17544 33554432000 4194304 4196468 140724999644320 139953522600160 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7682] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7682/stat : 7682 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 17544 33554432000 4194304 4196468 140724999644320 139954757799088 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71044 KiB

[startup+0.210509 s]*
/proc/loadavg: 2.24 2.12 2.07 3/222 7682
/proc/meminfo: memFree=8695340/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225067622 115843072 348 33554432000 4194304 5098028 140720461777696 140720461774952 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 348 296 221 0 87 0
[pid=7668] ppid=7665 vsize=15012476 memory=83508 CPUtime=0.25 cores=0,2,4,6
/proc/7668/stat : 7668 (java) S 7665 7665 3762 0 -1 1077944320 10278 0 0 0 23 2 0 0 20 0 15 0 225067622 15372775424 20877 33554432000 4194304 4196468 140724999644320 140724999626864 139955926269687 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
/proc/7668/statm: 3753119 20877 2875 1 0 3715579 0
[pid=7668/tid=7669] ppid=7665 vsize=15012476 memory=-8976644418600983157 CPUtime=0.2 cores=0,2,4,6
/proc/7668/task/7669/stat : 7669 (java) R 7665 7665 3762 0 -1 4202560 8171 0 0 0 18 2 0 0 20 0 15 0 225067623 15372775424 20877 33554432000 4194304 4196468 140724999644320 139955898082560 139955418540161 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7670] ppid=7665 vsize=15012476 memory=3472467982935574192 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7670/stat : 7670 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 20877 33554432000 4194304 4196468 140724999644320 139955930512016 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7671] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7671/stat : 7671 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 20877 33554432000 4194304 4196468 140724999644320 139955744668176 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7672] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7672/stat : 7672 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 20877 33554432000 4194304 4196468 140724999644320 139955743615376 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7673] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7673/stat : 7673 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 20877 33554432000 4194304 4196468 140724999644320 139955742562576 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7674] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7674/stat : 7674 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954762009456 139955926280834 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7675] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7675/stat : 7675 (java) S 7665 7665 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954529232416 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7676] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7676/stat : 7676 (java) S 7665 7665 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954395010416 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7677] ppid=7665 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7677/stat : 7677 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954020505936 139955926288283 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7678] ppid=7665 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7668/task/7678/stat : 7678 (java) S 7665 7665 3762 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 15 0 225067629 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954760956272 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7679] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7679/stat : 7679 (java) R 7665 7665 3762 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954759903472 139955926280834 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7680] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0.03 cores=0,2,4,6
/proc/7668/task/7680/stat : 7680 (java) S 7665 7665 3762 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 225067629 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954758850672 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7681] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7681/stat : 7681 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 20877 33554432000 4194304 4196468 140724999644320 139953522600160 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7682] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7682/stat : 7682 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 20877 33554432000 4194304 4196468 140724999644320 139954757799088 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84900 KiB

[startup+0.310493 s]*
/proc/loadavg: 2.24 2.12 2.07 3/222 7682
/proc/meminfo: memFree=8691308/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225067622 115843072 348 33554432000 4194304 5098028 140720461777696 140720461774952 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 348 296 221 0 87 0
[pid=7668] ppid=7665 vsize=15012476 memory=87400 CPUtime=0.42 cores=0,2,4,6
/proc/7668/stat : 7668 (java) S 7665 7665 3762 0 -1 1077944320 10888 0 0 0 39 3 0 0 20 0 15 0 225067622 15372775424 21850 33554432000 4194304 4196468 140724999644320 140724999626864 139955926269687 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
/proc/7668/statm: 3753119 21850 2970 1 0 3715579 0
[pid=7668/tid=7669] ppid=7665 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/7668/task/7669/stat : 7669 (java) R 7665 7665 3762 0 -1 4202560 8616 0 0 0 27 2 0 0 20 0 15 0 225067623 15372775424 21850 33554432000 4194304 4196468 140724999644320 139955898064688 139955926291613 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7670] ppid=7665 vsize=15012476 memory=3472467982935574192 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7670/stat : 7670 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 21850 33554432000 4194304 4196468 140724999644320 139955930512016 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7671] ppid=7665 vsize=15012476 memory=279373271554944 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7671/stat : 7671 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 21850 33554432000 4194304 4196468 140724999644320 139955744668176 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7672] ppid=7665 vsize=15012476 memory=279373127354400 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7672/stat : 7672 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 21850 33554432000 4194304 4196468 140724999644320 139955743615376 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7673] ppid=7665 vsize=15012476 memory=139686563661071 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7673/stat : 7673 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15372775424 21850 33554432000 4194304 4196468 140724999644320 139955742562576 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7674] ppid=7665 vsize=15012476 memory=279373271561856 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7674/stat : 7674 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954762009456 139955926280834 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7675] ppid=7665 vsize=15012476 memory=139686563665679 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7675/stat : 7675 (java) S 7665 7665 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954529232416 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7676] ppid=7665 vsize=15012476 memory=139686563675440 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7676/stat : 7676 (java) S 7665 7665 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067626 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954395010416 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7677] ppid=7665 vsize=15012476 memory=279373127363616 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7677/stat : 7677 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954020505936 139955926288283 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7678] ppid=7665 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7668/task/7678/stat : 7678 (java) S 7665 7665 3762 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 225067629 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954760956272 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7679] ppid=7665 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7668/task/7679/stat : 7679 (java) S 7665 7665 3762 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 225067629 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954759903472 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7680] ppid=7665 vsize=15012476 memory=139686707893888 CPUtime=0.07 cores=0,2,4,6
/proc/7668/task/7680/stat : 7680 (java) S 7665 7665 3762 0 -1 1077944384 329 0 0 0 7 0 0 0 20 0 15 0 225067629 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954758850672 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7681] ppid=7665 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7681/stat : 7681 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 21850 33554432000 4194304 4196468 140724999644320 139953522600160 139955926279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7682] ppid=7665 vsize=15012476 memory=139686707895280 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7682/stat : 7682 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067629 15372775424 21850 33554432000 4194304 4196468 140724999644320 139954757799088 139955926280834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88792 KiB

[startup+0.701122 s]
/proc/loadavg: 2.24 2.12 2.07 3/222 7682
/proc/meminfo: memFree=8666024/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225067622 115843072 348 33554432000 4194304 5098028 140720461777696 140720461774952 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 348 296 221 0 87 0
[pid=7668] ppid=7665 vsize=15018748 memory=129172 CPUtime=1.05 cores=0,2,4,6
/proc/7668/stat : 7668 (java) S 7665 7665 3762 0 -1 1077944320 17953 0 0 0 100 5 0 0 20 0 15 0 225067622 15379197952 32293 33554432000 4194304 4196468 140724999644320 140724999626864 139955926269687 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
/proc/7668/statm: 3754687 32293 3129 1 0 3716091 0
[pid=7668/tid=7669] ppid=7665 vsize=15018748 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/7668/task/7669/stat : 7669 (java) R 7665 7665 3762 0 -1 4202560 15130 0 0 0 63 4 0 0 20 0 15 0 225067623 15379197952 32293 33554432000 4194304 4196468 140724999644320 139955898092000 139955910350174 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7670] ppid=7665 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7670/stat : 7670 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15379197952 32293 33554432000 4194304 4196468 140724999644320 139955930512016 139955926279893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7671] ppid=7665 vsize=15018748 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7671/stat : 7671 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15379197952 32293 33554432000 4194304 4196468 140724999644320 139955744668176 139955926279893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7672] ppid=7665 vsize=15018748 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7672/stat : 7672 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067624 15379197952 32293 33554432000 4194304 4196468 140724999644320 139955743615376 139955926279893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7673] ppid=7665 vsize=15018748 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7673/stat : 7673 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067624 15379197952 32293 33554432000 4194304 4196468 140724999644320 139955742562576 139955926279893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7674] ppid=7665 vsize=15018748 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7674/stat : 7674 (java) S 7665 7665 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225067626 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954762009456 139955926280834 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7675] ppid=7665 vsize=15018748 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7675/stat : 7675 (java) S 7665 7665 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067626 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954529232416 139955926279893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7676] ppid=7665 vsize=15018748 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7676/stat : 7676 (java) S 7665 7665 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067626 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954395010416 139955926279893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7677] ppid=7665 vsize=15018748 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7677/stat : 7677 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954020505936 139955926288283 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7678] ppid=7665 vsize=15018748 memory=4536 CPUtime=0.09 cores=0,2,4,6
/proc/7668/task/7678/stat : 7678 (java) S 7665 7665 3762 0 -1 1077944384 719 0 0 0 9 0 0 0 20 0 15 0 225067629 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954760956272 139955926280834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7679] ppid=7665 vsize=15018748 memory=8448 CPUtime=0.09 cores=0,2,4,6
/proc/7668/task/7679/stat : 7679 (java) R 7665 7665 3762 0 -1 4202560 240 0 0 0 9 0 0 0 20 0 15 0 225067629 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954759894648 139955905659304 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7680] ppid=7665 vsize=15018748 memory=1628 CPUtime=0.17 cores=0,2,4,6
/proc/7668/task/7680/stat : 7680 (java) S 7665 7665 3762 0 -1 1077944384 511 0 0 0 17 0 0 0 20 0 15 0 225067629 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954758850672 139955926280834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7681] ppid=7665 vsize=15018748 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7681/stat : 7681 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067629 15379197952 32293 33554432000 4194304 4196468 140724999644320 139953522600160 139955926279893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
[pid=7668/tid=7682] ppid=7665 vsize=15018748 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/7668/task/7682/stat : 7682 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067629 15379197952 32293 33554432000 4194304 4196468 140724999644320 139954757799088 139955926280834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14110720 140724999652359 140724999652657 140724999652657 140724999655375 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130564 KiB

[startup+1.50193 s]
/proc/loadavg: 2.24 2.12 2.07 5/222 7682
/proc/meminfo: memFree=8596840/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225067622 115843072 348 33554432000 4194304 5098028 140720461777696 140720461774952 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 348 296 221 0 87 0

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

/proc/7683/task/7699/stat : 7699 (java) S 7665 7665 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225069698 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332980745280 140333613596441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7701] ppid=7665 vsize=8068220 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7701/stat : 7701 (java) S 7665 7665 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225069699 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330808618672 140333613593757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7702] ppid=7665 vsize=8068220 memory=125052 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7702/stat : 7702 (java) S 7665 7665 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225069699 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330942840624 140333613593757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7703] ppid=7665 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7703/stat : 7703 (java) S 7665 7665 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225069701 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330540195360 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
Current children cumulated CPU time: 61.85 s
Current children cumulated vsize: 8421512 KiB
Current children cumulated memory: 332704 KiB

[startup+45.6009 s]
/proc/loadavg: 2.12 2.10 2.07 3/227 7704
/proc/meminfo: memFree=8394820/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1468 CPUtime=36.39 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 590 49759 0 0 0 0 3518 121 20 0 1 0 225067622 115843072 367 33554432000 4194304 5098028 140720461777696 140720461774440 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 367 311 221 0 87 0
[pid=7683] ppid=7665 vsize=8068220 memory=125052 CPUtime=1.43 cores=0,2,4,6
/proc/7683/stat : 7683 (java) S 7665 7665 3762 0 -1 1077944320 18485 0 0 0 134 9 0 0 20 0 19 0 225069618 8261857280 31263 33554432000 4194304 4196468 140721380462240 140721380444784 140333613571831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
/proc/7683/statm: 2017055 31263 3147 1 0 1978454 0
[pid=7698] ppid=7683 vsize=240164 memory=208232 CPUtime=24.83 cores=0,2,4,6
/proc/7698/stat : 7698 (minisat_release) R 7683 7665 3762 0 -1 4202496 214966 0 0 0 2462 21 0 0 20 0 1 0 225069698 245927936 52058 33554432000 4194304 4308513 140731442059280 140731442056728 4261482 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 22450176 140731442066549 140731442066646 140731442066646 140731442069445 0
/proc/7698/statm: 60041 52058 342 28 0 56281 0
[pid=7683/tid=7684] ppid=7665 vsize=8068220 memory=2452 CPUtime=0.82 cores=0,2,4,6
/proc/7683/task/7684/stat : 7684 (java) S 7665 7665 3762 0 -1 1077944384 15070 0 0 0 74 8 0 0 20 0 19 0 225069619 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333585411984 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7685] ppid=7665 vsize=8068220 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7685/stat : 7685 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333617814288 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7686] ppid=7665 vsize=8068220 memory=61116 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7686/stat : 7686 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333098720144 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7687] ppid=7665 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7687/stat : 7687 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333097667600 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7688] ppid=7665 vsize=8068220 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7688/stat : 7688 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333096615056 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7689] ppid=7665 vsize=8068220 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7689/stat : 7689 (java) S 7665 7665 3762 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 225069622 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332992763888 140333613582978 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7690] ppid=7665 vsize=8068220 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7690/stat : 7690 (java) S 7665 7665 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225069622 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332486353824 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7691] ppid=7665 vsize=8068220 memory=11764 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7691/stat : 7691 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069622 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332217918448 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7692] ppid=7665 vsize=8068220 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7692/stat : 7692 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140331843410128 140333613590427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7693] ppid=7665 vsize=8068220 memory=792 CPUtime=0.15 cores=0,2,4,6
/proc/7683/task/7693/stat : 7693 (java) S 7665 7665 3762 0 -1 1077944384 670 0 0 0 15 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332991711728 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7694] ppid=7665 vsize=8068220 memory=1224 CPUtime=0.19 cores=0,2,4,6
/proc/7683/task/7694/stat : 7694 (java) S 7665 7665 3762 0 -1 1077944384 738 0 0 0 19 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332990659184 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7695] ppid=7665 vsize=8068220 memory=1944 CPUtime=0.23 cores=0,2,4,6
/proc/7683/task/7695/stat : 7695 (java) S 7665 7665 3762 0 -1 1077944384 592 0 0 0 23 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332989606640 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7696] ppid=7665 vsize=8068220 memory=928 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7696/stat : 7696 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140331345505376 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7697] ppid=7665 vsize=8068220 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7697/stat : 7697 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332988553520 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7699] ppid=7665 vsize=8068220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7699/stat : 7699 (java) S 7665 7665 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225069698 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332980745280 140333613596441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7701] ppid=7665 vsize=8068220 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7701/stat : 7701 (java) S 7665 7665 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225069699 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330808618672 140333613593757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7702] ppid=7665 vsize=8068220 memory=2092 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7702/stat : 7702 (java) S 7665 7665 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225069699 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330942840624 140333613593757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7703] ppid=7665 vsize=8068220 memory=8148 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7703/stat : 7703 (java) S 7665 7665 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225069701 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330540195360 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
Current children cumulated CPU time: 62.65 s
Current children cumulated vsize: 8421512 KiB
Current children cumulated memory: 334752 KiB

[startup+46.4009 s]
/proc/loadavg: 2.12 2.10 2.07 3/227 7704
/proc/meminfo: memFree=8394820/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1468 CPUtime=36.39 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 590 49759 0 0 0 0 3518 121 20 0 1 0 225067622 115843072 367 33554432000 4194304 5098028 140720461777696 140720461774440 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 367 311 221 0 87 0
[pid=7683] ppid=7665 vsize=8068220 memory=125052 CPUtime=1.43 cores=0,2,4,6
/proc/7683/stat : 7683 (java) S 7665 7665 3762 0 -1 1077944320 18485 0 0 0 134 9 0 0 20 0 19 0 225069618 8261857280 31263 33554432000 4194304 4196468 140721380462240 140721380444784 140333613571831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
/proc/7683/statm: 2017055 31263 3147 1 0 1978454 0
[pid=7698] ppid=7683 vsize=240164 memory=208232 CPUtime=25.62 cores=0,2,4,6
/proc/7698/stat : 7698 (minisat_release) R 7683 7665 3762 0 -1 4202496 215021 0 0 0 2541 21 0 0 20 0 1 0 225069698 245927936 52058 33554432000 4194304 4308513 140731442059280 140731442056728 4251663 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 22450176 140731442066549 140731442066646 140731442066646 140731442069445 0
/proc/7698/statm: 60041 52058 342 28 0 56281 0
[pid=7683/tid=7684] ppid=7665 vsize=8068220 memory=-5059952977386882957 CPUtime=0.82 cores=0,2,4,6
/proc/7683/task/7684/stat : 7684 (java) S 7665 7665 3762 0 -1 1077944384 15070 0 0 0 74 8 0 0 20 0 19 0 225069619 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333585411984 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7685] ppid=7665 vsize=8068220 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7685/stat : 7685 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333617814288 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7686] ppid=7665 vsize=8068220 memory=4536 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7686/stat : 7686 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333098720144 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7687] ppid=7665 vsize=8068220 memory=8448 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7687/stat : 7687 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333097667600 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7688] ppid=7665 vsize=8068220 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7688/stat : 7688 (java) S 7665 7665 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225069620 8261857280 31263 33554432000 4194304 4196468 140721380462240 140333096615056 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7689] ppid=7665 vsize=8068220 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7689/stat : 7689 (java) S 7665 7665 3762 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 225069622 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332992763888 140333613582978 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7690] ppid=7665 vsize=8068220 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7690/stat : 7690 (java) S 7665 7665 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225069622 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332486353824 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7691] ppid=7665 vsize=8068220 memory=125052 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7691/stat : 7691 (java) S 7665 7665 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069622 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332217918448 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7692] ppid=7665 vsize=8068220 memory=208232 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7692/stat : 7692 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140331843410128 140333613590427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7693] ppid=7665 vsize=8068220 memory=8448 CPUtime=0.15 cores=0,2,4,6
/proc/7683/task/7693/stat : 7693 (java) S 7665 7665 3762 0 -1 1077944384 670 0 0 0 15 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332991711728 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7694] ppid=7665 vsize=8068220 memory=1628 CPUtime=0.19 cores=0,2,4,6
/proc/7683/task/7694/stat : 7694 (java) S 7665 7665 3762 0 -1 1077944384 738 0 0 0 19 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332990659184 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7695] ppid=7665 vsize=8068220 memory=1144 CPUtime=0.23 cores=0,2,4,6
/proc/7683/task/7695/stat : 7695 (java) S 7665 7665 3762 0 -1 1077944384 592 0 0 0 23 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332989606640 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7696] ppid=7665 vsize=8068220 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7696/stat : 7696 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140331345505376 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7697] ppid=7665 vsize=8068220 memory=34864 CPUtime=0.01 cores=0,2,4,6
/proc/7683/task/7697/stat : 7697 (java) S 7665 7665 3762 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 19 0 225069625 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332988553520 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7699] ppid=7665 vsize=8068220 memory=3324 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7699/stat : 7699 (java) S 7665 7665 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225069698 8261857280 31263 33554432000 4194304 4196468 140721380462240 140332980745280 140333613596441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7701] ppid=7665 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7701/stat : 7701 (java) S 7665 7665 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225069699 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330808618672 140333613593757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7702] ppid=7665 vsize=8068220 memory=116864 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7702/stat : 7702 (java) S 7665 7665 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225069699 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330942840624 140333613593757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7703] ppid=7665 vsize=8068220 memory=49816 CPUtime=0 cores=0,2,4,6
/proc/7683/task/7703/stat : 7703 (java) S 7665 7665 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225069701 8261857280 31263 33554432000 4194304 4196468 140721380462240 140330540195360 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
Current children cumulated CPU time: 63.44 s
Current children cumulated vsize: 8421512 KiB
Current children cumulated memory: 334752 KiB

[startup+46.802 s]
/proc/loadavg: 2.12 2.10 2.07 3/227 7704
/proc/meminfo: memFree=8394820/32770624 swapFree=67108860/67108860
[pid=7665] ppid=7662 vsize=113128 memory=1468 CPUtime=36.39 cores=0,2,4,6
/proc/7665/stat : 7665 (scop.sh) S 7662 7665 3762 0 -1 4202496 590 49759 0 0 0 0 3518 121 20 0 1 0 225067622 115843072 367 33554432000 4194304 5098028 140720461777696 140720461774440 140516540142204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27369472 140720461780032 140720461780231 140720461780231 140720461782989 0
/proc/7665/statm: 28282 367 311 221 0 87 0
[pid=7683] ppid=7665 vsize=7937144 memory=157416 CPUtime=27.83 cores=0,2,4,6
/proc/7683/stat : 7683 (java) S 7665 7665 3762 0 -1 1077944320 19977 215560 0 0 189 11 2561 22 20 0 17 0 225069618 8127635456 39354 33554432000 4194304 4196468 140721380462240 140721380444784 140333613571831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
/proc/7683/statm: 1984286 39354 3182 1 0 1945685 0
[pid=7683/tid=7684] ppid=7665 vsize=7937144 memory=1468 CPUtime=26.77 cores=0,2,4,6
/proc/7683/task/7684/stat : 7684 (java) R 7665 7665 3762 0 -1 4202560 15294 215560 0 0 86 8 2561 22 20 0 17 0 225069619 8127635456 39354 33554432000 4194304 4196468 140721380462240 140333585407120 140333107150181 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7685] ppid=7665 vsize=7937144 memory=125052 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7685/stat : 7685 (java) S 7665 7665 3762 0 -1 1077944384 1 215560 0 0 0 0 2561 22 20 0 17 0 225069620 8127635456 39354 33554432000 4194304 4196468 140721380462240 140333617814288 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7686] ppid=7665 vsize=7937144 memory=212140 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7686/stat : 7686 (java) S 7665 7665 3762 0 -1 1077944384 1 215560 0 0 0 0 2561 22 20 0 17 0 225069620 8127635456 39354 33554432000 4194304 4196468 140721380462240 140333098720144 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7687] ppid=7665 vsize=7937144 memory=0 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7687/stat : 7687 (java) S 7665 7665 3762 0 -1 1077944384 1 215560 0 0 0 0 2561 22 20 0 17 0 225069620 8127635456 39354 33554432000 4194304 4196468 140721380462240 140333097667600 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7688] ppid=7665 vsize=7937144 memory=-5059952977386882957 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7688/stat : 7688 (java) S 7665 7665 3762 0 -1 1077944384 2 215560 0 0 0 0 2561 22 20 0 17 0 225069620 8127635456 39354 33554432000 4194304 4196468 140721380462240 140333096615056 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7689] ppid=7665 vsize=7937144 memory=11764 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7689/stat : 7689 (java) S 7665 7665 3762 0 -1 1077944384 8 215560 0 0 0 0 2561 22 20 0 17 0 225069622 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332992763888 140333613582978 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7690] ppid=7665 vsize=7937144 memory=4028 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7690/stat : 7690 (java) S 7665 7665 3762 0 -1 1077944384 13 215560 0 0 0 0 2561 22 20 0 17 0 225069622 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332486353824 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7691] ppid=7665 vsize=7937144 memory=928 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7691/stat : 7691 (java) S 7665 7665 3762 0 -1 1077944384 1 215560 0 0 0 0 2561 22 20 0 17 0 225069622 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332217918448 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7692] ppid=7665 vsize=7937144 memory=1572 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7692/stat : 7692 (java) S 7665 7665 3762 0 -1 1077944384 3 215560 0 0 0 0 2561 22 20 0 17 0 225069625 8127635456 39354 33554432000 4194304 4196468 140721380462240 140331843410128 140333613590427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7693] ppid=7665 vsize=7937144 memory=2244 CPUtime=26.11 cores=0,2,4,6
/proc/7683/task/7693/stat : 7693 (java) R 7665 7665 3762 0 -1 4202560 960 215560 0 0 28 0 2561 22 20 0 17 0 225069625 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332991697528 140333595094308 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7694] ppid=7665 vsize=7937144 memory=4124 CPUtime=26.11 cores=0,2,4,6
/proc/7683/task/7694/stat : 7694 (java) S 7665 7665 3762 0 -1 1077944384 881 215560 0 0 28 0 2561 22 20 0 17 0 225069625 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332990659184 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7695] ppid=7665 vsize=7937144 memory=2092 CPUtime=26.16 cores=0,2,4,6
/proc/7683/task/7695/stat : 7695 (java) S 7665 7665 3762 0 -1 1077944384 1364 215560 0 0 33 0 2561 22 20 0 17 0 225069625 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332989606640 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7696] ppid=7665 vsize=7937144 memory=8148 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7696/stat : 7696 (java) S 7665 7665 3762 0 -1 1077944384 3 215560 0 0 0 0 2561 22 20 0 17 0 225069625 8127635456 39354 33554432000 4194304 4196468 140721380462240 140331345505376 140333613582037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7697] ppid=7665 vsize=7937144 memory=844 CPUtime=25.84 cores=0,2,4,6
/proc/7683/task/7697/stat : 7697 (java) S 7665 7665 3762 0 -1 1077944384 3 215560 0 0 1 0 2561 22 20 0 17 0 225069625 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332988553520 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7699] ppid=7665 vsize=7937144 memory=1696 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7699/stat : 7699 (java) S 7665 7665 3762 0 -1 1077944384 24 215560 0 0 0 0 2561 22 20 0 17 0 225069698 8127635456 39354 33554432000 4194304 4196468 140721380462240 140332980744464 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
[pid=7683/tid=7703] ppid=7665 vsize=7937144 memory=920 CPUtime=25.83 cores=0,2,4,6
/proc/7683/task/7703/stat : 7703 (java) S 7665 7665 3762 0 -1 1077944384 8 215560 0 0 0 0 2561 22 20 0 17 0 225069701 8127635456 39354 33554432000 4194304 4196468 140721380462240 140330540197168 140333613582978 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10555392 140721380463798 140721380463921 140721380463921 140721380466639 0
Current children cumulated CPU time: 64.22 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 158884 KiB

Child status: 0
Real time (s): 46.8301
CPU time (s): 64.3121
CPU user time (s): 62.7407
CPU system time (s): 1.57148
CPU usage (%): 137.331
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3396952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.7407
system time used= 1.57148
maximum resident set size= 3395820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 97976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8898
involuntary context switches= 128


# summary of solver processes directly reported to runsolver:
#   pid: 7665
#   total CPU time (s): 64.3121
#   total CPU user time (s): 62.7407
#   total CPU system time (s): 1.57148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.369187 second user time and 0.492559 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 13:57:24
IDJOB=4305524
IDBENCH=141395
IDSOLVER=2782
FILE ID=node151/4305524-1534075044
RUNJOBID= node151-1534062410-3793
PBS_JOBID= 21036982
Free space on /tmp= 41244 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-12_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305524-1534075044/watcher-4305524-1534075044 -o /tmp/evaluation-result-4305524-1534075044/solver-4305524-1534075044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305524-1534075044.xml

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

MD5SUM BENCH= 193461ec87a084283094d7342f0c20d4
RANDOM SEED=1017367656

node151.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.87
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.87
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.87
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.87
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:         8766620 kB
MemAvailable:   31749572 kB
Buffers:          263036 kB
Cached:         22675408 kB
SwapCached:            0 kB
Active:         10453944 kB
Inactive:       12694488 kB
Active(anon):     159052 kB
Inactive(anon):   103292 kB
Active(file):   10294892 kB
Inactive(file): 12591196 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7976 kB
Writeback:             0 kB
AnonPages:        278672 kB
Mapped:            72012 kB
Shmem:             49800 kB
Slab:             554212 kB
SReclaimable:     525324 kB
SUnreclaim:        28888 kB
KernelStack:        4000 kB
PageTables:         6336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5868748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41236 MiB
End job on node151 at 2018-08-12 13:58:11