Trace number 4305614

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 25.9029 14.7336

General information on the benchmark

NameEternity/
Eternity-06-06_c18.xml
MD5SUM4056656ba438a73a4a2b41323b2858a8
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.138801
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints61
Number of domains2
Minimum domain size9
Maximum domain size36
Distribution of domain sizes[{"size":9,"count":84},{"size":36,"count":36}]
Minimum variable degree1
Maximum variable degree7
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":114},{"degree":7,"count":1}]
Minimum constraint arity1
Maximum constraint arity36
Distribution of constraint arities[{"arity":1,"count":24},{"arity":5,"count":36},{"arity":36,"count":1}]
Number of extensional constraints36
Number of intensional constraints24
Distribution of constraint types[{"type":"extension","count":36},{"type":"intension","count":24},{"type":"allDifferent","count":1}]
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-30595-serial-file.bin HOME/instance-4305614-1534134708.xml
0.55/0.51	
0.67/0.52	scop both+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Mon Aug 13 06:31:49 CEST 2018
0.67/0.54	c PID: 30598
0.67/0.54	c IP: 172.20.3.139
0.67/0.54	c HOST: node139.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.68/0.98	c (0,0) Parsing End
1.68/0.99	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 61 ctr, max domain size 36
1.68/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/0.99	c (0,0) Constraint Name Generate Begin
1.68/0.99	c (0,0) Ctr:HOME/instance-4305614-1534134708.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
1.68/0.99	c (0,0) Constraint Name Generate End
1.68/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/0.99	c (0,0) CSP to CSPinCNF Begin
5.84/2.20	c (1,1) translated 7 (10%) constraints
7.37/2.74	c (2,2) translated 13 (20%) constraints
8.53/3.18	c (2,2) translated 19 (30%) constraints
9.96/3.60	c (3,3) translated 25 (40%) constraints
10.72/3.99	c (3,3) translated 31 (50%) constraints
11.22/4.35	c (3,3) translated 37 (60%) constraints
11.32/4.41	c (3,3) translated 43 (70%) constraints
11.32/4.41	c (3,3) translated 49 (80%) constraints
11.32/4.41	c (3,3) translated 55 (90%) constraints
11.32/4.41	c (3,3) translated 61 (100%) constraints
11.86/4.68	c (4,4) STATISTICS1:HOME/instance-4305614-1534134708.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,7752,46160,36,36,37,2,36:630,36:3852;9:46260;2:80352;1:9276,37:36;36:2;5:648;4:16992;3:10224;2:18234;1:24,2:630;1:138504;0:36,
11.86/4.68	c (4,4) ==========================================
11.86/4.68	c (4,4) Both Encoding selects:
11.86/4.68	c (4,4) Order
11.86/4.68	c (4,4) ==========================================
12.36/4.86	c (4,4) translated 4616 (10%) constraints
12.66/4.97	c (4,4) translated 9232 (20%) constraints
13.00/5.06	c (4,4) translated 13848 (30%) constraints
13.13/5.13	c (4,4) translated 18464 (40%) constraints
13.36/5.21	c (4,4) translated 23080 (50%) constraints
13.36/5.28	c (4,4) translated 27696 (60%) constraints
13.51/5.35	c (4,4) translated 32312 (70%) constraints
13.61/5.42	c (4,4) translated 36928 (80%) constraints
13.61/5.49	c (4,4) translated 41544 (90%) constraints
13.71/5.56	c (5,5) translated 46160 (100%) constraints
13.71/5.56	c (5,5) CSP to CSPinCNF End
13.71/5.57	c (5,5) CSP: 120 int (0 aux), 7632 bool (7632 aux), 46184 ctr, max domain size 36
13.71/5.57	c (5,5) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.71/5.57	c (5,5) CSPinCNF Propagation Begin
15.42/6.40	c (5,5) 2871 values, 15850 unsatisfiable literals, and 16280 valid clauses are removed
15.42/6.40	c (5,5) CSPinCNF Propagation End
15.42/6.41	c (5,5) CSP: 2607 int (2487 aux), 5145 bool (5145 aux), 29904 ctr, max domain size 36
15.42/6.41	c (5,5) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.42/6.41	c (5,5) Simplify CSPinCNF Begin
15.68/6.52	c (6,5) Simplify CSPinCNF End
15.68/6.53	c (6,5) CSP: 2607 int (2487 aux), 6405 bool (6405 aux), 31164 ctr, max domain size 36
15.68/6.53	c (6,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.68/6.53	c (6,5) Calculate Precise Domain Begin
15.68/6.53	c (6,5) 0 values are removed by re-calculation
15.68/6.53	c (6,5) Calculate Precise Domain End
15.68/6.53	c (6,5) CSP: 2607 int (2487 aux), 6405 bool (6405 aux), 31164 ctr, max domain size 36
15.68/6.53	c (6,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.68/6.53	c (6,5) CSPinCNF to SatSolver Begin
16.27/6.79	c (6,6) 3117 (10 %) CSP clauses are encoded (7761 SAT variables, 27868 SAT clauses)
16.57/6.82	c (6,6) 6233 (20 %) CSP clauses are encoded (7761 SAT variables, 30984 SAT clauses)
16.57/6.86	c (6,6) 9350 (30 %) CSP clauses are encoded (7761 SAT variables, 34101 SAT clauses)
16.57/6.88	c (6,6) 12466 (40 %) CSP clauses are encoded (7761 SAT variables, 37217 SAT clauses)
16.88/6.90	c (6,6) 15582 (50 %) CSP clauses are encoded (7761 SAT variables, 40333 SAT clauses)
16.88/6.92	c (6,6) 18699 (60 %) CSP clauses are encoded (7761 SAT variables, 43450 SAT clauses)
16.88/6.94	c (6,6) 21815 (70 %) CSP clauses are encoded (7761 SAT variables, 46566 SAT clauses)
16.88/6.96	c (6,6) 24932 (80 %) CSP clauses are encoded (7761 SAT variables, 49683 SAT clauses)
16.88/6.98	c (6,6) 28048 (90 %) CSP clauses are encoded (7761 SAT variables, 52799 SAT clauses)
16.88/6.99	c (6,6) 31164 (100 %) CSP clauses are encoded (7761 SAT variables, 55915 SAT clauses)
16.88/6.99	c (6,6) Launch Command will be: minisat_release
16.88/6.99	c (6,6) CSPinCNF to SatSolver End
16.88/6.99	c (6,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.38/7.18	c (6,6) STATISTICS2:HOME/instance-4305614-1534134708.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,9012,31164,36,36,36,2,36:240;20:752;4:268,36:2272;20:1744;9:34553;4:308;2:53106,36:17;20:16;16:1;5:336;4:9956;3:6595;2:14243,2:1260;1:89463,
17.38/7.18	c (6,6) 7761 bool, 55916 clause
17.38/7.18	c (6,6) Export Begin
17.65/7.28	c (6,6) Export to HOME/scop-30595-serial-file.bin
17.65/7.28	c (6,6) Export End
17.65/7.28	c (6,6) Export File Size: 0.03 MB
17.65/7.28	c (6,6) 0,0,5,5,6,6,6,STOP-AFTER(DIMACS)
17.65/7.28	c END-Prog: Mon Aug 13 06:31:55 CEST 2018
0.00/7.30	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30595-serial-file.bin
17.89/7.79	c (0,0) Read Serial File Begin
17.89/7.79	c (0,0) HOME/scop-30595-serial-file.bin
17.89/7.97	c (0,0) Read Serial File End
17.89/7.98	
17.89/7.98	scop order+minisat_release (2018-07-31)
17.89/7.98	(Solving Process)
17.89/7.98	
17.89/8.00	c BEGIN-Prog: Mon Aug 13 06:31:56 CEST 2018
17.89/8.00	c PID: 30613
17.89/8.00	c IP: 172.20.3.139
17.89/8.00	c HOST: node139.alineos.net
18.86/8.01	c (0,0) SatSolver.solve Begin
18.86/8.01	c (0,0) 0 bool, 0 clause
18.86/8.01	c (0,0) minisat_release HOME/instance-4305614-1534134708.xml-scop-30598.cnf
25.59/14.62	c (6,0) c This is COMiniSatPS.
25.59/14.62	c (6,0) c WARNING: for repeatability, setting FPU to use double precision
25.59/14.62	c (6,0) c ============================[ Problem Statistics ]=============================
25.59/14.62	c (6,0) c |                                                                             |
25.59/14.62	c (6,0) c |  Number of variables:          7761                                         |
25.59/14.62	c (6,0) c |  Number of clauses:           55916                                         |
25.59/14.62	c (6,0) c |  Parse time:                   0.02 s                                       |
25.59/14.62	c (6,0) c |  Eliminated clauses:           0.11 Mb                                      |
25.59/14.62	c (6,0) c Reduced to 4771 vars, 45698 cls (grow=0)
25.59/14.62	c (6,0) c No iterative elimination performed. (vars=4771, c/v ratio=9.6)
25.59/14.62	c (6,0) c |  Simplification time:          0.05 s                                       |
25.59/14.62	c (6,0) c |                                                                             |
25.59/14.62	c (6,0) c ============================[ Search Statistics ]==============================
25.59/14.62	c (6,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.59/14.62	c (6,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
25.59/14.62	c (6,0) c ===============================================================================
25.59/14.62	c (6,0) c ===============================================================================
25.59/14.62	c (6,0) c restarts              : 189
25.59/14.62	c (6,0) c conflicts             : 50563          (7682 /sec)
25.59/14.62	c (6,0) c decisions             : 104057         (0.00 % random) (15809 /sec)
25.59/14.62	c (6,0) c propagations          : 16755940       (2545626 /sec)
25.59/14.62	c (6,0) c conflict literals     : 2632589        (40.88 % deleted)
25.59/14.62	c (6,0) c CPU time              : 6.58225 s
25.59/14.62	c (6,0) 
25.59/14.62	c (6,0) s SATISFIABLE
25.59/14.65	c (6,0) SatSolver.solve End
25.59/14.65	c (6,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
25.59/14.65	c (6,0) Show results Begin
25.80/14.71	s SATISFIABLE
25.80/14.72	v <instantiation>
25.80/14.72	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] right[0] right[1] right[2] right[3] right[4] right[5]</list>
25.80/14.72	v     <values>1 6 10 11 17 3 15 29 21 28 23 5 14 26 27 24 20 16 13 32 34 35 31 8 19 33 25 22 30 4 2 12 18 7 9 0 0 0 0 0 0 0 3 8 5 6 6 2 3 7 4 8 7 1 2 5 7 6 4 3 3 5 5 5 7 1 2 6 7 8 4 1 0 1 1 2 2 3 0 4 5 5 4 6 0 4 7 7 4 5 0 7 6 8 8 8 0 8 6 4 8 6 0 2 3 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0</values>
25.80/14.72	v </instantiation>
25.80/14.72	c (7,0) Show results End
25.80/14.72	c (7,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
25.80/14.72	c (7,0) 6,7,STOP-AFTER(ALL)
25.80/14.72	c END-Prog: Mon Aug 13 06:32:03 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 (5634 MiB free)
  memory of node 1: 16384 MiB (7008 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305614-1534134708/watcher-4305614-1534134708 -o /tmp/evaluation-result-4305614-1534134708/solver-4305614-1534134708 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29821 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305614-1534134708.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
solver pid=30595, runsolver pid=30592
Current StackSize limit: 8192 KiB


[startup+0.100348 s]*
/proc/loadavg: 2.04 2.03 2.05 3/223 30612
/proc/meminfo: memFree=12887820/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231033970 115843072 349 33554432000 4194304 5098028 140729590526800 140729590524056 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 349 296 221 0 87 0
[pid=30598] ppid=30595 vsize=15012476 memory=70436 CPUtime=0.11 cores=1,3,5,7
/proc/30598/stat : 30598 (java) S 30595 30595 29789 0 -1 1077944320 6325 0 0 0 9 2 0 0 20 0 15 0 231033971 15372775424 17609 33554432000 4194304 4196468 140726194836432 140726194818976 140027823734519 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
/proc/30598/statm: 3753119 17609 2744 1 0 3715579 0
[pid=30598/tid=30599] ppid=30595 vsize=15012476 memory=-6148396199699595201 CPUtime=0.09 cores=1,3,5,7
/proc/30598/task/30599/stat : 30599 (java) R 30595 30595 29789 0 -1 4202560 4423 0 0 0 7 2 0 0 20 0 15 0 231033971 15372775424 17675 33554432000 4194304 4196468 140726194836432 140027795546504 140027804010226 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30600] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30600/stat : 30600 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 17675 33554432000 4194304 4196468 140726194836432 140027827976592 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30601] ppid=30595 vsize=15012476 memory=140140026820224 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30601/stat : 30601 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 17675 33554432000 4194304 4196468 140726194836432 140027619059984 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30602] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30602/stat : 30602 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 17675 33554432000 4194304 4196468 140726194836432 140027618007696 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30603] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30603/stat : 30603 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 17675 33554432000 4194304 4196468 140726194836432 140027616954896 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30604] ppid=30595 vsize=15012476 memory=140140026820224 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30604/stat : 30604 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033974 15372775424 17675 33554432000 4194304 4196468 140726194836432 140026659682928 140027823745666 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30605] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30605/stat : 30605 (java) S 30595 30595 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231033975 15372775424 17675 33554432000 4194304 4196468 140726194836432 140026402825504 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30606] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30606/stat : 30606 (java) S 30595 30595 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231033975 15372775424 17675 33554432000 4194304 4196468 140726194836432 140026268604016 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30607] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30607/stat : 30607 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 17675 33554432000 4194304 4196468 140726194836432 140025894099536 140027823753115 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30608] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30608/stat : 30608 (java) S 30595 30595 29789 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 17675 33554432000 4194304 4196468 140726194836432 140026658629744 140027823745666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30609] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30609/stat : 30609 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 17675 33554432000 4194304 4196468 140726194836432 140026657576944 140027823745666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30610] ppid=30595 vsize=15012476 memory=140140026820224 CPUtime=0.01 cores=1,3,5,7
/proc/30598/task/30610/stat : 30610 (java) S 30595 30595 29789 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 231033977 15372775424 17741 33554432000 4194304 4196468 140726194836432 140026656524656 140027823745666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30611] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30611/stat : 30611 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 17741 33554432000 4194304 4196468 140726194836432 140025396193760 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30612] ppid=30595 vsize=15012476 memory=140140026820224 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30612/stat : 30612 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033978 15372775424 17741 33554432000 4194304 4196468 140726194836432 140026655472560 140027823745666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71832 KiB

[startup+0.210636 s]*
/proc/loadavg: 2.04 2.03 2.05 3/223 30612
/proc/meminfo: memFree=12873992/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231033970 115843072 349 33554432000 4194304 5098028 140729590526800 140729590524056 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 349 296 221 0 87 0
[pid=30598] ppid=30595 vsize=15012476 memory=83768 CPUtime=0.25 cores=1,3,5,7
/proc/30598/stat : 30598 (java) S 30595 30595 29789 0 -1 1077944320 9786 0 0 0 22 3 0 0 20 0 15 0 231033971 15372775424 20942 33554432000 4194304 4196468 140726194836432 140726194818976 140027823734519 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
/proc/30598/statm: 3753119 20942 2920 1 0 3715579 0
[pid=30598/tid=30599] ppid=30595 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/30598/task/30599/stat : 30599 (java) R 30595 30595 29789 0 -1 4202560 7670 0 0 0 17 2 0 0 20 0 15 0 231033971 15372775424 20942 33554432000 4194304 4196468 140726194836432 140027795560912 140027823746454 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30600] ppid=30595 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30600/stat : 30600 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 20942 33554432000 4194304 4196468 140726194836432 140027827976592 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30601] ppid=30595 vsize=15012476 memory=4123246317676295840 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30601/stat : 30601 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 20942 33554432000 4194304 4196468 140726194836432 140027619059984 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30602] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30602/stat : 30602 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 20942 33554432000 4194304 4196468 140726194836432 140027618007696 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30603] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30603/stat : 30603 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 20942 33554432000 4194304 4196468 140726194836432 140027616954896 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30604] ppid=30595 vsize=15012476 memory=140140026820224 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30604/stat : 30604 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033974 15372775424 20942 33554432000 4194304 4196468 140726194836432 140026659682928 140027823745666 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30605] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30605/stat : 30605 (java) S 30595 30595 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231033975 15372775424 20942 33554432000 4194304 4196468 140726194836432 140026402825504 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30606] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30606/stat : 30606 (java) S 30595 30595 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231033975 15372775424 20942 33554432000 4194304 4196468 140726194836432 140026268604016 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30607] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30607/stat : 30607 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 20942 33554432000 4194304 4196468 140726194836432 140025894099536 140027823753115 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30608] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30608/stat : 30608 (java) R 30595 30595 29789 0 -1 4202560 347 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 20942 33554432000 4194304 4196468 140726194836432 140026658629744 140027823746454 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30609] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30609/stat : 30609 (java) S 30595 30595 29789 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 20942 33554432000 4194304 4196468 140726194836432 140026657576944 140027823745666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30610] ppid=30595 vsize=15012476 memory=140140026820224 CPUtime=0.03 cores=1,3,5,7
/proc/30598/task/30610/stat : 30610 (java) R 30595 30595 29789 0 -1 1077944384 282 0 0 0 3 0 0 0 20 0 15 0 231033977 15372775424 20942 33554432000 4194304 4196468 140726194836432 140026656524656 140027823745666 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30611] ppid=30595 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30611/stat : 30611 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 20942 33554432000 4194304 4196468 140726194836432 140025396193760 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30612] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30612/stat : 30612 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033978 15372775424 20942 33554432000 4194304 4196468 140726194836432 140026655472560 140027823745666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85164 KiB

[startup+0.31069 s]*
/proc/loadavg: 2.04 2.03 2.05 3/223 30612
/proc/meminfo: memFree=12869960/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231033970 115843072 349 33554432000 4194304 5098028 140729590526800 140729590524056 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 349 296 221 0 87 0
[pid=30598] ppid=30595 vsize=15012476 memory=87632 CPUtime=0.43 cores=1,3,5,7
/proc/30598/stat : 30598 (java) S 30595 30595 29789 0 -1 1077944320 10404 0 0 0 39 4 0 0 20 0 15 0 231033971 15372775424 21908 33554432000 4194304 4196468 140726194836432 140726194818976 140027823734519 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
/proc/30598/statm: 3753119 21908 3003 1 0 3715579 0
[pid=30598/tid=30599] ppid=30595 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30598/task/30599/stat : 30599 (java) R 30595 30595 29789 0 -1 4202560 8102 0 0 0 27 3 0 0 20 0 15 0 231033971 15372775424 21908 33554432000 4194304 4196468 140726194836432 140027795529968 140027807815006 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30600] ppid=30595 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30600/stat : 30600 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 21908 33554432000 4194304 4196468 140726194836432 140027827976592 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30601] ppid=30595 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30601/stat : 30601 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 21908 33554432000 4194304 4196468 140726194836432 140027619059984 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30602] ppid=30595 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30602/stat : 30602 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 21908 33554432000 4194304 4196468 140726194836432 140027618007696 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30603] ppid=30595 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30603/stat : 30603 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15372775424 21908 33554432000 4194304 4196468 140726194836432 140027616954896 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30604] ppid=30595 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30604/stat : 30604 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033974 15372775424 21908 33554432000 4194304 4196468 140726194836432 140026659682928 140027823745666 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30605] ppid=30595 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30605/stat : 30605 (java) S 30595 30595 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231033975 15372775424 21908 33554432000 4194304 4196468 140726194836432 140026402825504 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30606] ppid=30595 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30606/stat : 30606 (java) S 30595 30595 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231033975 15372775424 21908 33554432000 4194304 4196468 140726194836432 140026268604016 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30607] ppid=30595 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30607/stat : 30607 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 21908 33554432000 4194304 4196468 140726194836432 140025894099536 140027823753115 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30608] ppid=30595 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30598/task/30608/stat : 30608 (java) R 30595 30595 29789 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 231033977 15372775424 21908 33554432000 4194304 4196468 140726194836432 140026658629744 140027808630120 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30609] ppid=30595 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30598/task/30609/stat : 30609 (java) R 30595 30595 29789 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 231033977 15372775424 21908 33554432000 4194304 4196468 140726194836432 140026657576944 140027823745666 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30610] ppid=30595 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30598/task/30610/stat : 30610 (java) R 30595 30595 29789 0 -1 4202560 324 0 0 0 7 0 0 0 20 0 15 0 231033977 15372775424 21908 33554432000 4194304 4196468 140726194836432 140026656524656 140027802690125 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30611] ppid=30595 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30611/stat : 30611 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15372775424 21908 33554432000 4194304 4196468 140726194836432 140025396193760 140027823744725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30612] ppid=30595 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30612/stat : 30612 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033978 15372775424 21908 33554432000 4194304 4196468 140726194836432 140026655472560 140027823745666 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89028 KiB

[startup+0.704016 s]
/proc/loadavg: 2.04 2.03 2.05 3/223 30612
/proc/meminfo: memFree=12845280/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231033970 115843072 349 33554432000 4194304 5098028 140729590526800 140729590524056 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 349 296 221 0 87 0
[pid=30598] ppid=30595 vsize=15020872 memory=127704 CPUtime=1.02 cores=1,3,5,7
/proc/30598/stat : 30598 (java) S 30595 30595 29789 0 -1 1077944320 17634 0 0 0 96 6 0 0 20 0 15 0 231033971 15381372928 31926 33554432000 4194304 4196468 140726194836432 140726194818976 140027823734519 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
/proc/30598/statm: 3755218 31926 3145 1 0 3716603 0
[pid=30598/tid=30599] ppid=30595 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/30598/task/30599/stat : 30599 (java) R 30595 30595 29789 0 -1 4202560 14851 0 0 0 62 5 0 0 20 0 15 0 231033971 15381372928 31926 33554432000 4194304 4196468 140726194836432 140027795569976 140027807778149 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30600] ppid=30595 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30600/stat : 30600 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15381372928 31926 33554432000 4194304 4196468 140726194836432 140027827976592 140027823744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30601] ppid=30595 vsize=15020872 memory=62644 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30601/stat : 30601 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15381372928 31926 33554432000 4194304 4196468 140726194836432 140027619059984 140027823744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30602] ppid=30595 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30602/stat : 30602 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033973 15381372928 31926 33554432000 4194304 4196468 140726194836432 140027618007696 140027823744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30603] ppid=30595 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30603/stat : 30603 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231033973 15381372928 31926 33554432000 4194304 4196468 140726194836432 140027616954896 140027823744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30604] ppid=30595 vsize=15020872 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30604/stat : 30604 (java) S 30595 30595 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231033974 15381372928 31926 33554432000 4194304 4196468 140726194836432 140026659682928 140027823745666 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30605] ppid=30595 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30605/stat : 30605 (java) S 30595 30595 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231033975 15381372928 31926 33554432000 4194304 4196468 140726194836432 140026402825504 140027823744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30606] ppid=30595 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30606/stat : 30606 (java) S 30595 30595 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231033975 15381372928 31926 33554432000 4194304 4196468 140726194836432 140026268604016 140027823744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30607] ppid=30595 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30607/stat : 30607 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15381372928 31926 33554432000 4194304 4196468 140726194836432 140025894099536 140027823753115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30608] ppid=30595 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/30598/task/30608/stat : 30608 (java) R 30595 30595 29789 0 -1 4202560 654 0 0 0 9 0 0 0 20 0 15 0 231033977 15381372928 31926 33554432000 4194304 4196468 140726194836432 140026658629744 140027805279053 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30609] ppid=30595 vsize=15020872 memory=10096 CPUtime=0.07 cores=1,3,5,7
/proc/30598/task/30609/stat : 30609 (java) R 30595 30595 29789 0 -1 1077944384 290 0 0 0 7 0 0 0 20 0 15 0 231033977 15381372928 31926 33554432000 4194304 4196468 140726194836432 140026657577072 140027823744725 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30610] ppid=30595 vsize=15020872 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/30598/task/30610/stat : 30610 (java) S 30595 30595 29789 0 -1 1077944384 483 0 0 0 16 0 0 0 20 0 15 0 231033977 15381372928 31926 33554432000 4194304 4196468 140726194836432 140026656524656 140027823745666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30611] ppid=30595 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30611/stat : 30611 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231033977 15381372928 31926 33554432000 4194304 4196468 140726194836432 140025396193760 140027823744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
[pid=30598/tid=30612] ppid=30595 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/30598/task/30612/stat : 30612 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231033978 15381372928 31926 33554432000 4194304 4196468 140726194836432 140026655472560 140027823745666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140726194840583 140726194840881 140726194840881 140726194843599 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129100 KiB

[startup+1.50102 s]
/proc/loadavg: 2.04 2.03 2.05 5/223 30612
/proc/meminfo: memFree=12804828/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231033970 115843072 349 33554432000 4194304 5098028 140729590526800 140729590524056 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 349 296 221 0 87 0

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

/proc/30613/task/30629/stat : 30629 (java) S 30595 30595 29789 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408580331328 140409213177625 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30631] ppid=30595 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30631/stat : 30631 (java) S 30595 30595 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406507417488 140409213174941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30632] ppid=30595 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30632/stat : 30632 (java) S 30595 30595 29789 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406238985744 140409213174941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30633] ppid=30595 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30633/stat : 30633 (java) S 30595 30595 29789 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 231034776 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406641646880 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
Current children cumulated CPU time: 24.59 s
Current children cumulated vsize: 8228280 KiB
Current children cumulated memory: 145984 KiB

[startup+14.4009 s]
/proc/loadavg: 2.33 2.10 2.07 4/221 30763
/proc/meminfo: memFree=13111160/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1472 CPUtime=17.89 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 592 36601 0 0 0 0 1743 46 20 0 1 0 231033970 115843072 368 33554432000 4194304 5098028 140729590526800 140729590523544 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 368 311 221 0 87 0
[pid=30613] ppid=30595 vsize=8068220 memory=117012 CPUtime=1.15 cores=1,3,5,7
/proc/30613/stat : 30613 (java) S 30595 30595 29789 0 -1 1077944320 18003 0 0 0 109 6 0 0 20 0 19 0 231034701 8261857280 29253 33554432000 4194304 4196468 140730676392496 140730676375040 140409213153015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
/proc/30613/statm: 2017055 29253 3144 1 0 1978454 0
[pid=30628] ppid=30613 vsize=35436 memory=19340 CPUtime=6.35 cores=1,3,5,7
/proc/30628/stat : 30628 (minisat_release) R 30613 30595 29789 0 -1 4202496 9876 0 0 0 635 0 0 0 20 0 1 0 231034774 36286464 4835 33554432000 4194304 4308513 140726028893504 140726028890952 4276468 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12988416 140726028899444 140726028899542 140726028899542 140726028902341 0
/proc/30628/statm: 8859 4835 337 28 0 5099 0
[pid=30613/tid=30614] ppid=30595 vsize=8068220 memory=-7824251494390848613 CPUtime=0.75 cores=1,3,5,7
/proc/30613/task/30614/stat : 30614 (java) S 30595 30595 29789 0 -1 1077944384 15026 0 0 0 70 5 0 0 20 0 19 0 231034701 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409184993168 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30615] ppid=30595 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30615/stat : 30615 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231034702 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409217395216 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30616] ppid=30595 vsize=8068220 memory=2100 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30616/stat : 30616 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231034702 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409017563792 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30617] ppid=30595 vsize=8068220 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30617/stat : 30617 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231034703 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409016510736 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30618] ppid=30595 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30618/stat : 30618 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231034703 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409015458192 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30619] ppid=30595 vsize=8068220 memory=62644 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30619/stat : 30619 (java) S 30595 30595 29789 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 231034704 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408659573488 140409213164162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30620] ppid=30595 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30620/stat : 30620 (java) S 30595 30595 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231034704 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408050935456 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30621] ppid=30595 vsize=8068220 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30621/stat : 30621 (java) S 30595 30595 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231034705 8261857280 29253 33554432000 4194304 4196468 140730676392496 140407916713200 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30622] ppid=30595 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30622/stat : 30622 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140407542208976 140409213171611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30623] ppid=30595 vsize=8068220 memory=1704 CPUtime=0.08 cores=1,3,5,7
/proc/30613/task/30623/stat : 30623 (java) S 30595 30595 29789 0 -1 1077944384 483 0 0 0 8 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408658520304 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30624] ppid=30595 vsize=8068220 memory=796 CPUtime=0.08 cores=1,3,5,7
/proc/30613/task/30624/stat : 30624 (java) S 30595 30595 29789 0 -1 1077944384 479 0 0 0 8 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408657467760 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30625] ppid=30595 vsize=8068220 memory=5408 CPUtime=0.2 cores=1,3,5,7
/proc/30613/task/30625/stat : 30625 (java) S 30595 30595 29789 0 -1 1077944384 597 0 0 0 20 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408656414704 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30626] ppid=30595 vsize=8068220 memory=876 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30626/stat : 30626 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140407044303200 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30627] ppid=30595 vsize=8068220 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30627/stat : 30627 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408587807792 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30629] ppid=30595 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30629/stat : 30629 (java) S 30595 30595 29789 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408580331328 140409213177625 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30631] ppid=30595 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30631/stat : 30631 (java) S 30595 30595 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406507417488 140409213174941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30632] ppid=30595 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30632/stat : 30632 (java) S 30595 30595 29789 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406238985744 140409213174941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30633] ppid=30595 vsize=8068220 memory=8804 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30633/stat : 30633 (java) S 30595 30595 29789 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 231034776 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406641646880 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 8216784 KiB
Current children cumulated memory: 137824 KiB

[startup+14.6009 s]
/proc/loadavg: 2.33 2.10 2.07 4/221 30763
/proc/meminfo: memFree=13111160/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1472 CPUtime=17.89 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 592 36601 0 0 0 0 1743 46 20 0 1 0 231033970 115843072 368 33554432000 4194304 5098028 140729590526800 140729590523544 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 368 311 221 0 87 0
[pid=30613] ppid=30595 vsize=8068220 memory=117012 CPUtime=1.15 cores=1,3,5,7
/proc/30613/stat : 30613 (java) S 30595 30595 29789 0 -1 1077944320 18003 0 0 0 109 6 0 0 20 0 19 0 231034701 8261857280 29253 33554432000 4194304 4196468 140730676392496 140730676375040 140409213153015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
/proc/30613/statm: 2017055 29253 3144 1 0 1978454 0
[pid=30628] ppid=30613 vsize=35436 memory=19340 CPUtime=6.55 cores=1,3,5,7
/proc/30628/stat : 30628 (minisat_release) R 30613 30595 29789 0 -1 4202496 9878 0 0 0 655 0 0 0 20 0 1 0 231034774 36286464 4835 33554432000 4194304 4308513 140726028893504 140726028890952 4264642 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12988416 140726028899444 140726028899542 140726028899542 140726028902341 0
/proc/30628/statm: 8859 4835 337 28 0 5099 0
[pid=30613/tid=30614] ppid=30595 vsize=8068220 memory=-7824251494390848613 CPUtime=0.75 cores=1,3,5,7
/proc/30613/task/30614/stat : 30614 (java) S 30595 30595 29789 0 -1 1077944384 15026 0 0 0 70 5 0 0 20 0 19 0 231034701 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409184993168 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30615] ppid=30595 vsize=8068220 memory=34896 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30615/stat : 30615 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231034702 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409217395216 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30616] ppid=30595 vsize=8068220 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30616/stat : 30616 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231034702 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409017563792 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30617] ppid=30595 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30617/stat : 30617 (java) S 30595 30595 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231034703 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409016510736 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30618] ppid=30595 vsize=8068220 memory=636 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30618/stat : 30618 (java) S 30595 30595 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231034703 8261857280 29253 33554432000 4194304 4196468 140730676392496 140409015458192 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30619] ppid=30595 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30619/stat : 30619 (java) S 30595 30595 29789 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 231034704 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408659573488 140409213164162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30620] ppid=30595 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30620/stat : 30620 (java) S 30595 30595 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231034704 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408050935456 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30621] ppid=30595 vsize=8068220 memory=15620 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30621/stat : 30621 (java) S 30595 30595 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231034705 8261857280 29253 33554432000 4194304 4196468 140730676392496 140407916713200 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30622] ppid=30595 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30622/stat : 30622 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140407542208976 140409213171611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30623] ppid=30595 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30613/task/30623/stat : 30623 (java) S 30595 30595 29789 0 -1 1077944384 483 0 0 0 8 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408658520304 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30624] ppid=30595 vsize=8068220 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/30613/task/30624/stat : 30624 (java) S 30595 30595 29789 0 -1 1077944384 479 0 0 0 8 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408657467760 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30625] ppid=30595 vsize=8068220 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/30613/task/30625/stat : 30625 (java) S 30595 30595 29789 0 -1 1077944384 597 0 0 0 20 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408656414704 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30626] ppid=30595 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30626/stat : 30626 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140407044303200 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30627] ppid=30595 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30627/stat : 30627 (java) S 30595 30595 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231034707 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408587807792 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30629] ppid=30595 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30629/stat : 30629 (java) S 30595 30595 29789 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140408580331328 140409213177625 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30631] ppid=30595 vsize=8068220 memory=576587700018377745 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30631/stat : 30631 (java) S 30595 30595 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406507417488 140409213174941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30632] ppid=30595 vsize=8068220 memory=288285567387698067 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30632/stat : 30632 (java) S 30595 30595 29789 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 231034774 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406238985744 140409213174941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30633] ppid=30595 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30613/task/30633/stat : 30633 (java) S 30595 30595 29789 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 231034776 8261857280 29253 33554432000 4194304 4196468 140730676392496 140406641646880 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 8216784 KiB
Current children cumulated memory: 137824 KiB

[startup+14.7008 s]
/proc/loadavg: 2.33 2.10 2.07 4/221 30763
/proc/meminfo: memFree=13111160/32770624 swapFree=67108860/67108860
[pid=30595] ppid=30592 vsize=113128 memory=1472 CPUtime=17.89 cores=1,3,5,7
/proc/30595/stat : 30595 (scop.sh) S 30592 30595 29789 0 -1 4202496 592 36601 0 0 0 0 1743 46 20 0 1 0 231033970 115843072 368 33554432000 4194304 5098028 140729590526800 140729590523544 140141719519868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22929408 140729590531137 140729590531335 140729590531335 140729590534093 0
/proc/30595/statm: 28282 368 311 221 0 87 0
[pid=30613] ppid=30595 vsize=7937144 memory=122168 CPUtime=7.91 cores=1,3,5,7
/proc/30613/stat : 30613 (java) S 30595 30595 29789 0 -1 1077944320 18786 9928 0 0 126 7 658 0 20 0 17 0 231034701 8127635456 30542 33554432000 4194304 4196468 140730676392496 140730676375040 140409213153015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
/proc/30613/statm: 1984286 30542 3168 1 0 1945685 0
[pid=30613/tid=30614] ppid=30595 vsize=7937144 memory=0 CPUtime=7.38 cores=1,3,5,7
/proc/30613/task/30614/stat : 30614 (java) R 30595 30595 29789 0 -1 4202560 15207 9928 0 0 75 5 658 0 20 0 17 0 231034701 8127635456 30542 33554432000 4194304 4196468 140730676392496 140409184991392 140409197233502 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30615] ppid=30595 vsize=7937144 memory=0 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30615/stat : 30615 (java) S 30595 30595 29789 0 -1 1077944384 1 9928 0 0 0 0 658 0 20 0 17 0 231034702 8127635456 30542 33554432000 4194304 4196468 140730676392496 140409217395216 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30616] ppid=30595 vsize=7937144 memory=1240 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30616/stat : 30616 (java) S 30595 30595 29789 0 -1 1077944384 2 9928 0 0 0 0 658 0 20 0 17 0 231034702 8127635456 30542 33554432000 4194304 4196468 140730676392496 140409017563792 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30617] ppid=30595 vsize=7937144 memory=2416 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30617/stat : 30617 (java) S 30595 30595 29789 0 -1 1077944384 1 9928 0 0 0 0 658 0 20 0 17 0 231034703 8127635456 30542 33554432000 4194304 4196468 140730676392496 140409016510736 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30618] ppid=30595 vsize=7937144 memory=1796 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30618/stat : 30618 (java) S 30595 30595 29789 0 -1 1077944384 2 9928 0 0 0 0 658 0 20 0 17 0 231034703 8127635456 30542 33554432000 4194304 4196468 140730676392496 140409015458192 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30619] ppid=30595 vsize=7937144 memory=4616 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30619/stat : 30619 (java) S 30595 30595 29789 0 -1 1077944384 7 9928 0 0 0 0 658 0 20 0 17 0 231034704 8127635456 30542 33554432000 4194304 4196468 140730676392496 140408659573488 140409213164162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30620] ppid=30595 vsize=7937144 memory=1428 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30620/stat : 30620 (java) S 30595 30595 29789 0 -1 1077944384 13 9928 0 0 0 0 658 0 20 0 17 0 231034704 8127635456 30542 33554432000 4194304 4196468 140730676392496 140408050935456 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30621] ppid=30595 vsize=7937144 memory=15880 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30621/stat : 30621 (java) S 30595 30595 29789 0 -1 1077944384 21 9928 0 0 0 0 658 0 20 0 17 0 231034705 8127635456 30542 33554432000 4194304 4196468 140730676392496 140407916713200 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30622] ppid=30595 vsize=7937144 memory=876 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30622/stat : 30622 (java) S 30595 30595 29789 0 -1 1077944384 3 9928 0 0 0 0 658 0 20 0 17 0 231034707 8127635456 30542 33554432000 4194304 4196468 140730676392496 140407542208976 140409213171611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30623] ppid=30595 vsize=7937144 memory=10096 CPUtime=6.69 cores=1,3,5,7
/proc/30613/task/30623/stat : 30623 (java) S 30595 30595 29789 0 -1 1077944384 630 9928 0 0 11 0 658 0 20 0 17 0 231034707 8127635456 30542 33554432000 4194304 4196468 140730676392496 140408658520304 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30624] ppid=30595 vsize=7937144 memory=1228 CPUtime=6.7 cores=1,3,5,7
/proc/30613/task/30624/stat : 30624 (java) S 30595 30595 29789 0 -1 1077944384 698 9928 0 0 12 0 658 0 20 0 17 0 231034707 8127635456 30542 33554432000 4194304 4196468 140730676392496 140408657467760 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30625] ppid=30595 vsize=7937144 memory=1952 CPUtime=6.81 cores=1,3,5,7
/proc/30613/task/30625/stat : 30625 (java) S 30595 30595 29789 0 -1 1077944384 760 9928 0 0 23 0 658 0 20 0 17 0 231034707 8127635456 30542 33554432000 4194304 4196468 140730676392496 140408656414704 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30626] ppid=30595 vsize=7937144 memory=1472 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30626/stat : 30626 (java) S 30595 30595 29789 0 -1 1077944384 3 9928 0 0 0 0 658 0 20 0 17 0 231034707 8127635456 30542 33554432000 4194304 4196468 140730676392496 140407044303200 140409213163221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30627] ppid=30595 vsize=7937144 memory=117012 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30627/stat : 30627 (java) S 30595 30595 29789 0 -1 1077944384 3 9928 0 0 0 0 658 0 20 0 17 0 231034707 8127635456 30542 33554432000 4194304 4196468 140730676392496 140408587807792 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30629] ppid=30595 vsize=7937144 memory=19340 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30629/stat : 30629 (java) S 30595 30595 29789 0 -1 1077944384 34 9928 0 0 0 0 658 0 20 0 17 0 231034774 8127635456 30542 33554432000 4194304 4196468 140730676392496 140408580330512 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
[pid=30613/tid=30633] ppid=30595 vsize=7937144 memory=4294967328 CPUtime=6.58 cores=1,3,5,7
/proc/30613/task/30633/stat : 30633 (java) S 30595 30595 29789 0 -1 1077944384 38 9928 0 0 0 0 658 0 20 0 17 0 231034776 8127635456 30542 33554432000 4194304 4196468 140730676392496 140406641648688 140409213164162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140730676397237 140730676397361 140730676397361 140730676400079 0
Current children cumulated CPU time: 25.8 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 123640 KiB

Child status: 0
Real time (s): 14.7336
CPU time (s): 25.9029
CPU user time (s): 25.3413
CPU system time (s): 0.561656
CPU usage (%): 175.808
Max. virtual memory (cumulated for all children) (KiB): 15142260
Max. memory (cumulated for all children) (KiB): 2362888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.3413
system time used= 0.561656
maximum resident set size= 2369240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6479
involuntary context switches= 77


# summary of solver processes directly reported to runsolver:
#   pid: 30595
#   total CPU time (s): 25.9029
#   total CPU user time (s): 25.3413
#   total CPU system time (s): 0.561656

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.144478 second user time and 0.168557 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-13 06:31:48
IDJOB=4305614
IDBENCH=141649
IDSOLVER=2783
FILE ID=node139/4305614-1534134708
RUNJOBID= node139-1534129696-29821
PBS_JOBID= 21037010
Free space on /tmp= 28388 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-06-06_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-4305614-1534134708/watcher-4305614-1534134708 -o /tmp/evaluation-result-4305614-1534134708/solver-4305614-1534134708 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29821 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305614-1534134708.xml

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

MD5SUM BENCH= 4056656ba438a73a4a2b41323b2858a8
RANDOM SEED=1634280168

node139.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.80
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.80
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.80
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.80
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:        12945932 kB
MemAvailable:   31616544 kB
Buffers:          251160 kB
Cached:         18391548 kB
SwapCached:            0 kB
Active:          8040772 kB
Inactive:       10944028 kB
Active(anon):     296036 kB
Inactive(anon):    98568 kB
Active(file):    7744736 kB
Inactive(file): 10845460 kB
Unevictable:        7232 kB
Mlocked:            7232 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             0 kB
AnonPages:        301952 kB
Mapped:            74284 kB
Shmem:             49804 kB
Slab:             537072 kB
SReclaimable:     508876 kB
SUnreclaim:        28196 kB
KernelStack:        4016 kB
PageTables:         5780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6021608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28396 MiB
End job on node139 at 2018-08-13 06:32:03