Trace number 4294442

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-06-13)SAT 14.7964 5.12035

General information on the benchmark

NameSocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
MD5SUM7cf8ff1aade64c35eba6df9cb38cb5a8
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 benchmark1.62608
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints4508
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":150}]
Minimum variable degree122
Maximum variable degree123
Distribution of variable degrees[{"degree":122,"count":125},{"degree":123,"count":25}]
Minimum constraint arity4
Maximum constraint arity150
Distribution of constraint arities[{"arity":4,"count":4500},{"arity":25,"count":7},{"arity":150,"count":1}]
Number of extensional constraints0
Number of intensional constraints4500
Distribution of constraint types[{"type":"intension","count":4500},{"type":"lex","count":1},{"type":"cardinality","count":6},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.53	scop order+minisat_release (2018-06-13)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Mon Jul 23 16:47:08 CEST 2018
0.67/0.55	c PID: 10506
0.67/0.55	c IP: 172.20.3.105
0.67/0.55	c HOST: node105.alineos.net
0.67/0.56	c (0,0) Parsing Begin
4.51/1.84	c (1,1) Parsing End
4.51/1.84	c (1,1) CSP: 150 int (0 aux), 0 bool (0 aux), 4508 ctr, max domain size 5
4.51/1.84	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.51/1.85	c (1,1) Constraint Name Generate Begin
4.51/1.88	c (1,1) Ctr:HOME/instance-4294442-1532357228.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
4.51/1.88	c (1,1) Constraint Name Generate End
4.51/1.88	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.51/1.88	c (1,1) CSP to CSPinCNF Begin
5.07/2.09	c (1,1) translated 451 (10%) constraints
5.36/2.15	c (1,1) translated 902 (20%) constraints
5.36/2.19	c (1,1) translated 1353 (30%) constraints
5.64/2.22	c (1,1) translated 1804 (40%) constraints
5.64/2.25	c (1,1) translated 2254 (50%) constraints
5.64/2.28	c (1,1) translated 2705 (60%) constraints
5.93/2.31	c (1,1) translated 3156 (70%) constraints
5.93/2.33	c (1,1) translated 3607 (80%) constraints
5.93/2.36	c (1,1) translated 4058 (90%) constraints
7.30/2.72	c (2,2) translated 4508 (100%) constraints
8.28/3.10	c (2,2) STATISTICS1:HOME/instance-4294442-1532357228.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1111,6535,16777216,5,4,25,16777216:60;5:7912;1:1597,5:17123;2:2883;1:3420,4:4711;3:779;2:961;1:84,25:60;2:9509;1:4433,
8.28/3.10	c (2,2) ===========================================
8.28/3.10	c (2,2) Order
8.28/3.10	c (2,2) ===========================================
8.58/3.17	c (2,2) translated 654 (10%) constraints
8.91/3.22	c (2,2) translated 1307 (20%) constraints
8.91/3.27	c (2,2) translated 1961 (30%) constraints
9.22/3.32	c (2,2) translated 2614 (40%) constraints
9.22/3.37	c (2,2) translated 3268 (50%) constraints
9.52/3.41	c (2,2) translated 3921 (60%) constraints
9.52/3.48	c (2,2) translated 4575 (70%) constraints
9.89/3.55	c (3,2) translated 5228 (80%) constraints
10.18/3.62	c (3,3) translated 5882 (90%) constraints
10.18/3.65	c (3,3) translated 6535 (100%) constraints
10.18/3.66	c (3,3) CSP to CSPinCNF End
10.18/3.66	c (3,3) CSP: 240 int (90 aux), 1711 bool (1711 aux), 8270 ctr, max domain size 6
10.18/3.66	c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.18/3.66	c (3,3) CSPinCNF Propagation Begin
10.80/3.83	c (3,3) 345 values, 2618 unsatisfiable literals, and 2143 valid clauses are removed
10.80/3.83	c (3,3) CSPinCNF Propagation End
10.80/3.83	c (3,3) CSP: 510 int (360 aux), 1441 bool (1441 aux), 6127 ctr, max domain size 6
10.80/3.83	c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.80/3.83	c (3,3) Simplify CSPinCNF Begin
11.45/4.01	c (3,3) Simplify CSPinCNF End
11.45/4.01	c (3,3) CSP: 510 int (360 aux), 4693 bool (4693 aux), 9379 ctr, max domain size 6
11.45/4.01	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.45/4.01	c (3,3) Calculate Precise Domain Begin
11.45/4.06	c (3,3) 0 values are removed by re-calculation
11.45/4.06	c (3,3) Calculate Precise Domain End
11.45/4.06	c (3,3) CSP: 510 int (360 aux), 4693 bool (4693 aux), 9379 ctr, max domain size 6
11.45/4.06	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.45/4.06	c (3,3) CSPinCNF to SatSolver Begin
12.14/4.21	c (3,3) 938 (10 %) CSP clauses are encoded (5568 SAT variables, 4188 SAT clauses)
12.14/4.26	c (3,3) 1876 (20 %) CSP clauses are encoded (5568 SAT variables, 8054 SAT clauses)
12.14/4.29	c (3,3) 2814 (30 %) CSP clauses are encoded (5568 SAT variables, 11416 SAT clauses)
12.45/4.33	c (3,3) 3752 (40 %) CSP clauses are encoded (5568 SAT variables, 14674 SAT clauses)
12.45/4.36	c (3,3) 4690 (50 %) CSP clauses are encoded (5568 SAT variables, 17364 SAT clauses)
12.45/4.37	c (3,3) 5628 (60 %) CSP clauses are encoded (5568 SAT variables, 18302 SAT clauses)
12.75/4.48	c (3,3) 6566 (70 %) CSP clauses are encoded (5568 SAT variables, 27095 SAT clauses)
13.36/4.61	c (4,4) 7504 (80 %) CSP clauses are encoded (5568 SAT variables, 43743 SAT clauses)
13.66/4.71	c (4,4) 8442 (90 %) CSP clauses are encoded (5568 SAT variables, 60391 SAT clauses)
13.66/4.73	c (4,4) 9379 (100 %) CSP clauses are encoded (5568 SAT variables, 62753 SAT clauses)
13.66/4.73	c (4,4) CSPinCNF to SatSolver End
13.66/4.73	c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.96/4.81	c (4,4) STATISTICS2:HOME/instance-4294442-1532357228.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,5203,9379,512,6,4,10,512:50;256:100;36:50;5:3412;1:59,6:300;5:8883;2:20886;1:59,4:3183;3:407;2:5565;1:224,10:50;9:100;3:50;2:3471;1:21636,
13.96/4.81	c (4,4) SatSolver.solve Begin
13.96/4.81	c (4,4) 5568 bool, 62757 clause
13.96/4.81	c (4,4) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294442-1532357228.xml-scop-10506.cnf HOME/instance-4294442-1532357228.xml-scop-10506.cnf.out
14.60/5.07	c (4,0) c This is COMiniSatPS.
14.60/5.07	c (4,0) c WARNING: for repeatability, setting FPU to use double precision
14.60/5.07	c (4,0) c ============================[ Problem Statistics ]=============================
14.60/5.07	c (4,0) c |                                                                             |
14.60/5.07	c (4,0) c |  Number of variables:          5568                                         |
14.60/5.07	c (4,0) c |  Number of clauses:           62757                                         |
14.60/5.07	c (4,0) c |  Parse time:                   0.02 s                                       |
14.60/5.07	c (4,0) c |  Eliminated clauses:           0.02 Mb                                      |
14.60/5.07	c (4,0) c Reduced to 4443 vars, 60736 cls (grow=0)
14.60/5.07	c (4,0) c No iterative elimination performed. (vars=4443, c/v ratio=13.7)
14.60/5.07	c (4,0) c |  Simplification time:          0.12 s                                       |
14.60/5.07	c (4,0) c |                                                                             |
14.60/5.07	c (4,0) c ============================[ Search Statistics ]==============================
14.60/5.07	c (4,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.60/5.07	c (4,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
14.60/5.07	c (4,0) c ===============================================================================
14.60/5.07	c (4,0) c ===============================================================================
14.60/5.07	c (4,0) c restarts              : 11
14.60/5.07	c (4,0) c conflicts             : 2304           (9897 /sec)
14.60/5.07	c (4,0) c decisions             : 5635           (0.00 % random) (24206 /sec)
14.60/5.07	c (4,0) c propagations          : 318203         (1366910 /sec)
14.60/5.07	c (4,0) c conflict literals     : 59626          (7.00 % deleted)
14.60/5.07	c (4,0) c CPU time              : 0.23279 s
14.60/5.07	c (4,0) 
14.60/5.07	c (4,0) s SATISFIABLE
14.60/5.08	c (4,4) SatSolver.solve End
14.60/5.08	c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.60/5.08	c (4,4) Show results Begin
14.60/5.09	c (4,4) x[0][0] = 0
14.60/5.09	c (4,4) x[0][1] = 0
14.60/5.09	c (4,4) x[0][2] = 0
14.60/5.09	c (4,4) x[0][3] = 0
14.60/5.09	c (4,4) x[0][4] = 0
14.60/5.09	c (4,4) x[0][5] = 1
14.60/5.09	c (4,4) x[0][6] = 1
14.60/5.09	c (4,4) x[0][7] = 1
14.60/5.09	c (4,4) x[0][8] = 1
14.60/5.09	c (4,4) x[0][9] = 1
14.60/5.09	c (4,4) x[0][10] = 2
14.60/5.09	c (4,4) x[0][11] = 2
14.60/5.09	c (4,4) x[0][12] = 2
14.60/5.09	c (4,4) x[0][13] = 2
14.60/5.09	c (4,4) x[0][14] = 2
14.60/5.09	c (4,4) x[0][15] = 3
14.60/5.09	c (4,4) x[0][16] = 3
14.60/5.09	c (4,4) x[0][17] = 3
14.60/5.09	c (4,4) x[0][18] = 3
14.60/5.10	c (4,4) x[0][19] = 3
14.60/5.10	c (4,4) x[0][20] = 4
14.60/5.10	c (4,4) x[0][21] = 4
14.60/5.10	c (4,4) x[0][22] = 4
14.60/5.10	c (4,4) x[0][23] = 4
14.60/5.10	c (4,4) x[0][24] = 4
14.60/5.10	c (4,4) x[1][0] = 0
14.60/5.10	c (4,4) x[1][1] = 1
14.60/5.10	c (4,4) x[1][2] = 2
14.60/5.10	c (4,4) x[1][3] = 3
14.60/5.10	c (4,4) x[1][4] = 4
14.60/5.10	c (4,4) x[1][5] = 0
14.60/5.10	c (4,4) x[1][6] = 1
14.60/5.10	c (4,4) x[1][7] = 2
14.60/5.10	c (4,4) x[1][8] = 3
14.60/5.10	c (4,4) x[1][9] = 4
14.60/5.10	c (4,4) x[1][10] = 0
14.60/5.10	c (4,4) x[1][11] = 1
14.60/5.10	c (4,4) x[1][12] = 2
14.60/5.10	c (4,4) x[1][13] = 3
14.60/5.10	c (4,4) x[1][14] = 4
14.60/5.10	c (4,4) x[1][15] = 0
14.60/5.10	c (4,4) x[1][16] = 1
14.60/5.10	c (4,4) x[1][17] = 2
14.60/5.10	c (4,4) x[1][18] = 3
14.60/5.10	c (4,4) x[1][19] = 4
14.60/5.10	c (4,4) x[1][20] = 0
14.60/5.10	c (4,4) x[1][21] = 1
14.60/5.10	c (4,4) x[1][22] = 2
14.60/5.10	c (4,4) x[1][23] = 3
14.60/5.10	c (4,4) x[1][24] = 4
14.60/5.10	c (4,4) x[2][0] = 0
14.60/5.10	c (4,4) x[2][1] = 2
14.60/5.10	c (4,4) x[2][2] = 1
14.60/5.10	c (4,4) x[2][3] = 4
14.60/5.10	c (4,4) x[2][4] = 3
14.60/5.10	c (4,4) x[2][5] = 3
14.60/5.10	c (4,4) x[2][6] = 4
14.60/5.10	c (4,4) x[2][7] = 2
14.60/5.10	c (4,4) x[2][8] = 0
14.60/5.10	c (4,4) x[2][9] = 1
14.60/5.10	c (4,4) x[2][10] = 2
14.60/5.10	c (4,4) x[2][11] = 3
14.60/5.10	c (4,4) x[2][12] = 0
14.60/5.10	c (4,4) x[2][13] = 1
14.60/5.10	c (4,4) x[2][14] = 4
14.60/5.10	c (4,4) x[2][15] = 1
14.60/5.10	c (4,4) x[2][16] = 0
14.60/5.10	c (4,4) x[2][17] = 4
14.60/5.10	c (4,4) x[2][18] = 3
14.60/5.10	c (4,4) x[2][19] = 2
14.60/5.10	c (4,4) x[2][20] = 4
14.60/5.10	c (4,4) x[2][21] = 1
14.60/5.10	c (4,4) x[2][22] = 3
14.60/5.10	c (4,4) x[2][23] = 2
14.60/5.10	c (4,4) x[2][24] = 0
14.60/5.10	c (4,4) x[3][0] = 0
14.60/5.10	c (4,4) x[3][1] = 2
14.60/5.10	c (4,4) x[3][2] = 3
14.60/5.10	c (4,4) x[3][3] = 1
14.60/5.10	c (4,4) x[3][4] = 4
14.60/5.10	c (4,4) x[3][5] = 1
14.60/5.10	c (4,4) x[3][6] = 3
14.60/5.10	c (4,4) x[3][7] = 4
14.60/5.10	c (4,4) x[3][8] = 2
14.60/5.10	c (4,4) x[3][9] = 0
14.60/5.10	c (4,4) x[3][10] = 3
14.60/5.10	c (4,4) x[3][11] = 0
14.60/5.10	c (4,4) x[3][12] = 1
14.60/5.10	c (4,4) x[3][13] = 4
14.60/5.10	c (4,4) x[3][14] = 2
14.60/5.10	c (4,4) x[3][15] = 2
14.60/5.10	c (4,4) x[3][16] = 4
14.60/5.10	c (4,4) x[3][17] = 0
14.60/5.10	c (4,4) x[3][18] = 3
14.60/5.10	c (4,4) x[3][19] = 1
14.60/5.10	c (4,4) x[3][20] = 4
14.60/5.10	c (4,4) x[3][21] = 1
14.60/5.10	c (4,4) x[3][22] = 2
14.60/5.10	c (4,4) x[3][23] = 0
14.60/5.10	c (4,4) x[3][24] = 3
14.60/5.10	c (4,4) x[4][0] = 0
14.60/5.10	c (4,4) x[4][1] = 2
14.60/5.10	c (4,4) x[4][2] = 3
14.60/5.10	c (4,4) x[4][3] = 4
14.60/5.10	c (4,4) x[4][4] = 1
14.60/5.10	c (4,4) x[4][5] = 2
14.60/5.10	c (4,4) x[4][6] = 1
14.60/5.10	c (4,4) x[4][7] = 0
14.60/5.10	c (4,4) x[4][8] = 3
14.60/5.10	c (4,4) x[4][9] = 4
14.60/5.10	c (4,4) x[4][10] = 4
14.60/5.10	c (4,4) x[4][11] = 3
14.60/5.10	c (4,4) x[4][12] = 1
14.60/5.10	c (4,4) x[4][13] = 2
14.60/5.10	c (4,4) x[4][14] = 0
14.60/5.10	c (4,4) x[4][15] = 1
14.60/5.10	c (4,4) x[4][16] = 4
14.60/5.10	c (4,4) x[4][17] = 2
14.60/5.10	c (4,4) x[4][18] = 0
14.60/5.10	c (4,4) x[4][19] = 3
14.60/5.10	c (4,4) x[4][20] = 3
14.60/5.10	c (4,4) x[4][21] = 0
14.60/5.10	c (4,4) x[4][22] = 4
14.60/5.10	c (4,4) x[4][23] = 1
14.60/5.10	c (4,4) x[4][24] = 2
14.60/5.10	c (4,4) x[5][0] = 0
14.60/5.10	c (4,4) x[5][1] = 2
14.60/5.10	c (4,4) x[5][2] = 3
14.60/5.10	c (4,4) x[5][3] = 4
14.60/5.10	c (4,4) x[5][4] = 1
14.60/5.10	c (4,4) x[5][5] = 3
14.60/5.10	c (4,4) x[5][6] = 0
14.60/5.10	c (4,4) x[5][7] = 4
14.60/5.10	c (4,4) x[5][8] = 1
14.60/5.10	c (4,4) x[5][9] = 2
14.60/5.10	c (4,4) x[5][10] = 1
14.60/5.10	c (4,4) x[5][11] = 4
14.60/5.10	c (4,4) x[5][12] = 2
14.60/5.10	c (4,4) x[5][13] = 0
14.60/5.10	c (4,4) x[5][14] = 3
14.60/5.10	c (4,4) x[5][15] = 4
14.60/5.10	c (4,4) x[5][16] = 3
14.60/5.10	c (4,4) x[5][17] = 1
14.60/5.10	c (4,4) x[5][18] = 2
14.60/5.10	c (4,4) x[5][19] = 0
14.60/5.10	c (4,4) x[5][20] = 2
14.60/5.10	c (4,4) x[5][21] = 1
14.60/5.10	c (4,4) x[5][22] = 0
14.60/5.10	c (4,4) x[5][23] = 3
14.60/5.10	c (4,4) x[5][24] = 4
14.60/5.10	s SATISFIABLE
14.60/5.10	v <instantiation>
14.60/5.10	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24]</list>
14.60/5.10	v     <values>0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 2 1 4 3 3 4 2 0 1 2 3 0 1 4 1 0 4 3 2 4 1 3 2 0 0 2 3 1 4 1 3 4 2 0 3 0 1 4 2 2 4 0 3 1 4 1 2 0 3 0 2 3 4 1 2 1 0 3 4 4 3 1 2 0 1 4 2 0 3 3 0 4 1 2 0 2 3 4 1 3 0 4 1 2 1 4 2 0 3 4 3 1 2 0 2 1 0 3 4</values>
14.60/5.10	v </instantiation>
14.60/5.10	c (4,4) Show results End
14.60/5.10	c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.60/5.10	c (4,4) 1,1,3,3,3,3,4,4,4,STOP-AFTER(ALL)
14.60/5.10	c END-Prog: Mon Jul 23 16:47:13 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 (4335 MiB free)
  memory of node 1: 16384 MiB (9675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294442-1532357228/watcher-4294442-1532357228 -o /tmp/evaluation-result-4294442-1532357228/solver-4294442-1532357228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294442-1532357228.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=10506, runsolver pid=10503

[startup+0.100093 s]*
/proc/loadavg: 2.05 2.10 2.08 3/220 10521
/proc/meminfo: memFree=14284372/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15011656 memory=74244 CPUtime=0.11 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 6716 0 0 0 8 3 0 0 20 0 15 0 53285934 15371935744 18561 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3752914 18561 2782 1 0 3715374 0
[pid=10506/tid=10508] ppid=10503 vsize=15011656 memory=-6727144656924359504 CPUtime=0.09 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) R 10503 10506 2271 0 -1 4202560 4800 0 0 0 7 2 0 0 20 0 15 0 53285935 15371935744 18561 33554432000 4194304 4196468 140725106234528 140009585818000 140009597178480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 18561 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 18561 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 18561 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 18561 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285938 15371935744 18561 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53285939 15371935744 18561 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285939 15371935744 18561 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 18561 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) S 10503 10506 2271 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 18561 33554432000 4194304 4196468 140725106234528 140008650717808 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) S 10503 10506 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 18561 33554432000 4194304 4196468 140725106234528 140008649665008 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0.01 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) R 10503 10506 2271 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 53285941 15371935744 18561 33554432000 4194304 4196468 140725106234528 140008648612720 140009592910256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 18561 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285942 15371935744 18561 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74244 KiB

[startup+0.210526 s]*
/proc/loadavg: 2.05 2.10 2.08 3/220 10521
/proc/meminfo: memFree=14268064/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15011656 memory=90064 CPUtime=0.25 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 10930 0 0 0 21 4 0 0 20 0 15 0 53285934 15371935744 22516 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3752914 22516 2887 1 0 3715374 0
[pid=10506/tid=10508] ppid=10503 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) R 10503 10506 2271 0 -1 4202560 8829 0 0 0 17 3 0 0 20 0 15 0 53285935 15371935744 22516 33554432000 4194304 4196468 140725106234528 140009585811376 140009614003606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 22516 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15011656 memory=288370585086957184 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 22516 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 22516 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 22516 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285938 15371935744 22516 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53285939 15371935744 22516 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285939 15371935744 22516 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 22516 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) S 10503 10506 2271 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 22516 33554432000 4194304 4196468 140725106234528 140008650717808 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) S 10503 10506 2271 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 22516 33554432000 4194304 4196468 140725106234528 140008649665008 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0.03 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) R 10503 10506 2271 0 -1 4202560 296 0 0 0 3 0 0 0 20 0 15 0 53285941 15371935744 22516 33554432000 4194304 4196468 140725106234528 140008648612720 140009598072158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 22516 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285942 15371935744 22516 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90064 KiB

[startup+0.310413 s]*
/proc/loadavg: 2.05 2.10 2.08 3/220 10521
/proc/meminfo: memFree=14264900/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15011656 memory=93740 CPUtime=0.43 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 11478 0 0 0 38 5 0 0 20 0 15 0 53285934 15371935744 23435 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3752914 23435 2986 1 0 3715374 0
[pid=10506/tid=10508] ppid=10503 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) R 10503 10506 2271 0 -1 4202560 9181 0 0 0 26 3 0 0 20 0 15 0 53285935 15371935744 23435 33554432000 4194304 4196468 140725106234528 140009585795824 140009598072158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 23435 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15011656 memory=288230376152082715 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 23435 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 23435 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15371935744 23435 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285938 15371935744 23435 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53285939 15371935744 23435 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15011656 memory=140208935245440 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285939 15371935744 23435 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 23435 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) S 10503 10506 2271 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 53285941 15371935744 23435 33554432000 4194304 4196468 140725106234528 140008650717808 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) S 10503 10506 2271 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 53285941 15371935744 23435 33554432000 4194304 4196468 140725106234528 140008649665008 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) S 10503 10506 2271 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 15 0 53285941 15371935744 23435 33554432000 4194304 4196468 140725106234528 140008648612720 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15371935744 23435 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285942 15371935744 23435 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 93740 KiB

[startup+0.703008 s]
/proc/loadavg: 2.05 2.10 2.08 3/220 10521
/proc/meminfo: memFree=14242460/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15017928 memory=131036 CPUtime=1.02 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 17905 0 0 0 95 7 0 0 20 0 15 0 53285934 15378358272 32759 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3754482 32759 3154 1 0 3715886 0
[pid=10506/tid=10508] ppid=10503 vsize=15017928 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) S 10503 10506 2271 0 -1 1077944384 15153 0 0 0 62 5 0 0 20 0 15 0 53285935 15378358272 33271 33554432000 4194304 4196468 140725106234528 140009585829392 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15017928 memory=796 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15378358272 33271 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15378358272 33271 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15378358272 33271 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15017928 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15378358272 33271 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15017928 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53285938 15378358272 33271 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15017928 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53285939 15378358272 33271 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285939 15378358272 33271 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15378358272 33271 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15017928 memory=8384 CPUtime=0.06 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) R 10503 10506 2271 0 -1 4202560 551 0 0 0 6 0 0 0 20 0 15 0 53285941 15378358272 33271 33554432000 4194304 4196468 140725106234528 140008650717808 140009593843744 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15017928 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) R 10503 10506 2271 0 -1 4202560 338 0 0 0 8 0 0 0 20 0 15 0 53285941 15378358272 33271 33554432000 4194304 4196468 140725106234528 140008649654800 140009614013018 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15017928 memory=1424 CPUtime=0.17 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) R 10503 10506 2271 0 -1 4202560 524 0 0 0 17 0 0 0 20 0 15 0 53285941 15378358272 33271 33554432000 4194304 4196468 140725106234528 140008648609656 140009614003606 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15017928 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15378358272 33271 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15017928 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285942 15378358272 33271 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131036 KiB

[startup+1.50066 s]
/proc/loadavg: 2.05 2.10 2.08 6/220 10521
/proc/meminfo: memFree=14174392/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15022100 memory=234296 CPUtime=3.61 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 21277 0 0 0 351 10 0 0 20 0 15 0 53285934 15382630400 58574 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3755525 58574 3204 1 0 3716910 0
[pid=10506/tid=10508] ppid=10503 vsize=15022100 memory=13570392392808141 CPUtime=1.46 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) R 10503 10506 2271 0 -1 4202560 16029 0 0 0 138 8 0 0 20 0 15 0 53285935 15382630400 58574 33554432000 4194304 4196468 140725106234528 140009585828128 140009614003606 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15382630400 58574 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15382630400 58574 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15382630400 58574 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15382630400 58574 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53285938 15382630400 58574 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0

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

[pid=10506/tid=10510] ppid=10503 vsize=15024148 memory=644 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15384727552 142256 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15024148 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15384727552 142256 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15024148 memory=960 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15384727552 142256 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15024148 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53285938 15384727552 142256 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15024148 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53285939 15384727552 142256 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15024148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285939 15384727552 142256 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15024148 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15384727552 142256 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15024148 memory=2240 CPUtime=2.26 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) R 10503 10506 2271 0 -1 4202560 2792 0 0 0 226 0 0 0 20 0 15 0 53285941 15384727552 142256 33554432000 4194304 4196468 140725106234528 140008650698640 140009597488459 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15024148 memory=0 CPUtime=2.29 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) R 10503 10506 2271 0 -1 4202560 1651 0 0 0 228 1 0 0 20 0 15 0 53285941 15384727552 142256 33554432000 4194304 4196468 140725106234528 140008649655664 140009593684808 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15024148 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) S 10503 10506 2271 0 -1 1077944384 3793 0 0 0 117 1 0 0 20 0 15 0 53285941 15384727552 142256 33554432000 4194304 4196468 140725106234528 140008648612720 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15024148 memory=140208805170104 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15384727552 142256 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15024148 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285942 15384727552 142256 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 569024 KiB

[startup+4.00116 s]*
/proc/loadavg: 2.21 2.13 2.09 5/220 10521
/proc/meminfo: memFree=13578636/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15024148 memory=782484 CPUtime=11.45 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 28043 0 0 0 1123 22 0 0 20 0 15 0 53285934 15384727552 195621 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3756037 195621 3216 1 0 3717422 0
[pid=10506/tid=10508] ppid=10503 vsize=15024148 memory=-8628200297103265151 CPUtime=3.96 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) R 10503 10506 2271 0 -1 4202560 17004 0 0 0 379 17 0 0 20 0 15 0 53285935 15384727552 195621 33554432000 4194304 4196468 140725106234528 140009585828104 140009112088135 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15024148 memory=5792869726567804975 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15384727552 195621 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15024148 memory=3472755486405151409 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15384727552 195621 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15384727552 195621 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15024148 memory=3467824628015314744 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15384727552 195621 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15024148 memory=140208935258688 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53285938 15384727552 195621 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15024148 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53285939 15384727552 195621 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15024148 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285939 15384727552 195621 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15024148 memory=7813587196152657717 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15384727552 195621 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15024148 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) R 10503 10506 2271 0 -1 4202560 3162 0 0 0 305 1 0 0 20 0 15 0 53285941 15384727552 195621 33554432000 4194304 4196468 140725106234528 140008650717808 140009597361835 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15024148 memory=3833746495650148383 CPUtime=3.08 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) R 10503 10506 2271 0 -1 4202560 2507 0 0 0 306 2 0 0 20 0 15 0 53285941 15384727552 195621 33554432000 4194304 4196468 140725106234528 140008649655392 140009595536632 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15024148 memory=280417740068264 CPUtime=1.32 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) R 10503 10506 2271 0 -1 1077944384 4026 0 0 0 131 1 0 0 20 0 15 0 53285941 15384727552 195621 33554432000 4194304 4196468 140725106234528 140008648612720 140009614002818 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15024148 memory=3472592187692757535 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15384727552 195621 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285942 15384727552 195621 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 11.45 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 782484 KiB

[startup+4.80116 s]
/proc/loadavg: 2.21 2.13 2.09 5/220 10521
/proc/meminfo: memFree=13578636/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15026264 memory=1070816 CPUtime=13.96 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 29906 0 0 0 1369 27 0 0 20 0 15 0 53285934 15386894336 267704 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3756566 267704 3232 1 0 3717422 0
[pid=10506/tid=10508] ppid=10503 vsize=15026264 memory=6791534058613427641 CPUtime=4.73 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) R 10503 10506 2271 0 -1 4202560 17534 0 0 0 453 20 0 0 20 0 15 0 53285935 15386894336 267704 33554432000 4194304 4196468 140725106234528 140009585827168 140009111794392 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15026264 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15386894336 267704 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15026264 memory=16098156739823870 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15386894336 267704 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15026264 memory=9198851636692493723 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53285937 15386894336 267704 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15026264 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285937 15386894336 267704 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15026264 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53285938 15386894336 267704 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15026264 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53285939 15386894336 267704 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15026264 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53285939 15386894336 267704 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15026264 memory=8475934422144292502 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15386894336 267704 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15026264 memory=8761640388318109335 CPUtime=3.82 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) R 10503 10506 2271 0 -1 4202560 3895 0 0 0 381 1 0 0 20 0 15 0 53285941 15386894336 267704 33554432000 4194304 4196468 140725106234528 140008650700528 140009597355457 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15026264 memory=6944656592387989600 CPUtime=3.86 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) R 10503 10506 2271 0 -1 4202560 3043 0 0 0 384 2 0 0 20 0 15 0 53285941 15386894336 267704 33554432000 4194304 4196468 140725106234528 140008649651376 140009599108838 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15026264 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) S 10503 10506 2271 0 -1 1077944384 4090 0 0 0 148 2 0 0 20 0 15 0 53285941 15386894336 267704 33554432000 4194304 4196468 140725106234528 140008648612720 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285941 15386894336 267704 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53285942 15386894336 267704 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 1070816 KiB

[startup+5.0012 s]*
/proc/loadavg: 2.21 2.13 2.09 4/225 10527
/proc/meminfo: memFree=13260284/32770624 swapFree=67108860/67108860
[pid=10506] ppid=10503 vsize=15683912 memory=1086568 CPUtime=14.43 cores=0,2,4,6
/proc/10506/stat : 10506 (java) S 10503 10506 2271 0 -1 1077944320 30623 0 0 0 1416 27 0 0 20 0 19 0 53285934 16060325888 271642 33554432000 4194304 4196468 140725106234528 140725106217072 140009613991671 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
/proc/10506/statm: 3920978 271642 3236 1 0 3881834 0
[pid=10522] ppid=10506 vsize=25616 memory=8332 CPUtime=0.17 cores=0,2,4,6
/proc/10522/stat : 10522 (minisat_release) R 10506 10506 2271 0 -1 4202496 2580 0 0 0 17 0 0 0 20 0 1 0 53286418 26230784 2083 33554432000 4194304 4308513 140721471621648 140721470570056 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 23650304 140721471623855 140721471624366 140721471624366 140721471627205 0
/proc/10522/statm: 6404 2083 334 28 0 2644 0
[pid=10506/tid=10508] ppid=10503 vsize=15683912 memory=-7824251494390652262 CPUtime=4.82 cores=0,2,4,6
/proc/10506/task/10508/stat : 10508 (java) S 10503 10506 2271 0 -1 1077944384 17884 0 0 0 461 21 0 0 20 0 19 0 53285935 16060325888 271642 33554432000 4194304 4196468 140725106234528 140009585830912 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10509] ppid=10503 vsize=15683912 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10509/stat : 10509 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53285937 16060325888 271642 33554432000 4194304 4196468 140725106234528 140009618234256 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10510] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10510/stat : 10510 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53285937 16060325888 271642 33554432000 4194304 4196468 140725106234528 140009432390416 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10511] ppid=10503 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10511/stat : 10511 (java) S 10503 10506 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53285937 16060325888 271642 33554432000 4194304 4196468 140725106234528 140009431338128 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10512] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10512/stat : 10512 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53285937 16060325888 271642 33554432000 4194304 4196468 140725106234528 140009430285328 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10513] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10513/stat : 10513 (java) S 10503 10506 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53285938 16060325888 271642 33554432000 4194304 4196468 140725106234528 140008651769968 140009614002818 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10514] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10514/stat : 10514 (java) S 10503 10506 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53285939 16060325888 271642 33554432000 4194304 4196468 140725106234528 140008149213984 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10515] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10515/stat : 10515 (java) S 10503 10506 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53285939 16060325888 271642 33554432000 4194304 4196468 140725106234528 140007880778864 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10516] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10516/stat : 10516 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53285941 16060325888 271642 33554432000 4194304 4196468 140725106234528 140007506270288 140009614010267 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10517] ppid=10503 vsize=15683912 memory=0 CPUtime=4 cores=0,2,4,6
/proc/10506/task/10517/stat : 10517 (java) S 10503 10506 2271 0 -1 1077944384 4019 0 0 0 399 1 0 0 20 0 19 0 53285941 16060325888 271642 33554432000 4194304 4196468 140725106234528 140008650717808 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10518] ppid=10503 vsize=15683912 memory=0 CPUtime=4.06 cores=0,2,4,6
/proc/10506/task/10518/stat : 10518 (java) S 10503 10506 2271 0 -1 1077944384 3232 0 0 0 404 2 0 0 20 0 19 0 53285941 16060325888 271642 33554432000 4194304 4196468 140725106234528 140008649665008 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10519] ppid=10503 vsize=15683912 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/10506/task/10519/stat : 10519 (java) S 10503 10506 2271 0 -1 1077944384 4092 0 0 0 151 2 0 0 20 0 19 0 53285941 16060325888 271642 33554432000 4194304 4196468 140725106234528 140008648612720 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10520] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10520/stat : 10520 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53285941 16060325888 271642 33554432000 4194304 4196468 140725106234528 140007008365536 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10521] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10521/stat : 10521 (java) S 10503 10506 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53285942 16060325888 271642 33554432000 4194304 4196468 140725106234528 140008647559600 140009614002818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10523] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10523/stat : 10523 (java) S 10503 10506 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53286419 16060325888 271642 33554432000 4194304 4196468 140725106234528 140009424683968 140009614016281 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10525] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10525/stat : 10525 (java) S 10503 10506 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53286419 16060325888 271642 33554432000 4194304 4196468 140725106234528 140006471482800 140009614013597 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10526] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10526/stat : 10526 (java) S 10503 10506 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53286419 16060325888 271642 33554432000 4194304 4196468 140725106234528 140006203047728 140009614013597 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
[pid=10506/tid=10527] ppid=10503 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10506/task/10527/stat : 10527 (java) S 10503 10506 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53286421 16060325888 271642 33554432000 4194304 4196468 140725106234528 140006739926432 140009614001877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140725106242547 140725106242825 140725106242825 140725106245583 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 15709528 KiB
Current children cumulated memory: 1094900 KiB

[startup+5.11052 s]*
/proc/loadavg: 2.21 2.13 2.09 3/207 10527
/proc/meminfo: memFree=14288868/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.12035
CPU time (s): 14.7964
CPU user time (s): 14.5008
CPU system time (s): 0.29556
CPU usage (%): 288.972
Max. virtual memory (cumulated for all children) (KiB): 15709528
Max. memory (cumulated for all children) (KiB): 1094900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5008
system time used= 0.29556
maximum resident set size= 1090664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4210
involuntary context switches= 76


# summary of solver processes directly reported to runsolver:
#   pid: 10506
#   total CPU time (s): 14.7964
#   total CPU user time (s): 14.5008
#   total CPU system time (s): 0.29556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063635 second user time and 0.091678 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-23 16:47:08
IDJOB=4294442
IDBENCH=141383
IDSOLVER=2756
FILE ID=node105/4294442-1532357228
RUNJOBID= node105-1532330128-2302
PBS_JOBID= 21019001
Free space on /tmp= 44844 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-5-5-6-cp_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -order -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294442-1532357228/watcher-4294442-1532357228 -o /tmp/evaluation-result-4294442-1532357228/solver-4294442-1532357228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294442-1532357228.xml

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

MD5SUM BENCH= 7cf8ff1aade64c35eba6df9cb38cb5a8
RANDOM SEED=1952162744

node105.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.32
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.32
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.32
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.32
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:        14347460 kB
MemAvailable:   29996736 kB
Buffers:          199628 kB
Cached:         15423548 kB
SwapCached:            0 kB
Active:          3351660 kB
Inactive:       14264912 kB
Active(anon):    1946052 kB
Inactive(anon):    67172 kB
Active(file):    1405608 kB
Inactive(file): 14197740 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7956 kB
Writeback:             0 kB
AnonPages:       2053316 kB
Mapped:            49436 kB
Shmem:             17036 kB
Slab:             501604 kB
SReclaimable:     474388 kB
SUnreclaim:        27216 kB
KernelStack:        3968 kB
PageTables:         9288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13509300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1867776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44836 MiB
End job on node105 at 2018-07-23 16:47:13