Trace number 4307518

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+glucose-syrup (2018-07-31)SAT 18.0825 5.95595

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 benchmark4.67497
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.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-12760-serial-file.bin HOME/instance-4307518-1534192706.xml
0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Mon Aug 13 22:38:27 CEST 2018
0.65/0.55	c PID: 12763
0.65/0.55	c IP: 172.20.3.137
0.65/0.55	c HOST: node137.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.12/1.09	c (0,0) Parsing End
2.12/1.10	c (0,0) CSP: 384 int (0 aux), 0 bool (0 aux), 257 ctr, max domain size 24
2.12/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.12/1.10	c (0,0) Constraint Name Generate Begin
2.61/1.11	c (0,0) Ctr:HOME/instance-4307518-1534192706.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.61/1.11	c (0,0) Constraint Name Generate End
2.61/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.61/1.11	c (0,0) CSP to CSPinCNF Begin
3.82/1.54	c (1,1) translated 26 (10%) constraints
3.82/1.56	c (1,1) translated 52 (20%) constraints
6.58/2.24	c (1,1) translated 78 (30%) constraints
7.02/2.31	c (1,1) translated 103 (40%) constraints
7.02/2.37	c (1,1) translated 129 (50%) constraints
7.45/2.42	c (1,1) translated 155 (60%) constraints
7.45/2.47	c (1,1) translated 180 (70%) constraints
7.88/2.51	c (1,1) translated 206 (80%) constraints
7.88/2.56	c (2,2) translated 232 (90%) constraints
8.28/2.60	c (2,2) translated 257 (100%) constraints
8.70/2.73	c (2,2) STATISTICS1:HOME/instance-4307518-1534192706.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,
8.70/2.73	c (2,2) ==========================================
8.70/2.73	c (2,2) Both Encoding selects:
8.70/2.73	c (2,2) Order
8.70/2.73	c (2,2) ==========================================
9.15/2.83	c (2,2) translated 1077 (10%) constraints
9.15/2.88	c (2,2) translated 2154 (20%) constraints
9.59/2.98	c (2,2) translated 3231 (30%) constraints
10.03/3.10	c (2,2) translated 4308 (40%) constraints
10.80/3.22	c (2,2) translated 5384 (50%) constraints
11.21/3.33	c (2,2) translated 6461 (60%) constraints
11.60/3.42	c (2,2) translated 7538 (70%) constraints
11.60/3.45	c (2,2) translated 8615 (80%) constraints
11.60/3.49	c (2,2) translated 9692 (90%) constraints
12.01/3.52	c (2,2) translated 10768 (100%) constraints
12.01/3.52	c (2,2) CSP to CSPinCNF End
12.01/3.53	c (2,2) CSP: 384 int (0 aux), 5584 bool (5584 aux), 19984 ctr, max domain size 24
12.01/3.53	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
12.01/3.53	c (2,2) CSPinCNF Propagation Begin
12.86/3.74	c (3,3) 95 values, 827 unsatisfiable literals, and 597 valid clauses are removed
12.86/3.74	c (3,3) CSPinCNF Propagation End
12.86/3.75	c (3,3) CSP: 455 int (71 aux), 5513 bool (5513 aux), 19387 ctr, max domain size 24
12.86/3.75	c (3,3) Heap : 788 MiB used (max 21589 MiB), NonHeap : 36 MiB used (max 0 MiB)
12.86/3.75	c (3,3) Simplify CSPinCNF Begin
13.54/3.90	c (3,3) Simplify CSPinCNF End
13.54/3.91	c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
13.54/3.91	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 36 MiB used (max 0 MiB)
13.54/3.91	c (3,3) Calculate Precise Domain Begin
13.54/3.91	c (3,3) 0 values are removed by re-calculation
13.54/3.91	c (3,3) Calculate Precise Domain End
13.54/3.91	c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
13.54/3.91	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 36 MiB used (max 0 MiB)
13.54/3.91	c (3,3) CSPinCNF to SatSolver Begin
14.37/4.17	c (3,3) 2455 (10 %) CSP clauses are encoded (15686 SAT variables, 43137 SAT clauses)
14.58/4.29	c (3,3) 4909 (20 %) CSP clauses are encoded (15686 SAT variables, 82020 SAT clauses)
14.70/4.38	c (3,3) 7363 (30 %) CSP clauses are encoded (15686 SAT variables, 111855 SAT clauses)
15.00/4.57	c (3,3) 9818 (40 %) CSP clauses are encoded (15686 SAT variables, 114882 SAT clauses)
15.00/4.57	c (3,3) 12272 (50 %) CSP clauses are encoded (15686 SAT variables, 117336 SAT clauses)
15.00/4.57	c (3,3) 14726 (60 %) CSP clauses are encoded (15686 SAT variables, 119790 SAT clauses)
15.00/4.57	c (3,3) 17181 (70 %) CSP clauses are encoded (15686 SAT variables, 122245 SAT clauses)
15.00/4.57	c (3,3) 19635 (80 %) CSP clauses are encoded (15686 SAT variables, 124699 SAT clauses)
15.00/4.57	c (3,3) 22089 (90 %) CSP clauses are encoded (15686 SAT variables, 134027 SAT clauses)
15.00/4.57	c (3,3) 24543 (100 %) CSP clauses are encoded (15686 SAT variables, 136481 SAT clauses)
15.00/4.57	c (3,3) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
15.00/4.57	c (3,3) CSPinCNF to SatSolver End
15.00/4.57	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
15.35/4.64	c (4,4) STATISTICS2:HOME/instance-4307518-1534192706.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,
15.35/4.64	c (4,4) 15686 bool, 136482 clause
15.35/4.64	c (4,4) Export Begin
15.72/4.76	c (4,4) Export to HOME/scop-12760-serial-file.bin
15.72/4.76	c (4,4) Export End
15.72/4.76	c (4,4) Export File Size: 0.08 MB
15.72/4.76	c (4,4) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
15.72/4.76	c END-Prog: Mon Aug 13 22:38:31 CEST 2018
15.72/4.79	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12760-serial-file.bin
16.48/5.28	c (0,0) Read Serial File Begin
16.48/5.28	c (0,0) HOME/scop-12760-serial-file.bin
16.75/5.48	c (0,0) Read Serial File End
16.75/5.48	
16.75/5.48	scop order+glucose-syrup (2018-07-31)
16.75/5.48	(Solving Process)
16.75/5.48	
17.00/5.51	c BEGIN-Prog: Mon Aug 13 22:38:32 CEST 2018
17.00/5.51	c PID: 12783
17.00/5.51	c IP: 172.20.3.137
17.00/5.51	c HOST: node137.alineos.net
17.00/5.51	c (0,0) SatSolver.solve Begin
17.00/5.51	c (0,0) 0 bool, 0 clause
17.00/5.52	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307518-1534192706.xml-scop-12763.cnf
17.20/5.79	c (0,0) c
17.20/5.79	c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
17.20/5.79	c (0,0) c
17.20/5.79	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.20/5.79	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.20/5.79	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.20/5.79	c (0,0) c |                                                                                                       |
17.20/5.79	c (0,0) c |  Number of variables:         15686                                                                   |
17.20/5.79	c (0,0) c |  Number of clauses:          136126                                                                   |
17.20/5.79	c (0,0) c |  Parse time:                   0.05 s                                                                 |
17.20/5.79	c (0,0) c |                                                                                                       |
17.20/5.79	c (0,0) c |  Eliminated clauses:           0.17 Mb                                                                |
17.20/5.79	c (0,0) c |  Simplification time:          0.11 s                                                                 |
17.20/5.79	c (0,0) c |                                                                                                       |
17.20/5.79	c (0,0) c |  Generating clones                                                                                    |
17.20/5.79	c (0,0) c |  all clones generated. Memory = 118.91Mb.                                                             |
17.20/5.79	c (0,0) c ========================================================================================================|
17.20/5.79	c (0,0) c last restart ## conflicts  :  45 170 
17.20/5.80	c (0,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
17.20/5.80	c (0,0) c last restart ## conflicts  :  223 177 
17.20/5.80	c (0,0) c Total Memory so far : 695.71Mb
17.20/5.80	c (0,0) c
17.20/5.80	c (0,0) c real time : 0.25628 s
17.20/5.80	c (0,0) c cpu time  : 0.428 s
17.20/5.80	c (0,0) c
17.20/5.80	c (0,0) c
17.20/5.80	c (0,0) c
17.20/5.80	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.20/5.80	c (0,0) c
17.20/5.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.20/5.80	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.20/5.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.20/5.80	c (0,0) c | Conflicts     |            2281 |        230 |        343 |        274 |        337 |        231 |        303 |        244 |        319 |
17.20/5.80	c (0,0) c | Decisions     |           13514 |       2248 |       1718 |       1580 |       1877 |       1248 |       1678 |       1509 |       1656 |
17.20/5.80	c (0,0) c | Propagations  |          653311 |      76332 |      94885 |      78453 |      89630 |      70435 |      85948 |      73042 |      84586 |
17.20/5.80	c (0,0) c | Avg_Trail     |                 |       3733 |       4824 |       4510 |       3954 |       4460 |       4293 |       4365 |       4647 |
17.20/5.80	c (0,0) c | Avg_DL        |                 |         60 |         66 |         63 |         58 |         62 |         50 |         63 |         59 |
17.20/5.80	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.20/5.80	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.20/5.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.20/5.80	c (0,0) c | Exported      |             296 |         34 |         35 |         40 |         66 |         26 |         31 |         29 |         35 |
17.20/5.80	c (0,0) c | Imported      |            1751 |        251 |        241 |        152 |        221 |        239 |        244 |        153 |        250 |
17.20/5.80	c (0,0) c | Good          |             913 |        130 |        132 |         71 |        116 |        127 |        129 |         72 |        136 |
17.20/5.80	c (0,0) c | Purge         |             838 |        121 |        109 |         81 |        105 |        112 |        115 |         81 |        114 |
17.20/5.80	c (0,0) c | Promoted      |              17 |          0 |          0 |          4 |          1 |          3 |          3 |          4 |          2 |
17.20/5.80	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.20/5.80	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.20/5.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.20/5.80	c (0,0) c | Unaries       |                 |         13 |         14 |          3 |          2 |          5 |          9 |          3 |         11 |
17.20/5.80	c (0,0) c | Binaries      |                 |         22 |         16 |         20 |         38 |          9 |         18 |         15 |         17 |
17.20/5.80	c (0,0) c | Glues         |                 |         34 |         35 |         40 |         66 |         26 |         31 |         29 |         35 |
17.20/5.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.20/5.80	c (0,0) c | Orig_Seen     |             2 % |       2090 |       3372 |       2594 |       3120 |       2443 |       3067 |       2365 |       3104 |
17.20/5.80	c (0,0) c | Diff Orig seen|                 | -     1282 |      X     | -      778 | -      252 | -      929 | -      305 | -     1007 | -      268 |
17.20/5.80	c (0,0) c | Hamming       |            13 % |       1900 |      X     |       2121 |       1840 |       2373 |       2132 |       2253 |       2300 |
17.20/5.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.20/5.80	c (0,0) 
17.20/5.80	c (0,0) s SATISFIABLE
17.20/5.83	c (0,0) SatSolver.solve End
17.20/5.83	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.20/5.83	c (0,0) Show results Begin
17.96/5.91	s SATISFIABLE
17.96/5.93	v <instantiation>
17.96/5.93	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>
17.96/5.93	v     <values>0 8 13 22 1 14 6 19 2 17 21 11 3 20 10 15 4 16 9 18 5 12 20 9 6 0 18 13 7 1 23 17 8 19 3 14 9 5 17 21 10 15 0 20 11 2 22 16 12 4 19 6 13 23 7 3 14 18 8 1 15 6 2 23 16 21 1 7 17 22 5 8 18 13 4 10 19 3 11 12 20 7 12 0 21 9 14 2 22 10 15 4 23 11 16 5 0 6 10 20 1 7 16 14 2 11 15 21 3 19 8 13 4 12 18 22 5 9 17 23 6 15 1 12 7 20 13 16 8 0 14 17 9 21 4 5 10 22 3 18 11 23 19 2 12 5 20 19 13 18 0 6 14 1 21 8 15 10 22 3 16 4 23 11 17 2 9 7 18 14 6 4 19 8 12 1 20 3 5 10 21 16 2 9 22 17 11 0 23 13 7 15 0 1 2 3 0 2 1 3 0 2 3 1 0 3 1 2 0 2 1 3 0 2 3 1 1 0 3 2 1 0 3 2 1 3 0 2 1 0 2 3 1 2 0 3 1 0 3 2 2 0 3 1 2 3 1 0 2 3 1 0 2 1 0 3 2 3 0 1 2 3 0 1 3 2 0 1 3 0 1 2 3 1 2 0 3 1 2 0 3 1 2 0 3 1 2 0 0 1 2 4 0 1 3 2 0 2 3 4 0 3 1 2 0 2 3 4 1 2 3 4 1 3 0 2 1 4 2 3 1 0 2 3 2 4 0 1 2 4 0 3 2 4 3 0 2 1 4 3 2 3 0 1 2 0 4 1 3 2 4 0 3 0 4 2 3 0 2 1 3 2 1 0 3 1 2 0 4 0 1 2 4 3 0 2 4 3 2 0 4 2 1 3</values>
17.96/5.93	v </instantiation>
17.96/5.93	c (0,0) Show results End
17.96/5.93	c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
17.96/5.93	c (0,0) 0,0,STOP-AFTER(ALL)
17.96/5.93	c END-Prog: Mon Aug 13 22:38:32 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 (11334 MiB free)
  memory of node 1: 16384 MiB (10640 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307518-1534192706/watcher-4307518-1534192706 -o /tmp/evaluation-result-4307518-1534192706/solver-4307518-1534192706 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307518-1534192706.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12760, runsolver pid=12757


[startup+0.100152 s]*
/proc/loadavg: 3.57 5.71 6.83 3/199 12782
/proc/meminfo: memFree=22404896/32770624 swapFree=67108372/67108860
[pid=12760] ppid=12757 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236833794 115843072 348 33554432000 4194304 5098028 140728759737792 140728759735048 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 348 296 221 0 87 0
[pid=12763] ppid=12760 vsize=27313900 memory=109588 CPUtime=0.1 cores=0-7
/proc/12763/stat : 12763 (java) S 12760 12760 10382 0 -1 1077944320 6817 0 0 0 8 2 0 0 20 0 20 0 236833794 27969433600 27397 33554432000 4194304 4196468 140729943298528 140729943281072 140444155576055 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
/proc/12763/statm: 6828475 27397 2739 1 0 6790935 0
[pid=12763/tid=12764] ppid=12760 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12763/task/12764/stat : 12764 (java) R 12760 12760 10382 0 -1 4202560 5008 0 0 0 6 2 0 0 20 0 20 0 236833795 27969433600 27462 33554432000 4194304 4196468 140729943298528 140444127353136 140444135851804 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12765] ppid=12760 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12763/task/12765/stat : 12765 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140444159818512 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12766] ppid=12760 vsize=27313900 memory=140502299014784 CPUtime=0 cores=0-7
/proc/12763/task/12766/stat : 12766 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443973974928 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12767] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12767/stat : 12767 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443972922384 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12768] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12768/stat : 12768 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443971869840 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12769] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12769/stat : 12769 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443970816272 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12770] ppid=12760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12763/task/12770/stat : 12770 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443969763728 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12771] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12771/stat : 12771 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443968711184 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12772] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12772/stat : 12772 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443967658640 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12773] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12773/stat : 12773 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236833798 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443078605296 140444155587202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12774] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12774/stat : 12774 (java) S 12760 12760 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236833799 27969433600 27462 33554432000 4194304 4196468 140729943298528 140442075129248 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12775] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12775/stat : 12775 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833799 27969433600 27462 33554432000 4194304 4196468 140729943298528 140441806693872 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12776] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12776/stat : 12776 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 27462 33554432000 4194304 4196468 140729943298528 140441432185552 140444155594651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12777] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12777/stat : 12777 (java) S 12760 12760 10382 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443077552112 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12778] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12778/stat : 12778 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443076499568 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12779] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12779/stat : 12779 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443075447024 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12780] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12780/stat : 12780 (java) S 12760 12760 10382 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443074394480 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12781] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12781/stat : 12781 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 27462 33554432000 4194304 4196468 140729943298528 140440934279904 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12782] ppid=12760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12763/task/12782/stat : 12782 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 27462 33554432000 4194304 4196468 140729943298528 140443073342384 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110980 KiB

[startup+0.210362 s]*
/proc/loadavg: 3.57 5.71 6.83 2/199 12782
/proc/meminfo: memFree=22388772/32770624 swapFree=67108372/67108860
[pid=12760] ppid=12757 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236833794 115843072 348 33554432000 4194304 5098028 140728759737792 140728759735048 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 348 296 221 0 87 0
[pid=12763] ppid=12760 vsize=27313900 memory=123992 CPUtime=0.25 cores=0-7
/proc/12763/stat : 12763 (java) S 12760 12760 10382 0 -1 1077944320 10693 0 0 0 21 4 0 0 20 0 20 0 236833794 27969433600 30998 33554432000 4194304 4196468 140729943298528 140729943281072 140444155576055 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
/proc/12763/statm: 6828475 30998 2885 1 0 6790935 0
[pid=12763/tid=12764] ppid=12760 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12763/task/12764/stat : 12764 (java) R 12760 12760 10382 0 -1 4202560 8613 0 0 0 17 3 0 0 20 0 20 0 236833795 27969433600 31063 33554432000 4194304 4196468 140729943298528 140444127403456 140444155597981 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12765] ppid=12760 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/12763/task/12765/stat : 12765 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140444159818512 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12766] ppid=12760 vsize=27313900 memory=4049215423867221664 CPUtime=0 cores=0-7
/proc/12763/task/12766/stat : 12766 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443973974928 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12767] ppid=12760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12763/task/12767/stat : 12767 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443972922384 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12768] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12768/stat : 12768 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443971869840 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12769] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12769/stat : 12769 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443970816272 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12770] ppid=12760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12763/task/12770/stat : 12770 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443969763728 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12771] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12771/stat : 12771 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443968711184 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12772] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12772/stat : 12772 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443967658640 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12773] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12773/stat : 12773 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236833798 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443078605296 140444155587202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12774] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12774/stat : 12774 (java) S 12760 12760 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236833799 27969433600 31063 33554432000 4194304 4196468 140729943298528 140442075129248 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12775] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12775/stat : 12775 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833799 27969433600 31063 33554432000 4194304 4196468 140729943298528 140441806693872 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12776] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12776/stat : 12776 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31063 33554432000 4194304 4196468 140729943298528 140441432185552 140444155594651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12777] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12777/stat : 12777 (java) S 12760 12760 10382 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443077552112 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12778] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12778/stat : 12778 (java) S 12760 12760 10382 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443076499568 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12779] ppid=12760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12763/task/12779/stat : 12779 (java) S 12760 12760 10382 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443075447024 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12780] ppid=12760 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/12763/task/12780/stat : 12780 (java) S 12760 12760 10382 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 236833802 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443074394480 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12781] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12781/stat : 12781 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31063 33554432000 4194304 4196468 140729943298528 140440934279904 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12782] ppid=12760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12763/task/12782/stat : 12782 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31063 33554432000 4194304 4196468 140729943298528 140443073342384 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125384 KiB

[startup+0.310427 s]*
/proc/loadavg: 3.57 5.71 6.83 2/199 12782
/proc/meminfo: memFree=22385608/32770624 swapFree=67108372/67108860
[pid=12760] ppid=12757 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236833794 115843072 348 33554432000 4194304 5098028 140728759737792 140728759735048 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 348 296 221 0 87 0
[pid=12763] ppid=12760 vsize=27313900 memory=127540 CPUtime=0.41 cores=0-7
/proc/12763/stat : 12763 (java) S 12760 12760 10382 0 -1 1077944320 11244 0 0 0 37 4 0 0 20 0 20 0 236833794 27969433600 31885 33554432000 4194304 4196468 140729943298528 140729943281072 140444155576055 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
/proc/12763/statm: 6828475 31885 2921 1 0 6790935 0
[pid=12763/tid=12764] ppid=12760 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12763/task/12764/stat : 12764 (java) R 12760 12760 10382 0 -1 4202560 8996 0 0 0 26 3 0 0 20 0 20 0 236833795 27969433600 31885 33554432000 4194304 4196468 140729943298528 140444127371056 140444139656542 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12765] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12765/stat : 12765 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140444159818512 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12766] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12766/stat : 12766 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443973974928 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12767] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12767/stat : 12767 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443972922384 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12768] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12768/stat : 12768 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443971869840 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12769] ppid=12760 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/12763/task/12769/stat : 12769 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443970816272 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12770] ppid=12760 vsize=27313900 memory=140502137664431 CPUtime=0 cores=0-7
/proc/12763/task/12770/stat : 12770 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443969763728 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12771] ppid=12760 vsize=27313900 memory=140502137666736 CPUtime=0 cores=0-7
/proc/12763/task/12771/stat : 12771 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443968711184 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12772] ppid=12760 vsize=27313900 memory=140502137669040 CPUtime=0 cores=0-7
/proc/12763/task/12772/stat : 12772 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443967658640 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12773] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12773/stat : 12773 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236833798 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443078605296 140444155587202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12774] ppid=12760 vsize=27313900 memory=281004275345040 CPUtime=0 cores=0-7
/proc/12763/task/12774/stat : 12774 (java) S 12760 12760 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236833799 27969433600 31885 33554432000 4194304 4196468 140729943298528 140442075129248 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12775] ppid=12760 vsize=27313900 memory=281004275351952 CPUtime=0 cores=0-7
/proc/12763/task/12775/stat : 12775 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833799 27969433600 31885 33554432000 4194304 4196468 140729943298528 140441806693872 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12776] ppid=12760 vsize=27313900 memory=281004275293232 CPUtime=0 cores=0-7
/proc/12763/task/12776/stat : 12776 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31885 33554432000 4194304 4196468 140729943298528 140441432185552 140444155594651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12777] ppid=12760 vsize=27313900 memory=281004275365776 CPUtime=0.01 cores=0-7
/proc/12763/task/12777/stat : 12777 (java) S 12760 12760 10382 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 20 0 236833802 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443077552112 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12778] ppid=12760 vsize=27313900 memory=281004275372688 CPUtime=0 cores=0-7
/proc/12763/task/12778/stat : 12778 (java) S 12760 12760 10382 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443076499568 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12779] ppid=12760 vsize=27313900 memory=281004275370384 CPUtime=0.01 cores=0-7
/proc/12763/task/12779/stat : 12779 (java) S 12760 12760 10382 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 236833802 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443075447024 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12780] ppid=12760 vsize=27313900 memory=281004275386544 CPUtime=0.07 cores=0-7
/proc/12763/task/12780/stat : 12780 (java) S 12760 12760 10382 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 20 0 236833802 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443074394480 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12781] ppid=12760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12781/stat : 12781 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31885 33554432000 4194304 4196468 140729943298528 140440934279904 140444155586261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12782] ppid=12760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12763/task/12782/stat : 12782 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833802 27969433600 31885 33554432000 4194304 4196468 140729943298528 140443073342384 140444155587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128932 KiB

[startup+0.701004 s]
/proc/loadavg: 3.57 5.71 6.83 2/199 12782
/proc/meminfo: memFree=22361160/32770624 swapFree=67108372/67108860
[pid=12760] ppid=12757 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236833794 115843072 348 33554432000 4194304 5098028 140728759737792 140728759735048 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 348 296 221 0 87 0
[pid=12763] ppid=12760 vsize=27322296 memory=165104 CPUtime=1.01 cores=0-7
/proc/12763/stat : 12763 (java) S 12760 12760 10382 0 -1 1077944320 18288 0 0 0 95 6 0 0 20 0 20 0 236833794 27978031104 41276 33554432000 4194304 4196468 140729943298528 140729943281072 140444155576055 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
/proc/12763/statm: 6830574 41276 3137 1 0 6791959 0
[pid=12763/tid=12764] ppid=12760 vsize=27322296 memory=281004275744432 CPUtime=0.67 cores=0-7
/proc/12763/task/12764/stat : 12764 (java) R 12760 12760 10382 0 -1 4202560 15546 0 0 0 62 5 0 0 20 0 20 0 236833795 27978031104 41276 33554432000 4194304 4196468 140729943298528 140444127412736 140444139619685 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12765] ppid=12760 vsize=27322296 memory=140502137873264 CPUtime=0 cores=0-7
/proc/12763/task/12765/stat : 12765 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27978031104 41276 33554432000 4194304 4196468 140729943298528 140444159818512 140444155586261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12766] ppid=12760 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/12763/task/12766/stat : 12766 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27978031104 41276 33554432000 4194304 4196468 140729943298528 140443973974928 140444155586261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0
[pid=12763/tid=12767] ppid=12760 vsize=27322296 memory=752 CPUtime=0 cores=0-7
/proc/12763/task/12767/stat : 12767 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236833797 27978031104 41276 33554432000 4194304 4196468 140729943298528 140443972922384 140444155586261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18444288 140729943307241 140729943307565 140729943307565 140729943310287 0

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

[pid=12760] ppid=12757 vsize=113128 memory=1468 CPUtime=15.95 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 589 38871 0 0 0 0 1561 34 20 0 1 0 236833794 115843072 367 33554432000 4194304 5098028 140728759737792 140728759734536 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB

[startup+5.60089 s]
/proc/loadavg: 3.52 5.66 6.81 3/199 12802
/proc/meminfo: memFree=22452328/32770624 swapFree=67108372/67108860
[pid=12760] ppid=12757 vsize=113128 memory=1468 CPUtime=15.95 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 589 38871 0 0 0 0 1561 34 20 0 1 0 236833794 115843072 367 33554432000 4194304 5098028 140728759737792 140728759734536 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 367 311 221 0 87 0
[pid=12783] ppid=12760 vsize=8413904 memory=120992 CPUtime=1.25 cores=0-7
/proc/12783/stat : 12783 (java) S 12760 12760 10382 0 -1 1077944320 18484 0 0 0 119 6 0 0 20 0 24 0 236834273 8615837696 30248 33554432000 4194304 4196468 140736633899968 140736633882512 140612788068087 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
/proc/12783/statm: 2103476 30248 3153 1 0 2064875 0
[pid=12783/tid=12784] ppid=12760 vsize=8413904 memory=3988 CPUtime=0.77 cores=0-7
/proc/12783/task/12784/stat : 12784 (java) S 12760 12760 10382 0 -1 1077944384 15095 0 0 0 72 5 0 0 20 0 24 0 236834274 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612759908240 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12785] ppid=12760 vsize=8413904 memory=1924 CPUtime=0 cores=0-7
/proc/12783/task/12785/stat : 12785 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612792310032 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12786] ppid=12760 vsize=8413904 memory=7532 CPUtime=0 cores=0-7
/proc/12783/task/12786/stat : 12786 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612600871312 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12787] ppid=12760 vsize=8413904 memory=808 CPUtime=0 cores=0-7
/proc/12783/task/12787/stat : 12787 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612599818768 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12788] ppid=12760 vsize=8413904 memory=3 CPUtime=0 cores=0-7
/proc/12783/task/12788/stat : 12788 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612271594128 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12789] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12789/stat : 12789 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612270541584 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12790] ppid=12760 vsize=8413904 memory=2103196 CPUtime=0 cores=0-7
/proc/12783/task/12790/stat : 12790 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612269489040 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12791] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12791/stat : 12791 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612268436496 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12792] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12792/stat : 12792 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612267383952 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12793] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12793/stat : 12793 (java) S 12760 12760 10382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 236834276 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612149954544 140612788079234 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12794] ppid=12760 vsize=8413904 memory=1595 CPUtime=0 cores=0-7
/proc/12783/task/12794/stat : 12794 (java) S 12760 12760 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236834277 8615837696 30248 33554432000 4194304 4196468 140736633899968 140611390792608 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12795] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12795/stat : 12795 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834277 8615837696 30248 33554432000 4194304 4196468 140736633899968 140611122357232 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12796] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12796/stat : 12796 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834279 8615837696 30248 33554432000 4194304 4196468 140736633899968 140610747848912 140612788086683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12797] ppid=12760 vsize=8413904 memory=4126316290023845779 CPUtime=0.05 cores=0-7
/proc/12783/task/12797/stat : 12797 (java) S 12760 12760 10382 0 -1 1077944384 516 0 0 0 5 0 0 0 20 0 24 0 236834279 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612148902384 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12798] ppid=12760 vsize=8413904 memory=3977583576072077271 CPUtime=0.12 cores=0-7
/proc/12783/task/12798/stat : 12798 (java) S 12760 12760 10382 0 -1 1077944384 540 0 0 0 12 0 0 0 20 0 24 0 236834279 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612147849840 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12799] ppid=12760 vsize=8413904 memory=4580 CPUtime=0.06 cores=0-7
/proc/12783/task/12799/stat : 12799 (java) S 12760 12760 10382 0 -1 1077944384 351 0 0 0 6 0 0 0 20 0 24 0 236834280 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612146797296 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12800] ppid=12760 vsize=8413904 memory=7236547281622689387 CPUtime=0.21 cores=0-7
/proc/12783/task/12800/stat : 12800 (java) S 12760 12760 10382 0 -1 1077944384 581 0 0 0 21 0 0 0 20 0 24 0 236834280 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612145744752 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12801] ppid=12760 vsize=8413904 memory=6154282490091891024 CPUtime=0 cores=0-7
/proc/12783/task/12801/stat : 12801 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236834280 8615837696 30248 33554432000 4194304 4196468 140736633899968 140610249943264 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12802] ppid=12760 vsize=8413904 memory=7523071198212214892 CPUtime=0 cores=0-7
/proc/12783/task/12802/stat : 12802 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834280 8615837696 30248 33554432000 4194304 4196468 140736633899968 140612144691632 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
Current children cumulated CPU time: 17.2 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 122460 KiB

[startup+5.80088 s]
/proc/loadavg: 3.52 5.66 6.81 3/199 12802
/proc/meminfo: memFree=22452328/32770624 swapFree=67108372/67108860
[pid=12760] ppid=12757 vsize=113128 memory=1468 CPUtime=15.95 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 589 38871 0 0 0 0 1561 34 20 0 1 0 236833794 115843072 367 33554432000 4194304 5098028 140728759737792 140728759734536 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 367 311 221 0 87 0
[pid=12783] ppid=12760 vsize=8413904 memory=121068 CPUtime=1.25 cores=0-7
/proc/12783/stat : 12783 (java) S 12760 12760 10382 0 -1 1077944320 18489 0 0 0 119 6 0 0 20 0 24 0 236834273 8615837696 30267 33554432000 4194304 4196468 140736633899968 140736633882512 140612788068087 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
/proc/12783/statm: 2103476 30267 3153 1 0 2064875 0
[pid=12783/tid=12784] ppid=12760 vsize=8413904 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/12783/task/12784/stat : 12784 (java) S 12760 12760 10382 0 -1 1077944384 15095 0 0 0 72 5 0 0 20 0 24 0 236834274 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612759908240 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12785] ppid=12760 vsize=8413904 memory=3834587695091548192 CPUtime=0 cores=0-7
/proc/12783/task/12785/stat : 12785 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612792310032 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12786] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12786/stat : 12786 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612600871312 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12787] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12787/stat : 12787 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612599818768 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12788] ppid=12760 vsize=8413904 memory=-4059589565078923728 CPUtime=0 cores=0-7
/proc/12783/task/12788/stat : 12788 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612271594128 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12789] ppid=12760 vsize=8413904 memory=-7595718148000617619 CPUtime=0 cores=0-7
/proc/12783/task/12789/stat : 12789 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612270541584 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12790] ppid=12760 vsize=8413904 memory=-7087961436404378832 CPUtime=0 cores=0-7
/proc/12783/task/12790/stat : 12790 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612269489040 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12791] ppid=12760 vsize=8413904 memory=6944656592455350586 CPUtime=0 cores=0-7
/proc/12783/task/12791/stat : 12791 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612268436496 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12792] ppid=12760 vsize=8413904 memory=-7740955855873989466 CPUtime=0 cores=0-7
/proc/12783/task/12792/stat : 12792 (java) S 12760 12760 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236834275 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612267383952 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12793] ppid=12760 vsize=8413904 memory=-7019541043638530135 CPUtime=0 cores=0-7
/proc/12783/task/12793/stat : 12793 (java) S 12760 12760 10382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 236834276 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612149954544 140612788079234 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12794] ppid=12760 vsize=8413904 memory=-7105465937186101150 CPUtime=0 cores=0-7
/proc/12783/task/12794/stat : 12794 (java) S 12760 12760 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236834277 8615837696 30267 33554432000 4194304 4196468 140736633899968 140611390792608 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12795] ppid=12760 vsize=8413904 memory=-7017023377871051929 CPUtime=0 cores=0-7
/proc/12783/task/12795/stat : 12795 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834277 8615837696 30267 33554432000 4194304 4196468 140736633899968 140611122357232 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12796] ppid=12760 vsize=8413904 memory=164 CPUtime=0 cores=0-7
/proc/12783/task/12796/stat : 12796 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834279 8615837696 30267 33554432000 4194304 4196468 140736633899968 140610747848912 140612788086683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12797] ppid=12760 vsize=8413904 memory=576587674381544995 CPUtime=0.05 cores=0-7
/proc/12783/task/12797/stat : 12797 (java) S 12760 12760 10382 0 -1 1077944384 516 0 0 0 5 0 0 0 20 0 24 0 236834279 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612148902384 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12798] ppid=12760 vsize=8413904 memory=288284459286135670 CPUtime=0.12 cores=0-7
/proc/12783/task/12798/stat : 12798 (java) S 12760 12760 10382 0 -1 1077944384 540 0 0 0 12 0 0 0 20 0 24 0 236834279 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612147849840 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12799] ppid=12760 vsize=8413904 memory=0 CPUtime=0.06 cores=0-7
/proc/12783/task/12799/stat : 12799 (java) S 12760 12760 10382 0 -1 1077944384 351 0 0 0 6 0 0 0 20 0 24 0 236834280 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612146797296 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12800] ppid=12760 vsize=8413904 memory=0 CPUtime=0.22 cores=0-7
/proc/12783/task/12800/stat : 12800 (java) R 12760 12760 10382 0 -1 4202560 584 0 0 0 22 0 0 0 20 0 24 0 236834280 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612145744752 140612788089434 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12801] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12801/stat : 12801 (java) S 12760 12760 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236834280 8615837696 30267 33554432000 4194304 4196468 140736633899968 140610249943264 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12802] ppid=12760 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12783/task/12802/stat : 12802 (java) S 12760 12760 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236834280 8615837696 30267 33554432000 4194304 4196468 140736633899968 140612144691632 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
Current children cumulated CPU time: 17.2 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 122536 KiB

[startup+5.90088 s]
/proc/loadavg: 3.52 5.66 6.81 3/199 12802
/proc/meminfo: memFree=22452328/32770624 swapFree=67108372/67108860
[pid=12760] ppid=12757 vsize=113128 memory=1468 CPUtime=15.95 cores=0-7
/proc/12760/stat : 12760 (scop.sh) S 12757 12760 10382 0 -1 4202496 589 38871 0 0 0 0 1561 34 20 0 1 0 236833794 115843072 367 33554432000 4194304 5098028 140728759737792 140728759734536 139918828962428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40079360 140728759739427 140728759739651 140728759739651 140728759742413 0
/proc/12760/statm: 28282 367 311 221 0 87 0
[pid=12783] ppid=12760 vsize=8282828 memory=126964 CPUtime=2.01 cores=0-7
/proc/12783/stat : 12783 (java) S 12760 12760 10382 0 -1 1077944320 18935 24237 0 0 143 7 43 8 20 0 22 0 236834273 8481615872 31741 33554432000 4194304 4196468 140736633899968 140736633882512 140612788068087 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
/proc/12783/statm: 2070707 31741 3170 1 0 2032106 0
[pid=12783/tid=12784] ppid=12760 vsize=8282828 memory=1100 CPUtime=1.34 cores=0-7
/proc/12783/task/12784/stat : 12784 (java) R 12760 12760 10382 0 -1 4202560 15303 24237 0 0 78 5 43 8 20 0 22 0 236834274 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612759883136 140612774317141 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12785] ppid=12760 vsize=8282828 memory=2144 CPUtime=0.51 cores=0-7
/proc/12783/task/12785/stat : 12785 (java) S 12760 12760 10382 0 -1 1077944384 2 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612792310032 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12786] ppid=12760 vsize=8282828 memory=6416 CPUtime=0.51 cores=0-7
/proc/12783/task/12786/stat : 12786 (java) S 12760 12760 10382 0 -1 1077944384 1 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612600871312 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12787] ppid=12760 vsize=8282828 memory=1572 CPUtime=0.51 cores=0-7
/proc/12783/task/12787/stat : 12787 (java) S 12760 12760 10382 0 -1 1077944384 1 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612599818768 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12788] ppid=12760 vsize=8282828 memory=1220 CPUtime=0.51 cores=0-7
/proc/12783/task/12788/stat : 12788 (java) S 12760 12760 10382 0 -1 1077944384 3 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612271594128 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12789] ppid=12760 vsize=8282828 memory=1800 CPUtime=0.51 cores=0-7
/proc/12783/task/12789/stat : 12789 (java) S 12760 12760 10382 0 -1 1077944384 2 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612270541584 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12790] ppid=12760 vsize=8282828 memory=868 CPUtime=0.51 cores=0-7
/proc/12783/task/12790/stat : 12790 (java) S 12760 12760 10382 0 -1 1077944384 2 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612269489040 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12791] ppid=12760 vsize=8282828 memory=3316 CPUtime=0.51 cores=0-7
/proc/12783/task/12791/stat : 12791 (java) S 12760 12760 10382 0 -1 1077944384 1 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612268436496 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12792] ppid=12760 vsize=8282828 memory=488 CPUtime=0.51 cores=0-7
/proc/12783/task/12792/stat : 12792 (java) S 12760 12760 10382 0 -1 1077944384 2 24237 0 0 0 0 43 8 20 0 22 0 236834275 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612267383952 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12793] ppid=12760 vsize=8282828 memory=1616 CPUtime=0.51 cores=0-7
/proc/12783/task/12793/stat : 12793 (java) S 12760 12760 10382 0 -1 1077944384 6 24237 0 0 0 0 43 8 20 0 22 0 236834276 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612149954544 140612788079234 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12794] ppid=12760 vsize=8282828 memory=281004275847424 CPUtime=0.51 cores=0-7
/proc/12783/task/12794/stat : 12794 (java) S 12760 12760 10382 0 -1 1077944384 13 24237 0 0 0 0 43 8 20 0 22 0 236834277 8481615872 31741 33554432000 4194304 4196468 140736633899968 140611390792608 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12795] ppid=12760 vsize=8282828 memory=2573557827073 CPUtime=0.51 cores=0-7
/proc/12783/task/12795/stat : 12795 (java) S 12760 12760 10382 0 -1 1077944384 1 24237 0 0 0 0 43 8 20 0 22 0 236834277 8481615872 31741 33554432000 4194304 4196468 140736633899968 140611122357232 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12796] ppid=12760 vsize=8282828 memory=2582147761665 CPUtime=0.51 cores=0-7
/proc/12783/task/12796/stat : 12796 (java) S 12760 12760 10382 0 -1 1077944384 1 24237 0 0 0 0 43 8 20 0 22 0 236834279 8481615872 31741 33554432000 4194304 4196468 140736633899968 140610747848912 140612788086683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12797] ppid=12760 vsize=8282828 memory=0 CPUtime=0.58 cores=0-7
/proc/12783/task/12797/stat : 12797 (java) S 12760 12760 10382 0 -1 1077944384 533 24237 0 0 7 0 43 8 20 0 22 0 236834279 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612148902384 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12798] ppid=12760 vsize=8282828 memory=5860705283049084265 CPUtime=0.67 cores=0-7
/proc/12783/task/12798/stat : 12798 (java) S 12760 12760 10382 0 -1 1077944384 567 24237 0 0 16 0 43 8 20 0 22 0 236834279 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612147849840 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12799] ppid=12760 vsize=8282828 memory=6154538792250073449 CPUtime=0.6 cores=0-7
/proc/12783/task/12799/stat : 12799 (java) S 12760 12760 10382 0 -1 1077944384 367 24237 0 0 9 0 43 8 20 0 22 0 236834280 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612146797296 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12800] ppid=12760 vsize=8282828 memory=4580 CPUtime=0.78 cores=0-7
/proc/12783/task/12800/stat : 12800 (java) S 12760 12760 10382 0 -1 1077944384 714 24237 0 0 27 0 43 8 20 0 22 0 236834280 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612145744752 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12801] ppid=12760 vsize=8282828 memory=1620 CPUtime=0.51 cores=0-7
/proc/12783/task/12801/stat : 12801 (java) S 12760 12760 10382 0 -1 1077944384 3 24237 0 0 0 0 43 8 20 0 22 0 236834280 8481615872 31741 33554432000 4194304 4196468 140736633899968 140610249943264 140612788078293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
[pid=12783/tid=12802] ppid=12760 vsize=8282828 memory=4580 CPUtime=0.51 cores=0-7
/proc/12783/task/12802/stat : 12802 (java) S 12760 12760 10382 0 -1 1077944384 1 24237 0 0 0 0 43 8 20 0 22 0 236834280 8481615872 31741 33554432000 4194304 4196468 140736633899968 140612144691632 140612788079234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37449728 140736633902257 140736633902381 140736633902381 140736633905103 0
Current children cumulated CPU time: 17.96 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 128432 KiB

Child status: 0
Real time (s): 5.95595
CPU time (s): 18.0825
CPU user time (s): 17.5718
CPU system time (s): 0.510718
CPU usage (%): 303.604
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 1273000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5718
system time used= 0.510718
maximum resident set size= 1276760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11859
involuntary context switches= 54


# summary of solver processes directly reported to runsolver:
#   pid: 12760
#   total CPU time (s): 18.0825
#   total CPU user time (s): 17.5718
#   total CPU system time (s): 0.510718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069186 second user time and 0.103339 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 22:38:26
IDJOB=4307518
IDBENCH=141397
IDSOLVER=2789
FILE ID=node137/4307518-1534192706
RUNJOBID= node137-1534189810-10409
PBS_JOBID= 21037989
Free space on /tmp= 26576 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06a_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307518-1534192706/watcher-4307518-1534192706 -o /tmp/evaluation-result-4307518-1534192706/solver-4307518-1534192706 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307518-1534192706.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= d439f32f21550c494657491318660cd8
RANDOM SEED=1896792640

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22502216 kB
MemAvailable:   31898224 kB
Buffers:          120512 kB
Cached:          9469604 kB
SwapCached:            8 kB
Active:          4260276 kB
Inactive:        5387656 kB
Active(anon):       4592 kB
Inactive(anon):   105160 kB
Active(file):    4255684 kB
Inactive(file):  5282496 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8680 kB
Writeback:             8 kB
AnonPages:         63976 kB
Mapped:            54252 kB
Shmem:             49624 kB
Slab:             314684 kB
SReclaimable:     286288 kB
SUnreclaim:        28396 kB
KernelStack:        3184 kB
PageTables:         4468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26568 MiB
End job on node137 at 2018-08-13 22:38:32