Trace number 4307524

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 66.4014 22.3009

General information on the benchmark

NameMisteryShopper/
MisteryShopper-10c_c18.xml
MD5SUM56c97bc9b19c7ad517216d1a3c315031
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 benchmark11.8718
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints621
Number of domains3
Minimum domain size5
Maximum domain size50
Distribution of domain sizes[{"size":5,"count":250},{"size":6,"count":250},{"size":50,"count":500}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":500},{"degree":3,"count":250},{"degree":4,"count":220},{"degree":5,"count":30}]
Minimum constraint arity2
Maximum constraint arity250
Distribution of constraint arities[{"arity":2,"count":500},{"arity":5,"count":100},{"arity":6,"count":5},{"arity":50,"count":10},{"arity":100,"count":5},{"arity":250,"count":1}]
Number of extensional constraints500
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":500},{"type":"allDifferent","count":110},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-12888-serial-file.bin HOME/instance-4307524-1534192713.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.56	c BEGIN-Prog: Mon Aug 13 22:38:34 CEST 2018
0.65/0.56	c PID: 12891
0.65/0.56	c IP: 172.20.3.137
0.65/0.56	c HOST: node137.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.42/1.34	c (0,0) Parsing End
3.42/1.35	c (0,0) CSP: 1000 int (0 aux), 0 bool (0 aux), 621 ctr, max domain size 50
3.42/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.42/1.35	c (0,0) Constraint Name Generate Begin
3.42/1.36	c (0,0) Ctr:HOME/instance-4307524-1534192713.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.42/1.36	c (0,0) Constraint Name Generate End
3.42/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.42/1.36	c (0,0) CSP to CSPinCNF Begin
6.15/2.14	c (1,1) translated 63 (10%) constraints
11.59/4.30	c (3,3) translated 125 (20%) constraints
12.48/4.52	c (3,3) translated 187 (30%) constraints
12.89/4.66	c (4,4) translated 249 (40%) constraints
13.30/4.78	c (4,4) translated 311 (50%) constraints
13.72/4.89	c (4,4) translated 373 (60%) constraints
14.09/5.01	c (4,4) translated 435 (70%) constraints
14.88/5.11	c (4,4) translated 497 (80%) constraints
15.17/5.21	c (4,4) translated 559 (90%) constraints
15.50/5.32	c (4,4) translated 621 (100%) constraints
17.11/5.73	c (5,5) STATISTICS1:HOME/instance-4307524-1534192713.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4089,49779,50,50,50,2,50:11547;49:284;48:247;47:252;46:257;45:525;6:500;5:500,50:80804;49:1047;48:879;47:879;46:879;45:1736;6:4000;5:3500;2:13767,50:20;7:250;6:250;5:200;4:339;3:28553;2:20089;1:78,2:14112;1:104267;0:500,
17.11/5.73	c (5,5) ==========================================
17.11/5.73	c (5,5) Both Encoding selects:
17.11/5.73	c (5,5) Order
17.11/5.73	c (5,5) ==========================================
17.87/5.97	c (5,5) translated 4978 (10%) constraints
18.46/6.13	c (5,5) translated 9956 (20%) constraints
18.97/6.37	c (5,5) translated 14934 (30%) constraints
19.75/6.76	c (6,6) translated 19912 (40%) constraints
20.25/7.13	c (6,6) translated 24890 (50%) constraints
20.54/7.48	c (6,6) translated 29868 (60%) constraints
20.94/7.83	c (7,7) translated 34846 (70%) constraints
21.28/8.17	c (7,7) translated 39824 (80%) constraints
22.00/8.31	c (7,7) translated 44802 (90%) constraints
22.00/8.39	c (7,7) translated 49779 (100%) constraints
22.00/8.39	c (7,7) CSP to CSPinCNF End
22.17/8.41	c (7,7) CSP: 1000 int (0 aux), 28089 bool (28089 aux), 99779 ctr, max domain size 50
22.17/8.41	c (7,7) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
22.17/8.41	c (7,7) CSPinCNF Propagation Begin
23.75/9.11	c (8,8) 273 values, 2171 unsatisfiable literals, and 1594 valid clauses are removed
23.75/9.11	c (8,8) CSPinCNF Propagation End
23.75/9.12	c (8,8) CSP: 1198 int (198 aux), 27891 bool (27891 aux), 98185 ctr, max domain size 50
23.75/9.12	c (8,8) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.75/9.12	c (8,8) Simplify CSPinCNF Begin
24.85/9.80	c (9,9) Simplify CSPinCNF End
24.85/9.82	c (9,9) CSP: 1198 int (198 aux), 54836 bool (54836 aux), 125130 ctr, max domain size 50
24.85/9.82	c (9,9) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.85/9.82	c (9,9) Calculate Precise Domain Begin
24.85/9.82	c (9,9) 0 values are removed by re-calculation
24.85/9.82	c (9,9) Calculate Precise Domain End
24.85/9.84	c (9,9) CSP: 1198 int (198 aux), 54836 bool (54836 aux), 125130 ctr, max domain size 50
24.85/9.84	c (9,9) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.85/9.84	c (9,9) CSPinCNF to SatSolver Begin
27.08/11.19	c (10,10) 12513 (10 %) CSP clauses are encoded (81388 SAT variables, 438945 SAT clauses)
28.29/12.35	c (11,11) 25026 (20 %) CSP clauses are encoded (81388 SAT variables, 853128 SAT clauses)
30.47/13.77	c (13,12) 37539 (30 %) CSP clauses are encoded (81388 SAT variables, 1246696 SAT clauses)
30.53/13.86	c (13,12) 50052 (40 %) CSP clauses are encoded (81388 SAT variables, 1266289 SAT clauses)
30.63/13.92	c (13,12) 62565 (50 %) CSP clauses are encoded (81388 SAT variables, 1278802 SAT clauses)
30.63/13.97	c (13,13) 75078 (60 %) CSP clauses are encoded (81388 SAT variables, 1291315 SAT clauses)
30.74/14.03	c (13,13) 87591 (70 %) CSP clauses are encoded (81388 SAT variables, 1303828 SAT clauses)
30.74/14.08	c (13,13) 100104 (80 %) CSP clauses are encoded (81388 SAT variables, 1316341 SAT clauses)
30.84/14.14	c (13,13) 112617 (90 %) CSP clauses are encoded (81388 SAT variables, 1328854 SAT clauses)
31.11/14.33	c (13,13) 125130 (100 %) CSP clauses are encoded (81388 SAT variables, 1382656 SAT clauses)
31.11/14.33	c (13,13) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
31.11/14.33	c (13,13) CSPinCNF to SatSolver End
31.11/14.33	c (13,13) Heap : 1382 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
32.00/14.79	c (14,13) STATISTICS2:HOME/instance-4307524-1534192713.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,56034,125130,50,50,50,2,50:19925;49:538;48:1007;47:942;46:962;45:1988;6:1000;5:1000,50:140597;49:1867;48:3397;47:3049;46:3009;45:5936;6:5000;5:4500;2:141407,50:5;45:14;43:1;6:250;5:450;4:339;3:27307;2:96686;1:78,2:27362;1:254038,
32.00/14.79	c (14,13) 81388 bool, 1382657 clause
32.00/14.79	c (14,13) Export Begin
32.32/14.94	c (14,13) Export to HOME/scop-12888-serial-file.bin
32.32/14.94	c (14,13) Export End
32.32/14.94	c (14,13) Export File Size: 0.20 MB
32.32/14.94	c (14,13) 0,0,7,8,9,9,13,STOP-AFTER(DIMACS)
32.32/14.94	c END-Prog: Mon Aug 13 22:38:48 CEST 2018
32.32/14.98	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12888-serial-file.bin
33.07/15.48	c (0,0) Read Serial File Begin
33.07/15.48	c (0,0) HOME/scop-12888-serial-file.bin
33.67/15.72	c (0,0) Read Serial File End
33.67/15.73	
33.67/15.73	scop order+glucose-syrup (2018-07-31)
33.67/15.73	(Solving Process)
33.67/15.73	
33.67/15.76	c BEGIN-Prog: Mon Aug 13 22:38:49 CEST 2018
33.67/15.76	c PID: 12911
33.67/15.76	c IP: 172.20.3.137
33.67/15.76	c HOST: node137.alineos.net
33.67/15.76	c (0,0) SatSolver.solve Begin
33.67/15.76	c (0,0) 0 bool, 0 clause
33.67/15.76	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307524-1534192713.xml-scop-12891.cnf
65.29/22.07	c (6,0) c
65.29/22.07	c (6,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
65.29/22.07	c (6,0) c
65.29/22.07	c (6,0) c WARNING: for repeatability, setting FPU to use double precision
65.29/22.07	c (6,0) c 8 solvers engines and 1 companion as a blackboard created.
65.29/22.07	c (6,0) c ========================================[ Problem Statistics ]===========================================
65.29/22.07	c (6,0) c |                                                                                                       |
65.29/22.07	c (6,0) c |  Number of variables:         81388                                                                   |
65.29/22.07	c (6,0) c |  Number of clauses:         1381451                                                                   |
65.29/22.07	c (6,0) c |  Parse time:                   0.41 s                                                                 |
65.29/22.07	c (6,0) c |                                                                                                       |
65.29/22.07	c (6,0) c |  Eliminated clauses:           0.86 Mb                                                                |
65.29/22.07	c (6,0) c |  Simplification time:          1.72 s                                                                 |
65.29/22.07	c (6,0) c |                                                                                                       |
65.29/22.07	c (6,0) c |  Generating clones                                                                                    |
65.29/22.07	c (6,0) c |  all clones generated. Memory = 756.69Mb.                                                             |
65.29/22.07	c (6,0) c ========================================================================================================|
65.29/22.07	c (6,0) c last restart ## conflicts  :  1 793 
65.29/22.07	c (6,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
65.29/22.07	c (6,0) c Total Memory so far : 1341.75Mb
65.29/22.07	c (6,0) c
65.29/22.07	c (6,0) c real time : 6.27759 s
65.29/22.07	c (6,0) c cpu time  : 30.4281 s
65.29/22.07	c (6,0) c
65.29/22.07	c (6,0) c
65.29/22.07	c (6,0) c
65.29/22.07	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
65.29/22.07	c (6,0) c
65.29/22.07	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
65.29/22.07	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
65.29/22.07	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
65.29/22.07	c (6,0) c | Conflicts     |           57410 |       8188 |       6798 |       7049 |       5527 |       8113 |       7778 |       6352 |       7605 |
65.29/22.07	c (6,0) c | Decisions     |          814798 |      89367 |     100749 |     107528 |      93608 |     104508 |     108188 |     103861 |     106989 |
65.29/22.07	c (6,0) c | Propagations  |        52101173 |    5882180 |    6478200 |    6591858 |    5643231 |    6859991 |    6885384 |    6922479 |    6837850 |
65.29/22.07	c (6,0) c | Avg_Trail     |                 |      22852 |      24167 |      24000 |      23376 |      26059 |      25423 |      23845 |      24201 |
65.29/22.07	c (6,0) c | Avg_DL        |                 |        247 |        268 |        277 |        270 |        285 |        297 |        253 |        256 |
65.29/22.07	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
65.29/22.07	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
65.29/22.07	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
65.29/22.07	c (6,0) c | Exported      |            4228 |        863 |        457 |        500 |        257 |        553 |        697 |        329 |        572 |
65.29/22.07	c (6,0) c | Imported      |           28309 |       3363 |       3483 |       3682 |       3809 |       3426 |       3350 |       3726 |       3470 |
65.29/22.07	c (6,0) c | Good          |            7906 |        967 |        963 |        962 |       1023 |       1008 |        999 |        994 |        990 |
65.29/22.07	c (6,0) c | Purge         |           20403 |       2396 |       2520 |       2720 |       2786 |       2418 |       2351 |       2732 |       2480 |
65.29/22.07	c (6,0) c | Promoted      |             248 |         33 |         23 |         21 |         25 |         28 |         39 |         39 |         40 |
65.29/22.07	c (6,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
65.29/22.07	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
65.29/22.07	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
65.29/22.07	c (6,0) c | Unaries       |                 |          0 |         19 |          9 |         20 |          8 |         32 |         19 |         15 |
65.29/22.07	c (6,0) c | Binaries      |                 |        172 |        155 |        173 |        110 |        119 |        133 |        138 |        139 |
65.29/22.07	c (6,0) c | Glues         |                 |        384 |        269 |        292 |        218 |        226 |        258 |        235 |        241 |
65.29/22.07	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
65.29/22.07	c (6,0) c | Orig_Seen     |             2 % |      41140 |      40039 |      41366 |      36934 |      44411 |      42514 |      42012 |      41830 |
65.29/22.07	c (6,0) c | Diff Orig seen|                 | -      872 | -     1973 | -      646 | -     5078 |       2399 |        502 |      X     | -      182 |
65.29/22.07	c (6,0) c | Hamming       |            14 % |      12109 |      12520 |      10734 |      11378 |      12508 |      11790 |      X     |      12728 |
65.29/22.07	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
65.29/22.07	c (6,0) 
65.29/22.07	c (6,0) s SATISFIABLE
34.08/22.15	c (6,0) SatSolver.solve End
34.08/22.15	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
34.08/22.15	c (6,0) Show results Begin
66.10/22.25	s SATISFIABLE
66.10/22.28	v <instantiation>
66.10/22.28	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[42][0] vr[42][1] vr[42][2] vr[42][3] vr[42][4] vr[43][0] vr[43][1] vr[43][2] vr[43][3] vr[43][4] vr[44][0] vr[44][1] vr[44][2] vr[44][3] vr[44][4] vr[45][0] vr[45][1] vr[45][2] vr[45][3] vr[45][4] vr[46][0] vr[46][1] vr[46][2] vr[46][3] vr[46][4] vr[47][0] vr[47][1] vr[47][2] vr[47][3] vr[47][4] vr[48][0] vr[48][1] vr[48][2] vr[48][3] vr[48][4] vr[49][0] vr[49][1] vr[49][2] vr[49][3] vr[49][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[42][0] ve[42][1] ve[42][2] ve[42][3] ve[42][4] ve[43][0] ve[43][1] ve[43][2] ve[43][3] ve[43][4] ve[44][0] ve[44][1] ve[44][2] ve[44][3] ve[44][4] ve[45][0] ve[45][1] ve[45][2] ve[45][3] ve[45][4] ve[46][0] ve[46][1] ve[46][2] ve[46][3] ve[46][4] ve[47][0] ve[47][1] ve[47][2] ve[47][3] ve[47][4] ve[48][0] ve[48][1] ve[48][2] ve[48][3] ve[48][4] ve[49][0] ve[49][1] ve[49][2] ve[49][3] ve[49][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[42][0] gvr[42][1] gvr[42][2] gvr[42][3] gvr[42][4] gvr[43][0] gvr[43][1] gvr[43][2] gvr[43][3] gvr[43][4] gvr[44][0] gvr[44][1] gvr[44][2] gvr[44][3] gvr[44][4] gvr[45][0] gvr[45][1] gvr[45][2] gvr[45][3] gvr[45][4] gvr[46][0] gvr[46][1] gvr[46][2] gvr[46][3] gvr[46][4] gvr[47][0] gvr[47][1] gvr[47][2] gvr[47][3] gvr[47][4] gvr[48][0] gvr[48][1] gvr[48][2] gvr[48][3] gvr[48][4] gvr[49][0] gvr[49][1] gvr[49][2] gvr[49][3] gvr[49][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[42][0] gve[42][1] gve[42][2] gve[42][3] gve[42][4] gve[43][0] gve[43][1] gve[43][2] gve[43][3] gve[43][4] gve[44][0] gve[44][1] gve[44][2] gve[44][3] gve[44][4] gve[45][0] gve[45][1] gve[45][2] gve[45][3] gve[45][4] gve[46][0] gve[46][1] gve[46][2] gve[46][3] gve[46][4] gve[47][0] gve[47][1] gve[47][2] gve[47][3] gve[47][4] gve[48][0] gve[48][1] gve[48][2] gve[48][3] gve[48][4] gve[49][0] gve[49][1] gve[49][2] gve[49][3] gve[49][4]</list>
66.10/22.28	v     <values>0 15 27 34 42 1 47 36 10 23 2 24 35 45 13 3 11 33 28 41 4 12 22 32 43 5 46 37 14 25 6 20 49 31 16 7 18 48 38 26 8 39 44 29 19 9 17 40 30 21 10 38 8 40 27 11 41 25 35 7 12 42 32 6 20 13 31 29 47 5 14 45 30 1 28 15 23 43 33 9 16 2 21 46 34 17 32 26 4 44 18 28 34 41 2 19 29 38 49 3 20 37 15 48 1 21 36 42 0 12 22 43 13 9 30 23 8 46 39 10 24 7 31 16 40 25 13 39 2 47 26 49 6 12 38 27 35 7 17 46 28 40 5 37 15 29 48 0 36 11 30 21 9 43 18 31 10 45 3 24 32 14 20 42 4 33 1 41 19 22 34 16 23 44 8 35 19 47 21 0 36 27 10 8 45 37 26 12 5 49 38 44 2 13 29 39 25 1 18 48 40 22 3 11 32 41 30 4 23 14 42 34 28 7 17 43 33 24 15 6 44 0 11 20 31 45 3 14 22 33 46 4 16 24 35 47 5 17 25 36 48 6 18 26 37 49 9 19 27 39 0 44 29 21 35 1 33 39 14 20 2 16 38 25 18 3 45 40 31 19 4 46 41 17 32 5 47 28 37 13 6 48 26 12 43 7 24 27 42 11 8 23 10 36 34 9 49 30 22 15 10 31 36 1 23 11 3 44 40 29 12 4 37 26 21 13 25 22 38 2 14 32 45 5 41 15 0 20 43 28 16 34 46 24 6 17 9 47 27 42 18 7 48 39 30 19 35 49 33 8 20 6 32 44 12 21 30 16 35 9 22 40 4 45 33 23 15 34 41 1 24 2 43 46 31 25 39 11 47 5 26 37 17 48 7 27 36 0 49 10 28 18 42 3 14 29 19 13 8 38 30 41 14 9 22 31 13 24 6 44 32 17 12 4 40 33 43 3 15 45 34 42 18 0 16 35 27 2 11 46 36 21 1 29 47 37 20 5 28 48 38 10 19 7 26 39 8 25 23 49 40 28 9 10 24 41 11 33 18 3 42 12 21 32 0 43 22 15 30 4 44 38 8 34 17 45 14 31 2 36 46 5 23 16 27 47 1 35 13 25 48 29 7 20 39 49 26 6 19 37 0 1 2 3 4 0 4 3 1 2 0 2 3 4 1 0 1 3 2 4 0 1 2 3 4 0 4 3 1 2 0 2 4 3 1 0 1 4 3 2 0 3 4 2 1 0 1 4 3 2 1 3 0 4 2 1 4 2 3 0 1 4 3 0 2 1 3 2 4 0 1 4 3 0 2 1 2 4 3 0 1 0 2 4 3 1 3 2 0 4 1 2 3 4 0 1 2 3 4 0 2 3 1 4 0 2 3 4 0 1 2 4 1 0 3 2 0 4 3 1 2 0 3 1 4 2 1 3 0 4 2 4 0 1 3 2 3 0 1 4 2 4 0 3 1 2 4 0 3 1 3 2 0 4 1 3 1 4 0 2 3 1 2 4 0 3 0 4 1 2 3 1 2 4 0 3 1 4 2 0 3 2 1 0 4 3 2 1 0 4 3 4 0 1 2 3 2 0 1 4 4 2 0 1 3 4 3 0 2 1 4 3 2 0 1 4 3 2 1 0 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 0 5 3 2 4 0 3 4 1 2 0 1 4 3 2 0 5 4 3 2 0 5 4 2 3 0 5 3 4 1 0 5 3 1 4 0 2 3 4 1 0 2 1 4 3 0 5 3 2 1 1 3 4 0 2 1 0 5 4 3 1 0 4 3 2 1 3 2 4 0 1 3 5 0 4 1 0 2 4 3 1 3 5 2 0 2 0 5 3 4 2 0 5 4 3 2 4 5 3 0 2 0 3 5 1 2 3 1 4 0 2 4 0 5 3 2 1 3 4 0 2 0 4 5 3 3 4 1 5 0 3 4 2 5 0 3 4 0 5 1 3 2 4 0 1 3 2 1 0 4 3 4 1 0 2 3 1 2 0 5 3 2 1 0 4 3 4 0 1 5 3 4 2 0 1 4 3 0 1 5 4 2 0 3 5 4 2 0 3 5 4 1 2 0 3 4 0 3 2 5 4 3 0 1 2 4 1 3 2 0 4 1 2 3 0 4 2 1 3 0 5 4 0 3 2 5 1 3 0 4 5 0 2 1 3 5 0 4 1 3 5 3 0 2 4 5 3 0 2 4</values>
66.10/22.28	v </instantiation>
66.10/22.28	c (6,0) Show results End
66.10/22.28	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
66.10/22.28	c (6,0) 6,6,STOP-AFTER(ALL)
66.10/22.28	c END-Prog: Mon Aug 13 22:38:55 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 (11325 MiB free)
  memory of node 1: 16384 MiB (10650 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307524-1534192713/watcher-4307524-1534192713 -o /tmp/evaluation-result-4307524-1534192713/solver-4307524-1534192713 -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-4307524-1534192713.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=12888, runsolver pid=12885

[startup+0.100135 s]*
/proc/loadavg: 3.32 5.59 6.78 2/199 12910
/proc/meminfo: memFree=22406688/32770624 swapFree=67108372/67108860
[pid=12888] ppid=12885 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12888/stat : 12888 (scop.sh) S 12885 12888 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236834474 115843072 349 33554432000 4194304 5098028 140726933132688 140726933129944 139928553624188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28561408 140726933140515 140726933140739 140726933140739 140726933143501 0
/proc/12888/statm: 28282 349 296 221 0 87 0
[pid=12891] ppid=12888 vsize=27313900 memory=108168 CPUtime=0.1 cores=0-7
/proc/12891/stat : 12891 (java) S 12888 12888 10382 0 -1 1077944320 6507 0 0 0 7 3 0 0 20 0 20 0 236834474 27969433600 27042 33554432000 4194304 4196468 140735826068848 140735826051392 140545387937527 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
/proc/12891/statm: 6828475 27042 2731 1 0 6790935 0
[pid=12891/tid=12892] ppid=12888 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12891/task/12892/stat : 12892 (java) R 12888 12888 10382 0 -1 4202560 4611 0 0 0 6 2 0 0 20 0 20 0 236834475 27969433600 27042 33554432000 4194304 4196468 140735826068848 140545359771968 140545372018014 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12893] ppid=12888 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12891/task/12893/stat : 12893 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140545392179984 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12894] ppid=12888 vsize=27313900 memory=139947190470272 CPUtime=0 cores=0-7
/proc/12891/task/12894/stat : 12894 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140545223429008 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12895] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12895/stat : 12895 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544808692752 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12896] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12896/stat : 12896 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544807640208 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12897] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12897/stat : 12897 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544806586640 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12898] ppid=12888 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12891/task/12898/stat : 12898 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544805534096 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12899] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12899/stat : 12899 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544804481552 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12900] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544803429008 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12901] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544379202032 140545387948674 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12902] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12888 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 27042 33554432000 4194304 4196468 140735826068848 140543342405024 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12903] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 27042 33554432000 4194304 4196468 140735826068848 140543073969648 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12904] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 27042 33554432000 4194304 4196468 140735826068848 140542699461328 140545387956123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12905] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12888 10382 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544378148848 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12906] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544377096304 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12907] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544376043760 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12908] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12908/stat : 12908 (java) R 12888 12888 10382 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544374991216 140545387948674 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12909] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12909/stat : 12909 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 27042 33554432000 4194304 4196468 140735826068848 140542201555680 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12910] ppid=12888 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12891/task/12910/stat : 12910 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 27042 33554432000 4194304 4196468 140735826068848 140544373939120 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109564 KiB

[startup+0.210663 s]*
/proc/loadavg: 3.32 5.59 6.78 2/199 12910
/proc/meminfo: memFree=22390688/32770624 swapFree=67108372/67108860
[pid=12888] ppid=12885 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12888/stat : 12888 (scop.sh) S 12885 12888 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236834474 115843072 349 33554432000 4194304 5098028 140726933132688 140726933129944 139928553624188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28561408 140726933140515 140726933140739 140726933140739 140726933143501 0
/proc/12888/statm: 28282 349 296 221 0 87 0
[pid=12891] ppid=12888 vsize=27313900 memory=122788 CPUtime=0.25 cores=0-7
/proc/12891/stat : 12891 (java) S 12888 12888 10382 0 -1 1077944320 10355 0 0 0 21 4 0 0 20 0 20 0 236834474 27969433600 30697 33554432000 4194304 4196468 140735826068848 140735826051392 140545387937527 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
/proc/12891/statm: 6828475 30697 2868 1 0 6790935 0
[pid=12891/tid=12892] ppid=12888 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12891/task/12892/stat : 12892 (java) R 12888 12888 10382 0 -1 4202560 8188 0 0 0 17 3 0 0 20 0 20 0 236834475 27969433600 30697 33554432000 4194304 4196468 140735826068848 140545359752768 140545387959453 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12893] ppid=12888 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/12891/task/12893/stat : 12893 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140545392179984 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12894] ppid=12888 vsize=27313900 memory=4049214868758677152 CPUtime=0 cores=0-7
/proc/12891/task/12894/stat : 12894 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140545223429008 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12895] ppid=12888 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12891/task/12895/stat : 12895 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544808692752 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12896] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12896/stat : 12896 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544807640208 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12897] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12897/stat : 12897 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544806586640 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12898] ppid=12888 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12891/task/12898/stat : 12898 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544805534096 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12899] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12899/stat : 12899 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544804481552 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12900] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544803429008 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12901] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544379202032 140545387948674 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12902] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12888 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 30697 33554432000 4194304 4196468 140735826068848 140543342405024 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12903] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 30697 33554432000 4194304 4196468 140735826068848 140543073969648 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12904] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 30697 33554432000 4194304 4196468 140735826068848 140542699461328 140545387956123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12905] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12888 10382 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544378148848 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12906] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12888 10382 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544377096304 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12907] ppid=12888 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12888 10382 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544376043760 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12908] ppid=12888 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/12891/task/12908/stat : 12908 (java) R 12888 12888 10382 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 20 0 236834482 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544374991216 140545387958874 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12909] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12909/stat : 12909 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 30697 33554432000 4194304 4196468 140735826068848 140542201555680 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12910] ppid=12888 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12891/task/12910/stat : 12910 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 30697 33554432000 4194304 4196468 140735826068848 140544373939120 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124184 KiB

[startup+0.3106 s]*
/proc/loadavg: 3.32 5.59 6.78 2/199 12910
/proc/meminfo: memFree=22386780/32770624 swapFree=67108372/67108860
[pid=12888] ppid=12885 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12888/stat : 12888 (scop.sh) S 12885 12888 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236834474 115843072 349 33554432000 4194304 5098028 140726933132688 140726933129944 139928553624188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28561408 140726933140515 140726933140739 140726933140739 140726933143501 0
/proc/12888/statm: 28282 349 296 221 0 87 0
[pid=12891] ppid=12888 vsize=27313900 memory=126604 CPUtime=0.42 cores=0-7
/proc/12891/stat : 12891 (java) S 12888 12888 10382 0 -1 1077944320 10993 0 0 0 38 4 0 0 20 0 20 0 236834474 27969433600 31651 33554432000 4194304 4196468 140735826068848 140735826051392 140545387937527 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
/proc/12891/statm: 6828475 31651 2960 1 0 6790935 0
[pid=12891/tid=12892] ppid=12888 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12891/task/12892/stat : 12892 (java) R 12888 12888 10382 0 -1 4202560 8565 0 0 0 26 3 0 0 20 0 20 0 236834475 27969433600 31651 33554432000 4194304 4196468 140735826068848 140545359732976 140545368213314 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12893] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12893/stat : 12893 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140545392179984 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12894] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12894/stat : 12894 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140545223429008 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12895] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12895/stat : 12895 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544808692752 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12896] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12896/stat : 12896 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544807640208 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12897] ppid=12888 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/12891/task/12897/stat : 12897 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544806586640 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12898] ppid=12888 vsize=27313900 memory=139947080250287 CPUtime=0 cores=0-7
/proc/12891/task/12898/stat : 12898 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544805534096 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12899] ppid=12888 vsize=27313900 memory=139947080252592 CPUtime=0 cores=0-7
/proc/12891/task/12899/stat : 12899 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544804481552 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12900] ppid=12888 vsize=27313900 memory=139947080254896 CPUtime=0 cores=0-7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236834477 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544803429008 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12901] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544379202032 140545387948674 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12902] ppid=12888 vsize=27313900 memory=279894160516752 CPUtime=0 cores=0-7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12888 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 31651 33554432000 4194304 4196468 140735826068848 140543342405024 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12903] ppid=12888 vsize=27313900 memory=279894160523664 CPUtime=0 cores=0-7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834479 27969433600 31651 33554432000 4194304 4196468 140735826068848 140543073969648 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12904] ppid=12888 vsize=27313900 memory=279894160464944 CPUtime=0 cores=0-7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 31651 33554432000 4194304 4196468 140735826068848 140542699461328 140545387956123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12905] ppid=12888 vsize=27313900 memory=279894160537488 CPUtime=0.01 cores=0-7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12888 10382 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 20 0 236834482 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544378148848 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12906] ppid=12888 vsize=27313900 memory=279894160544400 CPUtime=0.01 cores=0-7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12888 10382 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 236834482 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544377096304 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12907] ppid=12888 vsize=27313900 memory=279894160542096 CPUtime=0 cores=0-7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12888 10382 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544376043760 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12908] ppid=12888 vsize=27313900 memory=279894160558256 CPUtime=0.07 cores=0-7
/proc/12891/task/12908/stat : 12908 (java) S 12888 12888 10382 0 -1 1077944384 439 0 0 0 7 0 0 0 20 0 20 0 236834482 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544374991216 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12909] ppid=12888 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12909/stat : 12909 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 31651 33554432000 4194304 4196468 140735826068848 140542201555680 140545387947733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12910] ppid=12888 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12891/task/12910/stat : 12910 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834482 27969433600 31651 33554432000 4194304 4196468 140735826068848 140544373939120 140545387948674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128000 KiB

[startup+0.704646 s]
/proc/loadavg: 3.32 5.59 6.78 2/199 12910
/proc/meminfo: memFree=22362332/32770624 swapFree=67108372/67108860
[pid=12888] ppid=12885 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12888/stat : 12888 (scop.sh) S 12885 12888 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236834474 115843072 349 33554432000 4194304 5098028 140726933132688 140726933129944 139928553624188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28561408 140726933140515 140726933140739 140726933140739 140726933143501 0
/proc/12888/statm: 28282 349 296 221 0 87 0
[pid=12891] ppid=12888 vsize=27320172 memory=166912 CPUtime=1.03 cores=0-7
/proc/12891/stat : 12891 (java) S 12888 12888 10382 0 -1 1077944320 18133 0 0 0 97 6 0 0 20 0 20 0 236834474 27975856128 41728 33554432000 4194304 4196468 140735826068848 140735826051392 140545387937527 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
/proc/12891/statm: 6830043 41728 3141 1 0 6791447 0
[pid=12891/tid=12892] ppid=12888 vsize=27320172 memory=279894160916144 CPUtime=0.67 cores=0-7
/proc/12891/task/12892/stat : 12892 (java) R 12888 12888 10382 0 -1 4202560 14962 0 0 0 62 5 0 0 20 0 20 0 236834475 27975856128 41728 33554432000 4194304 4196468 140735826068848 140545359775104 140545372018014 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12893] ppid=12888 vsize=27320172 memory=139947080459120 CPUtime=0 cores=0-7
/proc/12891/task/12893/stat : 12893 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27975856128 41728 33554432000 4194304 4196468 140735826068848 140545392179984 140545387947733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12894] ppid=12888 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/12891/task/12894/stat : 12894 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236834477 27975856128 41728 33554432000 4194304 4196468 140735826068848 140545223429008 140545387947733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0
[pid=12891/tid=12895] ppid=12888 vsize=27320172 memory=752 CPUtime=0 cores=0-7
/proc/12891/task/12895/stat : 12895 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236834477 27975856128 41728 33554432000 4194304 4196468 140735826068848 140544808692752 140545387947733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140735826076649 140735826076973 140735826076973 140735826079695 0

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

/proc/12911/task/12923/stat : 12923 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835977 8615837696 31258 33554432000 4194304 4196468 140722687146384 140088679850992 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12924] ppid=12888 vsize=8413904 memory=11628 CPUtime=0 cores=0-7
/proc/12911/task/12924/stat : 12924 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835979 8615837696 31258 33554432000 4194304 4196468 140722687146384 140088305342672 140090325100443 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12925] ppid=12888 vsize=8413904 memory=752 CPUtime=0.11 cores=0-7
/proc/12911/task/12925/stat : 12925 (java) S 12888 12888 10382 0 -1 1077944384 652 0 0 0 11 0 0 0 20 0 24 0 236835979 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089416997360 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12926] ppid=12888 vsize=8413904 memory=1472 CPUtime=0.09 cores=0-7
/proc/12911/task/12926/stat : 12926 (java) S 12888 12888 10382 0 -1 1077944384 325 0 0 0 9 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089415944816 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12927] ppid=12888 vsize=8413904 memory=125032 CPUtime=0.13 cores=0-7
/proc/12911/task/12927/stat : 12927 (java) S 12888 12888 10382 0 -1 1077944384 666 0 0 0 13 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089414892272 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12928] ppid=12888 vsize=8413904 memory=837936 CPUtime=0.22 cores=0-7
/proc/12911/task/12928/stat : 12928 (java) S 12888 12888 10382 0 -1 1077944384 843 0 0 0 22 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089413839728 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12929] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12929/stat : 12929 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140087807437024 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12930] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12930/stat : 12930 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089412786608 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12932] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12932/stat : 12932 (java) S 12888 12888 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236836053 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089619621056 140090325106457 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12934] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12934/stat : 12934 (java) S 12888 12888 10382 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 236836053 8615837696 31258 33554432000 4194304 4196468 140722687146384 140087136337712 140090325103773 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12935] ppid=12888 vsize=8413904 memory=279894160497512 CPUtime=0 cores=0-7
/proc/12911/task/12935/stat : 12935 (java) S 12888 12888 10382 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236836054 8615837696 31258 33554432000 4194304 4196468 140722687146384 140087404773296 140090325103773 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12936] ppid=12888 vsize=8413904 memory=57629736962794 CPUtime=0 cores=0-7
/proc/12911/task/12936/stat : 12936 (java) S 12888 12888 10382 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236836056 8615837696 31258 33554432000 4194304 4196468 140722687146384 140086867910304 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
Current children cumulated CPU time: 62.03 s
Current children cumulated vsize: 9900976 KiB
Current children cumulated memory: 966032 KiB

[startup+22.0017 s]*
/proc/loadavg: 3.30 5.42 6.70 9/212 12944
/proc/meminfo: memFree=21519756/32770624 swapFree=67108372/67108860
[pid=12888] ppid=12885 vsize=113128 memory=1472 CPUtime=32.54 cores=0-7
/proc/12888/stat : 12888 (scop.sh) S 12885 12888 10382 0 -1 4202496 589 45410 0 0 0 0 3089 165 20 0 1 0 236834474 115843072 368 33554432000 4194304 5098028 140726933132688 140726933129432 139928553624188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28561408 140726933140515 140726933140739 140726933140739 140726933143501 0
/proc/12888/statm: 28282 368 311 221 0 87 0
[pid=12911] ppid=12888 vsize=8413904 memory=125032 CPUtime=1.42 cores=0-7
/proc/12911/stat : 12911 (java) S 12888 12888 10382 0 -1 1077944320 19535 0 0 0 134 8 0 0 20 0 24 0 236835973 8615837696 31258 33554432000 4194304 4196468 140722687146384 140722687128928 140090325081847 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
/proc/12911/statm: 2103476 31258 3143 1 0 2064875 0
[pid=12931] ppid=12911 vsize=1373944 memory=839560 CPUtime=31.33 cores=0-7
/proc/12931/stat : 12931 (glucose-syrup) S 12911 12888 10382 0 -1 1077944320 476535 0 0 0 2999 134 0 0 20 0 9 0 236836053 1406918656 209890 33554432000 4194304 4373367 140722457401168 140722457399712 139721225063042 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
/proc/12931/statm: 343486 209890 385 44 0 339174 0
[pid=12931/tid=12937] ppid=12911 vsize=1373944 memory=0 CPUtime=3.59 cores=0-7
/proc/12931/task/12937/stat : 12937 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 42094 0 0 0 349 10 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720869354376 4271619 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12931/tid=12938] ppid=12911 vsize=1373944 memory=0 CPUtime=3.6 cores=0-7
/proc/12931/task/12938/stat : 12938 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 46619 0 0 0 351 9 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720860962064 4271619 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12931/tid=12939] ppid=12911 vsize=1373944 memory=139947190470272 CPUtime=3.53 cores=0-7
/proc/12931/task/12939/stat : 12939 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 39708 0 0 0 335 18 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720852569232 4272316 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12931/tid=12940] ppid=12911 vsize=1373944 memory=0 CPUtime=3.59 cores=0-7
/proc/12931/task/12940/stat : 12940 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 39121 0 0 0 342 17 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720844176584 4252343 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12931/tid=12941] ppid=12911 vsize=1373944 memory=0 CPUtime=3.59 cores=0-7
/proc/12931/task/12941/stat : 12941 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 38721 0 0 0 341 18 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720835783824 4271641 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12931/tid=12942] ppid=12911 vsize=1373944 memory=0 CPUtime=3.59 cores=0-7
/proc/12931/task/12942/stat : 12942 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 38706 0 0 0 351 8 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720827391120 4272344 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12931/tid=12943] ppid=12911 vsize=1373944 memory=-1 CPUtime=3.6 cores=0-7
/proc/12931/task/12943/stat : 12943 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 39022 0 0 0 353 7 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720818998504 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12931/tid=12944] ppid=12911 vsize=1373944 memory=0 CPUtime=3.59 cores=0-7
/proc/12931/task/12944/stat : 12944 (glucose-syrup) R 12911 12888 10382 0 -1 4202560 37840 0 0 0 340 19 0 0 20 0 9 0 236836312 1406918656 209890 33554432000 4194304 4373367 140722457401168 139720810605840 4252300 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 33198080 140722457408592 140722457408724 140722457408724 140722457411527 0
[pid=12911/tid=12912] ppid=12888 vsize=8413904 memory=8039887049847964067 CPUtime=0.82 cores=0-7
/proc/12911/task/12912/stat : 12912 (java) S 12888 12888 10382 0 -1 1077944384 15644 0 0 0 76 6 0 0 20 0 24 0 236835973 8615837696 31258 33554432000 4194304 4196468 140722687146384 140090296922000 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12913] ppid=12888 vsize=8413904 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12911/task/12913/stat : 12913 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140090329323792 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12914] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12914/stat : 12914 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089810700688 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12915] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12915/stat : 12915 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089809648144 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12916] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12916/stat : 12916 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089808595600 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12917] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12917/stat : 12917 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089807543056 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12918] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12918/stat : 12918 (java) S 12888 12888 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089806490512 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12919] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12919/stat : 12919 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089805437968 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12920] ppid=12888 vsize=8413904 memory=139947081250560 CPUtime=0 cores=0-7
/proc/12911/task/12920/stat : 12920 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835975 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089804385424 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12921] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12921/stat : 12921 (java) S 12888 12888 10382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236835976 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089418049520 140090325092994 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12922] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12922/stat : 12922 (java) S 12888 12888 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236835977 8615837696 31258 33554432000 4194304 4196468 140722687146384 140088948286368 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12923] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12923/stat : 12923 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835977 8615837696 31258 33554432000 4194304 4196468 140722687146384 140088679850992 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12924] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12924/stat : 12924 (java) S 12888 12888 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236835979 8615837696 31258 33554432000 4194304 4196468 140722687146384 140088305342672 140090325100443 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12925] ppid=12888 vsize=8413904 memory=0 CPUtime=0.11 cores=0-7
/proc/12911/task/12925/stat : 12925 (java) S 12888 12888 10382 0 -1 1077944384 652 0 0 0 11 0 0 0 20 0 24 0 236835979 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089416997360 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12926] ppid=12888 vsize=8413904 memory=0 CPUtime=0.09 cores=0-7
/proc/12911/task/12926/stat : 12926 (java) S 12888 12888 10382 0 -1 1077944384 325 0 0 0 9 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089415944816 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12927] ppid=12888 vsize=8413904 memory=0 CPUtime=0.13 cores=0-7
/proc/12911/task/12927/stat : 12927 (java) S 12888 12888 10382 0 -1 1077944384 666 0 0 0 13 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089414892272 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12928] ppid=12888 vsize=8413904 memory=0 CPUtime=0.22 cores=0-7
/proc/12911/task/12928/stat : 12928 (java) S 12888 12888 10382 0 -1 1077944384 843 0 0 0 22 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089413839728 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12929] ppid=12888 vsize=8413904 memory=8533880862322274568 CPUtime=0 cores=0-7
/proc/12911/task/12929/stat : 12929 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140087807437024 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12930] ppid=12888 vsize=8413904 memory=-1 CPUtime=0 cores=0-7
/proc/12911/task/12930/stat : 12930 (java) S 12888 12888 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236835980 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089412786608 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12932] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12932/stat : 12932 (java) S 12888 12888 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236836053 8615837696 31258 33554432000 4194304 4196468 140722687146384 140089619621056 140090325106457 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12934] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12934/stat : 12934 (java) S 12888 12888 10382 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 236836053 8615837696 31258 33554432000 4194304 4196468 140722687146384 140087136337712 140090325103773 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12935] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12935/stat : 12935 (java) S 12888 12888 10382 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236836054 8615837696 31258 33554432000 4194304 4196468 140722687146384 140087404773296 140090325103773 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12936] ppid=12888 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12911/task/12936/stat : 12936 (java) S 12888 12888 10382 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236836056 8615837696 31258 33554432000 4194304 4196468 140722687146384 140086867910304 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
Current children cumulated CPU time: 65.29 s
Current children cumulated vsize: 9900976 KiB
Current children cumulated memory: 966064 KiB

[startup+22.2052 s]
/proc/loadavg: 3.30 5.42 6.70 9/212 12944
/proc/meminfo: memFree=21519756/32770624 swapFree=67108372/67108860
[pid=12888] ppid=12885 vsize=113128 memory=1472 CPUtime=32.54 cores=0-7
/proc/12888/stat : 12888 (scop.sh) S 12885 12888 10382 0 -1 4202496 589 45410 0 0 0 0 3089 165 20 0 1 0 236834474 115843072 368 33554432000 4194304 5098028 140726933132688 140726933129432 139928553624188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28561408 140726933140515 140726933140739 140726933140739 140726933143501 0
/proc/12888/statm: 28282 368 311 221 0 87 0
[pid=12911] ppid=12888 vsize=8282828 memory=145592 CPUtime=33.56 cores=0-7
/proc/12911/stat : 12911 (java) S 12888 12888 10382 0 -1 1077944320 20564 478018 0 0 164 9 3044 139 20 0 22 0 236835973 8481615872 36398 33554432000 4194304 4196468 140722687146384 140722687128928 140090325081847 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
/proc/12911/statm: 2070707 36398 3173 1 0 2032106 0
[pid=12911/tid=12912] ppid=12888 vsize=8282828 memory=24735 CPUtime=32.7 cores=0-7
/proc/12911/task/12912/stat : 12912 (java) R 12888 12888 10382 0 -1 4202560 15766 478018 0 0 81 6 3044 139 20 0 22 0 236835973 8481615872 36398 33554432000 4194304 4196468 140722687146384 140090296918576 140090306459830 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12913] ppid=12888 vsize=8282828 memory=7594587674001172330 CPUtime=31.83 cores=0-7
/proc/12911/task/12913/stat : 12913 (java) S 12888 12888 10382 0 -1 1077944384 1 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140090329323792 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12914] ppid=12888 vsize=8282828 memory=7594587674001172330 CPUtime=31.83 cores=0-7
/proc/12911/task/12914/stat : 12914 (java) S 12888 12888 10382 0 -1 1077944384 3 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089810700688 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12915] ppid=12888 vsize=8282828 memory=7522820527009120364 CPUtime=31.83 cores=0-7
/proc/12911/task/12915/stat : 12915 (java) S 12888 12888 10382 0 -1 1077944384 2 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089809648144 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12916] ppid=12888 vsize=8282828 memory=7309178837960058450 CPUtime=31.83 cores=0-7
/proc/12911/task/12916/stat : 12916 (java) S 12888 12888 10382 0 -1 1077944384 2 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089808595600 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12917] ppid=12888 vsize=8282828 memory=6371019420540169569 CPUtime=31.83 cores=0-7
/proc/12911/task/12917/stat : 12917 (java) S 12888 12888 10382 0 -1 1077944384 1 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089807543056 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12918] ppid=12888 vsize=8282828 memory=3467834622269863227 CPUtime=31.83 cores=0-7
/proc/12911/task/12918/stat : 12918 (java) S 12888 12888 10382 0 -1 1077944384 2 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089806490512 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12919] ppid=12888 vsize=8282828 memory=0 CPUtime=31.83 cores=0-7
/proc/12911/task/12919/stat : 12919 (java) S 12888 12888 10382 0 -1 1077944384 1 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089805437968 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12920] ppid=12888 vsize=8282828 memory=139947190472449 CPUtime=31.83 cores=0-7
/proc/12911/task/12920/stat : 12920 (java) S 12888 12888 10382 0 -1 1077944384 1 478018 0 0 0 0 3044 139 20 0 22 0 236835975 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089804385424 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12921] ppid=12888 vsize=8282828 memory=139947190470177 CPUtime=31.83 cores=0-7
/proc/12911/task/12921/stat : 12921 (java) S 12888 12888 10382 0 -1 1077944384 8 478018 0 0 0 0 3044 139 20 0 22 0 236835976 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089418049520 140090325092994 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12922] ppid=12888 vsize=8282828 memory=139947190472001 CPUtime=31.83 cores=0-7
/proc/12911/task/12922/stat : 12922 (java) S 12888 12888 10382 0 -1 1077944384 13 478018 0 0 0 0 3044 139 20 0 22 0 236835977 8481615872 36398 33554432000 4194304 4196468 140722687146384 140088948286368 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12923] ppid=12888 vsize=8282828 memory=7597397097940609124 CPUtime=31.83 cores=0-7
/proc/12911/task/12923/stat : 12923 (java) S 12888 12888 10382 0 -1 1077944384 1 478018 0 0 0 0 3044 139 20 0 22 0 236835977 8481615872 36398 33554432000 4194304 4196468 140722687146384 140088679850992 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12924] ppid=12888 vsize=8282828 memory=0 CPUtime=31.83 cores=0-7
/proc/12911/task/12924/stat : 12924 (java) S 12888 12888 10382 0 -1 1077944384 1 478018 0 0 0 0 3044 139 20 0 22 0 236835979 8481615872 36398 33554432000 4194304 4196468 140722687146384 140088305342672 140090325100443 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12925] ppid=12888 vsize=8282828 memory=0 CPUtime=31.98 cores=0-7
/proc/12911/task/12925/stat : 12925 (java) R 12888 12888 10382 0 -1 4202560 938 478018 0 0 15 0 3044 139 20 0 22 0 236835979 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089416983872 140090304300479 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12926] ppid=12888 vsize=8282828 memory=0 CPUtime=31.96 cores=0-7
/proc/12911/task/12926/stat : 12926 (java) R 12888 12888 10382 0 -1 4202560 340 478018 0 0 13 0 3044 139 20 0 22 0 236835980 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089415929408 140090308638236 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12927] ppid=12888 vsize=8282828 memory=0 CPUtime=32 cores=0-7
/proc/12911/task/12927/stat : 12927 (java) R 12888 12888 10382 0 -1 4202560 678 478018 0 0 17 0 3044 139 20 0 22 0 236835980 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089414881536 140090325103194 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12928] ppid=12888 vsize=8282828 memory=0 CPUtime=32.11 cores=0-7
/proc/12911/task/12928/stat : 12928 (java) R 12888 12888 10382 0 -1 4202560 1382 478018 0 0 28 0 3044 139 20 0 22 0 236835980 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089413839728 140090325103194 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12929] ppid=12888 vsize=8282828 memory=0 CPUtime=31.83 cores=0-7
/proc/12911/task/12929/stat : 12929 (java) S 12888 12888 10382 0 -1 1077944384 3 478018 0 0 0 0 3044 139 20 0 22 0 236835980 8481615872 36398 33554432000 4194304 4196468 140722687146384 140087807437024 140090325092053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12930] ppid=12888 vsize=8282828 memory=0 CPUtime=31.83 cores=0-7
/proc/12911/task/12930/stat : 12930 (java) S 12888 12888 10382 0 -1 1077944384 3 478018 0 0 0 0 3044 139 20 0 22 0 236835980 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089412786608 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12932] ppid=12888 vsize=8282828 memory=0 CPUtime=31.83 cores=0-7
/proc/12911/task/12932/stat : 12932 (java) S 12888 12888 10382 0 -1 1077944384 24 478018 0 0 0 0 3044 139 20 0 22 0 236836053 8481615872 36398 33554432000 4194304 4196468 140722687146384 140089619620240 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
[pid=12911/tid=12936] ppid=12888 vsize=8282828 memory=0 CPUtime=31.83 cores=0-7
/proc/12911/task/12936/stat : 12936 (java) S 12888 12888 10382 0 -1 1077944384 11 478018 0 0 0 0 3044 139 20 0 22 0 236836056 8481615872 36398 33554432000 4194304 4196468 140722687146384 140086867912112 140090325092994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10993664 140722687149233 140722687149357 140722687149357 140722687152079 0
Current children cumulated CPU time: 66.1 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 147064 KiB

Child status: 0
Real time (s): 22.3009
CPU time (s): 66.4014
CPU user time (s): 63.2434
CPU system time (s): 3.15808
CPU usage (%): 297.752
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6049440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.2434
system time used= 3.15808
maximum resident set size= 6048476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47438
involuntary context switches= 345


# summary of solver processes directly reported to runsolver:
#   pid: 12888
#   total CPU time (s): 66.4014
#   total CPU user time (s): 63.2434
#   total CPU system time (s): 3.15808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.202668 second user time and 0.290253 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 22:38:33
IDJOB=4307524
IDBENCH=141398
IDSOLVER=2789
FILE ID=node137/4307524-1534192713
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-10c_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-4307524-1534192713/watcher-4307524-1534192713 -o /tmp/evaluation-result-4307524-1534192713/solver-4307524-1534192713 -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-4307524-1534192713.xml

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

MD5SUM BENCH= 56c97bc9b19c7ad517216d1a3c315031
RANDOM SEED=1218289053

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:        22503212 kB
MemAvailable:   31899288 kB
Buffers:          120524 kB
Cached:          9470160 kB
SwapCached:            8 kB
Active:          4258952 kB
Inactive:        5387900 kB
Active(anon):       3476 kB
Inactive(anon):   105160 kB
Active(file):    4255476 kB
Inactive(file):  5282740 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8888 kB
Writeback:             0 kB
AnonPages:         59376 kB
Mapped:            54332 kB
Shmem:             49624 kB
Slab:             314536 kB
SReclaimable:     286320 kB
SUnreclaim:        28216 kB
KernelStack:        3280 kB
PageTables:         4724 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:      6144 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:55