Trace number 4305678

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)SAT 10.4554 4.59268

General information on the benchmark

NameSportsScheduling/
SportsScheduling-08_c18.xml
MD5SUMd342e5d3265d7d58fa84b10ce3b2f22d
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 benchmark0.019931
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints60
Number of domains2
Minimum domain size8
Maximum domain size28
Distribution of domain sizes[{"size":8,"count":64},{"size":28,"count":28}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":32},{"degree":4,"count":60}]
Minimum constraint arity1
Maximum constraint arity28
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":4},{"arity":3,"count":28},{"arity":4,"count":7},{"arity":8,"count":8},{"arity":14,"count":4},{"arity":16,"count":4},{"arity":28,"count":1}]
Number of extensional constraints28
Number of intensional constraints8
Distribution of constraint types[{"type":"extension","count":28},{"type":"intension","count":8},{"type":"allDifferent","count":9},{"type":"count","count":7},{"type":"cardinality","count":8}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-8291-serial-file.bin HOME/instance-4305678-1534130664.xml
0.54/0.51	
0.54/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Mon Aug 13 05:24:25 CEST 2018
0.66/0.55	c PID: 8298
0.66/0.55	c IP: 172.20.3.150
0.66/0.55	c HOST: node150.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.38/0.92	c (0,0) Parsing End
1.38/0.92	c (0,0) CSP: 92 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.38/0.93	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.93	c (0,0) Constraint Name Generate Begin
1.38/0.93	c (0,0) Ctr:HOME/instance-4305678-1534130664.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.38/0.93	c (0,0) Constraint Name Generate End
1.38/0.93	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.93	c (0,0) CSP to CSPinCNF Begin
2.55/1.44	c (0,0) translated 6 (10%) constraints
2.85/1.56	c (1,1) translated 12 (20%) constraints
3.17/1.65	c (1,1) translated 18 (30%) constraints
3.48/1.73	c (1,1) translated 24 (40%) constraints
3.78/1.86	c (1,1) translated 30 (50%) constraints
4.17/1.90	c (1,1) translated 36 (60%) constraints
4.55/2.08	c (1,1) translated 42 (70%) constraints
4.55/2.08	c (1,1) translated 48 (80%) constraints
4.87/2.11	c (1,1) translated 54 (90%) constraints
4.87/2.13	c (1,1) translated 60 (100%) constraints
5.18/2.21	c (1,1) STATISTICS1:HOME/instance-4305678-1534130664.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,1612,6291,32768,28,28,16,32768:64;8192:64;28:276;8:14;7:228;1:102,28:3336;7:4800;2:9712;1:560,28:2;8:100;7:28;6:28;5:28;4:1148;3:1884;2:2962;1:111,16:64;14:64;4:14;2:606;1:16304;0:28,
5.18/2.21	c (1,1) ==========================================
5.18/2.21	c (1,1) Both Encoding selects:
5.18/2.21	c (1,1) Order
5.18/2.21	c (1,1) ==========================================
5.18/2.25	c (1,1) translated 630 (10%) constraints
5.18/2.27	c (1,1) translated 1259 (20%) constraints
5.50/2.30	c (1,1) translated 1888 (30%) constraints
5.50/2.32	c (1,1) translated 2517 (40%) constraints
5.50/2.35	c (1,1) translated 3146 (50%) constraints
5.50/2.37	c (1,1) translated 3775 (60%) constraints
5.50/2.39	c (1,1) translated 4404 (70%) constraints
5.80/2.44	c (1,1) translated 5033 (80%) constraints
6.12/2.55	c (2,2) translated 5662 (90%) constraints
6.44/2.66	c (2,2) translated 6291 (100%) constraints
6.44/2.66	c (2,2) CSP to CSPinCNF End
6.44/2.66	c (2,2) CSP: 349 int (257 aux), 2060 bool (2060 aux), 7798 ctr, max domain size 26
6.44/2.66	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.44/2.66	c (2,2) CSPinCNF Propagation Begin
7.09/2.82	c (2,2) 705 values, 2236 unsatisfiable literals, and 1760 valid clauses are removed
7.09/2.82	c (2,2) CSPinCNF Propagation End
7.09/2.82	c (2,2) CSP: 841 int (749 aux), 1568 bool (1568 aux), 6038 ctr, max domain size 26
7.09/2.82	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.09/2.82	c (2,2) Simplify CSPinCNF Begin
7.09/2.88	c (2,2) Simplify CSPinCNF End
7.09/2.88	c (2,2) CSP: 841 int (749 aux), 2608 bool (2608 aux), 7078 ctr, max domain size 26
7.09/2.88	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.09/2.88	c (2,2) Calculate Precise Domain Begin
7.43/2.91	c (2,2) 4 values are removed by re-calculation
7.43/2.91	c (2,2) Calculate Precise Domain End
7.43/2.92	c (2,2) CSP: 841 int (749 aux), 2608 bool (2608 aux), 7078 ctr, max domain size 26
7.43/2.92	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.43/2.92	c (2,2) CSPinCNF to SatSolver Begin
7.53/3.22	c (2,2) 708 (10 %) CSP clauses are encoded (4052 SAT variables, 1830 SAT clauses)
7.53/3.23	c (2,2) 1416 (20 %) CSP clauses are encoded (4052 SAT variables, 2538 SAT clauses)
7.53/3.25	c (2,2) 2124 (30 %) CSP clauses are encoded (4052 SAT variables, 3246 SAT clauses)
7.74/3.26	c (2,2) 2832 (40 %) CSP clauses are encoded (4052 SAT variables, 3954 SAT clauses)
7.74/3.27	c (2,2) 3539 (50 %) CSP clauses are encoded (4052 SAT variables, 4811 SAT clauses)
7.89/3.37	c (2,2) 4247 (60 %) CSP clauses are encoded (4052 SAT variables, 15519 SAT clauses)
8.19/3.42	c (2,2) 4955 (70 %) CSP clauses are encoded (4052 SAT variables, 21249 SAT clauses)
8.19/3.44	c (2,2) 5663 (80 %) CSP clauses are encoded (4052 SAT variables, 22978 SAT clauses)
8.19/3.46	c (2,2) 6371 (90 %) CSP clauses are encoded (4052 SAT variables, 24510 SAT clauses)
8.19/3.49	c (2,2) 7078 (100 %) CSP clauses are encoded (4052 SAT variables, 27284 SAT clauses)
8.19/3.49	c (2,2) Launch Command will be: minisat_release
8.19/3.49	c (2,2) CSPinCNF to SatSolver End
8.19/3.49	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.50/3.55	c (3,2) STATISTICS2:HOME/instance-4305678-1534130664.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,3449,7078,64,26,7,7,64:2;32:80;26:552;20:1;16:154;15:15;10:2;9:81;8:48;7:132;6:265;4:136;1:96,26:3688;7:3608;6:1082;5:74;4:2;3:524;2:11006;1:656,7:48;6:48;5:24;4:998;3:1260;2:4176;1:524,7:64;6:256;5:64;4:12;3:124;2:1044;1:15828,
8.50/3.55	c (3,2) 4052 bool, 27290 clause
8.50/3.55	c (3,2) Export Begin
8.82/3.66	c (3,2) Export to HOME/scop-8291-serial-file.bin
8.82/3.66	c (3,2) Export End
8.82/3.66	c (3,2) Export File Size: 0.02 MB
8.82/3.66	c (3,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
8.82/3.66	c END-Prog: Mon Aug 13 05:24:28 CEST 2018
8.82/3.68	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8291-serial-file.bin
9.61/4.17	c (0,0) Read Serial File Begin
9.61/4.17	c (0,0) HOME/scop-8291-serial-file.bin
9.88/4.34	c (0,0) Read Serial File End
9.88/4.36	
9.88/4.36	scop order+minisat_release (2018-07-31)
9.88/4.36	(Solving Process)
9.88/4.36	
9.88/4.38	c BEGIN-Prog: Mon Aug 13 05:24:29 CEST 2018
9.88/4.38	c PID: 8328
9.88/4.38	c IP: 172.20.3.150
9.88/4.38	c HOST: node150.alineos.net
9.88/4.38	c (0,0) SatSolver.solve Begin
9.88/4.38	c (0,0) 0 bool, 0 clause
9.88/4.38	c (0,0) minisat_release HOME/instance-4305678-1534130664.xml-scop-8298.cnf
10.07/4.49	c (0,0) c This is COMiniSatPS.
10.07/4.49	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.07/4.49	c (0,0) c ============================[ Problem Statistics ]=============================
10.07/4.49	c (0,0) c |                                                                             |
10.07/4.49	c (0,0) c |  Number of variables:          4052                                         |
10.07/4.49	c (0,0) c |  Number of clauses:           27290                                         |
10.07/4.49	c (0,0) c |  Parse time:                   0.01 s                                       |
10.07/4.49	c (0,0) c |  Eliminated clauses:           0.06 Mb                                      |
10.07/4.49	c (0,0) c Reduced to 2140 vars, 23523 cls (grow=0)
10.07/4.49	c (0,0) c No iterative elimination performed. (vars=2140, c/v ratio=11.0)
10.07/4.49	c (0,0) c |  Simplification time:          0.03 s                                       |
10.07/4.49	c (0,0) c |                                                                             |
10.07/4.49	c (0,0) c ============================[ Search Statistics ]==============================
10.07/4.49	c (0,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.07/4.49	c (0,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.07/4.49	c (0,0) c ===============================================================================
10.07/4.49	c (0,0) c ===============================================================================
10.07/4.49	c (0,0) c restarts              : 8
10.07/4.49	c (0,0) c conflicts             : 1275           (15785 /sec)
10.07/4.49	c (0,0) c decisions             : 3027           (0.00 % random) (37475 /sec)
10.07/4.49	c (0,0) c propagations          : 218132         (2700556 /sec)
10.27/4.50	c (0,0) c conflict literals     : 20302          (12.77 % deleted)
10.27/4.50	c (0,0) c CPU time              : 0.080773 s
10.27/4.50	c (0,0) 
10.27/4.50	c (0,0) s SATISFIABLE
10.27/4.51	c (0,0) SatSolver.solve End
10.27/4.51	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.27/4.51	c (0,0) Show results Begin
10.27/4.57	s SATISFIABLE
10.27/4.58	v <instantiation>
10.27/4.58	v     <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] hd[0] hd[1] hd[2] hd[3] ad[0] ad[1] ad[2] ad[3]</list>
10.27/4.58	v     <values>0 0 5 3 1 4 3 2 1 4 0 3 2 1 4 3 1 1 2 0 0 6 5 0 2 0 1 2 1 2 7 6 4 7 5 3 7 6 4 7 5 6 5 4 2 5 6 6 7 7 6 3 7 5 3 4 0 1 26 20 9 24 19 13 12 23 3 21 15 11 22 18 7 10 16 5 6 27 25 2 17 4 8 14 2 0 3 1 6 5 7 4</values>
10.27/4.58	v </instantiation>
10.27/4.58	c (0,0) Show results End
10.27/4.58	c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.27/4.58	c (0,0) 0,0,STOP-AFTER(ALL)
10.27/4.58	c END-Prog: Mon Aug 13 05:24:29 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 (5588 MiB free)
  memory of node 1: 16384 MiB (9980 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305678-1534130664/watcher-4305678-1534130664 -o /tmp/evaluation-result-4305678-1534130664/solver-4305678-1534130664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305678-1534130664.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8291, runsolver pid=8286

[startup+0.100162 s]*
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15821092/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 348 33554432000 4194304 5098028 140733628513472 140733628510728 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 348 296 221 0 87 0
[pid=8298] ppid=8291 vsize=15012476 memory=72204 CPUtime=0.1 cores=1,3,5,7
/proc/8298/stat : 8298 (java) S 8291 8291 8231 0 -1 1077944320 6659 0 0 0 9 1 0 0 20 0 15 0 230629687 15372775424 18051 33554432000 4194304 4196468 140729285983232 140729285965776 140493200379639 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
/proc/8298/statm: 3753119 18051 2771 1 0 3715579 0
[pid=8298/tid=8300] ppid=8291 vsize=15012476 memory=4716008030661157272 CPUtime=0.08 cores=1,3,5,7
/proc/8298/task/8300/stat : 8300 (java) R 8291 8291 8231 0 -1 4202560 4760 0 0 0 7 1 0 0 20 0 15 0 230629687 15372775424 18051 33554432000 4194304 4196468 140729285983232 140493172191624 140493181753123 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8305] ppid=8291 vsize=15012476 memory=3472468067672077520 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8305/stat : 8305 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18051 33554432000 4194304 4196468 140729285983232 140493204622224 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8307] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8307/stat : 8307 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18051 33554432000 4194304 4196468 140729285983232 140493018778384 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8308] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8308/stat : 8308 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18051 33554432000 4194304 4196468 140729285983232 140493017726096 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8309] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8309/stat : 8309 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18051 33554432000 4194304 4196468 140729285983232 140493016673296 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8311] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8311/stat : 8311 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629690 15372775424 18051 33554432000 4194304 4196468 140729285983232 140492237973616 140493200390786 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8313] ppid=8291 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8313/stat : 8313 (java) S 8291 8291 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 18051 33554432000 4194304 4196468 140729285983232 140491735687968 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8315] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8315/stat : 8315 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 18051 33554432000 4194304 4196468 140729285983232 140491467252848 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8320] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8320/stat : 8320 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18051 33554432000 4194304 4196468 140729285983232 140491092744272 140493200398235 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8321] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8321/stat : 8321 (java) S 8291 8291 8231 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18051 33554432000 4194304 4196468 140729285983232 140492236921456 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8322] ppid=8291 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8322/stat : 8322 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18051 33554432000 4194304 4196468 140729285983232 140492235868656 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8323] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0.01 cores=1,3,5,7
/proc/8298/task/8323/stat : 8323 (java) S 8291 8291 8231 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 230629693 15372775424 18051 33554432000 4194304 4196468 140729285983232 140492234816368 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8325] ppid=8291 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8325/stat : 8325 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18051 33554432000 4194304 4196468 140729285983232 140490594839520 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8327] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8327/stat : 8327 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15372775424 18051 33554432000 4194304 4196468 140729285983232 140492233763248 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73596 KiB

[startup+0.210779 s]*
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15792288/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 348 33554432000 4194304 5098028 140733628513472 140733628510728 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 348 296 221 0 87 0
[pid=8298] ppid=8291 vsize=15012476 memory=85300 CPUtime=0.25 cores=1,3,5,7
/proc/8298/stat : 8298 (java) S 8291 8291 8231 0 -1 1077944320 10268 0 0 0 22 3 0 0 20 0 15 0 230629687 15372775424 21325 33554432000 4194304 4196468 140729285983232 140729285965776 140493200379639 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
/proc/8298/statm: 3753119 21325 2846 1 0 3715579 0
[pid=8298/tid=8300] ppid=8291 vsize=15012476 memory=4716008030661157272 CPUtime=0.2 cores=1,3,5,7
/proc/8298/task/8300/stat : 8300 (java) R 8291 8291 8231 0 -1 4202560 8183 0 0 0 18 2 0 0 20 0 15 0 230629687 15372775424 21325 33554432000 4194304 4196468 140729285983232 140493172199104 140493200391574 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8305] ppid=8291 vsize=15012476 memory=3472468067672077520 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8305/stat : 8305 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21325 33554432000 4194304 4196468 140729285983232 140493204622224 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8307] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8307/stat : 8307 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21325 33554432000 4194304 4196468 140729285983232 140493018778384 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8308] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8308/stat : 8308 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21325 33554432000 4194304 4196468 140729285983232 140493017726096 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8309] ppid=8291 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8309/stat : 8309 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21325 33554432000 4194304 4196468 140729285983232 140493016673296 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8311] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8311/stat : 8311 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629690 15372775424 21325 33554432000 4194304 4196468 140729285983232 140492237973616 140493200390786 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8313] ppid=8291 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8313/stat : 8313 (java) S 8291 8291 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 21325 33554432000 4194304 4196468 140729285983232 140491735687968 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8315] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8315/stat : 8315 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 21325 33554432000 4194304 4196468 140729285983232 140491467252848 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8320] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8320/stat : 8320 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21325 33554432000 4194304 4196468 140729285983232 140491092744272 140493200398235 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8321] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8321/stat : 8321 (java) S 8291 8291 8231 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21325 33554432000 4194304 4196468 140729285983232 140492236921456 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8322] ppid=8291 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8322/stat : 8322 (java) S 8291 8291 8231 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21325 33554432000 4194304 4196468 140729285983232 140492235868656 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8323] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0.03 cores=1,3,5,7
/proc/8298/task/8323/stat : 8323 (java) S 8291 8291 8231 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 230629693 15372775424 21325 33554432000 4194304 4196468 140729285983232 140492234816368 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8325] ppid=8291 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8325/stat : 8325 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21325 33554432000 4194304 4196468 140729285983232 140490594839520 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8327] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8327/stat : 8327 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15372775424 21325 33554432000 4194304 4196468 140729285983232 140492233763248 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86692 KiB

[startup+0.310645 s]*
/proc/loadavg: 0.79 0.91 1.22 3/220 8327
/proc/meminfo: memFree=15785448/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 348 33554432000 4194304 5098028 140733628513472 140733628510728 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 348 296 221 0 87 0
[pid=8298] ppid=8291 vsize=15012476 memory=89456 CPUtime=0.42 cores=1,3,5,7
/proc/8298/stat : 8298 (java) S 8291 8291 8231 0 -1 1077944320 10881 0 0 0 39 3 0 0 20 0 15 0 230629687 15372775424 22364 33554432000 4194304 4196468 140729285983232 140729285965776 140493200379639 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
/proc/8298/statm: 3753119 22364 2976 1 0 3715579 0
[pid=8298/tid=8300] ppid=8291 vsize=15012476 memory=-5155632375402894676 CPUtime=0.29 cores=1,3,5,7
/proc/8298/task/8300/stat : 8300 (java) R 8291 8291 8231 0 -1 4202560 8625 0 0 0 27 2 0 0 20 0 15 0 230629687 15372775424 22364 33554432000 4194304 4196468 140729285983232 140493172175088 140492692147213 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8305] ppid=8291 vsize=15012476 memory=3472468067672077520 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8305/stat : 8305 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22364 33554432000 4194304 4196468 140729285983232 140493204622224 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8307] ppid=8291 vsize=15012476 memory=139938776925824 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8307/stat : 8307 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22364 33554432000 4194304 4196468 140729285983232 140493018778384 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8308] ppid=8291 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8308/stat : 8308 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22364 33554432000 4194304 4196468 140729285983232 140493017726096 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8309] ppid=8291 vsize=15012476 memory=139938624579615 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8309/stat : 8309 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22364 33554432000 4194304 4196468 140729285983232 140493016673296 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8311] ppid=8291 vsize=15012476 memory=279877249133856 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8311/stat : 8311 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629690 15372775424 22364 33554432000 4194304 4196468 140729285983232 140492237973616 140493200390786 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8313] ppid=8291 vsize=15012476 memory=139938624551951 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8313/stat : 8313 (java) S 8291 8291 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 22364 33554432000 4194304 4196468 140729285983232 140491735687968 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8315] ppid=8291 vsize=15012476 memory=279877401484672 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8315/stat : 8315 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 22364 33554432000 4194304 4196468 140729285983232 140491467252848 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8320] ppid=8291 vsize=15012476 memory=139938624556559 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8320/stat : 8320 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 22364 33554432000 4194304 4196468 140729285983232 140491092744272 140493200398235 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8321] ppid=8291 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8298/task/8321/stat : 8321 (java) R 8291 8291 8231 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 230629693 15372775424 22364 33554432000 4194304 4196468 140729285983232 140492236921456 140493200390786 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8322] ppid=8291 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8298/task/8322/stat : 8322 (java) R 8291 8291 8231 0 -1 4202560 225 0 0 0 2 0 0 0 20 0 15 0 230629693 15372775424 22364 33554432000 4194304 4196468 140729285983232 140492235868656 140493200400986 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8323] ppid=8291 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8298/task/8323/stat : 8323 (java) R 8291 8291 8231 0 -1 4202560 324 0 0 0 7 0 0 0 20 0 15 0 230629693 15372775424 22364 33554432000 4194304 4196468 140729285983232 140492234816368 140493179295522 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8325] ppid=8291 vsize=15012476 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8325/stat : 8325 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 22364 33554432000 4194304 4196468 140729285983232 140490594839520 140493200389845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8327] ppid=8291 vsize=15012476 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8327/stat : 8327 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15372775424 22364 33554432000 4194304 4196468 140729285983232 140492233763248 140493200390786 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90848 KiB

[startup+0.702009 s]
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15736832/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 348 33554432000 4194304 5098028 140733628513472 140733628510728 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 348 296 221 0 87 0
[pid=8298] ppid=8291 vsize=15020872 memory=129796 CPUtime=1.01 cores=1,3,5,7
/proc/8298/stat : 8298 (java) S 8291 8291 8231 0 -1 1077944320 18125 0 0 0 96 5 0 0 20 0 15 0 230629687 15381372928 32449 33554432000 4194304 4196468 140729285983232 140729285965776 140493200379639 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
/proc/8298/statm: 3755218 32449 3145 1 0 3716603 0
[pid=8298/tid=8300] ppid=8291 vsize=15020872 memory=5793152306545448292 CPUtime=0.67 cores=1,3,5,7
/proc/8298/task/8300/stat : 8300 (java) R 8291 8291 8231 0 -1 4202560 15389 0 0 0 63 4 0 0 20 0 15 0 230629687 15381372928 32449 33554432000 4194304 4196468 140729285983232 140493172211760 140493200401565 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8305] ppid=8291 vsize=15020872 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8305/stat : 8305 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 32449 33554432000 4194304 4196468 140729285983232 140493204622224 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8307] ppid=8291 vsize=15020872 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8307/stat : 8307 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 32449 33554432000 4194304 4196468 140729285983232 140493018778384 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8308] ppid=8291 vsize=15020872 memory=7523071198212214892 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8308/stat : 8308 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 32449 33554432000 4194304 4196468 140729285983232 140493017726096 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8309] ppid=8291 vsize=15020872 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8309/stat : 8309 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 32449 33554432000 4194304 4196468 140729285983232 140493016673296 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8311] ppid=8291 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8311/stat : 8311 (java) S 8291 8291 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230629690 15381372928 32449 33554432000 4194304 4196468 140729285983232 140492237973616 140493200390786 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8313] ppid=8291 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8313/stat : 8313 (java) S 8291 8291 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15381372928 32449 33554432000 4194304 4196468 140729285983232 140491735687968 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8315] ppid=8291 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8315/stat : 8315 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15381372928 32449 33554432000 4194304 4196468 140729285983232 140491467252848 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8320] ppid=8291 vsize=15020872 memory=7136 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8320/stat : 8320 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15381372928 32449 33554432000 4194304 4196468 140729285983232 140491092744272 140493200398235 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8321] ppid=8291 vsize=15020872 memory=748 CPUtime=0.08 cores=1,3,5,7
/proc/8298/task/8321/stat : 8321 (java) R 8291 8291 8231 0 -1 4202560 628 0 0 0 8 0 0 0 20 0 15 0 230629693 15381372928 32449 33554432000 4194304 4196468 140729285983232 140492236911840 140493185301596 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8322] ppid=8291 vsize=15020872 memory=872 CPUtime=0.07 cores=1,3,5,7
/proc/8298/task/8322/stat : 8322 (java) S 8291 8291 8231 0 -1 1077944384 291 0 0 0 7 0 0 0 20 0 15 0 230629693 15381372928 32449 33554432000 4194304 4196468 140729285983232 140492235868656 140493200390786 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8323] ppid=8291 vsize=15020872 memory=1220 CPUtime=0.16 cores=1,3,5,7
/proc/8298/task/8323/stat : 8323 (java) R 8291 8291 8231 0 -1 4202560 483 0 0 0 16 0 0 0 20 0 15 0 230629693 15381372928 32449 33554432000 4194304 4196468 140729285983232 140492234816368 140493178871752 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8325] ppid=8291 vsize=15020872 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8325/stat : 8325 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15381372928 32449 33554432000 4194304 4196468 140729285983232 140490594839520 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8327] ppid=8291 vsize=15020872 memory=15336 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8327/stat : 8327 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15381372928 32449 33554432000 4194304 4196468 140729285983232 140492233763248 140493200390786 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131188 KiB

[startup+1.50151 s]
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15677816/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 348 33554432000 4194304 5098028 140733628513472 140733628510728 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 348 296 221 0 87 0

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

/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 348 33554432000 4194304 5098028 140733628513472 140733628510728 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 348 296 221 0 87 0
[pid=8298] ppid=8291 vsize=15027084 memory=458532 CPUtime=7.74 cores=1,3,5,7
/proc/8298/stat : 8298 (java) S 8291 8291 8231 0 -1 1077944320 26699 0 0 0 761 13 0 0 20 0 15 0 230629687 15387734016 114633 33554432000 4194304 4196468 140729285983232 140729285965776 140493200379639 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
/proc/8298/statm: 3756771 114633 3209 1 0 3717627 0
[pid=8298/tid=8300] ppid=8291 vsize=15027084 memory=4639059895069856102 CPUtime=2.97 cores=1,3,5,7
/proc/8298/task/8300/stat : 8300 (java) R 8291 8291 8231 0 -1 4202560 17271 0 0 0 288 9 0 0 20 0 15 0 230629687 15387734016 114633 33554432000 4194304 4196468 140729285983232 140493172215472 140492693197751 0 4 2 25189581 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8305] ppid=8291 vsize=15027084 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8305/stat : 8305 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15387734016 114633 33554432000 4194304 4196468 140729285983232 140493204622224 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8307] ppid=8291 vsize=15027084 memory=7516877558933116245 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8307/stat : 8307 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15387734016 114633 33554432000 4194304 4196468 140729285983232 140493018778384 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8308] ppid=8291 vsize=15027084 memory=-7103146973613356224 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8308/stat : 8308 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15387734016 114633 33554432000 4194304 4196468 140729285983232 140493017726096 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8309] ppid=8291 vsize=15027084 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8309/stat : 8309 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15387734016 114633 33554432000 4194304 4196468 140729285983232 140493016673296 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8311] ppid=8291 vsize=15027084 memory=-9034923846474767733 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8311/stat : 8311 (java) S 8291 8291 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230629690 15387734016 114633 33554432000 4194304 4196468 140729285983232 140492237973616 140493200390786 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8313] ppid=8291 vsize=15027084 memory=6011695618298177970 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8313/stat : 8313 (java) S 8291 8291 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15387734016 114633 33554432000 4194304 4196468 140729285983232 140491735687968 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8315] ppid=8291 vsize=15027084 memory=175548198306026 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8315/stat : 8315 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15387734016 114633 33554432000 4194304 4196468 140729285983232 140491467252848 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8320] ppid=8291 vsize=15027084 memory=297237773746962458 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8320/stat : 8320 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15387734016 114633 33554432000 4194304 4196468 140729285983232 140491092744272 140493200398235 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8321] ppid=8291 vsize=15027084 memory=10837 CPUtime=1.77 cores=1,3,5,7
/proc/8298/task/8321/stat : 8321 (java) R 8291 8291 8231 0 -1 4202560 2056 0 0 0 177 0 0 0 20 0 15 0 230629693 15387734016 114633 33554432000 4194304 4196468 140729285983232 140492236920560 140493178126967 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8322] ppid=8291 vsize=15027084 memory=14418103057724043 CPUtime=1.82 cores=1,3,5,7
/proc/8298/task/8322/stat : 8322 (java) R 8291 8291 8231 0 -1 4202560 2358 0 0 0 181 1 0 0 20 0 15 0 230629693 15387734016 114633 33554432000 4194304 4196468 140729285983232 140492235868656 140493179596968 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8323] ppid=8291 vsize=15027084 memory=7590641707057438828 CPUtime=1.14 cores=1,3,5,7
/proc/8298/task/8323/stat : 8323 (java) S 8291 8291 8231 0 -1 1077944384 3678 0 0 0 113 1 0 0 20 0 15 0 230629693 15387734016 114633 33554432000 4194304 4196468 140729285983232 140492234816368 140493200390786 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8325] ppid=8291 vsize=15027084 memory=7380395266880590678 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8325/stat : 8325 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15387734016 114633 33554432000 4194304 4196468 140729285983232 140490594839520 140493200389845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
[pid=8298/tid=8327] ppid=8291 vsize=15027084 memory=7451609539861307728 CPUtime=0 cores=1,3,5,7
/proc/8298/task/8327/stat : 8327 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629694 15387734016 114633 33554432000 4194304 4196468 140729285983232 140492233763248 140493200390786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25997312 140729285989384 140729285989681 140729285989681 140729285992399 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 459924 KiB

[startup+4.00033 s]*
/proc/loadavg: 0.79 0.91 1.22 3/220 8342
/proc/meminfo: memFree=15144304/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1468 CPUtime=9.05 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 590 28186 0 1 0 0 888 17 20 0 1 0 230629686 115843072 367 33554432000 4194304 5098028 140733628513472 140733628510216 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 367 311 221 0 87 0
[pid=8328] ppid=8291 vsize=7404280 memory=66608 CPUtime=0.44 cores=1,3,5,7
/proc/8328/stat : 8328 (java) S 8291 8291 8231 0 -1 1077944320 10561 0 0 0 41 3 0 0 20 0 15 0 230630055 7581982720 16652 33554432000 4194304 4196468 140725562753408 140725562735952 140147817942775 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
/proc/8328/statm: 1851070 16652 3014 1 0 1813530 0
[pid=8328/tid=8329] ppid=8291 vsize=7404280 memory=8112282956445269571 CPUtime=0.31 cores=1,3,5,7
/proc/8328/task/8329/stat : 8329 (java) R 8291 8291 8231 0 -1 4202560 8268 0 0 0 29 2 0 0 20 0 15 0 230630055 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147789760424 140147801129609 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8330] ppid=8291 vsize=7404280 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8330/stat : 8330 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630056 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147822185616 140147817952981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8331] ppid=8291 vsize=7404280 memory=5931348737964200016 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8331/stat : 8331 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630056 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147622353936 140147817952981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8332] ppid=8291 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8332/stat : 8332 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630056 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147621301136 140147817952981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8333] ppid=8291 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8333/stat : 8333 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630056 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147620248336 140147817952981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8334] ppid=8291 vsize=7404280 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8334/stat : 8334 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630058 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147196676464 140147817953922 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8335] ppid=8291 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8335/stat : 8335 (java) S 8291 8291 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230630058 7581982720 16652 33554432000 4194304 4196468 140725562753408 140146661909536 140147817952981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8336] ppid=8291 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8336/stat : 8336 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630058 7581982720 16652 33554432000 4194304 4196468 140725562753408 140146393473904 140147817952981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8337] ppid=8291 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8337/stat : 8337 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630061 7581982720 16652 33554432000 4194304 4196468 140725562753408 140146018965328 140147817961371 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8338] ppid=8291 vsize=7404280 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8328/task/8338/stat : 8338 (java) S 8291 8291 8231 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 230630061 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147195624304 140147817953922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8339] ppid=8291 vsize=7404280 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8328/task/8339/stat : 8339 (java) S 8291 8291 8231 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 15 0 230630061 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147194571504 140147817953922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8340] ppid=8291 vsize=7404280 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8328/task/8340/stat : 8340 (java) S 8291 8291 8231 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 15 0 230630061 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147193518704 140147817953922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8341] ppid=8291 vsize=7404280 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8341/stat : 8341 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630061 7581982720 16652 33554432000 4194304 4196468 140725562753408 140145521060576 140147817952981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8342] ppid=8291 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8342/stat : 8342 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630061 7581982720 16652 33554432000 4194304 4196468 140725562753408 140147192466096 140147817953922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 68076 KiB

[startup+4.40542 s]
/proc/loadavg: 0.79 0.91 1.22 3/220 8342
/proc/meminfo: memFree=15144304/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1468 CPUtime=9.05 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 590 28186 0 1 0 0 888 17 20 0 1 0 230629686 115843072 367 33554432000 4194304 5098028 140733628513472 140733628510216 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 367 311 221 0 87 0
[pid=8328] ppid=8291 vsize=7410572 memory=104884 CPUtime=1.02 cores=1,3,5,7
/proc/8328/stat : 8328 (java) S 8291 8291 8231 0 -1 1077944320 17487 0 1 0 97 5 0 0 20 0 15 0 230630055 7588425728 26221 33554432000 4194304 4196468 140725562753408 140725562735952 140147817942775 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
/proc/8328/statm: 1852643 26221 3128 1 0 1814042 0
[pid=8328/tid=8329] ppid=8291 vsize=7410572 memory=6656426216303648864 CPUtime=0.69 cores=1,3,5,7
/proc/8328/task/8329/stat : 8329 (java) R 8291 8291 8231 0 -1 4202560 14715 0 1 0 65 4 0 0 20 0 15 0 230630055 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147789776160 140147817964701 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8330] ppid=8291 vsize=7410572 memory=-7665536046109432865 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8330/stat : 8330 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630056 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147822185616 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8331] ppid=8291 vsize=7410572 memory=-2892745056951965031 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8331/stat : 8331 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630056 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147622353936 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8332] ppid=8291 vsize=7410572 memory=6944656591801717405 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8332/stat : 8332 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630056 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147621301136 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8333] ppid=8291 vsize=7410572 memory=8171313580286955607 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8333/stat : 8333 (java) S 8291 8291 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630056 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147620248336 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8334] ppid=8291 vsize=7410572 memory=8099255986249027671 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8334/stat : 8334 (java) S 8291 8291 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230630058 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147196676464 140147817953922 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8335] ppid=8291 vsize=7410572 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8335/stat : 8335 (java) S 8291 8291 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230630058 7588425728 26221 33554432000 4194304 4196468 140725562753408 140146661909536 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8336] ppid=8291 vsize=7410572 memory=6944613755395144096 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8336/stat : 8336 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630058 7588425728 26221 33554432000 4194304 4196468 140725562753408 140146393473904 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8337] ppid=8291 vsize=7410572 memory=8761921863948460128 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8337/stat : 8337 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630061 7588425728 26221 33554432000 4194304 4196468 140725562753408 140146018965328 140147817961371 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8338] ppid=8291 vsize=7410572 memory=6944656592455360608 CPUtime=0.06 cores=1,3,5,7
/proc/8328/task/8338/stat : 8338 (java) R 8291 8291 8231 0 -1 4202560 516 0 0 0 6 0 0 0 20 0 15 0 230630061 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147195610400 140147801329982 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8339] ppid=8291 vsize=7410572 memory=7374753728553838701 CPUtime=0.06 cores=1,3,5,7
/proc/8328/task/8339/stat : 8339 (java) R 8291 8291 8231 0 -1 4202560 362 0 0 0 6 0 0 0 20 0 15 0 230630061 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147194552520 140147799486498 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8340] ppid=8291 vsize=7410572 memory=5937503940876124257 CPUtime=0.18 cores=1,3,5,7
/proc/8328/task/8340/stat : 8340 (java) R 8291 8291 8231 0 -1 4202560 558 0 0 0 18 0 0 0 20 0 15 0 230630061 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147193518704 140147796432486 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8341] ppid=8291 vsize=7410572 memory=7012217231382439787 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8341/stat : 8341 (java) S 8291 8291 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630061 7588425728 26221 33554432000 4194304 4196468 140725562753408 140145521060576 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8342] ppid=8291 vsize=7410572 memory=7374761416511547749 CPUtime=0 cores=1,3,5,7
/proc/8328/task/8342/stat : 8342 (java) S 8291 8291 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630061 7588425728 26221 33554432000 4194304 4196468 140725562753408 140147192466096 140147817953922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
Current children cumulated CPU time: 10.07 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 106352 KiB

[startup+4.50133 s]
/proc/loadavg: 0.79 0.91 1.22 3/220 8342
/proc/meminfo: memFree=15144304/32770624 swapFree=67108792/67108860
[pid=8291] ppid=8286 vsize=113128 memory=1468 CPUtime=9.05 cores=1,3,5,7
/proc/8291/stat : 8291 (scop.sh) S 8286 8291 8231 0 -1 4202496 590 28186 0 1 0 0 888 17 20 0 1 0 230629686 115843072 367 33554432000 4194304 5098028 140733628513472 140733628510216 139945849451132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33447936 140733628515393 140733628515591 140733628515591 140733628518349 0
/proc/8291/statm: 28282 367 311 221 0 87 0
[pid=8328] ppid=8291 vsize=8068220 memory=120952 CPUtime=1.22 cores=1,3,5,7
/proc/8328/stat : 8328 (java) S 8291 8291 8231 0 -1 1077944320 17992 1802 2 0 109 5 8 0 20 0 18 0 230630055 8261857280 30238 33554432000 4194304 4196468 140725562753408 140725562735952 140147817942775 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
/proc/8328/statm: 2017055 30238 3142 1 0 1978454 0
[pid=8328/tid=8329] ppid=8291 vsize=8068220 memory=72248 CPUtime=0.83 cores=1,3,5,7
/proc/8328/task/8329/stat : 8329 (java) S 8291 8291 8231 0 -1 1077944384 15019 1802 2 0 71 4 8 0 20 0 18 0 230630055 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147789782928 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8330] ppid=8291 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8330/stat : 8330 (java) S 8291 8291 8231 0 -1 1077944384 1 1802 0 0 0 0 8 0 20 0 18 0 230630056 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147822185616 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8331] ppid=8291 vsize=8068220 memory=-6511484135336795076 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8331/stat : 8331 (java) S 8291 8291 8231 0 -1 1077944384 1 1802 0 0 0 0 8 0 20 0 18 0 230630056 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147622353936 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8332] ppid=8291 vsize=8068220 memory=-6224098205489846724 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8332/stat : 8332 (java) S 8291 8291 8231 0 -1 1077944384 1 1802 0 0 0 0 8 0 20 0 18 0 230630056 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147621301136 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8333] ppid=8291 vsize=8068220 memory=139938776930081 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8333/stat : 8333 (java) S 8291 8291 8231 0 -1 1077944384 2 1802 0 0 0 0 8 0 20 0 18 0 230630056 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147620248336 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8334] ppid=8291 vsize=8068220 memory=7374754797950232941 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8334/stat : 8334 (java) S 8291 8291 8231 0 -1 1077944384 5 1802 0 0 0 0 8 0 20 0 18 0 230630058 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147196676464 140147817953922 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8335] ppid=8291 vsize=8068220 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8335/stat : 8335 (java) S 8291 8291 8231 0 -1 1077944384 13 1802 0 0 0 0 8 0 20 0 18 0 230630058 8261857280 30238 33554432000 4194304 4196468 140725562753408 140146661909536 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8336] ppid=8291 vsize=8068220 memory=288230596050944315 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8336/stat : 8336 (java) S 8291 8291 8231 0 -1 1077944384 1 1802 0 0 0 0 8 0 20 0 18 0 230630058 8261857280 30238 33554432000 4194304 4196468 140725562753408 140146393473904 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8337] ppid=8291 vsize=8068220 memory=14133342345892558 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8337/stat : 8337 (java) S 8291 8291 8231 0 -1 1077944384 3 1802 0 0 0 0 8 0 20 0 18 0 230630061 8261857280 30238 33554432000 4194304 4196468 140725562753408 140146018965328 140147817961371 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8338] ppid=8291 vsize=8068220 memory=6788 CPUtime=0.14 cores=1,3,5,7
/proc/8328/task/8338/stat : 8338 (java) R 8291 8291 8231 0 -1 4202560 522 1802 0 0 6 0 8 0 20 0 18 0 230630061 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147195624304 140147803958752 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8339] ppid=8291 vsize=8068220 memory=7453804238923322454 CPUtime=0.17 cores=1,3,5,7
/proc/8328/task/8339/stat : 8339 (java) S 8291 8291 8231 0 -1 1077944384 433 1802 0 0 9 0 8 0 20 0 18 0 230630061 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147194571504 140147817953922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8340] ppid=8291 vsize=8068220 memory=7524783082217498736 CPUtime=0.29 cores=1,3,5,7
/proc/8328/task/8340/stat : 8340 (java) R 8291 8291 8231 0 -1 1077944384 618 1802 0 0 21 0 8 0 20 0 18 0 230630061 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147193518704 140147817953922 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8341] ppid=8291 vsize=8068220 memory=7374757027038390381 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8341/stat : 8341 (java) S 8291 8291 8231 0 -1 1077944384 3 1802 0 0 0 0 8 0 20 0 18 0 230630061 8261857280 30238 33554432000 4194304 4196468 140725562753408 140145521060576 140147817952981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
[pid=8328/tid=8342] ppid=8291 vsize=8068220 memory=7374757027038390381 CPUtime=0.08 cores=1,3,5,7
/proc/8328/task/8342/stat : 8342 (java) S 8291 8291 8231 0 -1 1077944384 1 1802 0 0 0 0 8 0 20 0 18 0 230630061 8261857280 30238 33554432000 4194304 4196468 140725562753408 140147192466096 140147817953922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140725562762422 140725562762545 140725562762545 140725562765263 0
Current children cumulated CPU time: 10.27 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 122420 KiB

Child status: 0
Real time (s): 4.59268
CPU time (s): 10.4554
CPU user time (s): 10.2145
CPU system time (s): 0.240877
CPU usage (%): 227.653
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 561548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2145
system time used= 0.240877
maximum resident set size= 562176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49027
page faults= 3
swaps= 0
block input operations= 3240
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6291
involuntary context switches= 147


# summary of solver processes directly reported to runsolver:
#   pid: 8291
#   total CPU time (s): 10.4554
#   total CPU user time (s): 10.2145
#   total CPU system time (s): 0.240877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065329 second user time and 0.07818 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-13 05:24:24
IDJOB=4305678
IDBENCH=141601
IDSOLVER=2783
FILE ID=node150/4305678-1534130664
RUNJOBID= node150-1534130664-8263
PBS_JOBID= 21037012
Free space on /tmp= 35036 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-08_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305678-1534130664/watcher-4305678-1534130664 -o /tmp/evaluation-result-4305678-1534130664/solver-4305678-1534130664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305678-1534130664.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d342e5d3265d7d58fa84b10ce3b2f22d
RANDOM SEED=1807625557

node150.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.76
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.76
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.76
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.76
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:        15944268 kB
MemAvailable:   31904912 kB
Buffers:          228832 kB
Cached:         15796440 kB
SwapCached:           32 kB
Active:          7951628 kB
Inactive:        8125388 kB
Active(anon):       3404 kB
Inactive(anon):   101220 kB
Active(file):    7948224 kB
Inactive(file):  8024168 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             15860 kB
Writeback:             0 kB
AnonPages:         59420 kB
Mapped:            53384 kB
Shmem:             49732 kB
Slab:             444420 kB
SReclaimable:     416712 kB
SUnreclaim:        27708 kB
KernelStack:        3184 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 35020 MiB
End job on node150 at 2018-08-13 05:24:29