Trace number 4294567

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-06-13)SAT 14.6365 5.24459

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06a_c18.xml
MD5SUMd439f32f21550c494657491318660cd8
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 benchmark0.168391
Satisfiable
(Un)Satisfiability was proved
Number of variables384
Number of constraints257
Number of domains3
Minimum domain size4
Maximum domain size24
Distribution of domain sizes[{"size":4,"count":96},{"size":5,"count":96},{"size":24,"count":192}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":192},{"degree":3,"count":96},{"degree":4,"count":80},{"degree":5,"count":16}]
Minimum constraint arity2
Maximum constraint arity96
Distribution of constraint arities[{"arity":2,"count":192},{"arity":4,"count":52},{"arity":24,"count":8},{"arity":48,"count":4},{"arity":96,"count":1}]
Number of extensional constraints192
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":192},{"type":"allDifferent","count":56},{"type":"ordered","count":4},{"type":"lex","count":1},{"type":"channel","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.53	scop both+minisat_release (2018-06-13)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Mon Jul 23 18:05:58 CEST 2018
0.67/0.55	c PID: 18491
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.95/1.10	c (0,0) Parsing End
2.32/1.11	c (0,0) CSP: 384 int (0 aux), 0 bool (0 aux), 257 ctr, max domain size 24
2.32/1.11	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.32/1.11	c (0,0) Constraint Name Generate Begin
2.32/1.11	c (0,0) Ctr:HOME/instance-4294567-1532361957.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.32/1.11	c (0,0) Constraint Name Generate End
2.32/1.11	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.32/1.11	c (0,0) CSP to CSPinCNF Begin
3.47/1.56	c (1,1) translated 26 (10%) constraints
3.47/1.59	c (1,1) translated 52 (20%) constraints
5.97/2.32	c (1,1) translated 78 (30%) constraints
6.33/2.40	c (1,1) translated 103 (40%) constraints
6.33/2.46	c (1,1) translated 129 (50%) constraints
6.67/2.52	c (1,1) translated 155 (60%) constraints
6.67/2.58	c (2,2) translated 180 (70%) constraints
6.99/2.63	c (2,2) translated 206 (80%) constraints
6.99/2.68	c (2,2) translated 232 (90%) constraints
7.29/2.73	c (2,2) translated 257 (100%) constraints
7.63/2.88	c (2,2) STATISTICS1:HOME/instance-4294567-1532361957.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,1360,10768,24,24,24,2,24:2094;23:116;22:101;21:211;5:144;4:144,24:15766;23:461;22:374;21:731;5:1248;4:1056;2:4272,24:16;6:96;5:96;4:208;3:5594;2:4720;1:38,2:2810;1:22896;0:192,
7.63/2.88	c (2,2) ===========================================
7.63/2.88	c (2,2) Both Encoding selects:
7.63/2.88	c (2,2) Order
7.63/2.88	c (2,2) ===========================================
7.94/2.96	c (2,2) translated 1077 (10%) constraints
8.33/3.01	c (2,2) translated 2154 (20%) constraints
8.33/3.10	c (2,2) translated 3231 (30%) constraints
8.99/3.23	c (2,2) translated 4308 (40%) constraints
9.29/3.36	c (2,2) translated 5384 (50%) constraints
9.58/3.48	c (2,2) translated 6461 (60%) constraints
9.89/3.58	c (3,3) translated 7538 (70%) constraints
10.19/3.61	c (3,3) translated 8615 (80%) constraints
10.19/3.64	c (3,3) translated 9692 (90%) constraints
10.19/3.67	c (3,3) translated 10768 (100%) constraints
10.19/3.67	c (3,3) CSP to CSPinCNF End
10.19/3.67	c (3,3) CSP: 384 int (0 aux), 5584 bool (5584 aux), 19984 ctr, max domain size 24
10.19/3.67	c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.19/3.67	c (3,3) CSPinCNF Propagation Begin
10.83/3.87	c (3,3) 95 values, 827 unsatisfiable literals, and 597 valid clauses are removed
10.83/3.87	c (3,3) CSPinCNF Propagation End
10.83/3.87	c (3,3) CSP: 455 int (71 aux), 5513 bool (5513 aux), 19387 ctr, max domain size 24
10.83/3.87	c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.83/3.87	c (3,3) Simplify CSPinCNF Begin
11.48/4.06	c (3,3) Simplify CSPinCNF End
11.48/4.06	c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.48/4.06	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.48/4.06	c (3,3) Calculate Precise Domain Begin
11.48/4.07	c (3,3) 0 values are removed by re-calculation
11.48/4.07	c (3,3) Calculate Precise Domain End
11.48/4.07	c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.48/4.07	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.48/4.07	c (3,3) CSPinCNF to SatSolver Begin
12.75/4.41	c (3,3) 2455 (10 %) CSP clauses are encoded (15686 SAT variables, 43137 SAT clauses)
13.05/4.56	c (4,4) 4909 (20 %) CSP clauses are encoded (15686 SAT variables, 82020 SAT clauses)
13.31/4.65	c (4,4) 7363 (30 %) CSP clauses are encoded (15686 SAT variables, 111855 SAT clauses)
13.31/4.67	c (4,4) 9818 (40 %) CSP clauses are encoded (15686 SAT variables, 114882 SAT clauses)
13.31/4.68	c (4,4) 12272 (50 %) CSP clauses are encoded (15686 SAT variables, 117336 SAT clauses)
13.31/4.69	c (4,4) 14726 (60 %) CSP clauses are encoded (15686 SAT variables, 119790 SAT clauses)
13.43/4.71	c (4,4) 17181 (70 %) CSP clauses are encoded (15686 SAT variables, 122245 SAT clauses)
13.43/4.72	c (4,4) 19635 (80 %) CSP clauses are encoded (15686 SAT variables, 124699 SAT clauses)
13.43/4.75	c (4,4) 22089 (90 %) CSP clauses are encoded (15686 SAT variables, 134027 SAT clauses)
13.43/4.78	c (4,4) 24543 (100 %) CSP clauses are encoded (15686 SAT variables, 136481 SAT clauses)
13.43/4.78	c (4,4) CSPinCNF to SatSolver End
13.43/4.78	c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.95/4.92	c (4,4) STATISTICS2:HOME/instance-4294567-1532361957.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,11124,24543,24,24,24,2,24:3374;23:208;22:391;21:757;5:288;4:288,24:25466;23:756;22:1338;21:2314;5:1536;4:1344;2:27926,24:4;21:11;19:1;5:96;4:304;3:5116;2:18973;1:38,2:5306;1:50068,
13.95/4.92	c (4,4) SatSolver.solve Begin
13.95/4.92	c (4,4) 15686 bool, 136482 clause
13.95/4.92	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-4294567-1532361957.xml-scop-18491.cnf HOME/instance-4294567-1532361957.xml-scop-18491.cnf.out
14.34/5.16	c (4,0) c This is COMiniSatPS.
14.34/5.16	c (4,0) c WARNING: for repeatability, setting FPU to use double precision
14.34/5.16	c (4,0) c ============================[ Problem Statistics ]=============================
14.34/5.16	c (4,0) c |                                                                             |
14.34/5.16	c (4,0) c |  Number of variables:         15686                                         |
14.34/5.16	c (4,0) c |  Number of clauses:          136126                                         |
14.34/5.16	c (4,0) c |  Parse time:                   0.04 s                                       |
14.34/5.16	c (4,0) c |  Eliminated clauses:           0.17 Mb                                      |
14.34/5.16	c (4,0) c Reduced to 7193 vars, 115965 cls (grow=0)
14.34/5.16	c (4,0) c No iterative elimination performed. (vars=7193, c/v ratio=16.1)
14.34/5.16	c (4,0) c |  Simplification time:          0.13 s                                       |
14.34/5.16	c (4,0) c |                                                                             |
14.34/5.16	c (4,0) c ============================[ Search Statistics ]==============================
14.34/5.16	c (4,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.34/5.16	c (4,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
14.34/5.16	c (4,0) c ===============================================================================
14.34/5.16	c (4,0) c ===============================================================================
14.34/5.16	c (4,0) c restarts              : 4
14.34/5.16	c (4,0) c conflicts             : 479            (2345 /sec)
14.34/5.16	c (4,0) c decisions             : 4215           (0.00 % random) (20632 /sec)
14.34/5.16	c (4,0) c propagations          : 165676         (810953 /sec)
14.34/5.16	c (4,0) c conflict literals     : 3794           (7.03 % deleted)
14.34/5.16	c (4,0) c CPU time              : 0.204298 s
14.34/5.16	c (4,0) 
14.34/5.16	c (4,0) s SATISFIABLE
14.34/5.18	c (4,4) SatSolver.solve End
14.34/5.18	c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.34/5.18	c (4,4) Show results Begin
14.53/5.20	c (4,4) gve[0][0] = 0
14.53/5.20	c (4,4) gve[0][1] = 1
14.53/5.20	c (4,4) gve[0][2] = 3
14.53/5.20	c (4,4) gve[0][3] = 2
14.53/5.20	c (4,4) gve[1][0] = 0
14.53/5.20	c (4,4) gve[1][1] = 4
14.53/5.20	c (4,4) gve[1][2] = 2
14.53/5.20	c (4,4) gve[1][3] = 3
14.53/5.21	c (4,4) gve[2][0] = 0
14.53/5.21	c (4,4) gve[2][1] = 3
14.53/5.21	c (4,4) gve[2][2] = 1
14.53/5.21	c (4,4) gve[2][3] = 2
14.53/5.21	c (4,4) gve[3][0] = 0
14.53/5.21	c (4,4) gve[3][1] = 4
14.53/5.21	c (4,4) gve[3][2] = 3
14.53/5.21	c (4,4) gve[3][3] = 2
14.53/5.21	c (4,4) gve[4][0] = 0
14.53/5.21	c (4,4) gve[4][1] = 4
14.53/5.21	c (4,4) gve[4][2] = 2
14.53/5.21	c (4,4) gve[4][3] = 1
14.53/5.21	c (4,4) gve[5][0] = 1
14.53/5.21	c (4,4) gve[5][1] = 4
14.53/5.21	c (4,4) gve[5][2] = 3
14.53/5.21	c (4,4) gve[5][3] = 2
14.53/5.21	c (4,4) gve[6][0] = 1
14.53/5.21	c (4,4) gve[6][1] = 3
14.53/5.21	c (4,4) gve[6][2] = 0
14.53/5.21	c (4,4) gve[6][3] = 2
14.53/5.21	c (4,4) gve[7][0] = 1
14.53/5.21	c (4,4) gve[7][1] = 3
14.53/5.21	c (4,4) gve[7][2] = 2
14.53/5.21	c (4,4) gve[7][3] = 4
14.53/5.21	c (4,4) gve[8][0] = 1
14.53/5.21	c (4,4) gve[8][1] = 0
14.53/5.21	c (4,4) gve[8][2] = 2
14.53/5.21	c (4,4) gve[8][3] = 4
14.53/5.21	c (4,4) gve[9][0] = 2
14.53/5.21	c (4,4) gve[9][1] = 0
14.53/5.21	c (4,4) gve[9][2] = 3
14.53/5.21	c (4,4) gve[9][3] = 4
14.53/5.21	c (4,4) gve[10][0] = 2
14.53/5.21	c (4,4) gve[10][1] = 3
14.53/5.21	c (4,4) gve[10][2] = 0
14.53/5.21	c (4,4) gve[10][3] = 4
14.53/5.21	c (4,4) gve[11][0] = 2
14.53/5.21	c (4,4) gve[11][1] = 1
14.53/5.21	c (4,4) gve[11][2] = 3
14.53/5.21	c (4,4) gve[11][3] = 0
14.53/5.21	c (4,4) gve[12][0] = 2
14.53/5.21	c (4,4) gve[12][1] = 0
14.53/5.21	c (4,4) gve[12][2] = 4
14.53/5.21	c (4,4) gve[12][3] = 3
14.53/5.21	c (4,4) gve[13][0] = 2
14.53/5.21	c (4,4) gve[13][1] = 1
14.53/5.21	c (4,4) gve[13][2] = 4
14.53/5.21	c (4,4) gve[13][3] = 0
14.53/5.21	c (4,4) gve[14][0] = 2
14.53/5.21	c (4,4) gve[14][1] = 0
14.53/5.21	c (4,4) gve[14][2] = 1
14.53/5.21	c (4,4) gve[14][3] = 3
14.53/5.21	c (4,4) gve[15][0] = 3
14.53/5.21	c (4,4) gve[15][1] = 2
14.53/5.21	c (4,4) gve[15][2] = 0
14.53/5.21	c (4,4) gve[15][3] = 1
14.53/5.21	c (4,4) gve[16][0] = 3
14.53/5.21	c (4,4) gve[16][1] = 2
14.53/5.21	c (4,4) gve[16][2] = 4
14.53/5.21	c (4,4) gve[16][3] = 0
14.53/5.21	c (4,4) gve[17][0] = 3
14.53/5.21	c (4,4) gve[17][1] = 2
14.53/5.21	c (4,4) gve[17][2] = 4
14.53/5.21	c (4,4) gve[17][3] = 1
14.53/5.21	c (4,4) gve[18][0] = 3
14.53/5.21	c (4,4) gve[18][1] = 1
14.53/5.21	c (4,4) gve[18][2] = 0
14.53/5.21	c (4,4) gve[18][3] = 2
14.53/5.21	c (4,4) gve[19][0] = 3
14.53/5.21	c (4,4) gve[19][1] = 2
14.53/5.21	c (4,4) gve[19][2] = 1
14.53/5.21	c (4,4) gve[19][3] = 0
14.53/5.21	c (4,4) gve[20][0] = 4
14.53/5.21	c (4,4) gve[20][1] = 3
14.53/5.21	c (4,4) gve[20][2] = 2
14.53/5.21	c (4,4) gve[20][3] = 1
14.53/5.21	c (4,4) gve[21][0] = 4
14.53/5.21	c (4,4) gve[21][1] = 2
14.53/5.21	c (4,4) gve[21][2] = 0
14.53/5.21	c (4,4) gve[21][3] = 3
14.53/5.21	c (4,4) gve[22][0] = 4
14.53/5.21	c (4,4) gve[22][1] = 0
14.53/5.21	c (4,4) gve[22][2] = 2
14.53/5.21	c (4,4) gve[22][3] = 3
14.53/5.21	c (4,4) gve[23][0] = 4
14.53/5.21	c (4,4) gve[23][1] = 2
14.53/5.21	c (4,4) gve[23][2] = 1
14.53/5.21	c (4,4) gve[23][3] = 0
14.53/5.21	c (4,4) gvr[0][0] = 0
14.53/5.21	c (4,4) gvr[0][1] = 1
14.53/5.21	c (4,4) gvr[0][2] = 2
14.53/5.21	c (4,4) gvr[0][3] = 3
14.53/5.21	c (4,4) gvr[1][0] = 0
14.53/5.21	c (4,4) gvr[1][1] = 2
14.53/5.21	c (4,4) gvr[1][2] = 1
14.53/5.21	c (4,4) gvr[1][3] = 3
14.53/5.21	c (4,4) gvr[2][0] = 0
14.53/5.21	c (4,4) gvr[2][1] = 2
14.53/5.21	c (4,4) gvr[2][2] = 3
14.53/5.21	c (4,4) gvr[2][3] = 1
14.53/5.21	c (4,4) gvr[3][0] = 0
14.53/5.21	c (4,4) gvr[3][1] = 1
14.53/5.21	c (4,4) gvr[3][2] = 3
14.53/5.21	c (4,4) gvr[3][3] = 2
14.53/5.21	c (4,4) gvr[4][0] = 0
14.53/5.21	c (4,4) gvr[4][1] = 3
14.53/5.21	c (4,4) gvr[4][2] = 1
14.53/5.21	c (4,4) gvr[4][3] = 2
14.53/5.21	c (4,4) gvr[5][0] = 0
14.53/5.21	c (4,4) gvr[5][1] = 1
14.53/5.21	c (4,4) gvr[5][2] = 3
14.53/5.21	c (4,4) gvr[5][3] = 2
14.53/5.21	c (4,4) gvr[6][0] = 1
14.53/5.21	c (4,4) gvr[6][1] = 2
14.53/5.21	c (4,4) gvr[6][2] = 3
14.53/5.21	c (4,4) gvr[6][3] = 0
14.53/5.21	c (4,4) gvr[7][0] = 1
14.53/5.21	c (4,4) gvr[7][1] = 3
14.53/5.21	c (4,4) gvr[7][2] = 0
14.53/5.21	c (4,4) gvr[7][3] = 2
14.53/5.21	c (4,4) gvr[8][0] = 1
14.53/5.21	c (4,4) gvr[8][1] = 0
14.53/5.21	c (4,4) gvr[8][2] = 2
14.53/5.21	c (4,4) gvr[8][3] = 3
14.53/5.21	c (4,4) gvr[9][0] = 1
14.53/5.21	c (4,4) gvr[9][1] = 2
14.53/5.21	c (4,4) gvr[9][2] = 3
14.53/5.21	c (4,4) gvr[9][3] = 0
14.53/5.21	c (4,4) gvr[10][0] = 1
14.53/5.21	c (4,4) gvr[10][1] = 2
14.53/5.21	c (4,4) gvr[10][2] = 3
14.53/5.21	c (4,4) gvr[10][3] = 0
14.53/5.21	c (4,4) gvr[11][0] = 1
14.53/5.21	c (4,4) gvr[11][1] = 2
14.53/5.21	c (4,4) gvr[11][2] = 0
14.53/5.21	c (4,4) gvr[11][3] = 3
14.53/5.21	c (4,4) gvr[12][0] = 2
14.53/5.21	c (4,4) gvr[12][1] = 3
14.53/5.21	c (4,4) gvr[12][2] = 1
14.53/5.21	c (4,4) gvr[12][3] = 0
14.53/5.21	c (4,4) gvr[13][0] = 2
14.53/5.21	c (4,4) gvr[13][1] = 3
14.53/5.21	c (4,4) gvr[13][2] = 1
14.53/5.21	c (4,4) gvr[13][3] = 0
14.53/5.21	c (4,4) gvr[14][0] = 2
14.53/5.21	c (4,4) gvr[14][1] = 3
14.53/5.21	c (4,4) gvr[14][2] = 0
14.53/5.21	c (4,4) gvr[14][3] = 1
14.53/5.21	c (4,4) gvr[15][0] = 2
14.53/5.21	c (4,4) gvr[15][1] = 3
14.53/5.21	c (4,4) gvr[15][2] = 1
14.53/5.21	c (4,4) gvr[15][3] = 0
14.53/5.21	c (4,4) gvr[16][0] = 2
14.53/5.21	c (4,4) gvr[16][1] = 0
14.53/5.21	c (4,4) gvr[16][2] = 1
14.53/5.21	c (4,4) gvr[16][3] = 3
14.53/5.21	c (4,4) gvr[17][0] = 2
14.53/5.21	c (4,4) gvr[17][1] = 1
14.53/5.21	c (4,4) gvr[17][2] = 0
14.53/5.21	c (4,4) gvr[17][3] = 3
14.53/5.21	c (4,4) gvr[18][0] = 3
14.53/5.21	c (4,4) gvr[18][1] = 1
14.53/5.21	c (4,4) gvr[18][2] = 0
14.53/5.21	c (4,4) gvr[18][3] = 2
14.53/5.21	c (4,4) gvr[19][0] = 3
14.53/5.21	c (4,4) gvr[19][1] = 1
14.53/5.21	c (4,4) gvr[19][2] = 0
14.53/5.21	c (4,4) gvr[19][3] = 2
14.53/5.21	c (4,4) gvr[20][0] = 3
14.53/5.21	c (4,4) gvr[20][1] = 0
14.53/5.21	c (4,4) gvr[20][2] = 2
14.53/5.21	c (4,4) gvr[20][3] = 1
14.53/5.21	c (4,4) gvr[21][0] = 3
14.53/5.21	c (4,4) gvr[21][1] = 0
14.53/5.21	c (4,4) gvr[21][2] = 2
14.53/5.21	c (4,4) gvr[21][3] = 1
14.53/5.21	c (4,4) gvr[22][0] = 3
14.53/5.21	c (4,4) gvr[22][1] = 0
14.53/5.21	c (4,4) gvr[22][2] = 2
14.53/5.21	c (4,4) gvr[22][3] = 1
14.53/5.21	c (4,4) gvr[23][0] = 3
14.53/5.21	c (4,4) gvr[23][1] = 0
14.53/5.21	c (4,4) gvr[23][2] = 2
14.53/5.21	c (4,4) gvr[23][3] = 1
14.53/5.21	c (4,4) ve[0][0] = 0
14.53/5.21	c (4,4) ve[0][1] = 8
14.53/5.21	c (4,4) ve[0][2] = 19
14.53/5.21	c (4,4) ve[0][3] = 10
14.53/5.21	c (4,4) ve[1][0] = 1
14.53/5.21	c (4,4) ve[1][1] = 20
14.53/5.21	c (4,4) ve[1][2] = 14
14.53/5.21	c (4,4) ve[1][3] = 15
14.53/5.21	c (4,4) ve[2][0] = 2
14.53/5.21	c (4,4) ve[2][1] = 16
14.53/5.21	c (4,4) ve[2][2] = 7
14.53/5.21	c (4,4) ve[2][3] = 13
14.53/5.21	c (4,4) ve[3][0] = 3
14.53/5.21	c (4,4) ve[3][1] = 21
14.53/5.21	c (4,4) ve[3][2] = 17
14.53/5.21	c (4,4) ve[3][3] = 9
14.53/5.21	c (4,4) ve[4][0] = 4
14.53/5.21	c (4,4) ve[4][1] = 22
14.53/5.21	c (4,4) ve[4][2] = 11
14.53/5.21	c (4,4) ve[4][3] = 6
14.53/5.21	c (4,4) ve[5][0] = 5
14.53/5.21	c (4,4) ve[5][1] = 23
14.53/5.21	c (4,4) ve[5][2] = 18
14.53/5.21	c (4,4) ve[5][3] = 12
14.53/5.21	c (4,4) ve[6][0] = 6
14.53/5.21	c (4,4) ve[6][1] = 17
14.53/5.21	c (4,4) ve[6][2] = 1
14.53/5.21	c (4,4) ve[6][3] = 14
14.53/5.21	c (4,4) ve[7][0] = 7
14.53/5.21	c (4,4) ve[7][1] = 18
14.53/5.21	c (4,4) ve[7][2] = 13
14.53/5.21	c (4,4) ve[7][3] = 20
14.53/5.21	c (4,4) ve[8][0] = 8
14.53/5.21	c (4,4) ve[8][1] = 3
14.53/5.21	c (4,4) ve[8][2] = 12
14.53/5.21	c (4,4) ve[8][3] = 21
14.53/5.21	c (4,4) ve[9][0] = 9
14.53/5.21	c (4,4) ve[9][1] = 0
14.53/5.21	c (4,4) ve[9][2] = 15
14.53/5.21	c (4,4) ve[9][3] = 22
14.53/5.21	c (4,4) ve[10][0] = 10
14.53/5.21	c (4,4) ve[10][1] = 19
14.53/5.21	c (4,4) ve[10][2] = 4
14.53/5.21	c (4,4) ve[10][3] = 23
14.53/5.21	c (4,4) ve[11][0] = 11
14.53/5.21	c (4,4) ve[11][1] = 5
14.53/5.21	c (4,4) ve[11][2] = 16
14.53/5.21	c (4,4) ve[11][3] = 2
14.53/5.21	c (4,4) ve[12][0] = 12
14.53/5.21	c (4,4) ve[12][1] = 2
14.53/5.21	c (4,4) ve[12][2] = 20
14.53/5.21	c (4,4) ve[12][3] = 18
14.53/5.21	c (4,4) ve[13][0] = 13
14.53/5.21	c (4,4) ve[13][1] = 6
14.53/5.21	c (4,4) ve[13][2] = 21
14.53/5.21	c (4,4) ve[13][3] = 3
14.53/5.21	c (4,4) ve[14][0] = 14
14.53/5.21	c (4,4) ve[14][1] = 1
14.53/5.21	c (4,4) ve[14][2] = 8
14.53/5.21	c (4,4) ve[14][3] = 19
14.53/5.21	c (4,4) ve[15][0] = 15
14.53/5.21	c (4,4) ve[15][1] = 10
14.53/5.21	c (4,4) ve[15][2] = 0
14.53/5.21	c (4,4) ve[15][3] = 7
14.53/5.21	c (4,4) ve[16][0] = 16
14.53/5.21	c (4,4) ve[16][1] = 11
14.53/5.21	c (4,4) ve[16][2] = 22
14.53/5.21	c (4,4) ve[16][3] = 4
14.53/5.21	c (4,4) ve[17][0] = 17
14.53/5.21	c (4,4) ve[17][1] = 9
14.53/5.21	c (4,4) ve[17][2] = 23
14.53/5.21	c (4,4) ve[17][3] = 5
14.53/5.21	c (4,4) ve[18][0] = 18
14.53/5.21	c (4,4) ve[18][1] = 7
14.53/5.21	c (4,4) ve[18][2] = 3
14.53/5.21	c (4,4) ve[18][3] = 11
14.53/5.21	c (4,4) ve[19][0] = 19
14.53/5.21	c (4,4) ve[19][1] = 14
14.53/5.21	c (4,4) ve[19][2] = 6
14.53/5.21	c (4,4) ve[19][3] = 0
14.53/5.21	c (4,4) ve[20][0] = 20
14.53/5.21	c (4,4) ve[20][1] = 15
14.53/5.21	c (4,4) ve[20][2] = 9
14.53/5.21	c (4,4) ve[20][3] = 8
14.53/5.21	c (4,4) ve[21][0] = 21
14.53/5.21	c (4,4) ve[21][1] = 12
14.53/5.21	c (4,4) ve[21][2] = 2
14.53/5.21	c (4,4) ve[21][3] = 16
14.53/5.21	c (4,4) ve[22][0] = 22
14.53/5.21	c (4,4) ve[22][1] = 4
14.53/5.21	c (4,4) ve[22][2] = 10
14.53/5.21	c (4,4) ve[22][3] = 17
14.53/5.21	c (4,4) ve[23][0] = 23
14.53/5.21	c (4,4) ve[23][1] = 13
14.53/5.21	c (4,4) ve[23][2] = 5
14.53/5.21	c (4,4) ve[23][3] = 1
14.53/5.21	c (4,4) vr[0][0] = 0
14.53/5.21	c (4,4) vr[0][1] = 9
14.53/5.21	c (4,4) vr[0][2] = 15
14.53/5.21	c (4,4) vr[0][3] = 19
14.53/5.21	c (4,4) vr[1][0] = 1
14.53/5.21	c (4,4) vr[1][1] = 14
14.53/5.21	c (4,4) vr[1][2] = 6
14.53/5.21	c (4,4) vr[1][3] = 23
14.53/5.21	c (4,4) vr[2][0] = 2
14.53/5.21	c (4,4) vr[2][1] = 12
14.53/5.21	c (4,4) vr[2][2] = 21
14.53/5.21	c (4,4) vr[2][3] = 11
14.53/5.21	c (4,4) vr[3][0] = 3
14.53/5.21	c (4,4) vr[3][1] = 8
14.53/5.21	c (4,4) vr[3][2] = 18
14.53/5.21	c (4,4) vr[3][3] = 13
14.53/5.21	c (4,4) vr[4][0] = 4
14.53/5.21	c (4,4) vr[4][1] = 22
14.53/5.21	c (4,4) vr[4][2] = 10
14.53/5.21	c (4,4) vr[4][3] = 16
14.53/5.21	c (4,4) vr[5][0] = 5
14.53/5.21	c (4,4) vr[5][1] = 11
14.53/5.21	c (4,4) vr[5][2] = 23
14.53/5.21	c (4,4) vr[5][3] = 17
14.53/5.21	c (4,4) vr[6][0] = 6
14.53/5.21	c (4,4) vr[6][1] = 13
14.53/5.21	c (4,4) vr[6][2] = 19
14.53/5.21	c (4,4) vr[6][3] = 4
14.53/5.21	c (4,4) vr[7][0] = 7
14.53/5.21	c (4,4) vr[7][1] = 18
14.53/5.21	c (4,4) vr[7][2] = 2
14.53/5.21	c (4,4) vr[7][3] = 15
14.53/5.21	c (4,4) vr[8][0] = 8
14.53/5.21	c (4,4) vr[8][1] = 0
14.53/5.21	c (4,4) vr[8][2] = 14
14.53/5.21	c (4,4) vr[8][3] = 20
14.53/5.21	c (4,4) vr[9][0] = 9
14.53/5.21	c (4,4) vr[9][1] = 17
14.53/5.21	c (4,4) vr[9][2] = 20
14.53/5.21	c (4,4) vr[9][3] = 3
14.53/5.21	c (4,4) vr[10][0] = 10
14.53/5.21	c (4,4) vr[10][1] = 15
14.53/5.21	c (4,4) vr[10][2] = 22
14.53/5.21	c (4,4) vr[10][3] = 0
14.53/5.21	c (4,4) vr[11][0] = 11
14.53/5.21	c (4,4) vr[11][1] = 16
14.53/5.21	c (4,4) vr[11][2] = 4
14.53/5.21	c (4,4) vr[11][3] = 18
14.53/5.21	c (4,4) vr[12][0] = 12
14.53/5.21	c (4,4) vr[12][1] = 21
14.53/5.21	c (4,4) vr[12][2] = 8
14.53/5.21	c (4,4) vr[12][3] = 5
14.53/5.21	c (4,4) vr[13][0] = 13
14.53/5.21	c (4,4) vr[13][1] = 23
14.53/5.21	c (4,4) vr[13][2] = 7
14.53/5.21	c (4,4) vr[13][3] = 2
14.53/5.21	c (4,4) vr[14][0] = 14
14.53/5.21	c (4,4) vr[14][1] = 19
14.53/5.21	c (4,4) vr[14][2] = 1
14.53/5.21	c (4,4) vr[14][3] = 6
14.53/5.21	c (4,4) vr[15][0] = 15
14.53/5.21	c (4,4) vr[15][1] = 20
14.53/5.21	c (4,4) vr[15][2] = 9
14.53/5.21	c (4,4) vr[15][3] = 1
14.53/5.21	c (4,4) vr[16][0] = 16
14.53/5.21	c (4,4) vr[16][1] = 2
14.53/5.21	c (4,4) vr[16][2] = 11
14.53/5.21	c (4,4) vr[16][3] = 21
14.53/5.21	c (4,4) vr[17][0] = 17
14.53/5.21	c (4,4) vr[17][1] = 6
14.53/5.21	c (4,4) vr[17][2] = 3
14.53/5.21	c (4,4) vr[17][3] = 22
14.53/5.21	c (4,4) vr[18][0] = 18
14.53/5.21	c (4,4) vr[18][1] = 7
14.53/5.21	c (4,4) vr[18][2] = 5
14.53/5.21	c (4,4) vr[18][3] = 12
14.53/5.21	c (4,4) vr[19][0] = 19
14.53/5.21	c (4,4) vr[19][1] = 10
14.53/5.21	c (4,4) vr[19][2] = 0
14.53/5.21	c (4,4) vr[19][3] = 14
14.53/5.21	c (4,4) vr[20][0] = 20
14.53/5.21	c (4,4) vr[20][1] = 1
14.53/5.21	c (4,4) vr[20][2] = 12
14.53/5.21	c (4,4) vr[20][3] = 7
14.53/5.21	c (4,4) vr[21][0] = 21
14.53/5.21	c (4,4) vr[21][1] = 3
14.53/5.21	c (4,4) vr[21][2] = 13
14.53/5.21	c (4,4) vr[21][3] = 8
14.53/5.21	c (4,4) vr[22][0] = 22
14.53/5.21	c (4,4) vr[22][1] = 4
14.53/5.21	c (4,4) vr[22][2] = 16
14.53/5.21	c (4,4) vr[22][3] = 9
14.53/5.21	c (4,4) vr[23][0] = 23
14.53/5.21	c (4,4) vr[23][1] = 5
14.53/5.21	c (4,4) vr[23][2] = 17
14.53/5.21	c (4,4) vr[23][3] = 10
14.53/5.21	s SATISFIABLE
14.53/5.21	v <instantiation>
14.53/5.21	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3]</list>
14.53/5.21	v     <values>0 9 15 19 1 14 6 23 2 12 21 11 3 8 18 13 4 22 10 16 5 11 23 17 6 13 19 4 7 18 2 15 8 0 14 20 9 17 20 3 10 15 22 0 11 16 4 18 12 21 8 5 13 23 7 2 14 19 1 6 15 20 9 1 16 2 11 21 17 6 3 22 18 7 5 12 19 10 0 14 20 1 12 7 21 3 13 8 22 4 16 9 23 5 17 10 0 8 19 10 1 20 14 15 2 16 7 13 3 21 17 9 4 22 11 6 5 23 18 12 6 17 1 14 7 18 13 20 8 3 12 21 9 0 15 22 10 19 4 23 11 5 16 2 12 2 20 18 13 6 21 3 14 1 8 19 15 10 0 7 16 11 22 4 17 9 23 5 18 7 3 11 19 14 6 0 20 15 9 8 21 12 2 16 22 4 10 17 23 13 5 1 0 1 2 3 0 2 1 3 0 2 3 1 0 1 3 2 0 3 1 2 0 1 3 2 1 2 3 0 1 3 0 2 1 0 2 3 1 2 3 0 1 2 3 0 1 2 0 3 2 3 1 0 2 3 1 0 2 3 0 1 2 3 1 0 2 0 1 3 2 1 0 3 3 1 0 2 3 1 0 2 3 0 2 1 3 0 2 1 3 0 2 1 3 0 2 1 0 1 3 2 0 4 2 3 0 3 1 2 0 4 3 2 0 4 2 1 1 4 3 2 1 3 0 2 1 3 2 4 1 0 2 4 2 0 3 4 2 3 0 4 2 1 3 0 2 0 4 3 2 1 4 0 2 0 1 3 3 2 0 1 3 2 4 0 3 2 4 1 3 1 0 2 3 2 1 0 4 3 2 1 4 2 0 3 4 0 2 3 4 2 1 0</values>
14.53/5.21	v </instantiation>
14.53/5.21	c (4,4) Show results End
14.53/5.21	c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.53/5.21	c (4,4) 0,0,3,3,3,3,4,4,4,STOP-AFTER(ALL)
14.53/5.21	c END-Prog: Mon Jul 23 18:06:03 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 (5803 MiB free)
  memory of node 1: 16384 MiB (8098 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294567-1532361957/watcher-4294567-1532361957 -o /tmp/evaluation-result-4294567-1532361957/solver-4294567-1532361957 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294567-1532361957.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=18491, runsolver pid=18488

[startup+0.100114 s]*
/proc/loadavg: 2.79 2.36 2.17 5/221 18506
/proc/meminfo: memFree=14175656/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15011656 memory=72160 CPUtime=0.11 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 6196 0 0 0 9 2 0 0 20 0 15 0 53758898 15371935744 18040 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3752914 18040 2757 1 0 3715374 0
[pid=18491/tid=18493] ppid=18488 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 4358 0 0 0 8 1 0 0 20 0 15 0 53758899 15371935744 18106 33554432000 4194304 4196468 140724347220416 140383169137648 140383177578333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 18106 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 18106 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 18106 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 18106 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 18106 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 18106 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 18106 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 18172 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18488 18491 8919 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 18172 33554432000 4194304 4196468 140724347220416 140382234458608 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18488 18491 8919 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 18172 33554432000 4194304 4196468 140724347220416 140382233406064 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18488 18491 8919 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 18172 33554432000 4194304 4196468 140724347220416 140382232353520 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 18172 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 18172 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72160 KiB

[startup+0.210535 s]*
/proc/loadavg: 2.79 2.36 2.17 4/221 18506
/proc/meminfo: memFree=14161704/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15011656 memory=85504 CPUtime=0.25 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 9843 0 0 0 22 3 0 0 20 0 15 0 53758898 15371935744 21376 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3752914 21376 2890 1 0 3715374 0
[pid=18491/tid=18493] ppid=18488 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 7741 0 0 0 18 2 0 0 20 0 15 0 53758899 15371935744 21376 33554432000 4194304 4196468 140724347220416 140383169128912 140383181383006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 21376 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15011656 memory=3906791281686460064 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 21376 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 21376 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 21376 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18488 18491 8919 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382234458608 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18488 18491 8919 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382233406064 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0.02 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) R 18488 18491 8919 0 -1 4202560 314 0 0 0 2 0 0 0 20 0 15 0 53758905 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382232353520 140383175924032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 21376 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 21376 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85504 KiB

[startup+0.310319 s]*
/proc/loadavg: 2.79 2.36 2.17 3/221 18506
/proc/meminfo: memFree=14158416/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15011656 memory=89648 CPUtime=0.42 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 10460 0 0 0 39 3 0 0 20 0 15 0 53758898 15371935744 22412 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3752914 22412 2993 1 0 3715374 0
[pid=18491/tid=18493] ppid=18488 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 8165 0 0 0 27 2 0 0 20 0 15 0 53758899 15371935744 22412 33554432000 4194304 4196468 140724347220416 140383169106672 140383183491109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 22412 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15011656 memory=3834733687648532128 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 22412 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758902 15371935744 22412 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 22412 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) R 18488 18491 8919 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 15 0 53758905 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382234458608 140383197313666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) R 18488 18491 8919 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 53758905 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382233406064 140383182724240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0.07 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) R 18488 18491 8919 0 -1 4202560 360 0 0 0 7 0 0 0 20 0 15 0 53758905 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382232353520 140383175984505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 22412 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15011656 memory=140469245818496 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758905 15371935744 22412 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89648 KiB

[startup+0.700665 s]
/proc/loadavg: 2.79 2.36 2.17 3/221 18506
/proc/meminfo: memFree=14133956/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15019976 memory=129352 CPUtime=0.99 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 17498 0 0 0 94 5 0 0 20 0 15 0 53758898 15380455424 32338 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3754994 32338 3152 1 0 3716398 0
[pid=18491/tid=18493] ppid=18488 vsize=15019976 memory=219917425073057 CPUtime=0.67 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 14771 0 0 0 63 4 0 0 20 0 15 0 53758899 15380455424 32338 33554432000 4194304 4196468 140724347220416 140383169137008 140383181383006 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15019976 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15380455424 32338 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15019976 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53758902 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15019976 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758902 15380455424 32338 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15019976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758902 15380455424 32338 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15019976 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15380455424 32338 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15019976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18488 18491 8919 0 -1 1077944384 272 0 0 0 5 0 0 0 20 0 15 0 53758905 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382234458608 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15019976 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18488 18491 8919 0 -1 1077944384 595 0 0 0 8 0 0 0 20 0 15 0 53758905 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382233406064 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15019976 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18488 18491 8919 0 -1 1077944384 520 0 0 0 16 0 0 0 20 0 15 0 53758905 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382232353520 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15380455424 32338 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758905 15380455424 32338 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129352 KiB

[startup+1.50065 s]
/proc/loadavg: 2.79 2.36 2.17 6/221 18506
/proc/meminfo: memFree=14096840/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15022100 memory=189444 CPUtime=3.47 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 23666 0 0 0 339 8 0 0 20 0 15 0 53758898 15382630400 47361 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3755525 47361 3202 1 0 3716910 0
[pid=18491/tid=18493] ppid=18488 vsize=15022100 memory=5794836780235444585 CPUtime=1.46 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 15943 0 0 0 141 5 0 0 20 0 15 0 53758899 15382630400 47361 33554432000 4194304 4196468 140724347220416 140383169129984 140382706192300 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15022100 memory=6298673690012635497 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15382630400 47361 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15022100 memory=7589518994016134759 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15382630400 47361 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15022100 memory=7164219203311200341 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15382630400 47361 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15022100 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15382630400 47361 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15022100 memory=7379540980605020244 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53758902 15382630400 47361 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0

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

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20086 s]
/proc/loadavg: 2.79 2.36 2.17 6/221 18506
/proc/meminfo: memFree=13778868/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15024148 memory=518580 CPUtime=8.99 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 28799 0 0 0 884 15 0 0 20 0 15 0 53758898 15384727552 129645 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3756037 129645 3210 1 0 3717422 0
[pid=18491/tid=18493] ppid=18488 vsize=15024148 memory=0 CPUtime=3.16 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 17253 0 0 0 306 10 0 0 20 0 15 0 53758899 15384727552 129645 33554432000 4194304 4196468 140724347220416 140383169137728 140382704323350 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 129645 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15024148 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15024148 memory=26660 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53758902 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15024148 memory=5524 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758902 15384727552 129645 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15024148 memory=3248 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758902 15384727552 129645 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15024148 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15384727552 129645 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15024148 memory=796 CPUtime=2.25 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) R 18488 18491 8919 0 -1 4202560 2303 0 0 0 225 0 0 0 20 0 15 0 53758905 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382234449728 140383181699664 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15024148 memory=1224 CPUtime=2.2 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) R 18488 18491 8919 0 -1 4202560 3338 0 0 0 219 1 0 0 20 0 15 0 53758905 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382233405872 140383182184287 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15024148 memory=15872 CPUtime=1.35 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18488 18491 8919 0 -1 1077944384 4560 0 0 0 133 2 0 0 20 0 15 0 53758905 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382232353520 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15024148 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15384727552 129645 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15024148 memory=10996 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15384727552 129645 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 518580 KiB

[startup+4.00064 s]*
/proc/loadavg: 2.89 2.39 2.18 6/221 18506
/proc/meminfo: memFree=13479812/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15024148 memory=772000 CPUtime=11.48 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 29831 0 0 0 1129 19 0 0 20 0 15 0 53758898 15384727552 193000 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3756037 193000 3211 1 0 3717422 0
[pid=18491/tid=18493] ppid=18488 vsize=15024148 memory=576460756329955604 CPUtime=3.96 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 17408 0 0 0 382 14 0 0 20 0 15 0 53758899 15384727552 193000 33554432000 4194304 4196468 140724347220416 140383169139200 140382704323366 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 193000 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15024148 memory=140469246139637 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15024148 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15024148 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53758902 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15024148 memory=140469120109055 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758902 15384727552 193000 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15024148 memory=4486599637793467488 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758902 15384727552 193000 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15024148 memory=7822038051842263959 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15384727552 193000 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15024148 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) R 18488 18491 8919 0 -1 4202560 2601 0 0 0 306 0 0 0 20 0 15 0 53758905 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382234441200 140383180777810 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15024148 memory=6011555679673458739 CPUtime=3.01 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) R 18488 18491 8919 0 -1 4202560 3880 0 0 0 300 1 0 0 20 0 15 0 53758905 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382233392080 140383180799307 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15024148 memory=7878636347758472371 CPUtime=1.41 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18488 18491 8919 0 -1 1077944384 4597 0 0 0 139 2 0 0 20 0 15 0 53758905 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382232353520 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15024148 memory=3472328296227679279 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15384727552 193000 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15024148 memory=6225755212362504551 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15384727552 193000 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 11.48 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 772000 KiB

[startup+4.80394 s]
/proc/loadavg: 2.89 2.39 2.18 6/221 18506
/proc/meminfo: memFree=13479812/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15028312 memory=1155316 CPUtime=13.65 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 30732 0 0 0 1339 26 0 0 20 0 15 0 53758898 15388991488 288829 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3757078 288829 3223 1 0 3717934 0
[pid=18491/tid=18493] ppid=18488 vsize=15028312 memory=280938240092336 CPUtime=4.76 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 17772 0 0 0 455 21 0 0 20 0 15 0 53758899 15388991488 288829 33554432000 4194304 4196468 140724347220416 140383169136128 140382704324913 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15028312 memory=140469120454701 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15388991488 288829 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15028312 memory=140469120453360 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15028312 memory=140469120513456 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758900 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15028312 memory=140512909652035 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758900 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15028312 memory=3472468765347931680 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53758902 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15028312 memory=811360 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758902 15388991488 288829 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15028312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758902 15388991488 288829 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15028312 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15388991488 288829 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15028312 memory=6944656575208382560 CPUtime=3.69 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) R 18488 18491 8919 0 -1 4202560 2608 0 0 0 369 0 0 0 20 0 15 0 53758905 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382234445040 140383180858803 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15028312 memory=-1751206657426859557 CPUtime=3.63 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) R 18488 18491 8919 0 -1 4202560 4391 0 0 0 362 1 0 0 20 0 15 0 53758905 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382233392416 140383178061434 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15028312 memory=6944656592455097440 CPUtime=1.54 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) R 18488 18491 8919 0 -1 4202560 4616 0 0 0 152 2 0 0 20 0 15 0 53758905 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382232350640 140383197316401 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15028312 memory=6083073847998109799 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15388991488 288829 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15028312 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758905 15388991488 288829 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 13.65 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 1155316 KiB

[startup+5.2013 s]
/proc/loadavg: 2.89 2.39 2.18 4/225 18512
/proc/meminfo: memFree=12979556/32770624 swapFree=67108860/67108860
[pid=18491] ppid=18488 vsize=15552836 memory=1248824 CPUtime=14.53 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18488 18491 8919 0 -1 1077944320 31174 4934 0 0 1404 27 21 1 20 0 17 0 53758898 15926104064 312206 33554432000 4194304 4196468 140724347220416 140724347202960 140383197302519 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
/proc/18491/statm: 3888209 312206 3227 1 0 3849065 0
[pid=18491/tid=18493] ppid=18488 vsize=15552836 memory=0 CPUtime=5.17 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) R 18488 18491 8919 0 -1 4202560 18095 4934 0 0 473 22 21 1 20 0 17 0 53758899 15926104064 312206 33554432000 4194304 4196468 140724347220416 140383169132800 140382708213721 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18494] ppid=18488 vsize=15552836 memory=1214708 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18488 18491 8919 0 -1 1077944384 2 4934 0 0 0 0 21 1 20 0 17 0 53758900 15926104064 312206 33554432000 4194304 4196468 140724347220416 140383201544976 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18495] ppid=18488 vsize=15552836 memory=1026256 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18488 18491 8919 0 -1 1077944384 1 4934 0 0 0 0 21 1 20 0 17 0 53758900 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382658177936 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18496] ppid=18488 vsize=15552836 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18488 18491 8919 0 -1 1077944384 1 4934 0 0 0 0 21 1 20 0 17 0 53758900 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382657125392 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18497] ppid=18488 vsize=15552836 memory=280938240759328 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18488 18491 8919 0 -1 1077944384 2 4934 0 0 0 0 21 1 20 0 17 0 53758900 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382656072848 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18498] ppid=18488 vsize=15552836 memory=7300714788757327955 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18488 18491 8919 0 -1 1077944384 15 4934 0 0 0 0 21 1 20 0 17 0 53758902 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382235510768 140383197313666 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18499] ppid=18488 vsize=15552836 memory=6933690305039933585 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18488 18491 8919 0 -1 1077944384 13 4934 0 0 0 0 21 1 20 0 17 0 53758902 15926104064 312206 33554432000 4194304 4196468 140724347220416 140381744260000 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18500] ppid=18488 vsize=15552836 memory=-7739291840220455296 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18488 18491 8919 0 -1 1077944384 1 4934 0 0 0 0 21 1 20 0 17 0 53758902 15926104064 312206 33554432000 4194304 4196468 140724347220416 140381475824624 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18501] ppid=18488 vsize=15552836 memory=-6528666371049903518 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18488 18491 8919 0 -1 1077944384 3 4934 0 0 0 0 21 1 20 0 17 0 53758905 15926104064 312206 33554432000 4194304 4196468 140724347220416 140381101316304 140383197321115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18502] ppid=18488 vsize=15552836 memory=6525018278055875452 CPUtime=4.12 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) R 18488 18491 8919 0 -1 4202560 2609 4934 0 0 390 0 21 1 20 0 17 0 53758905 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382234447408 140383197314454 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18503] ppid=18488 vsize=15552836 memory=-8393745925659800667 CPUtime=4.01 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) R 18488 18491 8919 0 -1 4202560 4393 4934 0 0 378 1 21 1 20 0 17 0 53758905 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382233393088 140383182183775 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18504] ppid=18488 vsize=15552836 memory=7377246124687064083 CPUtime=1.81 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) R 18488 18491 8919 0 -1 1077944384 4625 4934 0 0 157 2 21 1 20 0 17 0 53758905 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382232343744 140383197312725 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18505] ppid=18488 vsize=15552836 memory=-2961578254468854852 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18488 18491 8919 0 -1 1077944384 3 4934 0 0 0 0 21 1 20 0 17 0 53758905 15926104064 312206 33554432000 4194304 4196468 140724347220416 140380603411552 140383197312725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18506] ppid=18488 vsize=15552836 memory=7302983042592499047 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) S 18488 18491 8919 0 -1 1077944384 3 4934 0 0 0 0 21 1 20 0 17 0 53758905 15926104064 312206 33554432000 4194304 4196468 140724347220416 140382231300400 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18508] ppid=18488 vsize=15552836 memory=6935656952459513936 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18508/stat : 18508 (java) S 18488 18491 8919 0 -1 1077944384 27 4934 0 0 0 0 21 1 20 0 17 0 53759393 15926104064 312206 33554432000 4194304 4196468 140724347220416 140383019630864 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
[pid=18491/tid=18512] ppid=18488 vsize=15552836 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/18491/task/18512/stat : 18512 (java) S 18488 18491 8919 0 -1 1077944384 29 4934 0 0 0 0 21 1 20 0 17 0 53759395 15926104064 312206 33554432000 4194304 4196468 140724347220416 140380200756528 140383197313666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140724347225076 140724347225353 140724347225353 140724347228111 0
Current children cumulated CPU time: 14.53 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 1248824 KiB

Child status: 0
Real time (s): 5.24459
CPU time (s): 14.6365
CPU user time (s): 14.3275
CPU system time (s): 0.308922
CPU usage (%): 279.077
Max. virtual memory (cumulated for all children) (KiB): 15726176
Max. memory (cumulated for all children) (KiB): 1268620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3276
system time used= 0.308922
maximum resident set size= 1253672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4300
involuntary context switches= 67


# summary of solver processes directly reported to runsolver:
#   pid: 18491
#   total CPU time (s): 14.6365
#   total CPU user time (s): 14.3275
#   total CPU system time (s): 0.308922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056305 second user time and 0.099462 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-23 18:05:57
IDJOB=4294567
IDBENCH=141397
IDSOLVER=2755
FILE ID=node102/4294567-1532361957
RUNJOBID= node102-1532330044-8950
PBS_JOBID= 21019000
Free space on /tmp= 53236 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06a_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294567-1532361957/watcher-4294567-1532361957 -o /tmp/evaluation-result-4294567-1532361957/solver-4294567-1532361957 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294567-1532361957.xml

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

MD5SUM BENCH= d439f32f21550c494657491318660cd8
RANDOM SEED=1761993149

node102.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.51
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.51
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.51
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.51
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:        14236148 kB
MemAvailable:   29476712 kB
Buffers:          260384 kB
Cached:         15067796 kB
SwapCached:            0 kB
Active:          4009584 kB
Inactive:       13831120 kB
Active(anon):    2515816 kB
Inactive(anon):    16888 kB
Active(file):    1493768 kB
Inactive(file): 13814232 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8228 kB
Writeback:             0 kB
AnonPages:       2541800 kB
Mapped:            49488 kB
Shmem:             17036 kB
Slab:             388868 kB
SReclaimable:     361024 kB
SUnreclaim:        27844 kB
KernelStack:        3920 kB
PageTables:         9828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13525164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2363392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 53228 MiB
End job on node102 at 2018-07-23 18:06:03