Trace number 4307267

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+glucose-syrup (2018-07-31)UNSAT 103.586 16.0109

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 -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-25589-serial-file.bin HOME/instance-4307267-1534192778.xml
0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 22:39:39 CEST 2018
0.65/0.56	c PID: 25592
0.65/0.56	c IP: 172.20.3.132
0.65/0.56	c HOST: node132.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.79/1.10	c (0,0) Parsing End
1.79/1.11	c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 1026 ctr, max domain size 13
1.79/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.79/1.11	c (0,0) Constraint Name Generate Begin
1.98/1.12	c (0,0) Ctr:HOME/instance-4307267-1534192778.xml,ExtensionConflict:ExtensionSupport:IntVar
1.98/1.12	c (0,0) Constraint Name Generate End
1.98/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.98/1.12	c (0,0) CSP to CSPinCNF Begin
3.29/1.63	c (1,1) translated 103 (10%) constraints
3.71/1.77	c (1,1) translated 206 (20%) constraints
4.12/1.87	c (1,1) translated 308 (30%) constraints
4.55/1.96	c (1,1) translated 411 (40%) constraints
5.02/2.04	c (1,1) translated 513 (50%) constraints
5.42/2.11	c (1,1) translated 616 (60%) constraints
5.42/2.17	c (1,1) translated 719 (70%) constraints
5.76/2.23	c (1,1) translated 821 (80%) constraints
6.45/2.45	c (1,1) translated 924 (90%) constraints
6.85/2.52	c (1,1) translated 1026 (100%) constraints
7.24/2.66	c (2,2) STATISTICS1:HOME/instance-4307267-1534192778.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.66	c (2,2) ==========================================
7.24/2.66	c (2,2) Order
7.24/2.66	c (2,2) ==========================================
7.67/2.72	c (2,2) translated 1365 (10%) constraints
7.67/2.76	c (2,2) translated 2730 (20%) constraints
7.67/2.78	c (2,2) translated 4095 (30%) constraints
7.99/2.92	c (2,2) translated 5460 (40%) constraints
7.99/2.93	c (2,2) translated 6825 (50%) constraints
7.99/2.95	c (2,2) translated 8190 (60%) constraints
7.99/2.98	c (2,2) translated 9555 (70%) constraints
7.99/3.00	c (2,2) translated 10920 (80%) constraints
8.22/3.04	c (2,2) translated 12285 (90%) constraints
8.22/3.08	c (2,2) translated 13650 (100%) constraints
8.22/3.08	c (2,2) CSP to CSPinCNF End
8.22/3.08	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.22/3.08	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.22/3.08	c (2,2) CSPinCNF Propagation Begin
9.02/3.23	c (2,2) 0 values, 2040 unsatisfiable literals, and 0 valid clauses are removed
9.02/3.23	c (2,2) CSPinCNF Propagation End
9.02/3.23	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
9.02/3.23	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.02/3.23	c (2,2) Simplify CSPinCNF Begin
9.02/3.27	c (2,2) Simplify CSPinCNF End
9.02/3.27	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
9.02/3.27	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.02/3.28	c (2,2) Calculate Precise Domain Begin
9.02/3.28	c (2,2) 0 values are removed by re-calculation
9.02/3.28	c (2,2) Calculate Precise Domain End
9.02/3.28	c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
9.02/3.28	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.02/3.28	c (2,2) CSPinCNF to SatSolver Begin
9.40/3.36	c (2,2) 1365 (10 %) CSP clauses are encoded (2184 SAT variables, 3223 SAT clauses)
9.40/3.38	c (2,2) 2730 (20 %) CSP clauses are encoded (2184 SAT variables, 4588 SAT clauses)
9.75/3.40	c (2,2) 4095 (30 %) CSP clauses are encoded (2184 SAT variables, 5953 SAT clauses)
9.75/3.41	c (2,2) 5460 (40 %) CSP clauses are encoded (2184 SAT variables, 7318 SAT clauses)
9.75/3.43	c (2,2) 6825 (50 %) CSP clauses are encoded (2184 SAT variables, 8683 SAT clauses)
9.75/3.44	c (2,2) 8190 (60 %) CSP clauses are encoded (2184 SAT variables, 10048 SAT clauses)
9.75/3.45	c (2,2) 9555 (70 %) CSP clauses are encoded (2184 SAT variables, 11413 SAT clauses)
9.75/3.46	c (2,2) 10920 (80 %) CSP clauses are encoded (2184 SAT variables, 12778 SAT clauses)
9.75/3.48	c (2,2) 12285 (90 %) CSP clauses are encoded (2184 SAT variables, 14143 SAT clauses)
9.75/3.49	c (2,2) 13650 (100 %) CSP clauses are encoded (2184 SAT variables, 15508 SAT clauses)
9.75/3.49	c (2,2) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
9.75/3.49	c (2,2) CSPinCNF to SatSolver End
9.75/3.49	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.13/3.58	c (3,2) STATISTICS2:HOME/instance-4307267-1534192778.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.13/3.58	c (3,2) 2184 bool, 15509 clause
10.13/3.58	c (3,2) Export Begin
10.53/3.67	c (3,3) Export to HOME/scop-25589-serial-file.bin
10.53/3.67	c (3,3) Export End
10.53/3.67	c (3,3) Export File Size: 0.03 MB
10.53/3.67	c (3,3) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
10.53/3.68	c END-Prog: Mon Aug 13 22:39:42 CEST 2018
10.53/3.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25589-serial-file.bin
11.27/4.18	c (0,0) Read Serial File Begin
11.27/4.18	c (0,0) HOME/scop-25589-serial-file.bin
11.53/4.37	c (0,0) Read Serial File End
11.53/4.38	
11.53/4.38	scop order+glucose-syrup (2018-07-31)
11.53/4.38	(Solving Process)
11.53/4.38	
11.69/4.40	c BEGIN-Prog: Mon Aug 13 22:39:42 CEST 2018
11.69/4.40	c PID: 25612
11.69/4.40	c IP: 172.20.3.132
11.69/4.40	c HOST: node132.alineos.net
11.69/4.41	c (0,0) SatSolver.solve Begin
11.69/4.41	c (0,0) 0 bool, 0 clause
11.69/4.41	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307267-1534192778.xml-scop-25592.cnf
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
83.08/13.44	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
83.08/13.44	c (9,0) c ========================================[ Problem Statistics ]===========================================
83.08/13.44	c (9,0) c |                                                                                                       |
83.08/13.44	c (9,0) c |  Number of variables:          2184                                                                   |
83.08/13.44	c (9,0) c |  Number of clauses:           15509                                                                   |
83.08/13.44	c (9,0) c |  Parse time:                   0.01 s                                                                 |
83.08/13.44	c (9,0) c |                                                                                                       |
83.08/13.44	c (9,0) c |  Eliminated clauses:           0.00 Mb                                                                |
83.08/13.44	c (9,0) c |  Simplification time:          0.01 s                                                                 |
83.08/13.44	c (9,0) c |                                                                                                       |
83.08/13.44	c (9,0) c |  Generating clones                                                                                    |
83.08/13.44	c (9,0) c |  all clones generated. Memory =  34.16Mb.                                                             |
83.08/13.44	c (9,0) c ========================================================================================================|
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c Try to adapt solver strategies
83.08/13.44	c (9,0) c 
83.08/13.44	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c Try to adapt solver strategies
83.08/13.44	c (9,0) c 
83.08/13.44	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c Try to adapt solver strategies
83.08/13.44	c (9,0) c 
83.08/13.44	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c Try to adapt solver strategies
83.08/13.44	c (9,0) c 
83.08/13.44	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c |-------------------------------------------------------------------------------------------------------|
83.08/13.44	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
83.08/13.44	c (9,0) c |-------------------------------------------------------------------------------------------------------|
83.08/13.44	c (9,0) c |  0 |   1052 |     912738 |     413035 |    12862 |    66491 |    32866 |   237501 |    28004 |  0.000 |
83.08/13.44	c (9,0) c |  1 |   1211 |     964122 |     395092 |    12528 |    48526 |    35633 |   234716 |    28712 |  0.000 |
83.08/13.44	c (9,0) c |  2 |   1086 |     927973 |     417107 |    12681 |    70554 |    32644 |   237743 |    28511 |  0.000 |
83.08/13.44	c (9,0) c |  3 |   1238 |     983410 |     404437 |    12669 |    57881 |    34574 |   235747 |    28590 |  0.000 |
83.08/13.44	c (9,0) c |  4 |   1152 |     937242 |     394784 |    12758 |    48234 |    33655 |   236652 |    28477 |  0.000 |
83.08/13.44	c (9,0) c |  5 |   1101 |     948227 |     419290 |    12679 |    72732 |    33686 |   236613 |    28080 |  0.000 |
83.08/13.44	c (9,0) c |  6 |   1217 |     974388 |     409297 |    12644 |    62729 |    34199 |   236168 |    29351 |  0.000 |
83.08/13.44	c (9,0) c |  7 |   1015 |     892709 |     394827 |    12562 |    48271 |    33130 |   237229 |    27787 |  0.000 |
83.08/13.44	c (9,0) c 
83.08/13.44	c (9,0) c synthesis     3247885 conflicts    59652717 propagations    83307 conflicts/sec  1530068 propagations/sec
83.08/13.44	c (9,0) c Total Memory so far : 652.76Mb
83.08/13.44	c (9,0) c
83.08/13.44	c (9,0) c |-------------------------------------------------------------------------------------------------------|
83.08/13.44	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
83.08/13.44	c (9,0) c |-------------------------------------------------------------------------------------------------------|
83.08/13.44	c (9,0) c |  0 |   1770 |    1354236 |     641980 |    13121 |   101456 |    41765 |   312387 |    38781 |  0.183 |
83.08/13.44	c (9,0) c |  1 |   2025 |    1431791 |     625284 |    12731 |    84069 |    43804 |   310296 |    38959 |  0.183 |
83.08/13.44	c (9,0) c |  2 |   1821 |    1379129 |     644600 |    12785 |    47253 |    44806 |   308791 |    38327 |  0.183 |
83.08/13.44	c (9,0) c |  3 |   2031 |    1446537 |     637496 |    12950 |    93494 |    45877 |   308236 |    40435 |  0.183 |
102.97/15.96	c (11,0) c |  4 |   1930 |    1411760 |     630726 |    12903 |    88857 |    42479 |   311597 |    40186 |  0.183 |
102.97/15.96	c (11,0) c |  5 |   1918 |    1400534 |     643351 |    12833 |   100870 |    45710 |   308445 |    39225 |  0.183 |
102.97/15.96	c (11,0) c |  6 |   2085 |    1460326 |     638780 |    12803 |    98013 |    47882 |   306225 |    39824 |  0.183 |
102.97/15.96	c (11,0) c |  7 |   1754 |    1337535 |     625604 |    12730 |    86890 |    41843 |   312296 |    39230 |  0.183 |
102.97/15.96	c (11,0) c 
102.97/15.96	c (11,0) c synthesis     5087829 conflicts    93206636 propagations    71910 conflicts/sec  1317360 propagations/sec
102.97/15.96	c (11,0) c Total Memory so far : 673.70Mb
102.97/15.96	c (11,0) c Thread 1 is 100% pure glucose! First thread to finish! (UNSAT answer).
102.97/15.96	c (11,0) c Total Memory so far : 733.61Mb
102.97/15.96	c (11,0) c
102.97/15.96	c (11,0) c real time : 11.5324 s
102.97/15.96	c (11,0) c cpu time  : 90.9159 s
102.97/15.96	c (11,0) c
102.97/15.96	c (11,0) c
102.97/15.96	c (11,0) c
102.97/15.96	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
102.97/15.96	c (11,0) c
102.97/15.96	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.97/15.96	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
102.97/15.96	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.97/15.96	c (11,0) c | Conflicts     |         5875812 |     741596 |     718786 |     753120 |     724142 |     719362 |     763060 |     740351 |     715395 |
102.97/15.96	c (11,0) c | Decisions     |        12324513 |    1492084 |    1567491 |    1515359 |    1576205 |    1541634 |    1554488 |    1604663 |    1472589 |
102.97/15.96	c (11,0) c | Propagations  |       107905482 |   13281965 |   13597096 |   13406637 |   13593450 |   13377997 |   13705113 |   13992286 |   12950938 |
102.97/15.97	c (11,0) c | Avg_Trail     |                 |       1250 |       1269 |       1250 |       1269 |       1225 |       1256 |       1255 |       1267 |
102.97/15.97	c (11,0) c | Avg_DL        |                 |        171 |        176 |        173 |        177 |        167 |        173 |        175 |        175 |
102.97/15.97	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.97/15.97	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.97/15.97	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.97/15.97	c (11,0) c | Exported      |          382360 |      45896 |      47311 |      50116 |      47878 |      44319 |      48341 |      53039 |      45460 |
102.97/15.97	c (11,0) c | Imported      |         2672915 |     335731 |     335049 |     331672 |     334217 |     337320 |     333971 |     328542 |     336413 |
102.97/15.97	c (11,0) c | Good          |            2394 |        300 |        313 |        316 |        307 |        284 |        296 |        284 |        294 |
102.97/15.97	c (11,0) c | Purge         |         2670521 |     335431 |     334736 |     331356 |     333910 |     337036 |     333675 |     328258 |     336119 |
102.97/15.97	c (11,0) c | Promoted      |          356178 |      43887 |      44317 |      43280 |      45140 |      45258 |      44914 |      44964 |      44418 |
102.97/15.97	c (11,0) c | Remove_Imp    |         1720271 |     216427 |     216398 |     212025 |     210585 |     216702 |     219305 |     207994 |     220835 |
102.97/15.97	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.97/15.97	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.97/15.97	c (11,0) c | Unaries       |                 |          1 |          7 |          0 |          1 |          7 |          3 |          3 |          3 |
102.97/15.97	c (11,0) c | Binaries      |                 |         35 |         69 |         22 |         40 |         53 |         71 |         48 |         44 |
102.97/15.97	c (11,0) c | Glues         |                 |       3443 |       3381 |       3076 |       3339 |       3372 |       3123 |       3300 |       3234 |
102.97/15.97	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.97/15.97	c (11,0) c | Orig_Seen     |            83 % |      13146 |      12760 |      12837 |      13064 |      12922 |      12890 |      12832 |      12750 |
102.97/15.97	c (11,0) c | Diff Orig seen|                 |        386 |      X     |         77 |        304 |        162 |        130 |         72 | -       10 |
102.97/15.97	c (11,0) c | Hamming       |            28 % |        615 |      X     |        652 |        562 |        685 |        652 |        636 |        514 |
102.97/15.97	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.97/15.97	c (11,0) 
102.97/15.97	c (11,0) s UNSATISFIABLE
102.97/15.99	c (11,0) SatSolver.solve End
102.97/15.99	c (11,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
102.97/15.99	c (11,0) Show results Begin
102.97/15.99	s UNSATISFIABLE
102.97/15.99	c (11,0) Show results End
102.97/15.99	c (11,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
102.97/16.00	c (11,0) 11,11,STOP-AFTER(ALL)
102.97/16.00	c END-Prog: Mon Aug 13 22:39:54 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 (6902 MiB free)
  memory of node 1: 16384 MiB (10039 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307267-1534192778/watcher-4307267-1534192778 -o /tmp/evaluation-result-4307267-1534192778/solver-4307267-1534192778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307267-1534192778.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=25589, runsolver pid=25586
Current StackSize limit: 8192 KiB


[startup+0.10501 s]*
/proc/loadavg: 1.55 0.79 0.75 3/204 25611
/proc/meminfo: memFree=17249432/32770624 swapFree=67108860/67108860
[pid=25589] ppid=25586 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25589/stat : 25589 (scop.sh) S 25586 25589 22710 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236840972 115843072 349 33554432000 4194304 5098028 140730269728688 140730269725944 139622117917308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33144832 140730269733922 140730269734147 140730269734147 140730269736909 0
/proc/25589/statm: 28282 349 296 221 0 87 0
[pid=25592] ppid=25589 vsize=27313900 memory=111992 CPUtime=0.1 cores=0-7
/proc/25592/stat : 25592 (java) S 25589 25589 22710 0 -1 1077944320 6443 0 0 0 9 1 0 0 20 0 20 0 236840972 27969433600 27998 33554432000 4194304 4196468 140736025846912 140736025829456 140379855752951 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
/proc/25592/statm: 6828475 27998 2740 1 0 6790935 0
[pid=25592/tid=25593] ppid=25589 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25592/task/25593/stat : 25593 (java) R 25589 25589 22710 0 -1 4202560 4564 0 0 0 8 1 0 0 20 0 20 0 236840972 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379827548112 140379839833438 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25594] ppid=25589 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25592/task/25594/stat : 25594 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379859995792 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25595] ppid=25589 vsize=27313900 memory=140453006886528 CPUtime=0 cores=0-7
/proc/25592/task/25595/stat : 25595 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379674151952 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25596] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25596/stat : 25596 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379673099152 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25597] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25597/stat : 25597 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379672046352 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25598] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25598/stat : 25598 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379670993552 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25599] ppid=25589 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25592/task/25599/stat : 25599 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379669940752 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25600] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25600/stat : 25600 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 27998 33554432000 4194304 4196468 140736025846912 140379668887952 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25601] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25601/stat : 25601 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 28064 33554432000 4194304 4196468 140736025846912 140379667835152 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25602] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25602/stat : 25602 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840976 27969433600 28064 33554432000 4194304 4196468 140736025846912 140378711731056 140379855764098 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25603] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25603/stat : 25603 (java) S 25589 25589 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236840977 27969433600 28064 33554432000 4194304 4196468 140736025846912 140377784837664 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25604] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25604/stat : 25604 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840977 27969433600 28064 33554432000 4194304 4196468 140736025846912 140377516402032 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25605] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25605/stat : 25605 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 28064 33554432000 4194304 4196468 140736025846912 140377141893456 140379855771547 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25606] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25606/stat : 25606 (java) S 25589 25589 22710 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 28064 33554432000 4194304 4196468 140736025846912 140378710677872 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25607] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25607/stat : 25607 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 28064 33554432000 4194304 4196468 140736025846912 140378709625072 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25608] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25608/stat : 25608 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 28064 33554432000 4194304 4196468 140736025846912 140378708572272 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25609] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25609/stat : 25609 (java) S 25589 25589 22710 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 28064 33554432000 4194304 4196468 140736025846912 140378707519472 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25610] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25610/stat : 25610 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840980 27969433600 28064 33554432000 4194304 4196468 140736025846912 140376643988576 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25611] ppid=25589 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25592/task/25611/stat : 25611 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840980 27969433600 28130 33554432000 4194304 4196468 140736025846912 140378706467888 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 113388 KiB

[startup+0.210687 s]*
/proc/loadavg: 1.55 0.79 0.75 2/204 25611
/proc/meminfo: memFree=17233804/32770624 swapFree=67108860/67108860
[pid=25589] ppid=25586 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25589/stat : 25589 (scop.sh) S 25586 25589 22710 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236840972 115843072 349 33554432000 4194304 5098028 140730269728688 140730269725944 139622117917308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33144832 140730269733922 140730269734147 140730269734147 140730269736909 0
/proc/25589/statm: 28282 349 296 221 0 87 0
[pid=25592] ppid=25589 vsize=27313900 memory=126120 CPUtime=0.25 cores=0-7
/proc/25592/stat : 25592 (java) S 25589 25589 22710 0 -1 1077944320 10200 0 0 0 22 3 0 0 20 0 20 0 236840972 27969433600 31530 33554432000 4194304 4196468 140736025846912 140736025829456 140379855752951 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
/proc/25592/statm: 6828475 31530 2895 1 0 6790935 0
[pid=25592/tid=25593] ppid=25589 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25592/task/25593/stat : 25593 (java) R 25589 25589 22710 0 -1 4202560 8114 0 0 0 17 2 0 0 20 0 20 0 236840972 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379827561696 140379855774877 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25594] ppid=25589 vsize=27313900 memory=339 CPUtime=0 cores=0-7
/proc/25592/task/25594/stat : 25594 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379859995792 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25595] ppid=25589 vsize=27313900 memory=140453006909319 CPUtime=0 cores=0-7
/proc/25592/task/25595/stat : 25595 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379674151952 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25596] ppid=25589 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25592/task/25596/stat : 25596 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379673099152 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25597] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25597/stat : 25597 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379672046352 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25598] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25598/stat : 25598 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379670993552 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25599] ppid=25589 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25592/task/25599/stat : 25599 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379669940752 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25600] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25600/stat : 25600 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379668887952 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25601] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25601/stat : 25601 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 31530 33554432000 4194304 4196468 140736025846912 140379667835152 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25602] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25602/stat : 25602 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840976 27969433600 31530 33554432000 4194304 4196468 140736025846912 140378711731056 140379855764098 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25603] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25603/stat : 25603 (java) S 25589 25589 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236840977 27969433600 31530 33554432000 4194304 4196468 140736025846912 140377784837664 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25604] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25604/stat : 25604 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840977 27969433600 31530 33554432000 4194304 4196468 140736025846912 140377516402032 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25605] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25605/stat : 25605 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 31530 33554432000 4194304 4196468 140736025846912 140377141893456 140379855771547 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25606] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25606/stat : 25606 (java) S 25589 25589 22710 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 31530 33554432000 4194304 4196468 140736025846912 140378710677872 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25607] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25607/stat : 25607 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 31530 33554432000 4194304 4196468 140736025846912 140378709625072 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25608] ppid=25589 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25592/task/25608/stat : 25608 (java) S 25589 25589 22710 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 31530 33554432000 4194304 4196468 140736025846912 140378708572272 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25609] ppid=25589 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/25592/task/25609/stat : 25609 (java) S 25589 25589 22710 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 20 0 236840979 27969433600 31530 33554432000 4194304 4196468 140736025846912 140378707519472 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25610] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25610/stat : 25610 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840980 27969433600 31530 33554432000 4194304 4196468 140736025846912 140376643988576 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25611] ppid=25589 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25592/task/25611/stat : 25611 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840980 27969433600 31530 33554432000 4194304 4196468 140736025846912 140378706467888 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 127516 KiB

[startup+0.310605 s]*
/proc/loadavg: 1.55 0.79 0.75 2/204 25611
/proc/meminfo: memFree=17230392/32770624 swapFree=67108860/67108860
[pid=25589] ppid=25586 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25589/stat : 25589 (scop.sh) S 25586 25589 22710 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236840972 115843072 349 33554432000 4194304 5098028 140730269728688 140730269725944 139622117917308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33144832 140730269733922 140730269734147 140730269734147 140730269736909 0
/proc/25589/statm: 28282 349 296 221 0 87 0
[pid=25592] ppid=25589 vsize=27313900 memory=129900 CPUtime=0.41 cores=0-7
/proc/25592/stat : 25592 (java) S 25589 25589 22710 0 -1 1077944320 10752 0 0 0 38 3 0 0 20 0 20 0 236840972 27969433600 32475 33554432000 4194304 4196468 140736025846912 140736025829456 140379855752951 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
/proc/25592/statm: 6828475 32475 2973 1 0 6790935 0
[pid=25592/tid=25593] ppid=25589 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25592/task/25593/stat : 25593 (java) R 25589 25589 22710 0 -1 4202560 8495 0 0 0 27 2 0 0 20 0 20 0 236840972 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379827548400 140379837316480 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25594] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25594/stat : 25594 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379859995792 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25595] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25595/stat : 25595 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379674151952 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25596] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25596/stat : 25596 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379673099152 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25597] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25597/stat : 25597 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379672046352 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25598] ppid=25589 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/25592/task/25598/stat : 25598 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379670993552 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25599] ppid=25589 vsize=27313900 memory=140452879758255 CPUtime=0 cores=0-7
/proc/25592/task/25599/stat : 25599 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379669940752 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25600] ppid=25589 vsize=27313900 memory=140452879760560 CPUtime=0 cores=0-7
/proc/25592/task/25600/stat : 25600 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379668887952 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25601] ppid=25589 vsize=27313900 memory=140452879762864 CPUtime=0 cores=0-7
/proc/25592/task/25601/stat : 25601 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27969433600 32475 33554432000 4194304 4196468 140736025846912 140379667835152 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25602] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25602/stat : 25602 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840976 27969433600 32475 33554432000 4194304 4196468 140736025846912 140378711731056 140379855764098 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25603] ppid=25589 vsize=27313900 memory=280905759532688 CPUtime=0 cores=0-7
/proc/25592/task/25603/stat : 25603 (java) S 25589 25589 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236840977 27969433600 32475 33554432000 4194304 4196468 140736025846912 140377784837664 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25604] ppid=25589 vsize=27313900 memory=280905759539600 CPUtime=0 cores=0-7
/proc/25592/task/25604/stat : 25604 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840977 27969433600 32475 33554432000 4194304 4196468 140736025846912 140377516402032 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25605] ppid=25589 vsize=27313900 memory=280905759480880 CPUtime=0 cores=0-7
/proc/25592/task/25605/stat : 25605 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 32475 33554432000 4194304 4196468 140736025846912 140377141893456 140379855771547 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25606] ppid=25589 vsize=27313900 memory=280905759553424 CPUtime=0.01 cores=0-7
/proc/25592/task/25606/stat : 25606 (java) S 25589 25589 22710 0 -1 1077944384 413 0 0 0 1 0 0 0 20 0 20 0 236840979 27969433600 32475 33554432000 4194304 4196468 140736025846912 140378710677872 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25607] ppid=25589 vsize=27313900 memory=280905759560336 CPUtime=0.01 cores=0-7
/proc/25592/task/25607/stat : 25607 (java) S 25589 25589 22710 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 236840979 27969433600 32475 33554432000 4194304 4196468 140736025846912 140378709625072 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25608] ppid=25589 vsize=27313900 memory=280905759558032 CPUtime=0 cores=0-7
/proc/25592/task/25608/stat : 25608 (java) S 25589 25589 22710 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 20 0 236840979 27969433600 32475 33554432000 4194304 4196468 140736025846912 140378708572272 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25609] ppid=25589 vsize=27313900 memory=280905759574192 CPUtime=0.07 cores=0-7
/proc/25592/task/25609/stat : 25609 (java) S 25589 25589 22710 0 -1 1077944384 309 0 0 0 7 0 0 0 20 0 20 0 236840979 27969433600 32475 33554432000 4194304 4196468 140736025846912 140378707519472 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25610] ppid=25589 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25610/stat : 25610 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236840980 27969433600 32475 33554432000 4194304 4196468 140736025846912 140376643988576 140379855763157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25611] ppid=25589 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25592/task/25611/stat : 25611 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840980 27969433600 32475 33554432000 4194304 4196468 140736025846912 140378706467888 140379855764098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 131296 KiB

[startup+0.700982 s]
/proc/loadavg: 1.55 0.79 0.75 2/204 25611
/proc/meminfo: memFree=17206456/32770624 swapFree=67108860/67108860
[pid=25589] ppid=25586 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25589/stat : 25589 (scop.sh) S 25586 25589 22710 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236840972 115843072 349 33554432000 4194304 5098028 140730269728688 140730269725944 139622117917308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33144832 140730269733922 140730269734147 140730269734147 140730269736909 0
/proc/25589/statm: 28282 349 296 221 0 87 0
[pid=25592] ppid=25589 vsize=27320172 memory=166840 CPUtime=1 cores=0-7
/proc/25592/stat : 25592 (java) S 25589 25589 22710 0 -1 1077944320 17639 0 0 0 95 5 0 0 20 0 20 0 236840972 27975856128 41710 33554432000 4194304 4196468 140736025846912 140736025829456 140379855752951 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
/proc/25592/statm: 6830043 41710 3130 1 0 6791447 0
[pid=25592/tid=25593] ppid=25589 vsize=27320172 memory=280905759932080 CPUtime=0.66 cores=0-7
/proc/25592/task/25593/stat : 25593 (java) R 25589 25589 22710 0 -1 4202560 14895 0 0 0 62 4 0 0 20 0 20 0 236840972 27975856128 41710 33554432000 4194304 4196468 140736025846912 140379827590464 140379841939082 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25594] ppid=25589 vsize=27320172 memory=140452879967088 CPUtime=0 cores=0-7
/proc/25592/task/25594/stat : 25594 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27975856128 41710 33554432000 4194304 4196468 140736025846912 140379859995792 140379855763157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25595] ppid=25589 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/25592/task/25595/stat : 25595 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236840975 27975856128 41710 33554432000 4194304 4196468 140736025846912 140379674151952 140379855763157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0
[pid=25592/tid=25596] ppid=25589 vsize=27320172 memory=10784 CPUtime=0 cores=0-7
/proc/25592/task/25596/stat : 25596 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236840975 27975856128 41710 33554432000 4194304 4196468 140736025846912 140379673099152 140379855763157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22761472 140736025850856 140736025851181 140736025851181 140736025853903 0

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

[pid=25589] ppid=25586 vsize=113128 memory=1472 CPUtime=10.72 cores=0-7
/proc/25589/stat : 25589 (scop.sh) S 25586 25589 22710 0 -1 4202496 589 28405 0 0 0 0 1046 26 20 0 1 0 236840972 115843072 368 33554432000 4194304 5098028 140730269728688 140730269725432 139622117917308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33144832 140730269733922 140730269734147 140730269734147 140730269736909 0
/proc/25589/statm: 28282 368 311 221 0 87 0
[pid=25612] ppid=25589 vsize=8413904 memory=116976 CPUtime=1.17 cores=0-7
/proc/25612/stat : 25612 (java) S 25589 25589 22710 0 -1 1077944320 18103 0 0 0 110 7 0 0 20 0 24 0 236841341 8615837696 29244 33554432000 4194304 4196468 140736078440720 140736078423264 139915294097143 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
/proc/25612/statm: 2103476 29244 3132 1 0 2064875 0
[pid=25632] ppid=25612 vsize=706660 memory=324936 CPUtime=85.53 cores=0-7
/proc/25632/stat : 25632 (glucose-syrup) S 25612 25589 22710 0 -1 1077944320 174533 0 0 0 8486 67 0 0 20 0 9 0 236841415 723619840 81234 33554432000 4194304 4373367 140733280722496 140733280721040 139685718833794 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
/proc/25632/statm: 176665 81234 389 44 0 172353 0
[pid=25632/tid=25637] ppid=25612 vsize=706660 memory=0 CPUtime=10.7 cores=0-7
/proc/25632/task/25637/stat : 25637 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 21457 0 0 0 1063 7 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685703605616 4271977 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25638] ppid=25612 vsize=706660 memory=0 CPUtime=10.52 cores=0-7
/proc/25632/task/25638/stat : 25638 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 20224 0 0 0 1043 9 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685695212912 4272023 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25639] ppid=25612 vsize=706660 memory=5 CPUtime=10.71 cores=0-7
/proc/25632/task/25639/stat : 25639 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 23062 0 0 0 1064 7 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685686820208 139685704129929 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25640] ppid=25612 vsize=706660 memory=5 CPUtime=10.72 cores=0-7
/proc/25632/task/25640/stat : 25640 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 17754 0 0 0 1065 7 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685678427336 139685718843994 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25641] ppid=25612 vsize=706660 memory=0 CPUtime=10.7 cores=0-7
/proc/25632/task/25641/stat : 25641 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 21752 0 0 0 1059 11 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685670034632 4272344 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25642] ppid=25612 vsize=706660 memory=8464016743233315129 CPUtime=10.68 cores=0-7
/proc/25632/task/25642/stat : 25642 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 22849 0 0 0 1062 6 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685661642000 139685718843994 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25643] ppid=25612 vsize=706660 memory=6298116319307130985 CPUtime=10.71 cores=0-7
/proc/25632/task/25643/stat : 25643 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 23926 0 0 0 1064 7 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685653249224 139685718843994 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25644] ppid=25612 vsize=706660 memory=280905760000088 CPUtime=10.7 cores=0-7
/proc/25632/task/25644/stat : 25644 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 20526 0 0 0 1061 9 0 0 20 0 9 0 236841418 723619840 81234 33554432000 4194304 4373367 140733280722496 139685644856592 139685718843994 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25612/tid=25613] ppid=25589 vsize=8413904 memory=112265009302250 CPUtime=0.76 cores=0-7
/proc/25612/task/25613/stat : 25613 (java) S 25589 25589 22710 0 -1 1077944384 15052 0 0 0 71 5 0 0 20 0 24 0 236841341 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915265937296 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25614] ppid=25589 vsize=8413904 memory=112265009302250 CPUtime=0 cores=0-7
/proc/25612/task/25614/stat : 25614 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915298339472 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25615] ppid=25589 vsize=8413904 memory=2834 CPUtime=0 cores=0-7
/proc/25612/task/25615/stat : 25615 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915098507792 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25616] ppid=25589 vsize=8413904 memory=1145 CPUtime=0 cores=0-7
/proc/25612/task/25616/stat : 25616 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915097454992 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25617] ppid=25589 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/25612/task/25617/stat : 25617 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915096402192 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25618] ppid=25589 vsize=8413904 memory=84 CPUtime=0 cores=0-7
/proc/25612/task/25618/stat : 25618 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915095350416 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25619] ppid=25589 vsize=8413904 memory=330 CPUtime=0 cores=0-7
/proc/25612/task/25619/stat : 25619 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915094297616 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25620] ppid=25589 vsize=8413904 memory=2311 CPUtime=0 cores=0-7
/proc/25612/task/25620/stat : 25620 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915093244816 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25621] ppid=25589 vsize=8413904 memory=8874 CPUtime=0 cores=0-7
/proc/25612/task/25621/stat : 25621 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915092192016 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25622] ppid=25589 vsize=8413904 memory=1184 CPUtime=0 cores=0-7
/proc/25612/task/25622/stat : 25622 (java) S 25589 25589 22710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236841344 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914253388144 139915294108290 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25623] ppid=25589 vsize=8413904 memory=1384 CPUtime=0 cores=0-7
/proc/25612/task/25623/stat : 25623 (java) S 25589 25589 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236841345 8615837696 29244 33554432000 4194304 4196468 140736078440720 139913861260320 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25624] ppid=25589 vsize=8413904 memory=752 CPUtime=0 cores=0-7
/proc/25612/task/25624/stat : 25624 (java) S 25589 25589 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236841345 8615837696 29244 33554432000 4194304 4196468 140736078440720 139913727038320 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25625] ppid=25589 vsize=8413904 memory=7312 CPUtime=0 cores=0-7
/proc/25612/task/25625/stat : 25625 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139913352533840 139915294115739 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25626] ppid=25589 vsize=8413904 memory=5400 CPUtime=0.05 cores=0-7
/proc/25612/task/25626/stat : 25626 (java) S 25589 25589 22710 0 -1 1077944384 485 0 0 0 5 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914252335984 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25627] ppid=25589 vsize=8413904 memory=1108 CPUtime=0.05 cores=0-7
/proc/25612/task/25627/stat : 25627 (java) S 25589 25589 22710 0 -1 1077944384 130 0 0 0 5 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914251283184 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25628] ppid=25589 vsize=8413904 memory=10784 CPUtime=0.06 cores=0-7
/proc/25612/task/25628/stat : 25628 (java) S 25589 25589 22710 0 -1 1077944384 395 0 0 0 6 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914250230384 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25629] ppid=25589 vsize=8413904 memory=872 CPUtime=0.21 cores=0-7
/proc/25612/task/25629/stat : 25629 (java) S 25589 25589 22710 0 -1 1077944384 618 0 0 0 21 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914249177584 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25630] ppid=25589 vsize=8413904 memory=4280 CPUtime=0 cores=0-7
/proc/25612/task/25630/stat : 25630 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139912854628960 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25631] ppid=25589 vsize=8413904 memory=14888 CPUtime=0 cores=0-7
/proc/25612/task/25631/stat : 25631 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841348 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914248124976 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25633] ppid=25589 vsize=8413904 memory=35568 CPUtime=0 cores=0-7
/proc/25612/task/25633/stat : 25633 (java) S 25589 25589 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236841415 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914240316480 139915294121753 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25635] ppid=25589 vsize=8413904 memory=15932 CPUtime=0 cores=0-7
/proc/25612/task/25635/stat : 25635 (java) S 25589 25589 22710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 236841415 8615837696 29244 33554432000 4194304 4196468 140736078440720 139912183529616 139915294119069 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25636] ppid=25589 vsize=8413904 memory=322180 CPUtime=0 cores=0-7
/proc/25612/task/25636/stat : 25636 (java) S 25589 25589 22710 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236841416 8615837696 29244 33554432000 4194304 4196468 140736078440720 139912451964944 139915294119069 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25645] ppid=25589 vsize=8413904 memory=924 CPUtime=0 cores=0-7
/proc/25612/task/25645/stat : 25645 (java) S 25589 25589 22710 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236841418 8615837696 29244 33554432000 4194304 4196468 140736078440720 139911915101728 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
Current children cumulated CPU time: 97.42 s
Current children cumulated vsize: 9233692 KiB
Current children cumulated memory: 443384 KiB

[startup+15.602 s]
/proc/loadavg: 2.50 1.03 0.83 9/217 25645
/proc/meminfo: memFree=16920216/32770624 swapFree=67108860/67108860
[pid=25589] ppid=25586 vsize=113128 memory=1472 CPUtime=10.72 cores=0-7
/proc/25589/stat : 25589 (scop.sh) S 25586 25589 22710 0 -1 4202496 589 28405 0 0 0 0 1046 26 20 0 1 0 236840972 115843072 368 33554432000 4194304 5098028 140730269728688 140730269725432 139622117917308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33144832 140730269733922 140730269734147 140730269734147 140730269736909 0
/proc/25589/statm: 28282 368 311 221 0 87 0
[pid=25612] ppid=25589 vsize=8413904 memory=116976 CPUtime=1.17 cores=0-7
/proc/25612/stat : 25612 (java) S 25589 25589 22710 0 -1 1077944320 18103 0 0 0 110 7 0 0 20 0 24 0 236841341 8615837696 29244 33554432000 4194304 4196468 140736078440720 140736078423264 139915294097143 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
/proc/25612/statm: 2103476 29244 3132 1 0 2064875 0
[pid=25632] ppid=25612 vsize=729444 memory=349348 CPUtime=88.68 cores=0-7
/proc/25632/stat : 25632 (glucose-syrup) S 25612 25589 22710 0 -1 1077944320 177617 0 0 0 8800 68 0 0 20 0 9 0 236841415 746950656 87337 33554432000 4194304 4373367 140733280722496 140733280721040 139685718833794 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
/proc/25632/statm: 182361 87337 389 44 0 178049 0
[pid=25632/tid=25637] ppid=25612 vsize=729444 memory=804 CPUtime=11.09 cores=0-7
/proc/25632/task/25637/stat : 25637 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 21580 0 0 0 1102 7 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685703605520 4271912 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25638] ppid=25612 vsize=729444 memory=1696 CPUtime=10.91 cores=0-7
/proc/25632/task/25638/stat : 25638 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 21892 0 0 0 1081 10 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685695212912 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25639] ppid=25612 vsize=729444 memory=916 CPUtime=11.11 cores=0-7
/proc/25632/task/25639/stat : 25639 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 23257 0 0 0 1103 8 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685686820040 4271810 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25640] ppid=25612 vsize=729444 memory=4448 CPUtime=11.11 cores=0-7
/proc/25632/task/25640/stat : 25640 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 18046 0 0 0 1104 7 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685678427336 139685704194603 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25641] ppid=25612 vsize=729444 memory=4108 CPUtime=11.09 cores=0-7
/proc/25632/task/25641/stat : 25641 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 21976 0 0 0 1098 11 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685670034632 4271824 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25642] ppid=25612 vsize=729444 memory=1412 CPUtime=11.08 cores=0-7
/proc/25632/task/25642/stat : 25642 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 22959 0 0 0 1102 6 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685661641928 4293072 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25643] ppid=25612 vsize=729444 memory=3052 CPUtime=11.11 cores=0-7
/proc/25632/task/25643/stat : 25643 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 24250 0 0 0 1104 7 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685653249168 4271925 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25632/tid=25644] ppid=25612 vsize=729444 memory=1472 CPUtime=11.09 cores=0-7
/proc/25632/task/25644/stat : 25644 (glucose-syrup) R 25612 25589 22710 0 -1 4202560 20674 0 0 0 1100 9 0 0 20 0 9 0 236841418 746950656 87337 33554432000 4194304 4373367 140733280722496 139685644856688 4240835 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 30564352 140733280728144 140733280728276 140733280728276 140733280731079 0
[pid=25612/tid=25613] ppid=25589 vsize=8413904 memory=116976 CPUtime=0.76 cores=0-7
/proc/25612/task/25613/stat : 25613 (java) S 25589 25589 22710 0 -1 1077944384 15052 0 0 0 71 5 0 0 20 0 24 0 236841341 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915265937296 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25614] ppid=25589 vsize=8413904 memory=312092 CPUtime=0 cores=0-7
/proc/25612/task/25614/stat : 25614 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915298339472 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25615] ppid=25589 vsize=8413904 memory=-5155633509207338117 CPUtime=0 cores=0-7
/proc/25612/task/25615/stat : 25615 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915098507792 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25616] ppid=25589 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/25612/task/25616/stat : 25616 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915097454992 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25617] ppid=25589 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/25612/task/25617/stat : 25617 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915096402192 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25618] ppid=25589 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/25612/task/25618/stat : 25618 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915095350416 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25619] ppid=25589 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/25612/task/25619/stat : 25619 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915094297616 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25620] ppid=25589 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/25612/task/25620/stat : 25620 (java) S 25589 25589 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915093244816 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25621] ppid=25589 vsize=8413904 memory=1732 CPUtime=0 cores=0-7
/proc/25612/task/25621/stat : 25621 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841343 8615837696 29244 33554432000 4194304 4196468 140736078440720 139915092192016 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25622] ppid=25589 vsize=8413904 memory=1172 CPUtime=0 cores=0-7
/proc/25612/task/25622/stat : 25622 (java) S 25589 25589 22710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236841344 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914253388144 139915294108290 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25623] ppid=25589 vsize=8413904 memory=500 CPUtime=0 cores=0-7
/proc/25612/task/25623/stat : 25623 (java) S 25589 25589 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236841345 8615837696 29244 33554432000 4194304 4196468 140736078440720 139913861260320 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25624] ppid=25589 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/25612/task/25624/stat : 25624 (java) S 25589 25589 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236841345 8615837696 29244 33554432000 4194304 4196468 140736078440720 139913727038320 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25625] ppid=25589 vsize=8413904 memory=2336 CPUtime=0 cores=0-7
/proc/25612/task/25625/stat : 25625 (java) S 25589 25589 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139913352533840 139915294115739 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25626] ppid=25589 vsize=8413904 memory=1580 CPUtime=0.05 cores=0-7
/proc/25612/task/25626/stat : 25626 (java) S 25589 25589 22710 0 -1 1077944384 485 0 0 0 5 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914252335984 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25627] ppid=25589 vsize=8413904 memory=924 CPUtime=0.05 cores=0-7
/proc/25612/task/25627/stat : 25627 (java) S 25589 25589 22710 0 -1 1077944384 130 0 0 0 5 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914251283184 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25628] ppid=25589 vsize=8413904 memory=2188 CPUtime=0.06 cores=0-7
/proc/25612/task/25628/stat : 25628 (java) S 25589 25589 22710 0 -1 1077944384 395 0 0 0 6 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914250230384 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25629] ppid=25589 vsize=8413904 memory=3984 CPUtime=0.21 cores=0-7
/proc/25612/task/25629/stat : 25629 (java) S 25589 25589 22710 0 -1 1077944384 618 0 0 0 21 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914249177584 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25630] ppid=25589 vsize=8413904 memory=2024 CPUtime=0 cores=0-7
/proc/25612/task/25630/stat : 25630 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841347 8615837696 29244 33554432000 4194304 4196468 140736078440720 139912854628960 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25631] ppid=25589 vsize=8413904 memory=7288 CPUtime=0 cores=0-7
/proc/25612/task/25631/stat : 25631 (java) S 25589 25589 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236841348 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914248124976 139915294108290 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25633] ppid=25589 vsize=8413904 memory=804 CPUtime=0 cores=0-7
/proc/25612/task/25633/stat : 25633 (java) S 25589 25589 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236841415 8615837696 29244 33554432000 4194304 4196468 140736078440720 139914240316480 139915294121753 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25635] ppid=25589 vsize=8413904 memory=1696 CPUtime=0 cores=0-7
/proc/25612/task/25635/stat : 25635 (java) S 25589 25589 22710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 236841415 8615837696 29244 33554432000 4194304 4196468 140736078440720 139912183529616 139915294119069 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25636] ppid=25589 vsize=8413904 memory=916 CPUtime=0 cores=0-7
/proc/25612/task/25636/stat : 25636 (java) S 25589 25589 22710 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236841416 8615837696 29244 33554432000 4194304 4196468 140736078440720 139912451964944 139915294119069 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
[pid=25612/tid=25645] ppid=25589 vsize=8413904 memory=4448 CPUtime=0 cores=0-7
/proc/25612/task/25645/stat : 25645 (java) S 25589 25589 22710 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236841418 8615837696 29244 33554432000 4194304 4196468 140736078440720 139911915101728 139915294107349 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38039552 140736078447793 140736078447917 140736078447917 140736078450639 0
Current children cumulated CPU time: 100.57 s
Current children cumulated vsize: 9256476 KiB
Current children cumulated memory: 467796 KiB

[startup+16.0014 s]*
/proc/loadavg: 2.50 1.03 0.83 4/205 25645
/proc/meminfo: memFree=17237936/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 16.0109
CPU time (s): 103.586
CPU user time (s): 102.508
CPU system time (s): 1.07818
CPU usage (%): 646.971
Max. virtual memory (cumulated for all children) (KiB): 27441656
Max. memory (cumulated for all children) (KiB): 971172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.508
system time used= 1.07818
maximum resident set size= 976904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36306
involuntary context switches= 908


# summary of solver processes directly reported to runsolver:
#   pid: 25589
#   total CPU time (s): 103.586
#   total CPU user time (s): 102.508
#   total CPU system time (s): 1.07818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168871 second user time and 0.231256 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-13 22:39:38
IDJOB=4307267
IDBENCH=141414
IDSOLVER=2788
FILE ID=node132/4307267-1534192778
RUNJOBID= node132-1534187531-22737
PBS_JOBID= 21037984
Free space on /tmp= 38332 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Haystacks/Haystacks-ext-13_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307267-1534192778/watcher-4307267-1534192778 -o /tmp/evaluation-result-4307267-1534192778/solver-4307267-1534192778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307267-1534192778.xml

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

MD5SUM BENCH= d20946c70cb8756d1a4b7fb63c02a1de
RANDOM SEED=123959040

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17349240 kB
MemAvailable:   31901276 kB
Buffers:          263152 kB
Cached:         14401032 kB
SwapCached:            0 kB
Active:          7396500 kB
Inactive:        7321228 kB
Active(anon):       3256 kB
Inactive(anon):   102812 kB
Active(file):    7393244 kB
Inactive(file):  7218416 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8848 kB
Writeback:             0 kB
AnonPages:         54524 kB
Mapped:            55552 kB
Shmem:             49824 kB
Slab:             397360 kB
SReclaimable:     368836 kB
SUnreclaim:        28524 kB
KernelStack:        3232 kB
PageTables:         4652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 38320 MiB
End job on node132 at 2018-08-13 22:39:54