Trace number 4307200

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)SAT 9.00439 3.22171

General information on the benchmark

NameStripPacking/
StripPacking-C1P3_c18.xml
MD5SUM5b4e243b65627c7fc71624f53298a6f9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.28846
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints49
Number of domains15
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":6},{"size":2,"count":42},{"size":20,"count":32}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":16},{"degree":2,"count":32},{"degree":3,"count":32}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":32},{"arity":3,"count":16},{"arity":64,"count":1}]
Number of extensional constraints16
Number of intensional constraints32
Distribution of constraint types[{"type":"extension","count":16},{"type":"intension","count":32},{"type":"noOverlap","count":1}]
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-20032-serial-file.bin HOME/instance-4307200-1534178811.xml
0.64/0.54	
0.64/0.54	scop order+glucose-syrup (2018-07-31)
0.64/0.54	(Encoding Process)
0.64/0.54	
0.64/0.57	c BEGIN-Prog: Mon Aug 13 18:46:52 CEST 2018
0.64/0.57	c PID: 20035
0.64/0.57	c IP: 172.20.3.132
0.64/0.57	c HOST: node132.alineos.net
0.64/0.57	c (0,0) Parsing Begin
1.35/0.97	c (0,0) Parsing End
1.35/0.97	c (0,0) CSP: 64 int (0 aux), 16 bool (0 aux), 49 ctr, max domain size 20
1.35/0.97	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.35/0.97	c (0,0) Constraint Name Generate Begin
1.35/0.98	c (0,0) Ctr:HOME/instance-4307200-1534178811.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.35/0.98	c (0,0) Constraint Name Generate End
1.35/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.35/0.98	c (0,0) CSP to CSPinCNF Begin
1.56/1.06	c (0,0) translated 5 (10%) constraints
1.56/1.06	c (0,0) translated 10 (20%) constraints
1.56/1.07	c (0,0) translated 15 (30%) constraints
1.56/1.07	c (0,0) translated 20 (40%) constraints
1.56/1.08	c (0,0) translated 25 (50%) constraints
1.56/1.08	c (0,0) translated 30 (60%) constraints
1.72/1.17	c (0,0) translated 35 (70%) constraints
1.91/1.20	c (0,0) translated 40 (80%) constraints
1.91/1.25	c (0,0) translated 45 (90%) constraints
1.91/1.29	c (0,0) translated 49 (100%) constraints
2.49/1.44	c (0,0) STATISTICS1:HOME/instance-4307200-1534178811.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,132,350,38,19,4,3,38:32;36:130;34:80;32:70;28:78;19:8;18:10;17:4;16:30;14:38;2:26;1:6,19:310;18:310;17:124;16:124;14:124;2:858;1:96,4:120;3:65;2:130;1:35,3:480;2:32;1:442;0:16,
2.49/1.44	c (0,0) ==========================================
2.49/1.44	c (0,0) Order
2.49/1.44	c (0,0) ==========================================
2.49/1.45	c (0,0) translated 35 (10%) constraints
2.49/1.45	c (0,0) translated 70 (20%) constraints
2.82/1.59	c (0,0) translated 105 (30%) constraints
2.82/1.59	c (0,0) translated 140 (40%) constraints
2.82/1.59	c (0,0) translated 175 (50%) constraints
2.82/1.59	c (0,0) translated 210 (60%) constraints
2.82/1.59	c (0,0) translated 245 (70%) constraints
2.82/1.59	c (0,0) translated 280 (80%) constraints
2.82/1.59	c (0,0) translated 315 (90%) constraints
2.82/1.59	c (0,0) translated 350 (100%) constraints
2.82/1.59	c (0,0) CSP to CSPinCNF End
2.82/1.59	c (0,0) CSP: 64 int (0 aux), 68 bool (52 aux), 350 ctr, max domain size 19
2.82/1.59	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.59	c (0,0) CSPinCNF Propagation Begin
2.82/1.59	c (1,0) 0 values, 13 unsatisfiable literals, and 9 valid clauses are removed
2.82/1.59	c (1,0) CSPinCNF Propagation End
2.82/1.59	c (1,0) CSP: 64 int (0 aux), 68 bool (52 aux), 341 ctr, max domain size 19
2.82/1.59	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.59	c (1,0) Simplify CSPinCNF Begin
2.82/1.61	c (1,1) Simplify CSPinCNF End
2.82/1.61	c (1,1) CSP: 64 int (0 aux), 548 bool (532 aux), 821 ctr, max domain size 19
2.82/1.61	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.82/1.61	c (1,1) Calculate Precise Domain Begin
2.82/1.61	c (1,1) 0 values are removed by re-calculation
2.82/1.61	c (1,1) Calculate Precise Domain End
2.82/1.61	c (1,1) CSP: 64 int (0 aux), 548 bool (532 aux), 821 ctr, max domain size 19
2.82/1.61	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.82/1.61	c (1,1) CSPinCNF to SatSolver Begin
2.82/1.65	c (1,1) 83 (10 %) CSP clauses are encoded (1100 SAT variables, 576 SAT clauses)
2.82/1.66	c (1,1) 165 (20 %) CSP clauses are encoded (1100 SAT variables, 658 SAT clauses)
2.82/1.67	c (1,1) 247 (30 %) CSP clauses are encoded (1100 SAT variables, 1122 SAT clauses)
3.53/1.70	c (1,1) 329 (40 %) CSP clauses are encoded (1100 SAT variables, 2654 SAT clauses)
3.53/1.72	c (1,1) 411 (50 %) CSP clauses are encoded (1100 SAT variables, 4361 SAT clauses)
3.53/1.74	c (1,1) 493 (60 %) CSP clauses are encoded (1100 SAT variables, 5730 SAT clauses)
3.53/1.75	c (1,1) 575 (70 %) CSP clauses are encoded (1100 SAT variables, 7195 SAT clauses)
3.53/1.76	c (1,1) 657 (80 %) CSP clauses are encoded (1100 SAT variables, 8692 SAT clauses)
3.53/1.77	c (1,1) 739 (90 %) CSP clauses are encoded (1100 SAT variables, 10538 SAT clauses)
3.53/1.79	c (1,1) 821 (100 %) CSP clauses are encoded (1100 SAT variables, 12404 SAT clauses)
3.53/1.79	c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
3.53/1.79	c (1,1) CSPinCNF to SatSolver End
3.53/1.79	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.95/1.81	c (1,1) STATISTICS2:HOME/instance-4307200-1534178811.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,612,821,38,19,4,3,38:32;36:130;34:80;32:70;28:78;19:8;18:10;17:4;16:30;14:38;2:26,19:308;18:310;17:124;16:122;14:122;2:1818;1:90,4:120;3:52;2:623;1:26,3:480;2:26;1:1402,
3.95/1.81	c (1,1) 1100 bool, 12429 clause
3.95/1.81	c (1,1) Export Begin
4.29/1.92	c (1,1) Export to HOME/scop-20032-serial-file.bin
4.29/1.92	c (1,1) Export End
4.29/1.92	c (1,1) Export File Size: 0.02 MB
4.29/1.92	c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.29/1.92	c END-Prog: Mon Aug 13 18:46:53 CEST 2018
4.29/1.94	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20032-serial-file.bin
4.99/2.43	c (0,0) Read Serial File Begin
4.99/2.43	c (0,0) HOME/scop-20032-serial-file.bin
5.30/2.62	c (0,0) Read Serial File End
5.30/2.62	
5.30/2.62	scop order+glucose-syrup (2018-07-31)
5.30/2.62	(Solving Process)
5.30/2.62	
5.30/2.65	c BEGIN-Prog: Mon Aug 13 18:46:54 CEST 2018
5.30/2.65	c PID: 20055
5.30/2.65	c IP: 172.20.3.132
5.30/2.65	c HOST: node132.alineos.net
5.30/2.65	c (0,0) SatSolver.solve Begin
5.30/2.66	c (0,0) 0 bool, 0 clause
5.30/2.66	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307200-1534178811.xml-scop-20035.cnf
8.67/3.13	c (0,0) c
8.67/3.13	c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
8.67/3.13	c (0,0) c
8.67/3.13	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.67/3.13	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.67/3.13	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.67/3.13	c (0,0) c |                                                                                                       |
8.67/3.13	c (0,0) c |  Number of variables:          1100                                                                   |
8.67/3.13	c (0,0) c |  Number of clauses:           12429                                                                   |
8.67/3.13	c (0,0) c |  Parse time:                   0.00 s                                                                 |
8.67/3.13	c (0,0) c |                                                                                                       |
8.67/3.13	c (0,0) c |  Eliminated clauses:           0.01 Mb                                                                |
8.67/3.13	c (0,0) c |  Simplification time:          0.01 s                                                                 |
8.67/3.13	c (0,0) c |                                                                                                       |
8.67/3.13	c (0,0) c |  Generating clones                                                                                    |
8.67/3.13	c (0,0) c |  all clones generated. Memory =  33.03Mb.                                                             |
8.67/3.13	c (0,0) c ========================================================================================================|
8.67/3.13	c (0,0) c last restart ## conflicts  :  194 107 
8.67/3.13	c (0,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
8.67/3.13	c (0,0) c Total Memory so far : 610.32Mb
8.67/3.13	c (0,0) c
8.67/3.13	c (0,0) c real time : 0.449363 s
8.67/3.13	c (0,0) c cpu time  : 3.24812 s
8.67/3.13	c (0,0) c
8.67/3.13	c (0,0) c
8.67/3.13	c (0,0) c
8.67/3.13	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
8.67/3.13	c (0,0) c
8.67/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.67/3.13	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.67/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.67/3.13	c (0,0) c | Conflicts     |          122847 |      16164 |      15660 |      13805 |      14617 |      15736 |      15275 |      15287 |      16303 |
8.67/3.13	c (0,0) c | Decisions     |          252874 |      35810 |      32741 |      28392 |      29999 |      31575 |      32040 |      30129 |      32188 |
8.67/3.13	c (0,0) c | Propagations  |         6877499 |     884324 |     888710 |     780286 |     822051 |     899538 |     869527 |     858484 |     874579 |
8.67/3.13	c (0,0) c | Avg_Trail     |                 |        552 |        546 |        564 |        550 |        562 |        557 |        561 |        558 |
8.67/3.13	c (0,0) c | Avg_DL        |                 |         37 |         37 |         36 |         36 |         36 |         39 |         38 |         35 |
8.67/3.13	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.67/3.13	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.67/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.67/3.13	c (0,0) c | Exported      |           21444 |       2696 |       2690 |       2267 |       2738 |       2844 |       2601 |       2744 |       2864 |
8.67/3.13	c (0,0) c | Imported      |          144744 |      18654 |      18566 |      17625 |      18478 |      18387 |      18258 |      18472 |      16304 |
8.67/3.13	c (0,0) c | Good          |               7 |          1 |          1 |          1 |          0 |          1 |          1 |          1 |          1 |
8.67/3.13	c (0,0) c | Purge         |          144737 |      18653 |      18565 |      17624 |      18478 |      18386 |      18257 |      18471 |      16303 |
8.67/3.13	c (0,0) c | Promoted      |            2125 |        360 |        311 |        293 |        236 |        154 |        266 |        238 |        267 |
8.67/3.13	c (0,0) c | Remove_Imp    |           43470 |       4968 |       5517 |       7587 |       6197 |       5471 |       5339 |       5655 |       2736 |
8.67/3.13	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.67/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.67/3.13	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.67/3.13	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |          0 |
8.67/3.13	c (0,0) c | Glues         |                 |         17 |         12 |         17 |         15 |         21 |         20 |         16 |         21 |
8.67/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.67/3.13	c (0,0) c | Orig_Seen     |            73 % |       9670 |       9472 |       8991 |       9039 |       9252 |       8985 |       9333 |       8690 |
8.67/3.13	c (0,0) c | Diff Orig seen|                 |        631 |        433 | -       48 |      X     |        213 | -       54 |        294 | -      349 |
8.67/3.13	c (0,0) c | Hamming       |            28 % |        319 |        283 |        317 |      X     |        309 |        346 |        351 |        270 |
8.67/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.67/3.13	c (0,0) 
8.67/3.13	c (0,0) s SATISFIABLE
8.67/3.15	c (0,0) SatSolver.solve End
8.67/3.15	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.67/3.15	c (0,0) Show results Begin
8.67/3.20	s SATISFIABLE
8.94/3.21	v <instantiation>
8.94/3.21	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15]</list>
8.94/3.21	v     <values>6 6 15 10 15 6 8 17 5 8 0 0 17 0 2 3 16 6 9 0 11 11 9 6 0 6 0 16 0 6 0 6 14 2 2 7 5 2 7 3 5 2 2 6 3 3 3 3 4 5 2 9 5 5 7 5 6 3 6 4 6 10 6 10 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1</values>
8.94/3.21	v </instantiation>
8.94/3.21	c (0,0) Show results End
8.94/3.21	c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
8.94/3.21	c (0,0) 0,0,STOP-AFTER(ALL)
8.94/3.21	c END-Prog: Mon Aug 13 18:46:54 CEST 2018

Verifier Data

OK	

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (6929 MiB free)
  memory of node 1: 16384 MiB (10422 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.109661 s]*
/proc/loadavg: 7.36 8.25 8.34 2/204 20054
/proc/meminfo: memFree=17668044/32770624 swapFree=67108860/67108860
[pid=20032] ppid=20029 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20032/stat : 20032 (scop.sh) S 20029 20032 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235444289 115843072 349 33554432000 4194304 5098028 140730169024784 140730169022040 139645817086588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30834688 140730169029666 140730169029891 140730169029891 140730169032653 0
/proc/20032/statm: 28282 349 296 221 0 87 0
[pid=20035] ppid=20032 vsize=27313900 memory=111740 CPUtime=0.12 cores=0-7
/proc/20035/stat : 20035 (java) S 20032 20032 18626 0 -1 1077944320 6915 0 0 0 10 2 0 0 20 0 20 0 235444289 27969433600 27935 33554432000 4194304 4196468 140733108889264 140733108871808 140487441727223 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
/proc/20035/statm: 6828475 27935 2739 1 0 6790935 0
[pid=20035/tid=20036] ppid=20032 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20035/task/20036/stat : 20036 (java) R 20032 20032 18626 0 -1 4202560 5031 0 0 0 8 1 0 0 20 0 20 0 235444289 27969433600 27935 33554432000 4194304 4196468 140733108889264 140487413532480 140487433964350 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20037] ppid=20032 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20035/task/20037/stat : 20037 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 27935 33554432000 4194304 4196468 140733108889264 140487445969680 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20038] ppid=20032 vsize=27313900 memory=139640032609920 CPUtime=0 cores=0-7
/proc/20035/task/20038/stat : 20038 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 27935 33554432000 4194304 4196468 140733108889264 140487260126096 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20039] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20039/stat : 20039 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 27935 33554432000 4194304 4196468 140733108889264 140487259073552 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20040] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20040/stat : 20040 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 27935 33554432000 4194304 4196468 140733108889264 140487258021008 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20041] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20041/stat : 20041 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 27935 33554432000 4194304 4196468 140733108889264 140487256967440 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20042] ppid=20032 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/20035/task/20042/stat : 20042 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 27935 33554432000 4194304 4196468 140733108889264 140487255914896 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20043] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20043/stat : 20043 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 28001 33554432000 4194304 4196468 140733108889264 140487254862352 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20044] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20044/stat : 20044 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 28066 33554432000 4194304 4196468 140733108889264 140487253809808 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20045] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20045/stat : 20045 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444293 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485559568880 140487441738370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20046] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20046/stat : 20046 (java) S 20032 20032 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235444294 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485360346528 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20047] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20047/stat : 20047 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444294 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485091911152 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20048] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20048/stat : 20048 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 28066 33554432000 4194304 4196468 140733108889264 140484717402832 140487441745819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20049] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20049/stat : 20049 (java) S 20032 20032 18626 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485558515696 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20050] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20050/stat : 20050 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485557463152 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20051] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20051/stat : 20051 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485556410608 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20052] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20052/stat : 20052 (java) R 20032 20032 18626 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485555358064 140487420668814 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20053] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20053/stat : 20053 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 28066 33554432000 4194304 4196468 140733108889264 140484219497184 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20054] ppid=20032 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/20035/task/20054/stat : 20054 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 28066 33554432000 4194304 4196468 140733108889264 140485554305968 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 113136 KiB

[startup+0.210333 s]*
/proc/loadavg: 7.36 8.25 8.34 2/204 20054
/proc/meminfo: memFree=17654712/32770624 swapFree=67108860/67108860
[pid=20032] ppid=20029 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20032/stat : 20032 (scop.sh) S 20029 20032 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235444289 115843072 349 33554432000 4194304 5098028 140730169024784 140730169022040 139645817086588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30834688 140730169029666 140730169029891 140730169029891 140730169032653 0
/proc/20032/statm: 28282 349 296 221 0 87 0
[pid=20035] ppid=20032 vsize=27313900 memory=125060 CPUtime=0.24 cores=0-7
/proc/20035/stat : 20035 (java) S 20032 20032 18626 0 -1 1077944320 10440 0 0 0 21 3 0 0 20 0 20 0 235444289 27969433600 31265 33554432000 4194304 4196468 140733108889264 140733108871808 140487441727223 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
/proc/20035/statm: 6828475 31265 2897 1 0 6790935 0
[pid=20035/tid=20036] ppid=20032 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20035/task/20036/stat : 20036 (java) R 20032 20032 18626 0 -1 4202560 8354 0 0 0 17 2 0 0 20 0 20 0 235444289 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487413535968 140487423120954 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20037] ppid=20032 vsize=27313900 memory=339 CPUtime=0 cores=0-7
/proc/20035/task/20037/stat : 20037 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487445969680 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20038] ppid=20032 vsize=27313900 memory=139640032629003 CPUtime=0 cores=0-7
/proc/20035/task/20038/stat : 20038 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487260126096 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20039] ppid=20032 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/20035/task/20039/stat : 20039 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487259073552 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20040] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20040/stat : 20040 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487258021008 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20041] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20041/stat : 20041 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487256967440 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20042] ppid=20032 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/20035/task/20042/stat : 20042 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487255914896 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20043] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20043/stat : 20043 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487254862352 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20044] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20044/stat : 20044 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 31265 33554432000 4194304 4196468 140733108889264 140487253809808 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20045] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20045/stat : 20045 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444293 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485559568880 140487441738370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20046] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20046/stat : 20046 (java) S 20032 20032 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235444294 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485360346528 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20047] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20047/stat : 20047 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444294 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485091911152 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20048] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20048/stat : 20048 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 31265 33554432000 4194304 4196468 140733108889264 140484717402832 140487441745819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20049] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20049/stat : 20049 (java) S 20032 20032 18626 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485558515696 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20050] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20050/stat : 20050 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485557463152 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20051] ppid=20032 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/20035/task/20051/stat : 20051 (java) S 20032 20032 18626 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485556410608 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20052] ppid=20032 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/20035/task/20052/stat : 20052 (java) S 20032 20032 18626 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 235444297 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485555358064 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20053] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20053/stat : 20053 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 31265 33554432000 4194304 4196468 140733108889264 140484219497184 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20054] ppid=20032 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/20035/task/20054/stat : 20054 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 31265 33554432000 4194304 4196468 140733108889264 140485554305968 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126456 KiB

[startup+0.309757 s]*
/proc/loadavg: 7.36 8.25 8.34 2/204 20054
/proc/meminfo: memFree=17651160/32770624 swapFree=67108860/67108860
[pid=20032] ppid=20029 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20032/stat : 20032 (scop.sh) S 20029 20032 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235444289 115843072 349 33554432000 4194304 5098028 140730169024784 140730169022040 139645817086588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30834688 140730169029666 140730169029891 140730169029891 140730169032653 0
/proc/20032/statm: 28282 349 296 221 0 87 0
[pid=20035] ppid=20032 vsize=27313900 memory=129132 CPUtime=0.41 cores=0-7
/proc/20035/stat : 20035 (java) S 20032 20032 18626 0 -1 1077944320 11091 0 0 0 38 3 0 0 20 0 20 0 235444289 27969433600 32283 33554432000 4194304 4196468 140733108889264 140733108871808 140487441727223 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
/proc/20035/statm: 6828475 32283 2958 1 0 6790935 0
[pid=20035/tid=20036] ppid=20032 vsize=27313900 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/20035/task/20036/stat : 20036 (java) R 20032 20032 18626 0 -1 4202560 8813 0 0 0 26 2 0 0 20 0 20 0 235444289 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487413522672 140487423100760 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20037] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20037/stat : 20037 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487445969680 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20038] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20038/stat : 20038 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487260126096 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20039] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20039/stat : 20039 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487259073552 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20040] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20040/stat : 20040 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487258021008 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20041] ppid=20032 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/20035/task/20041/stat : 20041 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487256967440 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20042] ppid=20032 vsize=27313900 memory=139639922979759 CPUtime=0 cores=0-7
/proc/20035/task/20042/stat : 20042 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487255914896 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20043] ppid=20032 vsize=27313900 memory=139639922982064 CPUtime=0 cores=0-7
/proc/20035/task/20043/stat : 20043 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487254862352 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20044] ppid=20032 vsize=27313900 memory=139639922984368 CPUtime=0 cores=0-7
/proc/20035/task/20044/stat : 20044 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27969433600 32283 33554432000 4194304 4196468 140733108889264 140487253809808 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20045] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20045/stat : 20045 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444293 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485559568880 140487441738370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20046] ppid=20032 vsize=27313900 memory=279279845975696 CPUtime=0 cores=0-7
/proc/20035/task/20046/stat : 20046 (java) S 20032 20032 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235444294 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485360346528 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20047] ppid=20032 vsize=27313900 memory=279279845982608 CPUtime=0 cores=0-7
/proc/20035/task/20047/stat : 20047 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444294 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485091911152 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20048] ppid=20032 vsize=27313900 memory=279279845923888 CPUtime=0 cores=0-7
/proc/20035/task/20048/stat : 20048 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 32283 33554432000 4194304 4196468 140733108889264 140484717402832 140487441745819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20049] ppid=20032 vsize=27313900 memory=279279845996432 CPUtime=0.01 cores=0-7
/proc/20035/task/20049/stat : 20049 (java) S 20032 20032 18626 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 235444297 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485558515696 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20050] ppid=20032 vsize=27313900 memory=279279846003344 CPUtime=0 cores=0-7
/proc/20035/task/20050/stat : 20050 (java) S 20032 20032 18626 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485557463152 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20051] ppid=20032 vsize=27313900 memory=279279846001040 CPUtime=0.02 cores=0-7
/proc/20035/task/20051/stat : 20051 (java) S 20032 20032 18626 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 235444297 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485556410608 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20052] ppid=20032 vsize=27313900 memory=279279846017200 CPUtime=0.07 cores=0-7
/proc/20035/task/20052/stat : 20052 (java) S 20032 20032 18626 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 20 0 235444297 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485555358064 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20053] ppid=20032 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20053/stat : 20053 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 32283 33554432000 4194304 4196468 140733108889264 140484219497184 140487441737429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20054] ppid=20032 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/20035/task/20054/stat : 20054 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27969433600 32283 33554432000 4194304 4196468 140733108889264 140485554305968 140487441738370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 130528 KiB

[startup+0.700932 s]
/proc/loadavg: 7.36 8.25 8.34 2/204 20054
/proc/meminfo: memFree=17626596/32770624 swapFree=67108860/67108860
[pid=20032] ppid=20029 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20032/stat : 20032 (scop.sh) S 20029 20032 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235444289 115843072 349 33554432000 4194304 5098028 140730169024784 140730169022040 139645817086588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30834688 140730169029666 140730169029891 140730169029891 140730169032653 0
/proc/20032/statm: 28282 349 296 221 0 87 0
[pid=20035] ppid=20032 vsize=27322296 memory=167084 CPUtime=0.99 cores=0-7
/proc/20035/stat : 20035 (java) S 20032 20032 18626 0 -1 1077944320 18287 0 0 0 93 6 0 0 20 0 20 0 235444289 27978031104 41771 33554432000 4194304 4196468 140733108889264 140733108871808 140487441727223 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
/proc/20035/statm: 6830574 41771 3128 1 0 6791959 0
[pid=20035/tid=20036] ppid=20032 vsize=27322296 memory=279279846375088 CPUtime=0.67 cores=0-7
/proc/20035/task/20036/stat : 20036 (java) R 20032 20032 18626 0 -1 4202560 15454 0 0 0 62 5 0 0 20 0 20 0 235444289 27978031104 41771 33554432000 4194304 4196468 140733108889264 140487413559120 140487441749149 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20037] ppid=20032 vsize=27322296 memory=139639923188592 CPUtime=0 cores=0-7
/proc/20035/task/20037/stat : 20037 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27978031104 41771 33554432000 4194304 4196468 140733108889264 140487445969680 140487441737429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20038] ppid=20032 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20038/stat : 20038 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444292 27978031104 41771 33554432000 4194304 4196468 140733108889264 140487260126096 140487441737429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20039] ppid=20032 vsize=27322296 memory=10784 CPUtime=0 cores=0-7
/proc/20035/task/20039/stat : 20039 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235444292 27978031104 41771 33554432000 4194304 4196468 140733108889264 140487259073552 140487441737429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0

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

/proc/20035/task/20047/stat : 20047 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444294 27982225408 53897 33554432000 4194304 4196468 140733108889264 140485091911152 140487441737429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20048] ppid=20032 vsize=27326392 memory=0 CPUtime=0 cores=0-7
/proc/20035/task/20048/stat : 20048 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235444297 27982225408 53897 33554432000 4194304 4196468 140733108889264 140484717402832 140487441745819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20049] ppid=20032 vsize=27326392 memory=0 CPUtime=0.15 cores=0-7
/proc/20035/task/20049/stat : 20049 (java) S 20032 20032 18626 0 -1 1077944384 603 0 0 0 15 0 0 0 20 0 20 0 235444297 27982225408 53897 33554432000 4194304 4196468 140733108889264 140485558515696 140487441738370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20050] ppid=20032 vsize=27326392 memory=0 CPUtime=0.22 cores=0-7
/proc/20035/task/20050/stat : 20050 (java) R 20032 20032 18626 0 -1 4202560 360 0 0 0 21 1 0 0 20 0 20 0 235444297 27982225408 53897 33554432000 4194304 4196468 140733108889264 140485557463152 140487441748570 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20051] ppid=20032 vsize=27326392 memory=0 CPUtime=0.28 cores=0-7
/proc/20035/task/20051/stat : 20051 (java) S 20032 20032 18626 0 -1 1077944384 684 0 0 0 28 0 0 0 20 0 20 0 235444297 27982225408 53897 33554432000 4194304 4196468 140733108889264 140485556410608 140487441738370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20052] ppid=20032 vsize=27326392 memory=6943526294502006880 CPUtime=0.68 cores=0-7
/proc/20035/task/20052/stat : 20052 (java) R 20032 20032 18626 0 -1 4202560 2616 0 0 0 67 1 0 0 20 0 20 0 235444297 27982225408 53897 33554432000 4194304 4196468 140733108889264 140485555358064 140487441748570 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20053] ppid=20032 vsize=27326392 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/20035/task/20053/stat : 20053 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444297 27982225408 53897 33554432000 4194304 4196468 140733108889264 140484219497184 140487441737429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
[pid=20035/tid=20054] ppid=20032 vsize=27326392 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/20035/task/20054/stat : 20054 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235444297 27982225408 53897 33554432000 4194304 4196468 140733108889264 140485554305968 140487441738370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21942272 140733108892648 140733108892973 140733108892973 140733108895695 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 27439520 KiB
Current children cumulated memory: 216984 KiB

[startup+3.11166 s]
/proc/loadavg: 7.33 8.23 8.33 9/217 20088
/proc/meminfo: memFree=17619268/32770624 swapFree=67108860/67108860
[pid=20032] ppid=20029 vsize=113128 memory=1472 CPUtime=4.4 cores=0-7
/proc/20032/stat : 20032 (scop.sh) S 20029 20032 18626 0 -1 4202496 589 26011 0 0 0 0 426 14 20 0 1 0 235444289 115843072 368 33554432000 4194304 5098028 140730169024784 140730169021528 139645817086588 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30834688 140730169029666 140730169029891 140730169029891 140730169032653 0
/proc/20032/statm: 28282 368 311 221 0 87 0
[pid=20055] ppid=20032 vsize=8413904 memory=117448 CPUtime=1.14 cores=0-7
/proc/20055/stat : 20055 (java) S 20032 20032 18626 0 -1 1077944320 18093 0 0 0 109 5 0 0 20 0 24 0 235444483 8615837696 29362 33554432000 4194304 4196468 140727273069680 140727273052224 140296716467959 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
/proc/20055/statm: 2103476 29362 3148 1 0 2064875 0
[pid=20075] ppid=20055 vsize=624964 memory=56984 CPUtime=3.13 cores=0-7
/proc/20075/stat : 20075 (glucose-syrup) S 20055 20032 18626 0 -1 1077944320 14555 0 0 0 310 3 0 0 20 0 9 0 235444557 639963136 14246 33554432000 4194304 4373367 140735349150336 140735349148880 139994736941698 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
/proc/20075/statm: 156241 14246 380 44 0 151929 0
[pid=20075/tid=20081] ppid=20055 vsize=624964 memory=3303 CPUtime=0.39 cores=0-7
/proc/20075/task/20081/stat : 20081 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1332 0 0 0 39 0 0 0 20 0 9 0 235444559 639963136 14246 33554432000 4194304 4373367 140735349150336 139994721713296 139994736951898 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20075/tid=20082] ppid=20055 vsize=624964 memory=24059 CPUtime=0.4 cores=0-7
/proc/20075/task/20082/stat : 20082 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1474 0 0 0 40 0 0 0 20 0 9 0 235444559 639963136 14246 33554432000 4194304 4373367 140735349150336 139994713320720 139994736951898 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20075/tid=20083] ppid=20055 vsize=624964 memory=117448 CPUtime=0.35 cores=0-7
/proc/20075/task/20083/stat : 20083 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1088 0 0 0 35 0 0 0 20 0 9 0 235444559 639963136 14246 33554432000 4194304 4373367 140735349150336 139994704928112 4291498 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20075/tid=20084] ppid=20055 vsize=624964 memory=1472 CPUtime=0.36 cores=0-7
/proc/20075/task/20084/stat : 20084 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1414 0 0 0 36 0 0 0 20 0 9 0 235444559 639963136 14246 33554432000 4194304 4373367 140735349150336 139994696535240 4296037 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20075/tid=20085] ppid=20055 vsize=624964 memory=98432 CPUtime=0.39 cores=0-7
/proc/20075/task/20085/stat : 20085 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1410 0 0 0 39 0 0 0 20 0 9 0 235444559 639963136 14246 33554432000 4194304 4373367 140735349150336 139994688142608 139994736951898 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20075/tid=20086] ppid=20055 vsize=624964 memory=0 CPUtime=0.39 cores=0-7
/proc/20075/task/20086/stat : 20086 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1464 0 0 0 38 1 0 0 20 0 9 0 235444559 639963136 14246 33554432000 4194304 4373367 140735349150336 139994679749904 4234607 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20075/tid=20087] ppid=20055 vsize=624964 memory=0 CPUtime=0.38 cores=0-7
/proc/20075/task/20087/stat : 20087 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1712 0 0 0 38 0 0 0 20 0 9 0 235444559 639963136 14246 33554432000 4194304 4373367 140735349150336 139994671357072 4296037 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20075/tid=20088] ppid=20055 vsize=624964 memory=1396 CPUtime=0.39 cores=0-7
/proc/20075/task/20088/stat : 20088 (glucose-syrup) R 20055 20032 18626 0 -1 4202560 1509 0 0 0 39 0 0 0 20 0 9 0 235444560 639963136 14246 33554432000 4194304 4373367 140735349150336 139994324790416 4271904 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 13545472 140735349158992 140735349159124 140735349159124 140735349161927 0
[pid=20055/tid=20056] ppid=20032 vsize=8413904 memory=174024 CPUtime=0.75 cores=0-7
/proc/20055/task/20056/stat : 20056 (java) S 20032 20032 18626 0 -1 1077944384 15141 0 0 0 72 3 0 0 20 0 24 0 235444484 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296688308112 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20057] ppid=20032 vsize=8413904 memory=10784 CPUtime=0 cores=0-7
/proc/20055/task/20057/stat : 20057 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296720709904 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20058] ppid=20032 vsize=8413904 memory=872 CPUtime=0 cores=0-7
/proc/20055/task/20058/stat : 20058 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296520878480 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20059] ppid=20032 vsize=8413904 memory=4280 CPUtime=0 cores=0-7
/proc/20055/task/20059/stat : 20059 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296519825936 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20060] ppid=20032 vsize=8413904 memory=14888 CPUtime=0 cores=0-7
/proc/20055/task/20060/stat : 20060 (java) S 20032 20032 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296518773392 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20061] ppid=20032 vsize=8413904 memory=35364 CPUtime=0 cores=0-7
/proc/20055/task/20061/stat : 20061 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296517720848 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20062] ppid=20032 vsize=8413904 memory=15932 CPUtime=0 cores=0-7
/proc/20055/task/20062/stat : 20062 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296197237648 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20063] ppid=20032 vsize=8413904 memory=3332 CPUtime=0 cores=0-7
/proc/20055/task/20063/stat : 20063 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296196185104 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20064] ppid=20032 vsize=8413904 memory=279279845990288 CPUtime=0 cores=0-7
/proc/20055/task/20064/stat : 20064 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235444485 8615837696 29362 33554432000 4194304 4196468 140727273069680 140296195132560 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20065] ppid=20032 vsize=8413904 memory=279279845769456 CPUtime=0 cores=0-7
/proc/20055/task/20065/stat : 20065 (java) S 20032 20032 18626 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 235444487 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295877048304 140296716479106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20066] ppid=20032 vsize=8413904 memory=279279845772688 CPUtime=0 cores=0-7
/proc/20055/task/20066/stat : 20066 (java) S 20032 20032 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 235444487 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295240934304 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20067] ppid=20032 vsize=8413904 memory=279279845772560 CPUtime=0 cores=0-7
/proc/20055/task/20067/stat : 20067 (java) S 20032 20032 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 235444487 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295106712560 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20068] ppid=20032 vsize=8413904 memory=279279846022336 CPUtime=0 cores=0-7
/proc/20055/task/20068/stat : 20068 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444490 8615837696 29362 33554432000 4194304 4196468 140727273069680 140294732208336 140296716486555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20069] ppid=20032 vsize=8413904 memory=6656426216303648864 CPUtime=0.08 cores=0-7
/proc/20055/task/20069/stat : 20069 (java) S 20032 20032 18626 0 -1 1077944384 701 0 0 0 8 0 0 0 20 0 24 0 235444490 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295875996144 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20070] ppid=20032 vsize=8413904 memory=0 CPUtime=0.03 cores=0-7
/proc/20055/task/20070/stat : 20070 (java) S 20032 20032 18626 0 -1 1077944384 67 0 0 0 3 0 0 0 20 0 24 0 235444490 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295874943600 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20071] ppid=20032 vsize=8413904 memory=825241649 CPUtime=0.05 cores=0-7
/proc/20055/task/20071/stat : 20071 (java) S 20032 20032 18626 0 -1 1077944384 178 0 0 0 5 0 0 0 20 0 24 0 235444490 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295873891056 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20072] ppid=20032 vsize=8413904 memory=0 CPUtime=0.19 cores=0-7
/proc/20055/task/20072/stat : 20072 (java) S 20032 20032 18626 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 24 0 235444490 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295872838512 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20073] ppid=20032 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/20055/task/20073/stat : 20073 (java) S 20032 20032 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235444490 8615837696 29362 33554432000 4194304 4196468 140727273069680 140294234302688 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20074] ppid=20032 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/20055/task/20074/stat : 20074 (java) S 20032 20032 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235444490 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295871785392 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20076] ppid=20032 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/20055/task/20076/stat : 20076 (java) S 20032 20032 18626 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 235444557 8615837696 29362 33554432000 4194304 4196468 140727273069680 140295863977152 140296716492569 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20078] ppid=20032 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/20055/task/20078/stat : 20078 (java) S 20032 20032 18626 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 235444557 8615837696 29362 33554432000 4194304 4196468 140727273069680 140293563203344 140296716489885 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20079] ppid=20032 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/20055/task/20079/stat : 20079 (java) S 20032 20032 18626 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 235444557 8615837696 29362 33554432000 4194304 4196468 140727273069680 140293831638928 140296716489885 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20080] ppid=20032 vsize=8413904 memory=7681905605394137914 CPUtime=0 cores=0-7
/proc/20055/task/20080/stat : 20080 (java) S 20032 20032 18626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 235444559 8615837696 29362 33554432000 4194304 4196468 140727273069680 140293294775968 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 9151996 KiB
Current children cumulated memory: 175904 KiB

[startup+3.22166 s]
# the end of solver process 20032 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.73955 s, system=0.264836 s

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

[startup+3.20169 s]
/proc/loadavg: 7.33 8.23 8.33 9/217 20088
/proc/meminfo: memFree=17619268/32770624 swapFree=67108860/67108860
[pid=20032] ppid=20029 vsize=113128 memory=1472 CPUtime=4.4 cores=0-7
/proc/20032/stat : 20032 (scop.sh) S 20029 20032 18626 0 -1 4202496 589 26011 0 0 0 0 426 14 20 0 1 0 235444289 115843072 368 33554432000 4194304 5098028 140730169024784 140730169021528 139645817086588 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30834688 140730169029666 140730169029891 140730169029891 140730169032653 0
/proc/20032/statm: 28282 368 311 221 0 87 0
[pid=20055] ppid=20032 vsize=8282828 memory=121040 CPUtime=4.54 cores=0-7
/proc/20055/stat : 20055 (java) S 20032 20032 18626 0 -1 1077944320 18460 15239 0 0 121 5 324 4 20 0 22 0 235444483 8481615872 30260 33554432000 4194304 4196468 140727273069680 140727273052224 140296716467959 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
/proc/20055/statm: 2070707 30260 3152 1 0 2032106 0
[pid=20055/tid=20056] ppid=20032 vsize=8282828 memory=0 CPUtime=4.08 cores=0-7
/proc/20055/task/20056/stat : 20056 (java) R 20032 20032 18626 0 -1 4202560 15357 15239 0 0 77 3 324 4 20 0 22 0 235444484 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296688305968 140296716479894 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20057] ppid=20032 vsize=8282828 memory=0 CPUtime=3.28 cores=0-7
/proc/20055/task/20057/stat : 20057 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296720709904 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20058] ppid=20032 vsize=8282828 memory=0 CPUtime=3.28 cores=0-7
/proc/20055/task/20058/stat : 20058 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296520878480 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20059] ppid=20032 vsize=8282828 memory=0 CPUtime=3.28 cores=0-7
/proc/20055/task/20059/stat : 20059 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296519825936 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20060] ppid=20032 vsize=8282828 memory=0 CPUtime=3.28 cores=0-7
/proc/20055/task/20060/stat : 20060 (java) S 20032 20032 18626 0 -1 1077944384 2 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296518773392 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20061] ppid=20032 vsize=8282828 memory=3332 CPUtime=3.28 cores=0-7
/proc/20055/task/20061/stat : 20061 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296517720848 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20062] ppid=20032 vsize=8282828 memory=1732 CPUtime=3.28 cores=0-7
/proc/20055/task/20062/stat : 20062 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296197237648 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20063] ppid=20032 vsize=8282828 memory=1172 CPUtime=3.28 cores=0-7
/proc/20055/task/20063/stat : 20063 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296196185104 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20064] ppid=20032 vsize=8282828 memory=500 CPUtime=3.28 cores=0-7
/proc/20055/task/20064/stat : 20064 (java) S 20032 20032 18626 0 -1 1077944384 3 15239 0 0 0 0 324 4 20 0 22 0 235444485 8481615872 30260 33554432000 4194304 4196468 140727273069680 140296195132560 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20065] ppid=20032 vsize=8282828 memory=928 CPUtime=3.28 cores=0-7
/proc/20055/task/20065/stat : 20065 (java) S 20032 20032 18626 0 -1 1077944384 6 15239 0 0 0 0 324 4 20 0 22 0 235444487 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295877048304 140296716479106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20066] ppid=20032 vsize=8282828 memory=2336 CPUtime=3.28 cores=0-7
/proc/20055/task/20066/stat : 20066 (java) S 20032 20032 18626 0 -1 1077944384 13 15239 0 0 0 0 324 4 20 0 22 0 235444487 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295240934304 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20067] ppid=20032 vsize=8282828 memory=1580 CPUtime=3.28 cores=0-7
/proc/20055/task/20067/stat : 20067 (java) S 20032 20032 18626 0 -1 1077944384 21 15239 0 0 0 0 324 4 20 0 22 0 235444487 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295106712560 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20068] ppid=20032 vsize=8282828 memory=924 CPUtime=3.28 cores=0-7
/proc/20055/task/20068/stat : 20068 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444490 8481615872 30260 33554432000 4194304 4196468 140727273069680 140294732208336 140296716486555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20069] ppid=20032 vsize=8282828 memory=2188 CPUtime=3.36 cores=0-7
/proc/20055/task/20069/stat : 20069 (java) S 20032 20032 18626 0 -1 1077944384 706 15239 0 0 8 0 324 4 20 0 22 0 235444490 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295875996144 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20070] ppid=20032 vsize=8282828 memory=3984 CPUtime=3.31 cores=0-7
/proc/20055/task/20070/stat : 20070 (java) S 20032 20032 18626 0 -1 1077944384 70 15239 0 0 3 0 324 4 20 0 22 0 235444490 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295874943600 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20071] ppid=20032 vsize=8282828 memory=2024 CPUtime=3.34 cores=0-7
/proc/20055/task/20071/stat : 20071 (java) S 20032 20032 18626 0 -1 1077944384 183 15239 0 0 6 0 324 4 20 0 22 0 235444490 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295873891056 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20072] ppid=20032 vsize=8282828 memory=7288 CPUtime=3.5 cores=0-7
/proc/20055/task/20072/stat : 20072 (java) R 20032 20032 18626 0 -1 4202560 688 15239 0 0 22 0 324 4 20 0 22 0 235444490 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295872838512 140296709567659 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20073] ppid=20032 vsize=8282828 memory=804 CPUtime=3.28 cores=0-7
/proc/20055/task/20073/stat : 20073 (java) S 20032 20032 18626 0 -1 1077944384 3 15239 0 0 0 0 324 4 20 0 22 0 235444490 8481615872 30260 33554432000 4194304 4196468 140727273069680 140294234302688 140296716478165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20074] ppid=20032 vsize=8282828 memory=1800 CPUtime=3.28 cores=0-7
/proc/20055/task/20074/stat : 20074 (java) S 20032 20032 18626 0 -1 1077944384 1 15239 0 0 0 0 324 4 20 0 22 0 235444490 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295871785392 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20076] ppid=20032 vsize=8282828 memory=916 CPUtime=3.28 cores=0-7
/proc/20055/task/20076/stat : 20076 (java) S 20032 20032 18626 0 -1 1077944384 24 15239 0 0 0 0 324 4 20 0 22 0 235444557 8481615872 30260 33554432000 4194304 4196468 140727273069680 140295863976336 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
[pid=20055/tid=20080] ppid=20032 vsize=8282828 memory=3472328296227679313 CPUtime=3.28 cores=0-7
/proc/20055/task/20080/stat : 20080 (java) S 20032 20032 18626 0 -1 1077944384 8 15239 0 0 0 0 324 4 20 0 22 0 235444559 8481615872 30260 33554432000 4194304 4196468 140727273069680 140293294777776 140296716479106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31744000 140727273071793 140727273071917 140727273071917 140727273074639 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 122512 KiB

Child status: 0
Real time (s): 3.22171
CPU time (s): 9.00439
CPU user time (s): 8.73955
CPU system time (s): 0.264836
CPU usage (%): 279.491
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 277136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.73955
system time used= 0.264836
maximum resident set size= 280644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10175
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 20032
#   total CPU time (s): 9.00439
#   total CPU user time (s): 8.73955
#   total CPU system time (s): 0.264836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050264 second user time and 0.077396 second system time

The end

Launcher Data

Begin job on node132 at 2018-08-13 18:46:51
IDJOB=4307200
IDBENCH=141123
IDSOLVER=2788
FILE ID=node132/4307200-1534178811
RUNJOBID= node132-1534168708-18653
PBS_JOBID= 21037974
Free space on /tmp= 38332 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/StripPacking/StripPacking-C1P3_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-4307200-1534178811/watcher-4307200-1534178811 -o /tmp/evaluation-result-4307200-1534178811/solver-4307200-1534178811 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534168708-18653 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307200-1534178811.xml

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

MD5SUM BENCH= 5b4e243b65627c7fc71624f53298a6f9
RANDOM SEED=937272220

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:        17769196 kB
MemAvailable:   31902552 kB
Buffers:          260636 kB
Cached:         13985008 kB
SwapCached:            0 kB
Active:          7025384 kB
Inactive:        7274428 kB
Active(anon):       3904 kB
Inactive(anon):   102816 kB
Active(file):    7021480 kB
Inactive(file):  7171612 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8612 kB
Writeback:             0 kB
AnonPages:         81208 kB
Mapped:            55812 kB
Shmem:             49824 kB
Slab:             396748 kB
SReclaimable:     368724 kB
SUnreclaim:        28024 kB
KernelStack:        3616 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 38324 MiB
End job on node132 at 2018-08-13 18:46:55