Trace number 4307157

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 8.66063 3.22761

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K02-P09_c18.xml
MD5SUM7d3eec938755fdf0eb3fdb8654f4a439
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 benchmark1.861
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of constraints27
Number of domains2
Minimum domain size25
Maximum domain size26
Distribution of domain sizes[{"size":25,"count":25},{"size":26,"count":18}]
Minimum variable degree0
Maximum variable degree4
Distribution of variable degrees[{"degree":0,"count":27},{"degree":2,"count":25},{"degree":3,"count":4},{"degree":4,"count":14}]
Minimum constraint arity3
Maximum constraint arity25
Distribution of constraint arities[{"arity":3,"count":25},{"arity":18,"count":1},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":2}]
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-28579-serial-file.bin HOME/instance-4307157-1534182034.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.57	c BEGIN-Prog: Mon Aug 13 19:40:35 CEST 2018
0.65/0.57	c PID: 28582
0.65/0.57	c IP: 172.20.3.104
0.65/0.57	c HOST: node104.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.16/0.87	c (0,0) Parsing End
1.16/0.88	c (0,0) CSP: 43 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) Constraint Name Generate Begin
1.16/0.88	c (0,0) Ctr:HOME/instance-4307157-1534182034.xml,AllDifferent:Dist:Eq:IntVar
1.16/0.88	c (0,0) Constraint Name Generate End
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) CSP to CSPinCNF Begin
1.36/0.98	c (0,0) translated 3 (10%) constraints
1.36/1.00	c (0,0) translated 6 (20%) constraints
1.55/1.01	c (0,0) translated 9 (30%) constraints
1.55/1.01	c (0,0) translated 11 (40%) constraints
1.55/1.02	c (0,0) translated 14 (50%) constraints
1.55/1.03	c (0,0) translated 17 (60%) constraints
1.55/1.04	c (0,0) translated 19 (70%) constraints
1.55/1.05	c (0,0) translated 22 (80%) constraints
1.55/1.05	c (0,0) translated 25 (90%) constraints
1.77/1.11	c (0,0) translated 27 (100%) constraints
2.09/1.28	c (0,0) STATISTICS1:HOME/instance-4307157-1534182034.xml,AllDifferent:Dist:Eq:IntVar,43,532,650,26,25,3,650:100;26:153;25:300,26:542;25:750,25:2;18:2;2:478;1:50,3:100;2:453;1:86,
2.09/1.28	c (0,0) ==========================================
2.09/1.28	c (0,0) Order
2.09/1.28	c (0,0) ==========================================
2.09/1.30	c (0,0) translated 54 (10%) constraints
2.35/1.31	c (0,0) translated 107 (20%) constraints
2.35/1.32	c (0,0) translated 160 (30%) constraints
2.35/1.33	c (0,0) translated 213 (40%) constraints
2.35/1.33	c (0,0) translated 266 (50%) constraints
2.35/1.34	c (0,0) translated 320 (60%) constraints
2.35/1.35	c (0,0) translated 373 (70%) constraints
2.35/1.36	c (0,0) translated 426 (80%) constraints
2.35/1.36	c (0,0) translated 479 (90%) constraints
2.35/1.37	c (0,0) translated 532 (100%) constraints
2.35/1.37	c (0,0) CSP to CSPinCNF End
2.35/1.37	c (0,0) CSP: 43 int (0 aux), 0 bool (0 aux), 532 ctr, max domain size 26
2.35/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.35/1.37	c (0,0) CSPinCNF Propagation Begin
2.65/1.40	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.65/1.40	c (0,0) CSPinCNF Propagation End
2.65/1.40	c (0,0) CSP: 43 int (0 aux), 0 bool (0 aux), 532 ctr, max domain size 26
2.65/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.65/1.40	c (0,0) Simplify CSPinCNF Begin
2.65/1.50	c (0,0) Simplify CSPinCNF End
2.94/1.50	c (0,0) CSP: 43 int (0 aux), 956 bool (956 aux), 1488 ctr, max domain size 26
2.94/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.94/1.50	c (0,0) Calculate Precise Domain Begin
2.94/1.50	c (0,0) 0 values are removed by re-calculation
2.94/1.50	c (0,0) Calculate Precise Domain End
2.94/1.50	c (0,0) CSP: 43 int (0 aux), 956 bool (956 aux), 1488 ctr, max domain size 26
2.94/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.94/1.50	c (0,0) CSPinCNF to SatSolver Begin
3.73/1.76	c (1,1) 149 (10 %) CSP clauses are encoded (2006 SAT variables, 33930 SAT clauses)
3.73/1.77	c (1,1) 298 (20 %) CSP clauses are encoded (2006 SAT variables, 36554 SAT clauses)
3.73/1.79	c (1,1) 447 (30 %) CSP clauses are encoded (2006 SAT variables, 39203 SAT clauses)
4.14/1.80	c (1,1) 596 (40 %) CSP clauses are encoded (2006 SAT variables, 41796 SAT clauses)
4.14/1.82	c (1,1) 744 (50 %) CSP clauses are encoded (2006 SAT variables, 44296 SAT clauses)
4.14/1.83	c (1,1) 893 (60 %) CSP clauses are encoded (2006 SAT variables, 46845 SAT clauses)
4.14/1.84	c (1,1) 1042 (70 %) CSP clauses are encoded (2006 SAT variables, 49370 SAT clauses)
4.14/1.86	c (1,1) 1191 (80 %) CSP clauses are encoded (2006 SAT variables, 51895 SAT clauses)
4.14/1.87	c (1,1) 1340 (90 %) CSP clauses are encoded (2006 SAT variables, 54444 SAT clauses)
4.14/1.88	c (1,1) 1488 (100 %) CSP clauses are encoded (2006 SAT variables, 56944 SAT clauses)
4.14/1.88	c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
4.14/1.88	c (1,1) CSPinCNF to SatSolver End
4.14/1.88	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.52/1.91	c (1,1) STATISTICS2:HOME/instance-4307157-1534182034.xml,AllDifferent:Dist:Eq:IntVar,999,1488,650,26,25,3,650:100;26:306;25:600,26:848;25:1350;2:1912,25:2;18:2;2:1434;1:50,3:100;2:906;1:1998,
4.52/1.91	c (1,1) 2006 bool, 56945 clause
4.52/1.91	c (1,1) Export Begin
4.52/1.99	c (1,1) Export to HOME/scop-28579-serial-file.bin
4.52/1.99	c (1,1) Export End
4.52/1.99	c (1,1) Export File Size: 0.01 MB
4.52/1.99	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.52/1.99	c END-Prog: Mon Aug 13 19:40:36 CEST 2018
4.52/2.00	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-28579-serial-file.bin
4.80/2.49	c (0,0) Read Serial File Begin
4.80/2.49	c (0,0) HOME/scop-28579-serial-file.bin
4.80/2.64	c (0,0) Read Serial File End
4.80/2.65	
4.80/2.65	scop order+glucose-syrup (2018-07-31)
4.80/2.65	(Solving Process)
4.80/2.65	
4.80/2.68	c BEGIN-Prog: Mon Aug 13 19:40:37 CEST 2018
4.80/2.68	c PID: 28602
4.80/2.68	c IP: 172.20.3.104
4.80/2.68	c HOST: node104.alineos.net
4.80/2.69	c (0,0) SatSolver.solve Begin
4.80/2.69	c (0,0) 0 bool, 0 clause
4.80/2.69	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307157-1534182034.xml-scop-28582.cnf
8.36/3.12	c (0,0) c
8.36/3.12	c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
8.36/3.12	c (0,0) c
8.36/3.12	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.36/3.12	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.36/3.12	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.36/3.12	c (0,0) c |                                                                                                       |
8.36/3.12	c (0,0) c |  Number of variables:          2006                                                                   |
8.36/3.12	c (0,0) c |  Number of clauses:           56945                                                                   |
8.36/3.12	c (0,0) c |  Parse time:                   0.01 s                                                                 |
8.36/3.12	c (0,0) c |                                                                                                       |
8.36/3.12	c (0,0) c |  Eliminated clauses:           0.01 Mb                                                                |
8.36/3.12	c (0,0) c |  Simplification time:          0.06 s                                                                 |
8.36/3.12	c (0,0) c |                                                                                                       |
8.36/3.12	c (0,0) c |  Generating clones                                                                                    |
8.36/3.12	c (0,0) c |  all clones generated. Memory =  52.07Mb.                                                             |
8.36/3.12	c (0,0) c ========================================================================================================|
8.36/3.12	c (0,0) c last restart ## conflicts  :  143 27 
8.36/3.12	c (0,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
8.36/3.12	c (0,0) c Total Memory so far : 648.84Mb
8.36/3.12	c (0,0) c
8.36/3.12	c (0,0) c real time : 0.41054 s
8.36/3.12	c (0,0) c cpu time  : 2.56353 s
8.36/3.12	c (0,0) c
8.36/3.12	c (0,0) c
8.36/3.12	c (0,0) c
8.36/3.12	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
8.36/3.12	c (0,0) c
8.36/3.12	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.36/3.12	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.36/3.12	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.36/3.12	c (0,0) c | Conflicts     |           43710 |       6113 |       5146 |       5196 |       5366 |       5029 |       5721 |       5444 |       5695 |
8.36/3.12	c (0,0) c | Decisions     |           69419 |       8474 |       8427 |       8362 |       9148 |       8257 |       8768 |       9292 |       8691 |
8.36/3.12	c (0,0) c | Propagations  |         8001519 |     993635 |     989040 |    1024238 |     990122 |     946759 |    1032047 |    1000238 |    1025440 |
8.36/3.12	c (0,0) c | Avg_Trail     |                 |       1261 |       1117 |       1124 |       1152 |       1147 |       1218 |       1151 |       1220 |
8.36/3.12	c (0,0) c | Avg_DL        |                 |         28 |         31 |         33 |         30 |         32 |         29 |         31 |         29 |
8.36/3.12	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.36/3.12	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.36/3.12	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.36/3.12	c (0,0) c | Exported      |            1171 |        250 |        111 |        109 |        144 |         64 |        170 |        158 |        165 |
8.36/3.12	c (0,0) c | Imported      |            6176 |        425 |        399 |        837 |        893 |       1013 |        816 |        946 |        847 |
8.36/3.12	c (0,0) c | Good          |             425 |         55 |         44 |         51 |         47 |         57 |         60 |         50 |         61 |
8.36/3.12	c (0,0) c | Purge         |            5751 |        370 |        355 |        786 |        846 |        956 |        756 |        896 |        786 |
8.36/3.12	c (0,0) c | Promoted      |              28 |          2 |          4 |          6 |          5 |          3 |          3 |          3 |          2 |
8.36/3.12	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.36/3.12	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.36/3.12	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.36/3.12	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
8.36/3.12	c (0,0) c | Binaries      |                 |          0 |          8 |         12 |         17 |          7 |          3 |         14 |          3 |
8.36/3.13	c (0,0) c | Glues         |                 |         47 |         71 |         66 |         83 |         58 |         54 |         84 |         54 |
8.36/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.36/3.13	c (0,0) c | Orig_Seen     |            45 % |      23526 |      26640 |      24902 |      28177 |      27741 |      24684 |      27966 |      24565 |
8.36/3.13	c (0,0) c | Diff Orig seen|                 | -     4651 | -     1537 | -     3275 |      X     | -      436 | -     3493 | -      211 | -     3612 |
8.36/3.13	c (0,0) c | Hamming       |            28 % |        533 |        557 |        683 |      X     |        541 |        596 |        519 |        539 |
8.36/3.13	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.36/3.13	c (0,0) 
8.36/3.13	c (0,0) s SATISFIABLE
8.36/3.15	c (0,0) SatSolver.solve End
8.36/3.15	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
8.36/3.15	c (0,0) Show results Begin
8.60/3.21	s SATISFIABLE
8.60/3.22	v <instantiation>
8.60/3.22	v     <list>cn[0][0] cn[0][1] cn[1][0] cn[1][1] cn[2][0] cn[2][1] cn[3][0] cn[3][1] cn[4][0] cn[4][1] cn[5][0] cn[5][1] cn[6][0] cn[6][1] cn[7][0] cn[7][1] cn[8][0] cn[8][1] ce[0][0][1] ce[1][0][1] ce[2][0][1] ce[3][0][1] ce[4][0][1] ce[5][0][1] ce[6][0][1] ce[7][0][1] ce[8][0][1] cie[0][0] cie[0][1] cie[1][0] cie[1][1] cie[2][0] cie[2][1] cie[3][0] cie[3][1] cie[4][0] cie[4][1] cie[5][0] cie[5][1] cie[6][0] cie[6][1] cie[7][0] cie[7][1]</list>
8.60/3.22	v     <values>20 7 1 21 16 10 9 14 8 6 5 22 23 13 2 25 24 0 13 20 6 5 2 17 10 23 24 19 14 15 11 7 4 1 8 3 16 18 9 21 12 22 25</values>
8.60/3.22	v </instantiation>
8.60/3.22	c (0,0) Show results End
8.60/3.22	c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
8.60/3.22	c (0,0) 0,0,STOP-AFTER(ALL)
8.60/3.22	c END-Prog: Mon Aug 13 19:40:37 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 (6308 MiB free)
  memory of node 1: 16384 MiB (8848 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100177 s]*
/proc/loadavg: 8.41 8.59 8.42 3/201 28601
/proc/meminfo: memFree=15427572/32770624 swapFree=67108504/67108860
[pid=28579] ppid=28576 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28579/stat : 28579 (scop.sh) S 28576 28579 27980 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 235766587 115843072 348 33554432000 4194304 5098028 140732182945776 140732182943032 139804354830972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20500480 140732182946850 140732182947075 140732182947075 140732182949837 0
/proc/28579/statm: 28282 348 296 221 0 87 0
[pid=28582] ppid=28579 vsize=27313900 memory=109428 CPUtime=0.11 cores=0-7
/proc/28582/stat : 28582 (java) S 28579 28579 27980 0 -1 1077944320 6309 0 0 0 8 3 0 0 20 0 20 0 235766588 27969433600 27357 33554432000 4194304 4196468 140722951619952 140722951602496 140233960455927 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
/proc/28582/statm: 6828475 27357 2739 1 0 6790935 0
[pid=28582/tid=28583] ppid=28579 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28582/task/28583/stat : 28583 (java) R 28579 28579 27980 0 -1 4202560 4460 0 0 0 6 2 0 0 20 0 20 0 235766588 27969433600 27422 33554432000 4194304 4196468 140722951619952 140233932282256 140233944536414 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28584] ppid=28579 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28582/task/28584/stat : 28584 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27422 33554432000 4194304 4196468 140722951619952 140233964698000 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28585] ppid=28579 vsize=27313900 memory=140025223849600 CPUtime=0 cores=0-7
/proc/28582/task/28585/stat : 28585 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27422 33554432000 4194304 4196468 140722951619952 140233778854160 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28586] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28586/stat : 28586 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27422 33554432000 4194304 4196468 140722951619952 140233777801872 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28587] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28587/stat : 28587 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27422 33554432000 4194304 4196468 140722951619952 140233776749072 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28588] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28588/stat : 28588 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27422 33554432000 4194304 4196468 140722951619952 140233775696784 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28589] ppid=28579 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/28582/task/28589/stat : 28589 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27422 33554432000 4194304 4196468 140722951619952 140233774643984 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28590] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28590/stat : 28590 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27432 33554432000 4194304 4196468 140722951619952 140233773591696 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28591] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28591/stat : 28591 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 27432 33554432000 4194304 4196468 140722951619952 140233772538896 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28592] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28592/stat : 28592 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235766592 27969433600 27432 33554432000 4194304 4196468 140722951619952 140232011753584 140233960467074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28593] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28593/stat : 28593 (java) S 28579 28579 27980 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235766592 27969433600 27432 33554432000 4194304 4196468 140722951619952 140231890166560 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28594] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28594/stat : 28594 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766593 27969433600 27432 33554432000 4194304 4196468 140722951619952 140231621731440 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28595] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28595/stat : 28595 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 27432 33554432000 4194304 4196468 140722951619952 140231247222864 140233960474523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28596] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28596/stat : 28596 (java) S 28579 28579 27980 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 27432 33554432000 4194304 4196468 140722951619952 140232010701424 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28597] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28597/stat : 28597 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 27432 33554432000 4194304 4196468 140722951619952 140232009648624 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28598] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28598/stat : 28598 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 27432 33554432000 4194304 4196468 140722951619952 140232008596336 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28599] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28599/stat : 28599 (java) S 28579 28579 27980 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 27432 33554432000 4194304 4196468 140722951619952 140232007543536 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28600] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28600/stat : 28600 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 27432 33554432000 4194304 4196468 140722951619952 140230749317472 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28601] ppid=28579 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/28582/task/28601/stat : 28601 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766596 27969433600 27432 33554432000 4194304 4196468 140722951619952 140232006490416 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110820 KiB

[startup+0.20981 s]*
/proc/loadavg: 8.41 8.59 8.42 2/201 28601
/proc/meminfo: memFree=15409028/32770624 swapFree=67108504/67108860
[pid=28579] ppid=28576 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28579/stat : 28579 (scop.sh) S 28576 28579 27980 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 235766587 115843072 348 33554432000 4194304 5098028 140732182945776 140732182943032 139804354830972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20500480 140732182946850 140732182947075 140732182947075 140732182949837 0
/proc/28579/statm: 28282 348 296 221 0 87 0
[pid=28582] ppid=28579 vsize=27313900 memory=124148 CPUtime=0.24 cores=0-7
/proc/28582/stat : 28582 (java) S 28579 28579 27980 0 -1 1077944320 10202 0 0 0 21 3 0 0 20 0 20 0 235766588 27969433600 31037 33554432000 4194304 4196468 140722951619952 140722951602496 140233960455927 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
/proc/28582/statm: 6828475 31037 2883 1 0 6790935 0
[pid=28582/tid=28583] ppid=28579 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28582/task/28583/stat : 28583 (java) R 28579 28579 27980 0 -1 4202560 8132 0 0 0 16 3 0 0 20 0 20 0 235766588 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233932264984 140233450745312 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28584] ppid=28579 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/28582/task/28584/stat : 28584 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233964698000 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28585] ppid=28579 vsize=27313900 memory=288370401375561344 CPUtime=0 cores=0-7
/proc/28582/task/28585/stat : 28585 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233778854160 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28586] ppid=28579 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/28582/task/28586/stat : 28586 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233777801872 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28587] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28587/stat : 28587 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233776749072 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28588] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28588/stat : 28588 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233775696784 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28589] ppid=28579 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/28582/task/28589/stat : 28589 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233774643984 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28590] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28590/stat : 28590 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233773591696 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28591] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28591/stat : 28591 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31037 33554432000 4194304 4196468 140722951619952 140233772538896 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28592] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28592/stat : 28592 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235766592 27969433600 31037 33554432000 4194304 4196468 140722951619952 140232011753584 140233960467074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28593] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28593/stat : 28593 (java) S 28579 28579 27980 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235766592 27969433600 31037 33554432000 4194304 4196468 140722951619952 140231890166560 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28594] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28594/stat : 28594 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766593 27969433600 31037 33554432000 4194304 4196468 140722951619952 140231621731440 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28595] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28595/stat : 28595 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 31037 33554432000 4194304 4196468 140722951619952 140231247222864 140233960474523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28596] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28596/stat : 28596 (java) S 28579 28579 27980 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 31037 33554432000 4194304 4196468 140722951619952 140232010701424 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28597] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28597/stat : 28597 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 31037 33554432000 4194304 4196468 140722951619952 140232009648624 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28598] ppid=28579 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/28582/task/28598/stat : 28598 (java) S 28579 28579 27980 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 31037 33554432000 4194304 4196468 140722951619952 140232008596336 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28599] ppid=28579 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/28582/task/28599/stat : 28599 (java) S 28579 28579 27980 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 235766595 27969433600 31037 33554432000 4194304 4196468 140722951619952 140232007543536 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28600] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28600/stat : 28600 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 31037 33554432000 4194304 4196468 140722951619952 140230749317472 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28601] ppid=28579 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/28582/task/28601/stat : 28601 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766596 27969433600 31037 33554432000 4194304 4196468 140722951619952 140232006490416 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125540 KiB

[startup+0.309377 s]*
/proc/loadavg: 8.41 8.59 8.42 2/201 28601
/proc/meminfo: memFree=15405708/32770624 swapFree=67108504/67108860
[pid=28579] ppid=28576 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28579/stat : 28579 (scop.sh) S 28576 28579 27980 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 235766587 115843072 348 33554432000 4194304 5098028 140732182945776 140732182943032 139804354830972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20500480 140732182946850 140732182947075 140732182947075 140732182949837 0
/proc/28579/statm: 28282 348 296 221 0 87 0
[pid=28582] ppid=28579 vsize=27313900 memory=127940 CPUtime=0.41 cores=0-7
/proc/28582/stat : 28582 (java) S 28579 28579 27980 0 -1 1077944320 10769 0 0 0 37 4 0 0 20 0 20 0 235766588 27969433600 31985 33554432000 4194304 4196468 140722951619952 140722951602496 140233960455927 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
/proc/28582/statm: 6828475 31985 2980 1 0 6790935 0
[pid=28582/tid=28583] ppid=28579 vsize=27313900 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/28582/task/28583/stat : 28583 (java) R 28579 28579 27980 0 -1 4202560 8514 0 0 0 25 3 0 0 20 0 20 0 235766588 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233932251376 140233960469809 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28584] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28584/stat : 28584 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233964698000 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28585] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28585/stat : 28585 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233778854160 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28586] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28586/stat : 28586 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233777801872 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28587] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28587/stat : 28587 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233776749072 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28588] ppid=28579 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/28582/task/28588/stat : 28588 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233775696784 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28589] ppid=28579 vsize=27313900 memory=140025060750255 CPUtime=0 cores=0-7
/proc/28582/task/28589/stat : 28589 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233774643984 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28590] ppid=28579 vsize=27313900 memory=140025060752560 CPUtime=0 cores=0-7
/proc/28582/task/28590/stat : 28590 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233773591696 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28591] ppid=28579 vsize=27313900 memory=140025060754864 CPUtime=0 cores=0-7
/proc/28582/task/28591/stat : 28591 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27969433600 31985 33554432000 4194304 4196468 140722951619952 140233772538896 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28592] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28592/stat : 28592 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235766592 27969433600 31985 33554432000 4194304 4196468 140722951619952 140232011753584 140233960467074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28593] ppid=28579 vsize=27313900 memory=280050121516688 CPUtime=0 cores=0-7
/proc/28582/task/28593/stat : 28593 (java) S 28579 28579 27980 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235766592 27969433600 31985 33554432000 4194304 4196468 140722951619952 140231890166560 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28594] ppid=28579 vsize=27313900 memory=280050121523600 CPUtime=0 cores=0-7
/proc/28582/task/28594/stat : 28594 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766593 27969433600 31985 33554432000 4194304 4196468 140722951619952 140231621731440 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28595] ppid=28579 vsize=27313900 memory=280050121464880 CPUtime=0 cores=0-7
/proc/28582/task/28595/stat : 28595 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 31985 33554432000 4194304 4196468 140722951619952 140231247222864 140233960474523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28596] ppid=28579 vsize=27313900 memory=280050121537424 CPUtime=0.01 cores=0-7
/proc/28582/task/28596/stat : 28596 (java) S 28579 28579 27980 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 235766595 27969433600 31985 33554432000 4194304 4196468 140722951619952 140232010701424 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28597] ppid=28579 vsize=27313900 memory=280050121544336 CPUtime=0.01 cores=0-7
/proc/28582/task/28597/stat : 28597 (java) S 28579 28579 27980 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 235766595 27969433600 31985 33554432000 4194304 4196468 140722951619952 140232009648624 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28598] ppid=28579 vsize=27313900 memory=280050121542032 CPUtime=0.01 cores=0-7
/proc/28582/task/28598/stat : 28598 (java) S 28579 28579 27980 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 235766595 27969433600 31985 33554432000 4194304 4196468 140722951619952 140232008596336 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28599] ppid=28579 vsize=27313900 memory=280050121558192 CPUtime=0.07 cores=0-7
/proc/28582/task/28599/stat : 28599 (java) S 28579 28579 27980 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 20 0 235766595 27969433600 31985 33554432000 4194304 4196468 140722951619952 140232007543536 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28600] ppid=28579 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28600/stat : 28600 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235766595 27969433600 31985 33554432000 4194304 4196468 140722951619952 140230749317472 140233960466133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28601] ppid=28579 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/28582/task/28601/stat : 28601 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766596 27969433600 31985 33554432000 4194304 4196468 140722951619952 140232006490416 140233960467074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129332 KiB

[startup+0.700924 s]
/proc/loadavg: 8.41 8.59 8.42 2/201 28601
/proc/meminfo: memFree=15380984/32770624 swapFree=67108504/67108860
[pid=28579] ppid=28576 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28579/stat : 28579 (scop.sh) S 28576 28579 27980 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 235766587 115843072 348 33554432000 4194304 5098028 140732182945776 140732182943032 139804354830972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20500480 140732182946850 140732182947075 140732182947075 140732182949837 0
/proc/28579/statm: 28282 348 296 221 0 87 0
[pid=28582] ppid=28579 vsize=27322296 memory=164896 CPUtime=0.98 cores=0-7
/proc/28582/stat : 28582 (java) S 28579 28579 27980 0 -1 1077944320 17722 0 0 0 91 7 0 0 20 0 20 0 235766588 27978031104 41224 33554432000 4194304 4196468 140722951619952 140722951602496 140233960455927 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
/proc/28582/statm: 6830574 41224 3146 1 0 6791959 0
[pid=28582/tid=28583] ppid=28579 vsize=27322296 memory=280050121916080 CPUtime=0.65 cores=0-7
/proc/28582/task/28583/stat : 28583 (java) R 28579 28579 27980 0 -1 4202560 15044 0 0 0 60 5 0 0 20 0 20 0 235766588 27978031104 41224 33554432000 4194304 4196468 140722951619952 140233932287824 140233960477853 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28584] ppid=28579 vsize=27322296 memory=140025060959088 CPUtime=0 cores=0-7
/proc/28582/task/28584/stat : 28584 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27978031104 41224 33554432000 4194304 4196468 140722951619952 140233964698000 140233960466133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28585] ppid=28579 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28585/stat : 28585 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27978031104 41224 33554432000 4194304 4196468 140722951619952 140233778854160 140233960466133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28586] ppid=28579 vsize=27322296 memory=876 CPUtime=0 cores=0-7
/proc/28582/task/28586/stat : 28586 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766590 27978031104 41224 33554432000 4194304 4196468 140722951619952 140233777801872 140233960466133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0

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

/proc/28582/task/28594/stat : 28594 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766593 27982225408 55623 33554432000 4194304 4196468 140722951619952 140231621731440 140233960466133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28595] ppid=28579 vsize=27326392 memory=0 CPUtime=0 cores=0-7
/proc/28582/task/28595/stat : 28595 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766595 27982225408 55623 33554432000 4194304 4196468 140722951619952 140231247222864 140233960474523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28596] ppid=28579 vsize=27326392 memory=0 CPUtime=0.25 cores=0-7
/proc/28582/task/28596/stat : 28596 (java) R 28579 28579 27980 0 -1 4202560 956 0 0 0 25 0 0 0 20 0 20 0 235766595 27982225408 55623 33554432000 4194304 4196468 140722951619952 140232010689008 140233939694400 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28597] ppid=28579 vsize=27326392 memory=0 CPUtime=0.21 cores=0-7
/proc/28582/task/28597/stat : 28597 (java) R 28579 28579 27980 0 -1 4202560 379 0 0 0 21 0 0 0 20 0 20 0 235766595 27982225408 55623 33554432000 4194304 4196468 140722951619952 140232009648624 140233944849771 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28598] ppid=28579 vsize=27326392 memory=0 CPUtime=0.3 cores=0-7
/proc/28582/task/28598/stat : 28598 (java) R 28579 28579 27980 0 -1 4202560 730 0 0 0 30 0 0 0 20 0 20 0 235766595 27982225408 55623 33554432000 4194304 4196468 140722951619952 140232008583088 140233938050944 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28599] ppid=28579 vsize=27326392 memory=6944656575208382560 CPUtime=0.68 cores=0-7
/proc/28582/task/28599/stat : 28599 (java) R 28579 28579 27980 0 -1 4202560 2606 0 0 0 67 1 0 0 20 0 20 0 235766595 27982225408 55623 33554432000 4194304 4196468 140722951619952 140232007543536 140233944536414 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28600] ppid=28579 vsize=27326392 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/28582/task/28600/stat : 28600 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235766595 27982225408 55623 33554432000 4194304 4196468 140722951619952 140230749317472 140233960466133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
[pid=28582/tid=28601] ppid=28579 vsize=27326392 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/28582/task/28601/stat : 28601 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235766596 27982225408 55623 33554432000 4194304 4196468 140722951619952 140232006490416 140233960467074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140722951627752 140722951628077 140722951628077 140722951630799 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 27439520 KiB
Current children cumulated memory: 223884 KiB

[startup+3.1111 s]
/proc/loadavg: 7.89 8.48 8.39 9/214 28635
/proc/meminfo: memFree=15366768/32770624 swapFree=67108504/67108860
[pid=28579] ppid=28576 vsize=113128 memory=1468 CPUtime=4.8 cores=0-7
/proc/28579/stat : 28579 (scop.sh) S 28576 28579 27980 0 -1 4202496 587 25270 0 0 0 0 464 16 20 0 1 0 235766587 115843072 367 33554432000 4194304 5098028 140732182945776 140732182942520 139804354830972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20500480 140732182946850 140732182947075 140732182947075 140732182949837 0
/proc/28579/statm: 28282 367 311 221 0 87 0
[pid=28602] ppid=28579 vsize=8413904 memory=118544 CPUtime=1.08 cores=0-7
/proc/28602/stat : 28602 (java) S 28579 28579 27980 0 -1 1077944320 17883 0 0 0 103 5 0 0 20 0 24 0 235766788 8615837696 29636 33554432000 4194304 4196468 140726968227760 140726968210304 140331773853431 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
/proc/28602/statm: 2103476 29636 3144 1 0 2064875 0
[pid=28622] ppid=28602 vsize=664408 memory=61584 CPUtime=2.48 cores=0-7
/proc/28622/stat : 28622 (glucose-syrup) S 28602 28579 27980 0 -1 1077944320 10038 0 0 0 246 2 0 0 20 0 9 0 235766858 680353792 15396 33554432000 4194304 4373367 140723114866160 140723114864704 140574972082818 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
/proc/28622/statm: 166102 15396 380 44 0 161790 0
[pid=28622/tid=28628] ppid=28602 vsize=664408 memory=16097061506385263 CPUtime=0.3 cores=0-7
/proc/28622/task/28628/stat : 28628 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 393 0 0 0 30 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574950701960 4271973 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28622/tid=28629] ppid=28602 vsize=664408 memory=3816 CPUtime=0.3 cores=0-7
/proc/28622/task/28629/stat : 28629 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 617 0 0 0 30 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574942309576 4296037 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28622/tid=28630] ppid=28602 vsize=664408 memory=63892 CPUtime=0.3 cores=0-7
/proc/28622/task/28630/stat : 28630 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 613 0 0 0 30 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574933916872 4272344 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28622/tid=28631] ppid=28602 vsize=664408 memory=1116 CPUtime=0.3 cores=0-7
/proc/28622/task/28631/stat : 28631 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 644 0 0 0 30 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574925523912 4271925 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28622/tid=28632] ppid=28602 vsize=664408 memory=2144 CPUtime=0.28 cores=0-7
/proc/28622/task/28632/stat : 28632 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 286 0 0 0 28 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574917131464 4249603 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28622/tid=28633] ppid=28602 vsize=664408 memory=1752 CPUtime=0.29 cores=0-7
/proc/28622/task/28633/stat : 28633 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 245 0 0 0 29 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574908738832 4258908 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28622/tid=28634] ppid=28602 vsize=664408 memory=748 CPUtime=0.3 cores=0-7
/proc/28622/task/28634/stat : 28634 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 630 0 0 0 30 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574900346056 4271914 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28622/tid=28635] ppid=28602 vsize=664408 memory=1820 CPUtime=0.29 cores=0-7
/proc/28622/task/28635/stat : 28635 (glucose-syrup) R 28602 28579 27980 0 -1 4202560 650 0 0 0 29 0 0 0 20 0 9 0 235766868 680353792 15396 33554432000 4194304 4373367 140723114866160 140574816464072 4296037 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 37416960 140723114869840 140723114869972 140723114869972 140723114872775 0
[pid=28602/tid=28603] ppid=28579 vsize=8413904 memory=4552 CPUtime=0.72 cores=0-7
/proc/28602/task/28603/stat : 28603 (java) S 28579 28579 27980 0 -1 1077944384 14978 0 0 0 68 4 0 0 20 0 24 0 235766788 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331745693584 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28604] ppid=28579 vsize=8413904 memory=3732 CPUtime=0 cores=0-7
/proc/28602/task/28604/stat : 28604 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331778096016 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28605] ppid=28579 vsize=8413904 memory=1752 CPUtime=0 cores=0-7
/proc/28602/task/28605/stat : 28605 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331578264336 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28606] ppid=28579 vsize=8413904 memory=748 CPUtime=0 cores=0-7
/proc/28602/task/28606/stat : 28606 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331577212048 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28607] ppid=28579 vsize=8413904 memory=1820 CPUtime=0 cores=0-7
/proc/28602/task/28607/stat : 28607 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331576159248 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28608] ppid=28579 vsize=8413904 memory=4552 CPUtime=0 cores=0-7
/proc/28602/task/28608/stat : 28608 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331575105936 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28609] ppid=28579 vsize=8413904 memory=3732 CPUtime=0 cores=0-7
/proc/28602/task/28609/stat : 28609 (java) S 28579 28579 27980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331574053136 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28610] ppid=28579 vsize=8413904 memory=1228 CPUtime=0 cores=0-7
/proc/28602/task/28610/stat : 28610 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331573000848 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28611] ppid=28579 vsize=8413904 memory=10624 CPUtime=0 cores=0-7
/proc/28602/task/28611/stat : 28611 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235766789 8615837696 29636 33554432000 4194304 4196468 140726968227760 140331571948048 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28612] ppid=28579 vsize=8413904 memory=1624 CPUtime=0 cores=0-7
/proc/28602/task/28612/stat : 28612 (java) S 28579 28579 27980 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 235766791 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330867321456 140331773864578 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28613] ppid=28579 vsize=8413904 memory=6784 CPUtime=0 cores=0-7
/proc/28602/task/28613/stat : 28613 (java) S 28579 28579 27980 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 235766791 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330338870560 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28614] ppid=28579 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/28602/task/28614/stat : 28614 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235766792 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330070435440 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28615] ppid=28579 vsize=8413904 memory=1392 CPUtime=0 cores=0-7
/proc/28602/task/28615/stat : 28615 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235766794 8615837696 29636 33554432000 4194304 4196468 140726968227760 140329695926864 140331773872027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28616] ppid=28579 vsize=8413904 memory=171652 CPUtime=0.04 cores=0-7
/proc/28602/task/28616/stat : 28616 (java) S 28579 28579 27980 0 -1 1077944384 720 0 0 0 4 0 0 0 20 0 24 0 235766794 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330866268272 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28617] ppid=28579 vsize=8413904 memory=876 CPUtime=0.04 cores=0-7
/proc/28602/task/28617/stat : 28617 (java) S 28579 28579 27980 0 -1 1077944384 73 0 0 0 4 0 0 0 20 0 24 0 235766794 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330865215472 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28618] ppid=28579 vsize=8413904 memory=1296 CPUtime=0.06 cores=0-7
/proc/28602/task/28618/stat : 28618 (java) S 28579 28579 27980 0 -1 1077944384 202 0 0 0 6 0 0 0 20 0 24 0 235766794 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330864163184 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28619] ppid=28579 vsize=8413904 memory=1068 CPUtime=0.17 cores=0-7
/proc/28602/task/28619/stat : 28619 (java) S 28579 28579 27980 0 -1 1077944384 518 0 0 0 17 0 0 0 20 0 24 0 235766794 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330863110384 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28620] ppid=28579 vsize=8413904 memory=15084 CPUtime=0 cores=0-7
/proc/28602/task/28620/stat : 28620 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235766794 8615837696 29636 33554432000 4194304 4196468 140726968227760 140329198021472 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28621] ppid=28579 vsize=8413904 memory=36352 CPUtime=0 cores=0-7
/proc/28602/task/28621/stat : 28621 (java) S 28579 28579 27980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235766794 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330862058288 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28623] ppid=28579 vsize=8413904 memory=13776 CPUtime=0 cores=0-7
/proc/28602/task/28623/stat : 28623 (java) S 28579 28579 27980 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 235766859 8615837696 29636 33554432000 4194304 4196468 140726968227760 140330854250304 140331773878041 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28625] ppid=28579 vsize=8413904 memory=3356 CPUtime=0 cores=0-7
/proc/28602/task/28625/stat : 28625 (java) S 28579 28579 27980 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 235766859 8615837696 29636 33554432000 4194304 4196468 140726968227760 140328526921104 140331773875357 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28626] ppid=28579 vsize=8413904 memory=280050121531280 CPUtime=0 cores=0-7
/proc/28602/task/28626/stat : 28626 (java) S 28579 28579 27980 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 235766859 8615837696 29636 33554432000 4194304 4196468 140726968227760 140328795356432 140331773875357 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28627] ppid=28579 vsize=8413904 memory=280050121310448 CPUtime=0 cores=0-7
/proc/28602/task/28627/stat : 28627 (java) S 28579 28579 27980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235766861 8615837696 29636 33554432000 4194304 4196468 140726968227760 140328258493728 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 9191440 KiB
Current children cumulated memory: 181596 KiB

[startup+3.22756 s]
# the end of solver process 28579 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.39077 s, system=0.269862 s

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

[startup+3.20167 s]
/proc/loadavg: 7.89 8.48 8.39 9/214 28635
/proc/meminfo: memFree=15366768/32770624 swapFree=67108504/67108860
[pid=28579] ppid=28576 vsize=113128 memory=1468 CPUtime=4.8 cores=0-7
/proc/28579/stat : 28579 (scop.sh) S 28576 28579 27980 0 -1 4202496 587 25270 0 0 0 0 464 16 20 0 1 0 235766587 115843072 367 33554432000 4194304 5098028 140732182945776 140732182942520 139804354830972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20500480 140732182946850 140732182947075 140732182947075 140732182949837 0
/proc/28579/statm: 28282 367 311 221 0 87 0
[pid=28602] ppid=28579 vsize=8282828 memory=120448 CPUtime=3.8 cores=0-7
/proc/28602/stat : 28602 (java) S 28579 28579 27980 0 -1 1077944320 18305 10125 0 0 115 6 256 3 20 0 22 0 235766788 8481615872 30112 33554432000 4194304 4196468 140726968227760 140726968210304 140331773853431 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
/proc/28602/statm: 2070707 30112 3156 1 0 2032106 0
[pid=28602/tid=28603] ppid=28579 vsize=8282828 memory=1928 CPUtime=3.36 cores=0-7
/proc/28602/task/28603/stat : 28603 (java) R 28579 28579 27980 0 -1 4202560 15212 10125 0 0 73 4 256 3 20 0 22 0 235766788 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331745691520 140331773875357 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28604] ppid=28579 vsize=8282828 memory=7532 CPUtime=2.59 cores=0-7
/proc/28602/task/28604/stat : 28604 (java) S 28579 28579 27980 0 -1 1077944384 1 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331778096016 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28605] ppid=28579 vsize=8282828 memory=808 CPUtime=2.59 cores=0-7
/proc/28602/task/28605/stat : 28605 (java) S 28579 28579 27980 0 -1 1077944384 2 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331578264336 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28606] ppid=28579 vsize=8282828 memory=1796 CPUtime=2.59 cores=0-7
/proc/28602/task/28606/stat : 28606 (java) S 28579 28579 27980 0 -1 1077944384 1 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331577212048 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28607] ppid=28579 vsize=8282828 memory=916 CPUtime=2.59 cores=0-7
/proc/28602/task/28607/stat : 28607 (java) S 28579 28579 27980 0 -1 1077944384 2 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331576159248 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28608] ppid=28579 vsize=8282828 memory=4136 CPUtime=2.59 cores=0-7
/proc/28602/task/28608/stat : 28608 (java) S 28579 28579 27980 0 -1 1077944384 1 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331575105936 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28609] ppid=28579 vsize=8282828 memory=4096 CPUtime=2.59 cores=0-7
/proc/28602/task/28609/stat : 28609 (java) S 28579 28579 27980 0 -1 1077944384 2 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331574053136 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28610] ppid=28579 vsize=8282828 memory=0 CPUtime=2.59 cores=0-7
/proc/28602/task/28610/stat : 28610 (java) S 28579 28579 27980 0 -1 1077944384 1 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331573000848 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28611] ppid=28579 vsize=8282828 memory=0 CPUtime=2.59 cores=0-7
/proc/28602/task/28611/stat : 28611 (java) S 28579 28579 27980 0 -1 1077944384 3 10125 0 0 0 0 256 3 20 0 22 0 235766789 8481615872 30112 33554432000 4194304 4196468 140726968227760 140331571948048 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28612] ppid=28579 vsize=8282828 memory=0 CPUtime=2.59 cores=0-7
/proc/28602/task/28612/stat : 28612 (java) S 28579 28579 27980 0 -1 1077944384 5 10125 0 0 0 0 256 3 20 0 22 0 235766791 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330867321456 140331773864578 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28613] ppid=28579 vsize=8282828 memory=0 CPUtime=2.59 cores=0-7
/proc/28602/task/28613/stat : 28613 (java) S 28579 28579 27980 0 -1 1077944384 13 10125 0 0 0 0 256 3 20 0 22 0 235766791 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330338870560 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28614] ppid=28579 vsize=8282828 memory=0 CPUtime=2.59 cores=0-7
/proc/28602/task/28614/stat : 28614 (java) S 28579 28579 27980 0 -1 1077944384 1 10125 0 0 0 0 256 3 20 0 22 0 235766792 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330070435440 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28615] ppid=28579 vsize=8282828 memory=7668900524563524185 CPUtime=2.59 cores=0-7
/proc/28602/task/28615/stat : 28615 (java) S 28579 28579 27980 0 -1 1077944384 1 10125 0 0 0 0 256 3 20 0 22 0 235766794 8481615872 30112 33554432000 4194304 4196468 140726968227760 140329695926864 140331773872027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28616] ppid=28579 vsize=8282828 memory=7236547281622689387 CPUtime=2.64 cores=0-7
/proc/28602/task/28616/stat : 28616 (java) S 28579 28579 27980 0 -1 1077944384 729 10125 0 0 5 0 256 3 20 0 22 0 235766794 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330866268272 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28617] ppid=28579 vsize=8282828 memory=7236248137064671083 CPUtime=2.63 cores=0-7
/proc/28602/task/28617/stat : 28617 (java) S 28579 28579 27980 0 -1 1077944384 78 10125 0 0 4 0 256 3 20 0 22 0 235766794 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330865215472 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28618] ppid=28579 vsize=8282828 memory=7739276948477931370 CPUtime=2.65 cores=0-7
/proc/28602/task/28618/stat : 28618 (java) S 28579 28579 27980 0 -1 1077944384 205 10125 0 0 6 0 256 3 20 0 22 0 235766794 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330864163184 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28619] ppid=28579 vsize=8282828 memory=7810487918915055718 CPUtime=2.8 cores=0-7
/proc/28602/task/28619/stat : 28619 (java) S 28579 28579 27980 0 -1 1077944384 611 10125 0 0 21 0 256 3 20 0 22 0 235766794 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330863110384 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28620] ppid=28579 vsize=8282828 memory=140025060971122 CPUtime=2.59 cores=0-7
/proc/28602/task/28620/stat : 28620 (java) S 28579 28579 27980 0 -1 1077944384 3 10125 0 0 0 0 256 3 20 0 22 0 235766794 8481615872 30112 33554432000 4194304 4196468 140726968227760 140329198021472 140331773863637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28621] ppid=28579 vsize=8282828 memory=280050121904160 CPUtime=2.59 cores=0-7
/proc/28602/task/28621/stat : 28621 (java) S 28579 28579 27980 0 -1 1077944384 1 10125 0 0 0 0 256 3 20 0 22 0 235766794 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330862058288 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28623] ppid=28579 vsize=8282828 memory=11903 CPUtime=2.59 cores=0-7
/proc/28602/task/28623/stat : 28623 (java) S 28579 28579 27980 0 -1 1077944384 24 10125 0 0 0 0 256 3 20 0 22 0 235766859 8481615872 30112 33554432000 4194304 4196468 140726968227760 140330854249488 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
[pid=28602/tid=28627] ppid=28579 vsize=8282828 memory=0 CPUtime=2.59 cores=0-7
/proc/28602/task/28627/stat : 28627 (java) S 28579 28579 27980 0 -1 1077944384 8 10125 0 0 0 0 256 3 20 0 22 0 235766861 8481615872 30112 33554432000 4194304 4196468 140726968227760 140328258495536 140331773864578 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140726968231089 140726968231213 140726968231213 140726968233935 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 121916 KiB

Child status: 0
Real time (s): 3.22761
CPU time (s): 8.66063
CPU user time (s): 8.39077
CPU system time (s): 0.269862
CPU usage (%): 268.329
Max. virtual memory (cumulated for all children) (KiB): 27441636
Max. memory (cumulated for all children) (KiB): 356104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.39077
system time used= 0.269862
maximum resident set size= 362588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7852
involuntary context switches= 69


# summary of solver processes directly reported to runsolver:
#   pid: 28579
#   total CPU time (s): 8.66063
#   total CPU user time (s): 8.39077
#   total CPU system time (s): 0.269862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040242 second user time and 0.078309 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-13 19:40:34
IDJOB=4307157
IDBENCH=141172
IDSOLVER=2788
FILE ID=node104/4307157-1534182034
RUNJOBID= node104-1534174470-28007
PBS_JOBID= 21037978
Free space on /tmp= 37820 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K02-P09_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-4307157-1534182034/watcher-4307157-1534182034 -o /tmp/evaluation-result-4307157-1534182034/solver-4307157-1534182034 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1534174470-28007 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307157-1534182034.xml

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

MD5SUM BENCH= 7d3eec938755fdf0eb3fdb8654f4a439
RANDOM SEED=2123211472

node104.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.11
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.11
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.11
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.11
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:        15521508 kB
MemAvailable:   31904816 kB
Buffers:          223072 kB
Cached:         16198864 kB
SwapCached:            8 kB
Active:          7722152 kB
Inactive:        8751480 kB
Active(anon):       3368 kB
Inactive(anon):   100948 kB
Active(file):    7718784 kB
Inactive(file):  8650532 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:              8680 kB
Writeback:             0 kB
AnonPages:         59176 kB
Mapped:            53244 kB
Shmem:             49636 kB
Slab:             470528 kB
SReclaimable:     442452 kB
SUnreclaim:        28076 kB
KernelStack:        3312 kB
PageTables:         4592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 37812 MiB
End job on node104 at 2018-08-13 19:40:38