Trace number 4307503

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)UNSAT 93.474 14.6769

General information on the benchmark

NameHaystacks/
Haystacks-ext-13_c18.xml
MD5SUMd20946c70cb8756d1a4b7fb63c02a1de
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark93.474
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints1026
Number of domains1
Minimum domain size13
Maximum domain size13
Distribution of domain sizes[{"size":13,"count":169}]
Minimum variable degree12
Maximum variable degree13
Distribution of variable degrees[{"degree":12,"count":145},{"degree":13,"count":24}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1026}]
Number of extensional constraints1026
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1026}]
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-14502-serial-file.bin HOME/instance-4307503-1534192780.xml
0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Mon Aug 13 22:39:41 CEST 2018
0.65/0.55	c PID: 14505
0.65/0.55	c IP: 172.20.3.137
0.65/0.55	c HOST: node137.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.81/1.09	c (0,0) Parsing End
1.81/1.10	c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 1026 ctr, max domain size 13
1.81/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.81/1.10	c (0,0) Constraint Name Generate Begin
2.02/1.11	c (0,0) Ctr:HOME/instance-4307503-1534192780.xml,ExtensionConflict:ExtensionSupport:IntVar
2.02/1.11	c (0,0) Constraint Name Generate End
2.02/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.11	c (0,0) CSP to CSPinCNF Begin
3.35/1.62	c (1,1) translated 103 (10%) constraints
3.76/1.77	c (1,1) translated 206 (20%) constraints
4.17/1.89	c (1,1) translated 308 (30%) constraints
4.58/1.98	c (1,1) translated 411 (40%) constraints
5.03/2.06	c (1,1) translated 513 (50%) constraints
5.44/2.14	c (1,1) translated 616 (60%) constraints
5.81/2.20	c (1,1) translated 719 (70%) constraints
5.81/2.26	c (1,1) translated 821 (80%) constraints
6.45/2.49	c (1,1) translated 924 (90%) constraints
6.89/2.55	c (2,2) translated 1026 (100%) constraints
7.24/2.70	c (2,2) STATISTICS1:HOME/instance-4307503-1534192780.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,14,1,,13:50988;2:756,14:12;4:12024;3:264;2:1350,1:51744;0:12,
7.24/2.70	c (2,2) ==========================================
7.24/2.70	c (2,2) Both Encoding selects:
7.24/2.70	c (2,2) Order
7.24/2.70	c (2,2) ==========================================
7.65/2.76	c (2,2) translated 1365 (10%) constraints
8.05/2.80	c (2,2) translated 2730 (20%) constraints
8.05/2.83	c (2,2) translated 4095 (30%) constraints
8.05/2.85	c (2,2) translated 5460 (40%) constraints
8.05/2.88	c (2,2) translated 6825 (50%) constraints
8.32/2.90	c (2,2) translated 8190 (60%) constraints
8.32/2.92	c (2,2) translated 9555 (70%) constraints
8.32/2.95	c (2,2) translated 10920 (80%) constraints
8.32/2.98	c (2,2) translated 12285 (90%) constraints
8.63/3.03	c (2,2) translated 13650 (100%) constraints
8.63/3.03	c (2,2) CSP to CSPinCNF End
8.63/3.03	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.63/3.03	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.63/3.03	c (2,2) CSPinCNF Propagation Begin
9.06/3.19	c (2,2) 0 values, 2040 unsatisfiable literals, and 0 valid clauses are removed
9.06/3.19	c (2,2) CSPinCNF Propagation End
9.06/3.19	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
9.06/3.19	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.06/3.19	c (2,2) Simplify CSPinCNF Begin
9.46/3.24	c (2,2) Simplify CSPinCNF End
9.46/3.24	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
9.46/3.24	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.46/3.24	c (2,2) Calculate Precise Domain Begin
9.46/3.24	c (2,2) 0 values are removed by re-calculation
9.46/3.24	c (2,2) Calculate Precise Domain End
9.46/3.24	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
9.46/3.24	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.46/3.24	c (2,2) CSPinCNF to SatSolver Begin
9.77/3.32	c (2,2) 1365 (10 %) CSP clauses are encoded (2184 SAT variables, 3223 SAT clauses)
9.77/3.34	c (2,2) 2730 (20 %) CSP clauses are encoded (2184 SAT variables, 4588 SAT clauses)
9.77/3.36	c (2,2) 4095 (30 %) CSP clauses are encoded (2184 SAT variables, 5953 SAT clauses)
9.77/3.38	c (2,2) 5460 (40 %) CSP clauses are encoded (2184 SAT variables, 7318 SAT clauses)
9.77/3.39	c (2,2) 6825 (50 %) CSP clauses are encoded (2184 SAT variables, 8683 SAT clauses)
10.16/3.40	c (2,2) 8190 (60 %) CSP clauses are encoded (2184 SAT variables, 10048 SAT clauses)
10.16/3.41	c (2,2) 9555 (70 %) CSP clauses are encoded (2184 SAT variables, 11413 SAT clauses)
10.16/3.42	c (2,2) 10920 (80 %) CSP clauses are encoded (2184 SAT variables, 12778 SAT clauses)
10.16/3.44	c (2,2) 12285 (90 %) CSP clauses are encoded (2184 SAT variables, 14143 SAT clauses)
10.16/3.46	c (2,2) 13650 (100 %) CSP clauses are encoded (2184 SAT variables, 15508 SAT clauses)
10.16/3.46	c (2,2) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
10.16/3.46	c (2,2) CSPinCNF to SatSolver End
10.16/3.46	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.51/3.54	c (3,2) STATISTICS2:HOME/instance-4307503-1534192780.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,13,1,,13:48960;2:756,13:12;4:11010;3:264;2:2364,1:49716,
10.51/3.55	c (3,2) 2184 bool, 15509 clause
10.51/3.55	c (3,2) Export Begin
10.80/3.64	c (3,3) Export to HOME/scop-14502-serial-file.bin
10.80/3.64	c (3,3) Export End
10.80/3.64	c (3,3) Export File Size: 0.03 MB
10.80/3.64	c (3,3) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
10.80/3.64	c END-Prog: Mon Aug 13 22:39:44 CEST 2018
10.80/3.66	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14502-serial-file.bin
11.51/4.15	c (0,0) Read Serial File Begin
11.51/4.15	c (0,0) HOME/scop-14502-serial-file.bin
11.81/4.33	c (0,0) Read Serial File End
11.81/4.34	
11.81/4.34	scop order+glucose-syrup (2018-07-31)
11.81/4.34	(Solving Process)
11.81/4.34	
11.81/4.37	c BEGIN-Prog: Mon Aug 13 22:39:45 CEST 2018
11.81/4.37	c PID: 14525
11.81/4.37	c IP: 172.20.3.137
11.81/4.37	c HOST: node137.alineos.net
11.81/4.37	c (0,0) SatSolver.solve Begin
11.81/4.37	c (0,0) 0 bool, 0 clause
11.81/4.37	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307503-1534192780.xml-scop-14505.cnf
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
81.91/13.29	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
81.91/13.29	c (9,0) c ========================================[ Problem Statistics ]===========================================
81.91/13.29	c (9,0) c |                                                                                                       |
81.91/13.29	c (9,0) c |  Number of variables:          2184                                                                   |
81.91/13.29	c (9,0) c |  Number of clauses:           15509                                                                   |
81.91/13.29	c (9,0) c |  Parse time:                   0.01 s                                                                 |
81.91/13.29	c (9,0) c |                                                                                                       |
81.91/13.29	c (9,0) c |  Eliminated clauses:           0.00 Mb                                                                |
81.91/13.29	c (9,0) c |  Simplification time:          0.01 s                                                                 |
81.91/13.29	c (9,0) c |                                                                                                       |
81.91/13.29	c (9,0) c |  Generating clones                                                                                    |
81.91/13.29	c (9,0) c |  all clones generated. Memory =  34.16Mb.                                                             |
81.91/13.29	c (9,0) c ========================================================================================================|
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c Try to adapt solver strategies
81.91/13.29	c (9,0) c 
81.91/13.29	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c Try to adapt solver strategies
81.91/13.29	c (9,0) c 
81.91/13.29	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c Try to adapt solver strategies
81.91/13.29	c (9,0) c 
81.91/13.29	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c Try to adapt solver strategies
81.91/13.29	c (9,0) c 
81.91/13.29	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c |-------------------------------------------------------------------------------------------------------|
81.91/13.29	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
81.91/13.29	c (9,0) c |-------------------------------------------------------------------------------------------------------|
81.91/13.29	c (9,0) c |  0 |    833 |     825742 |     398543 |    12820 |    51994 |    34213 |   240366 |    24947 |  0.000 |
81.91/13.29	c (9,0) c |  1 |   1011 |     917633 |     410230 |    12665 |    63687 |    34669 |   239745 |    25630 |  0.000 |
81.91/13.29	c (9,0) c |  2 |    850 |     843810 |     408963 |    12648 |    62418 |    34348 |   240188 |    24208 |  0.000 |
81.91/13.29	c (9,0) c |  3 |    995 |     896074 |     403500 |    12787 |    56937 |    35038 |   239188 |    25794 |  0.000 |
81.91/13.29	c (9,0) c |  4 |    947 |     907234 |     414929 |    12852 |    68372 |    33676 |   240251 |    25300 |  0.000 |
81.91/13.29	c (9,0) c |  5 |    884 |     840656 |     384483 |    12694 |    78937 |    33795 |   240405 |    25099 |  0.000 |
81.91/13.29	c (9,0) c |  6 |   1068 |     925015 |     404959 |    12751 |    58412 |    33952 |   240256 |    25119 |  0.000 |
81.91/13.29	c (9,0) c |  7 |   1084 |     913926 |     387881 |    12663 |    41327 |    34952 |   238416 |    25268 |  0.000 |
81.91/13.29	c (9,0) c 
81.91/13.29	c (9,0) c synthesis     3213588 conflicts    56535840 propagations    84394 conflicts/sec  1484723 propagations/sec
81.91/13.29	c (9,0) c Total Memory so far : 654.24Mb
81.91/13.29	c (9,0) c
81.91/13.29	c (9,0) c |-------------------------------------------------------------------------------------------------------|
81.91/13.29	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
81.91/13.29	c (9,0) c |-------------------------------------------------------------------------------------------------------|
81.91/13.29	c (9,0) c |  0 |   1536 |    1263604 |     629130 |    13066 |    90170 |    43879 |   314852 |    36872 |  0.550 |
81.91/13.29	c (9,0) c |  1 |   1761 |    1348418 |     641858 |    12831 |    97292 |    44813 |   311231 |    38000 |  0.550 |
81.91/13.29	c (9,0) c |  2 |   1553 |    1279556 |     640556 |    12836 |    94507 |    44614 |   314152 |    36942 |  0.550 |
81.91/13.29	c (9,0) c |  3 |   1558 |    1301459 |     640414 |    13010 |    91791 |    46223 |   312602 |    37584 |  0.550 |
93.08/14.64	c (10,0) c |  4 |   1423 |    1322340 |     671292 |    13046 |    77599 |    46014 |   312332 |    38805 |  0.550 |
93.08/14.64	c (10,0) c |  5 |   1585 |    1284053 |     618455 |    12869 |    77637 |    43780 |   314512 |    36994 |  0.550 |
93.08/14.64	c (10,0) c |  6 |   1719 |    1346775 |     644164 |    12880 |    98260 |    44384 |   313742 |    37496 |  0.550 |
93.08/14.64	c (10,0) c |  7 |   1960 |    1376725 |     606480 |    12791 |    65770 |    45171 |   313474 |    36205 |  0.550 |
93.08/14.64	c (10,0) c 
93.08/14.64	c (10,0) c synthesis     5092358 conflicts    88826946 propagations    72865 conflicts/sec  1271006 propagations/sec
93.08/14.64	c (10,0) c Total Memory so far : 676.66Mb
93.08/14.64	c (10,0) c Thread 4 is 100% pure glucose! First thread to finish! (UNSAT answer).
93.08/14.64	c (10,0) c Total Memory so far : 689.70Mb
93.08/14.64	c (10,0) c
93.08/14.64	c (10,0) c real time : 10.2431 s
93.08/14.64	c (10,0) c cpu time  : 80.6306 s
93.08/14.64	c (10,0) c
93.08/14.64	c (10,0) c
93.08/14.64	c (10,0) c
93.08/14.64	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
93.08/14.64	c (10,0) c
93.08/14.64	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.08/14.64	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.08/14.64	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.08/14.64	c (10,0) c | Conflicts     |         5511804 |     683706 |     692767 |     691398 |     693002 |     720621 |     678828 |     695407 |     656075 |
93.08/14.64	c (10,0) c | Decisions     |        11073858 |    1335561 |    1414030 |    1345263 |    1370380 |    1386393 |    1364372 |    1413778 |    1444081 |
93.08/14.64	c (10,0) c | Propagations  |        97723139 |   11947175 |   12413785 |   11968762 |   12175521 |   12274920 |   12093458 |   12403544 |   12445974 |
93.08/14.64	c (10,0) c | Avg_Trail     |                 |       1271 |       1279 |       1279 |       1281 |       1244 |       1258 |       1217 |       1285 |
93.08/14.64	c (10,0) c | Avg_DL        |                 |        175 |        177 |        178 |        178 |        170 |        175 |        167 |        180 |
93.08/14.64	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.08/14.64	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.08/14.64	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.08/14.64	c (10,0) c | Exported      |          379167 |      46373 |      47070 |      47315 |      48946 |      48499 |      46784 |      46658 |      47522 |
93.08/14.64	c (10,0) c | Imported      |         2644389 |     331025 |     331150 |     330065 |     328071 |     330666 |     332365 |     331567 |     329480 |
93.08/14.64	c (10,0) c | Good          |            2261 |        281 |        294 |        289 |        279 |        283 |        305 |        270 |        260 |
93.08/14.64	c (10,0) c | Purge         |         2642128 |     330744 |     330856 |     329776 |     327792 |     330383 |     332060 |     331297 |     329220 |
93.08/14.64	c (10,0) c | Promoted      |          326462 |      40465 |      41693 |      40219 |      41002 |      41924 |      40441 |      41237 |      39481 |
93.08/14.64	c (10,0) c | Remove_Imp    |         1722849 |     215976 |     211265 |     212432 |     213329 |     216241 |     220836 |     210406 |     222364 |
93.08/14.64	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.08/14.64	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.08/14.64	c (10,0) c | Unaries       |                 |          1 |          1 |          1 |          2 |         10 |          3 |          3 |          4 |
93.08/14.64	c (10,0) c | Binaries      |                 |         32 |         31 |         25 |         32 |         85 |         57 |         55 |         51 |
93.08/14.64	c (10,0) c | Glues         |                 |       3403 |       3299 |       2967 |       3407 |       3643 |       3233 |       3421 |       3396 |
93.08/14.64	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.08/14.64	c (10,0) c | Orig_Seen     |            83 % |      13074 |      12852 |      12852 |      13025 |      13055 |      12883 |      12903 |      12811 |
93.08/14.64	c (10,0) c | Diff Orig seen|                 |         19 | -      203 | -      203 | -       30 |      X     | -      172 | -      152 | -      244 |
93.08/14.64	c (10,0) c | Hamming       |            27 % |        600 |        646 |        571 |        651 |      X     |        571 |        604 |        603 |
93.08/14.64	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.08/14.64	c (10,0) 
93.08/14.64	c (10,0) s UNSATISFIABLE
93.08/14.66	c (10,0) SatSolver.solve End
93.08/14.66	c (10,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.08/14.66	c (10,0) Show results Begin
93.08/14.66	s UNSATISFIABLE
93.08/14.66	c (10,0) Show results End
93.08/14.66	c (10,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.08/14.66	c (10,0) 10,10,STOP-AFTER(ALL)
93.08/14.66	c END-Prog: Mon Aug 13 22:39:55 CEST 2018

Verifier Data


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 (11332 MiB free)
  memory of node 1: 16384 MiB (10641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307503-1534192780/watcher-4307503-1534192780 -o /tmp/evaluation-result-4307503-1534192780/solver-4307503-1534192780 -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-4307503-1534192780.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
solver pid=14502, runsolver pid=14499
Current StackSize limit: 8192 KiB


[startup+0.100131 s]*
/proc/loadavg: 2.34 4.87 6.45 2/199 14524
/proc/meminfo: memFree=22405408/32770624 swapFree=67108372/67108860
[pid=14502] ppid=14499 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14502/stat : 14502 (scop.sh) S 14499 14502 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236841186 115843072 349 33554432000 4194304 5098028 140734731079984 140734731077240 139988858622588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26337280 140734731084835 140734731085059 140734731085059 140734731087821 0
/proc/14502/statm: 28282 349 296 221 0 87 0
[pid=14505] ppid=14502 vsize=27313900 memory=108656 CPUtime=0.1 cores=0-7
/proc/14505/stat : 14505 (java) S 14502 14502 10382 0 -1 1077944320 6093 0 0 0 8 2 0 0 20 0 20 0 236841186 27969433600 27164 33554432000 4194304 4196468 140731311579040 140731311561584 139852273635063 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
/proc/14505/statm: 6828475 27164 2739 1 0 6790935 0
[pid=14505/tid=14506] ppid=14502 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14505/task/14506/stat : 14506 (java) R 14502 14502 10382 0 -1 4202560 4215 0 0 0 7 1 0 0 20 0 20 0 236841186 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852245412144 139852257715550 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14507] ppid=14502 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14505/task/14507/stat : 14507 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852277877776 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14508] ppid=14502 vsize=27313900 memory=140585556055680 CPUtime=0 cores=0-7
/proc/14505/task/14508/stat : 14508 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852061273232 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14509] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14509/stat : 14509 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852060220176 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14510] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14510/stat : 14510 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852059167632 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14511] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14511/stat : 14511 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852058114576 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14512] ppid=14502 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14505/task/14512/stat : 14512 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852057062032 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14513] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14513/stat : 14513 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139852056008976 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14514] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14514/stat : 14514 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 27164 33554432000 4194304 4196468 140731311579040 139851689089424 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14515] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14515/stat : 14515 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236841190 27969433600 27164 33554432000 4194304 4196468 140731311579040 139851264400112 139852273646210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14516] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14516/stat : 14516 (java) S 14502 14502 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236841191 27969433600 27164 33554432000 4194304 4196468 140731311579040 139850174949024 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14517] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14517/stat : 14517 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841191 27969433600 27164 33554432000 4194304 4196468 140731311579040 139849906513136 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14518] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14518/stat : 14518 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 27164 33554432000 4194304 4196468 140731311579040 139849532004816 139852273653659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14519] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14519/stat : 14519 (java) S 14502 14502 10382 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 27164 33554432000 4194304 4196468 140731311579040 139851263346928 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14520] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14520/stat : 14520 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 27164 33554432000 4194304 4196468 140731311579040 139851262294384 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14521] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14521/stat : 14521 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 27164 33554432000 4194304 4196468 140731311579040 139851261241328 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14522] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14522/stat : 14522 (java) S 14502 14502 10382 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 27164 33554432000 4194304 4196468 140731311579040 139851260188784 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14523] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14523/stat : 14523 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236841194 27969433600 27164 33554432000 4194304 4196468 140731311579040 139849034099680 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14524] ppid=14502 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14505/task/14524/stat : 14524 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841194 27969433600 27164 33554432000 4194304 4196468 140731311579040 139851259137200 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110052 KiB

[startup+0.210433 s]*
/proc/loadavg: 2.34 4.87 6.45 2/199 14524
/proc/meminfo: memFree=22389284/32770624 swapFree=67108372/67108860
[pid=14502] ppid=14499 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14502/stat : 14502 (scop.sh) S 14499 14502 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236841186 115843072 349 33554432000 4194304 5098028 140734731079984 140734731077240 139988858622588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26337280 140734731084835 140734731085059 140734731085059 140734731087821 0
/proc/14502/statm: 28282 349 296 221 0 87 0
[pid=14505] ppid=14502 vsize=27313900 memory=122760 CPUtime=0.25 cores=0-7
/proc/14505/stat : 14505 (java) S 14502 14502 10382 0 -1 1077944320 9952 0 0 0 22 3 0 0 20 0 20 0 236841186 27969433600 30690 33554432000 4194304 4196468 140731311579040 140731311561584 139852273635063 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
/proc/14505/statm: 6828475 30690 2841 1 0 6790935 0
[pid=14505/tid=14506] ppid=14502 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14505/task/14506/stat : 14506 (java) R 14502 14502 10382 0 -1 4202560 7862 0 0 0 17 2 0 0 20 0 20 0 236841186 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852245443808 139852257715550 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14507] ppid=14502 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/14505/task/14507/stat : 14507 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852277877776 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14508] ppid=14502 vsize=27313900 memory=4049215507124262560 CPUtime=0 cores=0-7
/proc/14505/task/14508/stat : 14508 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852061273232 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14509] ppid=14502 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14505/task/14509/stat : 14509 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852060220176 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14510] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14510/stat : 14510 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852059167632 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14511] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14511/stat : 14511 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852058114576 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14512] ppid=14502 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14505/task/14512/stat : 14512 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852057062032 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14513] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14513/stat : 14513 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139852056008976 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14514] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14514/stat : 14514 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 30756 33554432000 4194304 4196468 140731311579040 139851689089424 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14515] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14515/stat : 14515 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236841190 27969433600 30756 33554432000 4194304 4196468 140731311579040 139851264400112 139852273646210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14516] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14516/stat : 14516 (java) S 14502 14502 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236841191 27969433600 30756 33554432000 4194304 4196468 140731311579040 139850174949024 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14517] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14517/stat : 14517 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841191 27969433600 30756 33554432000 4194304 4196468 140731311579040 139849906513136 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14518] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14518/stat : 14518 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 30756 33554432000 4194304 4196468 140731311579040 139849532004816 139852273653659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14519] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14519/stat : 14519 (java) S 14502 14502 10382 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 30756 33554432000 4194304 4196468 140731311579040 139851263346928 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14520] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14520/stat : 14520 (java) S 14502 14502 10382 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 30756 33554432000 4194304 4196468 140731311579040 139851262294384 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14521] ppid=14502 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14505/task/14521/stat : 14521 (java) S 14502 14502 10382 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 30756 33554432000 4194304 4196468 140731311579040 139851261241328 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14522] ppid=14502 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/14505/task/14522/stat : 14522 (java) S 14502 14502 10382 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 20 0 236841193 27969433600 30756 33554432000 4194304 4196468 140731311579040 139851260188784 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14523] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14523/stat : 14523 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236841194 27969433600 30756 33554432000 4194304 4196468 140731311579040 139849034099680 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14524] ppid=14502 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14505/task/14524/stat : 14524 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841194 27969433600 30756 33554432000 4194304 4196468 140731311579040 139851259137200 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124156 KiB

[startup+0.310378 s]*
/proc/loadavg: 2.34 4.87 6.45 2/199 14524
/proc/meminfo: memFree=22384988/32770624 swapFree=67108372/67108860
[pid=14502] ppid=14499 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14502/stat : 14502 (scop.sh) S 14499 14502 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236841186 115843072 349 33554432000 4194304 5098028 140734731079984 140734731077240 139988858622588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26337280 140734731084835 140734731085059 140734731085059 140734731087821 0
/proc/14502/statm: 28282 349 296 221 0 87 0
[pid=14505] ppid=14502 vsize=27313900 memory=127084 CPUtime=0.42 cores=0-7
/proc/14505/stat : 14505 (java) S 14502 14502 10382 0 -1 1077944320 10579 0 0 0 39 3 0 0 20 0 20 0 236841186 27969433600 31771 33554432000 4194304 4196468 140731311579040 140731311561584 139852273635063 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
/proc/14505/statm: 6828475 31771 2940 1 0 6790935 0
[pid=14505/tid=14506] ppid=14502 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14505/task/14506/stat : 14506 (java) R 14502 14502 10382 0 -1 4202560 8309 0 0 0 27 2 0 0 20 0 20 0 236841186 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852245430512 139852256821854 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14507] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14507/stat : 14507 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852277877776 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14508] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14508/stat : 14508 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852061273232 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14509] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14509/stat : 14509 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852060220176 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14510] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14510/stat : 14510 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852059167632 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14511] ppid=14502 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/14505/task/14511/stat : 14511 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852058114576 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14512] ppid=14502 vsize=27313900 memory=140585419764655 CPUtime=0 cores=0-7
/proc/14505/task/14512/stat : 14512 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852057062032 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14513] ppid=14502 vsize=27313900 memory=140585419766960 CPUtime=0 cores=0-7
/proc/14505/task/14513/stat : 14513 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139852056008976 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14514] ppid=14502 vsize=27313900 memory=140585419769264 CPUtime=0 cores=0-7
/proc/14505/task/14514/stat : 14514 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27969433600 31771 33554432000 4194304 4196468 140731311579040 139851689089424 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14515] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14515/stat : 14515 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236841190 27969433600 31771 33554432000 4194304 4196468 140731311579040 139851264400112 139852273646210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14516] ppid=14502 vsize=27313900 memory=281170839545488 CPUtime=0 cores=0-7
/proc/14505/task/14516/stat : 14516 (java) S 14502 14502 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236841191 27969433600 31771 33554432000 4194304 4196468 140731311579040 139850174949024 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14517] ppid=14502 vsize=27313900 memory=281170839552400 CPUtime=0 cores=0-7
/proc/14505/task/14517/stat : 14517 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841191 27969433600 31771 33554432000 4194304 4196468 140731311579040 139849906513136 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14518] ppid=14502 vsize=27313900 memory=281170839493680 CPUtime=0 cores=0-7
/proc/14505/task/14518/stat : 14518 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 31771 33554432000 4194304 4196468 140731311579040 139849532004816 139852273653659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14519] ppid=14502 vsize=27313900 memory=281170839566224 CPUtime=0 cores=0-7
/proc/14505/task/14519/stat : 14519 (java) S 14502 14502 10382 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 31771 33554432000 4194304 4196468 140731311579040 139851263346928 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14520] ppid=14502 vsize=27313900 memory=281170839573136 CPUtime=0 cores=0-7
/proc/14505/task/14520/stat : 14520 (java) S 14502 14502 10382 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 236841193 27969433600 31771 33554432000 4194304 4196468 140731311579040 139851262294384 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14521] ppid=14502 vsize=27313900 memory=281170839570832 CPUtime=0.02 cores=0-7
/proc/14505/task/14521/stat : 14521 (java) S 14502 14502 10382 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 20 0 236841193 27969433600 31771 33554432000 4194304 4196468 140731311579040 139851261241328 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14522] ppid=14502 vsize=27313900 memory=281170839586992 CPUtime=0.07 cores=0-7
/proc/14505/task/14522/stat : 14522 (java) S 14502 14502 10382 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 20 0 236841193 27969433600 31771 33554432000 4194304 4196468 140731311579040 139851260188784 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14523] ppid=14502 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14523/stat : 14523 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236841194 27969433600 31771 33554432000 4194304 4196468 140731311579040 139849034099680 139852273645269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14524] ppid=14502 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14505/task/14524/stat : 14524 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841194 27969433600 31771 33554432000 4194304 4196468 140731311579040 139851259137200 139852273646210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128480 KiB

[startup+0.709679 s]
/proc/loadavg: 2.34 4.87 6.45 2/199 14524
/proc/meminfo: memFree=22360680/32770624 swapFree=67108372/67108860
[pid=14502] ppid=14499 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14502/stat : 14502 (scop.sh) S 14499 14502 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236841186 115843072 349 33554432000 4194304 5098028 140734731079984 140734731077240 139988858622588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26337280 140734731084835 140734731085059 140734731085059 140734731087821 0
/proc/14502/statm: 28282 349 296 221 0 87 0
[pid=14505] ppid=14502 vsize=27322296 memory=165572 CPUtime=1.04 cores=0-7
/proc/14505/stat : 14505 (java) S 14502 14502 10382 0 -1 1077944320 17869 0 0 0 99 5 0 0 20 0 20 0 236841186 27978031104 41393 33554432000 4194304 4196468 140731311579040 140731311561584 139852273635063 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
/proc/14505/statm: 6830574 41393 3133 1 0 6791959 0
[pid=14505/tid=14506] ppid=14502 vsize=27322296 memory=281170839944880 CPUtime=0.68 cores=0-7
/proc/14505/task/14506/stat : 14506 (java) R 14502 14502 10382 0 -1 4202560 14980 0 0 0 64 4 0 0 20 0 20 0 236841186 27978031104 41393 33554432000 4194304 4196468 140731311579040 139852245471152 139852257715550 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14507] ppid=14502 vsize=27322296 memory=140585419973488 CPUtime=0 cores=0-7
/proc/14505/task/14507/stat : 14507 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27978031104 41393 33554432000 4194304 4196468 140731311579040 139852277877776 139852273645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14508] ppid=14502 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/14505/task/14508/stat : 14508 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27978031104 41393 33554432000 4194304 4196468 140731311579040 139852061273232 139852273645269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0
[pid=14505/tid=14509] ppid=14502 vsize=27322296 memory=752 CPUtime=0 cores=0-7
/proc/14505/task/14509/stat : 14509 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236841189 27978031104 41393 33554432000 4194304 4196468 140731311579040 139852060220176 139852273645269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27922432 140731311584233 140731311584557 140731311584557 140731311587279 0

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

Current children cumulated CPU time: 85.1 s
Current children cumulated vsize: 9224188 KiB
Current children cumulated memory: 443608 KiB

[startup+14.4016 s]
/proc/loadavg: 3.25 4.94 6.45 9/212 14558
/proc/meminfo: memFree=22063816/32770624 swapFree=67108372/67108860
[pid=14502] ppid=14499 vsize=113128 memory=1472 CPUtime=10.93 cores=0-7
/proc/14502/stat : 14502 (scop.sh) S 14499 14502 10382 0 -1 4202496 589 28510 0 0 0 0 1067 26 20 0 1 0 236841186 115843072 368 33554432000 4194304 5098028 140734731079984 140734731076728 139988858622588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26337280 140734731084835 140734731085059 140734731085059 140734731087821 0
/proc/14502/statm: 28282 368 311 221 0 87 0
[pid=14525] ppid=14502 vsize=8413904 memory=119540 CPUtime=1.16 cores=0-7
/proc/14525/stat : 14525 (java) S 14502 14502 10382 0 -1 1077944320 18643 0 0 0 110 6 0 0 20 0 24 0 236841552 8615837696 29885 33554432000 4194304 4196468 140730265993712 140730265976256 140379442941687 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
/proc/14525/statm: 2103476 29885 3155 1 0 2064875 0
[pid=14545] ppid=14525 vsize=705228 memory=333492 CPUtime=79.39 cores=0-7
/proc/14545/stat : 14545 (glucose-syrup) S 14525 14502 10382 0 -1 1077944320 179600 0 0 0 7872 67 0 0 20 0 9 0 236841625 722153472 83373 33554432000 4194304 4373367 140735624857920 140735624856464 139939868732034 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
/proc/14545/statm: 176307 83373 389 44 0 171995 0
[pid=14545/tid=14551] ppid=14525 vsize=705228 memory=119540 CPUtime=9.93 cores=0-7
/proc/14545/task/14551/stat : 14551 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 24047 0 0 0 983 10 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939853503856 4271919 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14552] ppid=14525 vsize=705228 memory=325844 CPUtime=9.93 cores=0-7
/proc/14545/task/14552/stat : 14552 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 21367 0 0 0 985 8 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939845110984 4271914 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14553] ppid=14525 vsize=705228 memory=850 CPUtime=9.9 cores=0-7
/proc/14545/task/14553/stat : 14553 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 23030 0 0 0 985 5 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939836718352 4271948 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14554] ppid=14525 vsize=705228 memory=852 CPUtime=9.84 cores=0-7
/proc/14545/task/14554/stat : 14554 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 23895 0 0 0 976 8 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939828325576 4271810 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14555] ppid=14525 vsize=705228 memory=856 CPUtime=9.96 cores=0-7
/proc/14545/task/14555/stat : 14555 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 18767 0 0 0 988 8 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939819932944 4272344 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14556] ppid=14525 vsize=705228 memory=4580 CPUtime=9.9 cores=0-7
/proc/14545/task/14556/stat : 14556 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 22467 0 0 0 981 9 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939811540336 4272280 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14557] ppid=14525 vsize=705228 memory=1620 CPUtime=9.91 cores=0-7
/proc/14545/task/14557/stat : 14557 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 20865 0 0 0 984 7 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939803147408 4271958 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14558] ppid=14525 vsize=705228 memory=1220 CPUtime=9.95 cores=0-7
/proc/14545/task/14558/stat : 14558 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 22244 0 0 0 986 9 0 0 20 0 9 0 236841628 722153472 83373 33554432000 4194304 4373367 140735624857920 139939794754880 4272034 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14525/tid=14526] ppid=14502 vsize=8413904 memory=1800 CPUtime=0.75 cores=0-7
/proc/14525/task/14526/stat : 14526 (java) S 14502 14502 10382 0 -1 1077944384 15528 0 0 0 71 4 0 0 20 0 24 0 236841552 8615837696 29885 33554432000 4194304 4196468 140730265993712 140379414781840 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14527] ppid=14502 vsize=8413904 memory=868 CPUtime=0 cores=0-7
/proc/14525/task/14527/stat : 14527 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140379447183888 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14528] ppid=14502 vsize=8413904 memory=6800 CPUtime=0 cores=0-7
/proc/14525/task/14528/stat : 14528 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378928478864 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14529] ppid=14502 vsize=8413904 memory=11628 CPUtime=0 cores=0-7
/proc/14525/task/14529/stat : 14529 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378927425808 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14530] ppid=14502 vsize=8413904 memory=11 CPUtime=0 cores=0-7
/proc/14525/task/14530/stat : 14530 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378926373264 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14531] ppid=14502 vsize=8413904 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/14525/task/14531/stat : 14531 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378925321232 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14532] ppid=14502 vsize=8413904 memory=15254844206221894 CPUtime=0 cores=0-7
/proc/14525/task/14532/stat : 14532 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378924268688 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14533] ppid=14502 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14525/task/14533/stat : 14533 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378923215632 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14534] ppid=14502 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14525/task/14534/stat : 14534 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378922163088 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14535] ppid=14502 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14525/task/14535/stat : 14535 (java) S 14502 14502 10382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236841555 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378871949552 140379442952834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14536] ppid=14502 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14525/task/14536/stat : 14536 (java) S 14502 14502 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236841555 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378053272736 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14537] ppid=14502 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14525/task/14537/stat : 14537 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841555 8615837696 29885 33554432000 4194304 4196468 140730265993712 140377784836848 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14538] ppid=14502 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14525/task/14538/stat : 14538 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140377410328528 140379442960283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14539] ppid=14502 vsize=8413904 memory=0 CPUtime=0.05 cores=0-7
/proc/14525/task/14539/stat : 14539 (java) S 14502 14502 10382 0 -1 1077944384 662 0 0 0 5 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378870897392 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14540] ppid=14502 vsize=8413904 memory=203094374422857 CPUtime=0.04 cores=0-7
/proc/14525/task/14540/stat : 14540 (java) S 14502 14502 10382 0 -1 1077944384 171 0 0 0 4 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378869844848 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14541] ppid=14502 vsize=8413904 memory=140585420196144 CPUtime=0.05 cores=0-7
/proc/14525/task/14541/stat : 14541 (java) S 14502 14502 10382 0 -1 1077944384 249 0 0 0 5 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378868791792 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14542] ppid=14502 vsize=8413904 memory=0 CPUtime=0.21 cores=0-7
/proc/14525/task/14542/stat : 14542 (java) S 14502 14502 10382 0 -1 1077944384 634 0 0 0 21 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378867739248 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14543] ppid=14502 vsize=8413904 memory=140585420053542 CPUtime=0 cores=0-7
/proc/14525/task/14543/stat : 14543 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140376912423392 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14544] ppid=14502 vsize=8413904 memory=7532 CPUtime=0 cores=0-7
/proc/14525/task/14544/stat : 14544 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378866686640 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14546] ppid=14502 vsize=8413904 memory=808 CPUtime=0 cores=0-7
/proc/14525/task/14546/stat : 14546 (java) S 14502 14502 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236841625 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378858877888 140379442966297 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14548] ppid=14502 vsize=8413904 memory=1696 CPUtime=0 cores=0-7
/proc/14525/task/14548/stat : 14548 (java) S 14502 14502 10382 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 236841626 8615837696 29885 33554432000 4194304 4196468 140730265993712 140376241324080 140379442963613 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14549] ppid=14502 vsize=8413904 memory=920 CPUtime=0 cores=0-7
/proc/14525/task/14549/stat : 14549 (java) S 14502 14502 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236841626 8615837696 29885 33554432000 4194304 4196468 140730265993712 140376509759664 140379442963613 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14550] ppid=14502 vsize=8413904 memory=4528 CPUtime=0 cores=0-7
/proc/14525/task/14550/stat : 14550 (java) S 14502 14502 10382 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236841628 8615837696 29885 33554432000 4194304 4196468 140730265993712 140375972896160 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
Current children cumulated CPU time: 91.48 s
Current children cumulated vsize: 9232260 KiB
Current children cumulated memory: 454504 KiB

[startup+14.6016 s]
/proc/loadavg: 3.25 4.94 6.45 9/212 14558
/proc/meminfo: memFree=22063816/32770624 swapFree=67108372/67108860
[pid=14502] ppid=14499 vsize=113128 memory=1472 CPUtime=10.93 cores=0-7
/proc/14502/stat : 14502 (scop.sh) S 14499 14502 10382 0 -1 4202496 589 28510 0 0 0 0 1067 26 20 0 1 0 236841186 115843072 368 33554432000 4194304 5098028 140734731079984 140734731076728 139988858622588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26337280 140734731084835 140734731085059 140734731085059 140734731087821 0
/proc/14502/statm: 28282 368 311 221 0 87 0
[pid=14525] ppid=14502 vsize=8413904 memory=119540 CPUtime=1.16 cores=0-7
/proc/14525/stat : 14525 (java) S 14502 14502 10382 0 -1 1077944320 18643 0 0 0 110 6 0 0 20 0 24 0 236841552 8615837696 29885 33554432000 4194304 4196468 140730265993712 140730265976256 140379442941687 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
/proc/14525/statm: 2103476 29885 3155 1 0 2064875 0
[pid=14545] ppid=14525 vsize=705976 memory=334116 CPUtime=80.99 cores=0-7
/proc/14545/stat : 14545 (glucose-syrup) S 14525 14502 10382 0 -1 1077944320 182256 0 0 0 8031 68 0 0 20 0 9 0 236841625 722919424 83529 33554432000 4194304 4373367 140735624857920 140735624856464 139939868732034 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
/proc/14545/statm: 176494 83529 389 44 0 172182 0
[pid=14545/tid=14551] ppid=14525 vsize=705976 memory=6944663189525129274 CPUtime=10.12 cores=0-7
/proc/14545/task/14551/stat : 14551 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 24073 0 0 0 1002 10 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939853503856 4258928 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14552] ppid=14525 vsize=705976 memory=7160829391765790816 CPUtime=10.12 cores=0-7
/proc/14545/task/14552/stat : 14552 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 21413 0 0 0 1004 8 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939845110984 139939868742234 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14553] ppid=14525 vsize=705976 memory=7680491646476186387 CPUtime=10.1 cores=0-7
/proc/14545/task/14553/stat : 14553 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 23065 0 0 0 1005 5 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939836718224 4271808 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14554] ppid=14525 vsize=705976 memory=7007155264635908723 CPUtime=10.04 cores=0-7
/proc/14545/task/14554/stat : 14554 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 23935 0 0 0 996 8 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939828325696 4271904 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14555] ppid=14525 vsize=705976 memory=0 CPUtime=10.16 cores=0-7
/proc/14545/task/14555/stat : 14555 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 18776 0 0 0 1008 8 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939819932944 139939868742234 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14556] ppid=14525 vsize=705976 memory=752 CPUtime=10.09 cores=0-7
/proc/14545/task/14556/stat : 14556 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 22496 0 0 0 1000 9 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939811540336 4271977 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14557] ppid=14525 vsize=705976 memory=1276 CPUtime=10.11 cores=0-7
/proc/14545/task/14557/stat : 14557 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 20930 0 0 0 1004 7 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939803147464 4272312 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14545/tid=14558] ppid=14525 vsize=705976 memory=1068 CPUtime=10.15 cores=0-7
/proc/14545/task/14558/stat : 14558 (glucose-syrup) R 14525 14502 10382 0 -1 4202560 24650 0 0 0 1006 9 0 0 20 0 9 0 236841628 722919424 83529 33554432000 4194304 4373367 140735624857920 139939794754880 139939868742234 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 38936576 140735624864848 140735624864980 140735624864980 140735624867783 0
[pid=14525/tid=14526] ppid=14502 vsize=8413904 memory=15064 CPUtime=0.75 cores=0-7
/proc/14525/task/14526/stat : 14526 (java) S 14502 14502 10382 0 -1 1077944384 15528 0 0 0 71 4 0 0 20 0 24 0 236841552 8615837696 29885 33554432000 4194304 4196468 140730265993712 140379414781840 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14527] ppid=14502 vsize=8413904 memory=35476 CPUtime=0 cores=0-7
/proc/14525/task/14527/stat : 14527 (java) S 14502 14502 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140379447183888 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14528] ppid=14502 vsize=8413904 memory=13756 CPUtime=0 cores=0-7
/proc/14525/task/14528/stat : 14528 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378928478864 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14529] ppid=14502 vsize=8413904 memory=3316 CPUtime=0 cores=0-7
/proc/14525/task/14529/stat : 14529 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378927425808 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14530] ppid=14502 vsize=8413904 memory=488 CPUtime=0 cores=0-7
/proc/14525/task/14530/stat : 14530 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378926373264 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14531] ppid=14502 vsize=8413904 memory=1616 CPUtime=0 cores=0-7
/proc/14525/task/14531/stat : 14531 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378925321232 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14532] ppid=14502 vsize=8413904 memory=1172 CPUtime=0 cores=0-7
/proc/14525/task/14532/stat : 14532 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378924268688 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14533] ppid=14502 vsize=8413904 memory=932 CPUtime=0 cores=0-7
/proc/14525/task/14533/stat : 14533 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378923215632 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14534] ppid=14502 vsize=8413904 memory=6416 CPUtime=0 cores=0-7
/proc/14525/task/14534/stat : 14534 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841553 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378922163088 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14535] ppid=14502 vsize=8413904 memory=33 CPUtime=0 cores=0-7
/proc/14525/task/14535/stat : 14535 (java) S 14502 14502 10382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236841555 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378871949552 140379442952834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14536] ppid=14502 vsize=8413904 memory=7380674572865791314 CPUtime=0 cores=0-7
/proc/14525/task/14536/stat : 14536 (java) S 14502 14502 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236841555 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378053272736 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14537] ppid=14502 vsize=8413904 memory=1572 CPUtime=0 cores=0-7
/proc/14525/task/14537/stat : 14537 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841555 8615837696 29885 33554432000 4194304 4196468 140730265993712 140377784836848 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14538] ppid=14502 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/14525/task/14538/stat : 14538 (java) S 14502 14502 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140377410328528 140379442960283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14539] ppid=14502 vsize=8413904 memory=2196 CPUtime=0.05 cores=0-7
/proc/14525/task/14539/stat : 14539 (java) S 14502 14502 10382 0 -1 1077944384 662 0 0 0 5 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378870897392 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14540] ppid=14502 vsize=8413904 memory=3988 CPUtime=0.04 cores=0-7
/proc/14525/task/14540/stat : 14540 (java) S 14502 14502 10382 0 -1 1077944384 171 0 0 0 4 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378869844848 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14541] ppid=14502 vsize=8413904 memory=1924 CPUtime=0.05 cores=0-7
/proc/14525/task/14541/stat : 14541 (java) S 14502 14502 10382 0 -1 1077944384 249 0 0 0 5 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378868791792 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14542] ppid=14502 vsize=8413904 memory=7532 CPUtime=0.21 cores=0-7
/proc/14525/task/14542/stat : 14542 (java) S 14502 14502 10382 0 -1 1077944384 634 0 0 0 21 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378867739248 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14543] ppid=14502 vsize=8413904 memory=808 CPUtime=0 cores=0-7
/proc/14525/task/14543/stat : 14543 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140376912423392 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14544] ppid=14502 vsize=8413904 memory=1696 CPUtime=0 cores=0-7
/proc/14525/task/14544/stat : 14544 (java) S 14502 14502 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841558 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378866686640 140379442952834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14546] ppid=14502 vsize=8413904 memory=920 CPUtime=0 cores=0-7
/proc/14525/task/14546/stat : 14546 (java) S 14502 14502 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236841625 8615837696 29885 33554432000 4194304 4196468 140730265993712 140378858877888 140379442966297 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14548] ppid=14502 vsize=8413904 memory=4528 CPUtime=0 cores=0-7
/proc/14525/task/14548/stat : 14548 (java) S 14502 14502 10382 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 236841626 8615837696 29885 33554432000 4194304 4196468 140730265993712 140376241324080 140379442963613 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14549] ppid=14502 vsize=8413904 memory=4096 CPUtime=0 cores=0-7
/proc/14525/task/14549/stat : 14549 (java) S 14502 14502 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236841626 8615837696 29885 33554432000 4194304 4196468 140730265993712 140376509759664 140379442963613 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
[pid=14525/tid=14550] ppid=14502 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/14525/task/14550/stat : 14550 (java) S 14502 14502 10382 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236841628 8615837696 29885 33554432000 4194304 4196468 140730265993712 140375972896160 140379442951893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27516928 140730265998513 140730265998637 140730265998637 140730266001359 0
Current children cumulated CPU time: 93.08 s
Current children cumulated vsize: 9233008 KiB
Current children cumulated memory: 455128 KiB

Child status: 0
Real time (s): 14.6769
CPU time (s): 93.474
CPU user time (s): 92.4327
CPU system time (s): 1.04129
CPU usage (%): 636.879
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 972084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.4327
system time used= 1.04129
maximum resident set size= 975672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38879
involuntary context switches= 749


# summary of solver processes directly reported to runsolver:
#   pid: 14502
#   total CPU time (s): 93.474
#   total CPU user time (s): 92.4327
#   total CPU system time (s): 1.04129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145014 second user time and 0.225331 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 22:39:40
IDJOB=4307503
IDBENCH=141414
IDSOLVER=2789
FILE ID=node137/4307503-1534192780
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/Haystacks/Haystacks-ext-13_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-4307503-1534192780/watcher-4307503-1534192780 -o /tmp/evaluation-result-4307503-1534192780/solver-4307503-1534192780 -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-4307503-1534192780.xml

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

MD5SUM BENCH= d20946c70cb8756d1a4b7fb63c02a1de
RANDOM SEED=1574107883

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:        22500876 kB
MemAvailable:   31897520 kB
Buffers:          120696 kB
Cached:          9470412 kB
SwapCached:            8 kB
Active:          4259780 kB
Inactive:        5388156 kB
Active(anon):       3988 kB
Inactive(anon):   105160 kB
Active(file):    4255792 kB
Inactive(file):  5282996 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8784 kB
Writeback:             0 kB
AnonPages:         63764 kB
Mapped:            54252 kB
Shmem:             49624 kB
Slab:             314528 kB
SReclaimable:     286316 kB
SUnreclaim:        28212 kB
KernelStack:        3216 kB
PageTables:         5192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

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