Trace number 4305619

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 53.5599 42.1143

General information on the benchmark

NameEternity/
Eternity-10-05_c18.xml
MD5SUM6e3279f6b90dee0013fa01f52c3f5b67
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.08373
Satisfiable
(Un)Satisfiability was proved
Number of variables165
Number of constraints81
Number of domains2
Minimum domain size10
Maximum domain size50
Distribution of domain sizes[{"size":10,"count":115},{"size":50,"count":50}]
Minimum variable degree1
Maximum variable degree11
Distribution of variable degrees[{"degree":1,"count":9},{"degree":2,"count":155},{"degree":11,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":30},{"arity":5,"count":50},{"arity":50,"count":1}]
Number of extensional constraints50
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":50},{"type":"intension","count":30},{"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-30797-serial-file.bin HOME/instance-4305619-1534134723.xml
0.55/0.51	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Mon Aug 13 06:32:03 CEST 2018
0.66/0.54	c PID: 30800
0.66/0.54	c IP: 172.20.3.139
0.66/0.54	c HOST: node139.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.07/1.04	c (0,0) Parsing End
2.07/1.04	c (0,0) CSP: 165 int (0 aux), 0 bool (0 aux), 81 ctr, max domain size 50
2.07/1.04	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.07/1.04	c (0,0) Constraint Name Generate Begin
2.07/1.05	c (0,0) Ctr:HOME/instance-4305619-1534134723.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.07/1.05	c (0,0) Constraint Name Generate End
2.07/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.07/1.05	c (0,0) CSP to CSPinCNF Begin
7.07/2.76	c (2,2) translated 9 (10%) constraints
9.59/3.61	c (3,3) translated 17 (20%) constraints
10.75/4.34	c (3,3) translated 25 (30%) constraints
11.61/5.04	c (4,4) translated 33 (40%) constraints
12.44/5.74	c (5,5) translated 41 (50%) constraints
13.16/6.44	c (5,5) translated 49 (60%) constraints
13.38/6.69	c (6,6) translated 57 (70%) constraints
13.38/6.70	c (6,6) translated 65 (80%) constraints
13.38/6.70	c (6,6) translated 73 (90%) constraints
13.38/6.70	c (6,6) translated 81 (100%) constraints
14.36/7.15	c (6,6) STATISTICS1:HOME/instance-4305619-1534134723.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13865,85807,50,50,51,2,50:1225,50:7450;10:90390;2:149100;1:15190,51:50;50:2;5:900;4:33450;3:18450;2:32925;1:30,2:1225;1:259710;0:50,
14.36/7.15	c (6,6) ==========================================
14.36/7.15	c (6,6) Both Encoding selects:
14.36/7.15	c (6,6) Order
14.36/7.15	c (6,6) ==========================================
15.17/7.41	c (6,6) translated 8581 (10%) constraints
15.45/7.57	c (7,7) translated 17162 (20%) constraints
15.69/7.70	c (7,7) translated 25743 (30%) constraints
15.81/7.84	c (7,7) translated 34323 (40%) constraints
15.92/7.98	c (7,7) translated 42904 (50%) constraints
16.13/8.11	c (7,7) translated 51485 (60%) constraints
16.22/8.25	c (7,7) translated 60065 (70%) constraints
16.97/8.53	c (8,7) translated 68646 (80%) constraints
17.07/8.65	c (8,7) translated 77227 (90%) constraints
17.17/8.78	c (8,8) translated 85807 (100%) constraints
17.17/8.78	c (8,8) CSP to CSPinCNF End
17.17/8.79	c (8,8) CSP: 165 int (0 aux), 13700 bool (13700 aux), 85837 ctr, max domain size 50
17.17/8.79	c (8,8) Heap : 242 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.17/8.79	c (8,8) CSPinCNF Propagation Begin
19.41/10.18	c (9,9) 5181 values, 28333 unsatisfiable literals, and 29646 valid clauses are removed
19.41/10.18	c (9,9) CSPinCNF Propagation End
19.41/10.19	c (9,9) CSP: 4634 int (4469 aux), 9231 bool (9231 aux), 56191 ctr, max domain size 50
19.41/10.19	c (9,9) Heap : 959 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.41/10.19	c (9,9) Simplify CSPinCNF Begin
19.91/10.33	c (9,9) Simplify CSPinCNF End
19.91/10.34	c (9,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
19.91/10.34	c (9,9) Heap : 1014 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.91/10.34	c (9,9) Calculate Precise Domain Begin
19.91/10.34	c (9,9) 0 values are removed by re-calculation
19.91/10.34	c (9,9) Calculate Precise Domain End
19.91/10.34	c (9,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
19.91/10.34	c (9,9) Heap : 1014 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.91/10.34	c (9,9) CSPinCNF to SatSolver Begin
21.04/10.72	c (10,10) 5865 (10 %) CSP clauses are encoded (14184 SAT variables, 74370 SAT clauses)
21.04/10.77	c (10,10) 11729 (20 %) CSP clauses are encoded (14184 SAT variables, 80234 SAT clauses)
21.33/10.80	c (10,10) 17593 (30 %) CSP clauses are encoded (14184 SAT variables, 86098 SAT clauses)
21.33/10.83	c (10,10) 23457 (40 %) CSP clauses are encoded (14184 SAT variables, 91962 SAT clauses)
21.33/10.85	c (10,10) 29321 (50 %) CSP clauses are encoded (14184 SAT variables, 97826 SAT clauses)
21.33/10.88	c (10,10) 35185 (60 %) CSP clauses are encoded (14184 SAT variables, 103690 SAT clauses)
21.45/10.91	c (10,10) 41049 (70 %) CSP clauses are encoded (14184 SAT variables, 109554 SAT clauses)
21.45/10.94	c (10,10) 46913 (80 %) CSP clauses are encoded (14184 SAT variables, 115418 SAT clauses)
21.45/10.97	c (10,10) 52777 (90 %) CSP clauses are encoded (14184 SAT variables, 121282 SAT clauses)
21.45/11.00	c (10,10) 58641 (100 %) CSP clauses are encoded (14184 SAT variables, 127146 SAT clauses)
21.45/11.00	c (10,10) Launch Command will be: minisat_release
21.45/11.00	c (10,10) CSPinCNF to SatSolver End
21.45/11.00	c (10,10) Heap : 1456 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.84/11.20	c (10,10) STATISTICS2:HOME/instance-4305619-1534134723.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,16315,58641,50,50,50,2,50:552;26:1518;4:380,50:4752;26:3278;10:66925;4:420;2:99738,50:25;26:22;24:1;5:474;4:19989;3:12231;2:25899,2:2450;1:170213,
21.84/11.20	c (10,10) 14184 bool, 127147 clause
21.84/11.20	c (10,10) Export Begin
22.12/11.30	c (10,10) Export to HOME/scop-30797-serial-file.bin
22.12/11.30	c (10,10) Export End
22.12/11.30	c (10,10) Export File Size: 0.04 MB
22.12/11.30	c (10,10) 0,0,8,9,9,9,10,STOP-AFTER(DIMACS)
22.12/11.30	c END-Prog: Mon Aug 13 06:32:14 CEST 2018
22.12/11.33	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30797-serial-file.bin
22.14/11.83	c (0,0) Read Serial File Begin
22.14/11.83	c (0,0) HOME/scop-30797-serial-file.bin
23.08/12.01	c (0,0) Read Serial File End
23.08/12.03	
23.08/12.03	scop order+minisat_release (2018-07-31)
23.08/12.03	(Solving Process)
23.08/12.03	
23.08/12.05	c BEGIN-Prog: Mon Aug 13 06:32:15 CEST 2018
23.08/12.05	c PID: 30895
23.08/12.05	c IP: 172.20.3.139
23.08/12.05	c HOST: node139.alineos.net
23.08/12.05	c (0,0) SatSolver.solve Begin
23.08/12.05	c (0,0) 0 bool, 0 clause
23.08/12.05	c (0,0) minisat_release HOME/instance-4305619-1534134723.xml-scop-30800.cnf
53.14/41.98	c (30,0) c This is COMiniSatPS.
53.14/41.98	c (30,0) c WARNING: for repeatability, setting FPU to use double precision
53.14/41.98	c (30,0) c ============================[ Problem Statistics ]=============================
53.14/41.98	c (30,0) c |                                                                             |
53.14/41.98	c (30,0) c |  Number of variables:         14184                                         |
53.14/41.98	c (30,0) c |  Number of clauses:          127147                                         |
53.14/41.98	c (30,0) c |  Parse time:                   0.04 s                                       |
53.14/41.98	c (30,0) c |  Eliminated clauses:           0.18 Mb                                      |
53.14/41.98	c (30,0) c Reduced to 9338 vars, 111546 cls (grow=0)
53.14/41.98	c (30,0) c No iterative elimination performed. (vars=9338, c/v ratio=11.9)
53.14/41.98	c (30,0) c |  Simplification time:          0.13 s                                       |
53.14/41.98	c (30,0) c |                                                                             |
53.14/41.98	c (30,0) c ============================[ Search Statistics ]==============================
53.14/41.98	c (30,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
53.14/41.98	c (30,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
53.14/41.98	c (30,0) c ===============================================================================
53.14/41.98	c (30,0) c ===============================================================================
53.14/41.98	c (30,0) c restarts              : 446
53.14/41.98	c (30,0) c conflicts             : 154076         (5158 /sec)
53.14/41.98	c (30,0) c decisions             : 321969         (0.00 % random) (10779 /sec)
53.14/41.98	c (30,0) c propagations          : 67196879       (2249707 /sec)
53.14/41.98	c (30,0) c conflict literals     : 12185579       (40.90 % deleted)
53.14/41.98	c (30,0) c CPU time              : 29.8692 s
53.14/41.98	c (30,0) 
53.14/41.98	c (30,0) s SATISFIABLE
53.31/42.02	c (30,0) SatSolver.solve End
53.31/42.02	c (30,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
53.31/42.02	c (30,0) Show results Begin
53.31/42.08	s SATISFIABLE
53.31/42.10	v <instantiation>
53.31/42.10	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[7][0] id[7][1] id[7][2] id[7][3] id[7][4] id[8][0] id[8][1] id[8][2] id[8][3] id[8][4] id[9][0] id[9][1] id[9][2] id[9][3] id[9][4] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[7][0] top[7][1] top[7][2] top[7][3] top[7][4] top[8][0] top[8][1] top[8][2] top[8][3] top[8][4] top[9][0] top[9][1] top[9][2] top[9][3] top[9][4] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[7][0] left[7][1] left[7][2] left[7][3] left[7][4] left[8][0] left[8][1] left[8][2] left[8][3] left[8][4] left[9][0] left[9][1] left[9][2] left[9][3] left[9][4] bot[0] bot[1] bot[2] bot[3] bot[4] right[0] right[1] right[2] right[3] right[4] right[5] right[6] right[7] right[8] right[9]</list>
53.31/42.10	v     <values>3 20 6 9 1 21 41 42 33 23 15 46 48 38 11 5 27 29 35 19 18 32 31 36 13 25 37 40 39 10 12 26 45 30 7 16 47 49 34 24 17 44 43 28 14 2 22 8 4 0 0 0 0 0 0 3 5 5 9 2 2 6 8 4 3 1 8 6 6 1 2 4 6 8 3 3 7 4 8 2 2 4 9 4 1 2 7 8 5 1 2 6 7 4 3 2 7 8 5 2 0 3 3 1 1 0 6 5 7 7 0 6 7 9 9 0 5 4 6 4 0 9 7 6 4 0 8 6 9 9 0 4 5 9 7 0 7 8 8 8 0 9 5 5 5 0 3 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
53.31/42.10	v </instantiation>
53.31/42.10	c (30,0) Show results End
53.31/42.10	c (30,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
53.31/42.10	c (30,0) 30,30,STOP-AFTER(ALL)
53.31/42.10	c END-Prog: Mon Aug 13 06:32:45 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 (5937 MiB free)
  memory of node 1: 16384 MiB (6885 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 0,2,4,6

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=30797, runsolver pid=30794
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 2.33 2.10 2.07 7/221 30814
/proc/meminfo: memFree=13086076/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231035425 115843072 349 33554432000 4194304 5098028 140735957502464 140735957499720 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 349 296 221 0 87 0
[pid=30800] ppid=30797 vsize=15012476 memory=73808 CPUtime=0.11 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30797 29789 0 -1 1077944320 6557 0 0 0 9 2 0 0 20 0 15 0 231035425 15372775424 18452 33554432000 4194304 4196468 140725394181904 140725394164448 139965024132855 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
/proc/30800/statm: 3753119 18452 2769 1 0 3715579 0
[pid=30800/tid=30801] ppid=30797 vsize=15012476 memory=-6601833317647732518 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30801/stat : 30801 (java) R 30797 30797 29789 0 -1 4202560 4665 0 0 0 7 1 0 0 20 0 15 0 231035425 15372775424 18452 33554432000 4194304 4196468 140725394181904 139964995944840 139965004408683 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30802] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30802/stat : 30802 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 18452 33554432000 4194304 4196468 140725394181904 139965028375696 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30803] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30803/stat : 30803 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 18452 33554432000 4194304 4196468 140725394181904 139964804078608 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30804] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30804/stat : 30804 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 18452 33554432000 4194304 4196468 140725394181904 139964803025808 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30805] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30805/stat : 30805 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 18518 33554432000 4194304 4196468 140725394181904 139964801973008 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30806] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30806/stat : 30806 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 18518 33554432000 4194304 4196468 140725394181904 139964362746224 139965024144002 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30807] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30807/stat : 30807 (java) S 30797 30797 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 18518 33554432000 4194304 4196468 140725394181904 139963622482976 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30808] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30808/stat : 30808 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 18518 33554432000 4194304 4196468 140725394181904 139963387601776 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30809] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30809/stat : 30809 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 18518 33554432000 4194304 4196468 140725394181904 139963013093200 139965024151451 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30810] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30810/stat : 30810 (java) S 30797 30797 29789 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 18518 33554432000 4194304 4196468 140725394181904 139964361694064 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30811] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30811/stat : 30811 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 18518 33554432000 4194304 4196468 140725394181904 139964360641264 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30812] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0.01 cores=0,2,4,6
/proc/30800/task/30812/stat : 30812 (java) S 30797 30797 29789 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 231035432 15372775424 18518 33554432000 4194304 4196468 140725394181904 139964359588464 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30813] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30813/stat : 30813 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 18518 33554432000 4194304 4196468 140725394181904 139962515188448 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30814] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30814/stat : 30814 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 18518 33554432000 4194304 4196468 140725394181904 139964358535856 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75204 KiB

[startup+0.210597 s]*
/proc/loadavg: 2.33 2.10 2.07 3/201 30814
/proc/meminfo: memFree=13180156/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231035425 115843072 349 33554432000 4194304 5098028 140735957502464 140735957499720 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 349 296 221 0 87 0
[pid=30800] ppid=30797 vsize=15012476 memory=86584 CPUtime=0.26 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30797 29789 0 -1 1077944320 10004 0 0 0 23 3 0 0 20 0 15 0 231035425 15372775424 21646 33554432000 4194304 4196468 140725394181904 140725394164448 139965024132855 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
/proc/30800/statm: 3753119 21646 2903 1 0 3715579 0
[pid=30800/tid=30801] ppid=30797 vsize=15012476 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30800/task/30801/stat : 30801 (java) R 30797 30797 29789 0 -1 4202560 7903 0 0 0 17 2 0 0 20 0 15 0 231035425 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964995959248 139965024144790 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30802] ppid=30797 vsize=15012476 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30802/stat : 30802 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 21646 33554432000 4194304 4196468 140725394181904 139965028375696 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30803] ppid=30797 vsize=15012476 memory=3979128712544323232 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30803/stat : 30803 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964804078608 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30804] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30804/stat : 30804 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964803025808 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30805] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30805/stat : 30805 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964801973008 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30806] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30806/stat : 30806 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964362746224 139965024144002 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30807] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30807/stat : 30807 (java) S 30797 30797 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 21646 33554432000 4194304 4196468 140725394181904 139963622482976 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30808] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30808/stat : 30808 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 21646 33554432000 4194304 4196468 140725394181904 139963387601776 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30809] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30809/stat : 30809 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 21646 33554432000 4194304 4196468 140725394181904 139963013093200 139965024151451 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30810] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30810/stat : 30810 (java) S 30797 30797 29789 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964361694064 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30811] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30811/stat : 30811 (java) S 30797 30797 29789 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964360641264 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30812] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0.03 cores=0,2,4,6
/proc/30800/task/30812/stat : 30812 (java) R 30797 30797 29789 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 231035432 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964359588464 139965003051664 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30813] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30813/stat : 30813 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 21646 33554432000 4194304 4196468 140725394181904 139962515188448 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30814] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30814/stat : 30814 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 21646 33554432000 4194304 4196468 140725394181904 139964358535856 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87980 KiB

[startup+0.310484 s]*
/proc/loadavg: 2.33 2.10 2.07 3/198 30822
/proc/meminfo: memFree=13177932/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231035425 115843072 349 33554432000 4194304 5098028 140735957502464 140735957499720 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 349 296 221 0 87 0
[pid=30800] ppid=30797 vsize=15012476 memory=90112 CPUtime=0.42 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30797 29789 0 -1 1077944320 10540 0 0 0 39 3 0 0 20 0 15 0 231035425 15372775424 22528 33554432000 4194304 4196468 140725394181904 140725394164448 139965024132855 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
/proc/30800/statm: 3753119 22528 2969 1 0 3715579 0
[pid=30800/tid=30801] ppid=30797 vsize=15012476 memory=1408 CPUtime=0.29 cores=0,2,4,6
/proc/30800/task/30801/stat : 30801 (java) R 30797 30797 29789 0 -1 4202560 8279 0 0 0 27 2 0 0 20 0 15 0 231035425 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964995927856 139965008213342 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30802] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30802/stat : 30802 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 22528 33554432000 4194304 4196468 140725394181904 139965028375696 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30803] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30803/stat : 30803 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964804078608 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30804] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30804/stat : 30804 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964803025808 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30805] ppid=30797 vsize=15012476 memory=327 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30805/stat : 30805 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035427 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964801973008 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30806] ppid=30797 vsize=15012476 memory=139926290148626 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30806/stat : 30806 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964362746224 139965024144002 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30807] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30807/stat : 30807 (java) S 30797 30797 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 22528 33554432000 4194304 4196468 140725394181904 139963622482976 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30808] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30808/stat : 30808 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035429 15372775424 22528 33554432000 4194304 4196468 140725394181904 139963387601776 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30809] ppid=30797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30809/stat : 30809 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 22528 33554432000 4194304 4196468 140725394181904 139963013093200 139965024151451 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30810] ppid=30797 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30800/task/30810/stat : 30810 (java) R 30797 30797 29789 0 -1 4202560 429 0 0 0 3 0 0 0 20 0 15 0 231035432 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964361694064 139965004833671 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30811] ppid=30797 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30800/task/30811/stat : 30811 (java) R 30797 30797 29789 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 15 0 231035432 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964360641264 139965024144002 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30812] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30812/stat : 30812 (java) R 30797 30797 29789 0 -1 4202560 320 0 0 0 7 0 0 0 20 0 15 0 231035432 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964359588464 139965008243877 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30813] ppid=30797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30813/stat : 30813 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 22528 33554432000 4194304 4196468 140725394181904 139962515188448 139965024143061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30814] ppid=30797 vsize=15012476 memory=139926288926336 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30814/stat : 30814 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035432 15372775424 22528 33554432000 4194304 4196468 140725394181904 139964358535856 139965024144002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91508 KiB

[startup+0.701556 s]
/proc/loadavg: 2.33 2.10 2.07 3/216 30843
/proc/meminfo: memFree=13128032/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231035425 115843072 349 33554432000 4194304 5098028 140735957502464 140735957499720 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 349 296 221 0 87 0
[pid=30800] ppid=30797 vsize=15020872 memory=129632 CPUtime=1.01 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30797 29789 0 -1 1077944320 17575 0 0 0 96 5 0 0 20 0 15 0 231035425 15381372928 32408 33554432000 4194304 4196468 140725394181904 140725394164448 139965024132855 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
/proc/30800/statm: 3755218 32408 3151 1 0 3716603 0
[pid=30800/tid=30801] ppid=30797 vsize=15020872 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/30800/task/30801/stat : 30801 (java) R 30797 30797 29789 0 -1 4202560 14874 0 0 0 63 4 0 0 20 0 15 0 231035425 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964995968512 139965024154781 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30802] ppid=30797 vsize=15020872 memory=33 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30802/stat : 30802 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15381372928 32408 33554432000 4194304 4196468 140725394181904 139965028375696 139965024143061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30803] ppid=30797 vsize=15020872 memory=-7674914008656224160 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30803/stat : 30803 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964804078608 139965024143061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30804] ppid=30797 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30804/stat : 30804 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035427 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964803025808 139965024143061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30805] ppid=30797 vsize=15020872 memory=62644 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30805/stat : 30805 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035427 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964801973008 139965024143061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30806] ppid=30797 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30806/stat : 30806 (java) S 30797 30797 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231035429 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964362746224 139965024144002 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30807] ppid=30797 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30807/stat : 30807 (java) S 30797 30797 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035429 15381372928 32408 33554432000 4194304 4196468 140725394181904 139963622482976 139965024143061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30808] ppid=30797 vsize=15020872 memory=6788 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30808/stat : 30808 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035429 15381372928 32408 33554432000 4194304 4196468 140725394181904 139963387601776 139965024143061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30809] ppid=30797 vsize=15020872 memory=62644 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30809/stat : 30809 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15381372928 32408 33554432000 4194304 4196468 140725394181904 139963013093200 139965024151451 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30810] ppid=30797 vsize=15020872 memory=1240 CPUtime=0.1 cores=0,2,4,6
/proc/30800/task/30810/stat : 30810 (java) R 30797 30797 29789 0 -1 4202560 658 0 0 0 10 0 0 0 20 0 15 0 231035432 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964361680528 139965009256890 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30811] ppid=30797 vsize=15020872 memory=2416 CPUtime=0.05 cores=0,2,4,6
/proc/30800/task/30811/stat : 30811 (java) R 30797 30797 29789 0 -1 4202560 269 0 0 0 5 0 0 0 20 0 15 0 231035432 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964360629936 139965024154202 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30812] ppid=30797 vsize=15020872 memory=1796 CPUtime=0.16 cores=0,2,4,6
/proc/30800/task/30812/stat : 30812 (java) R 30797 30797 29789 0 -1 4202560 440 0 0 0 16 0 0 0 20 0 15 0 231035432 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964359584192 139965024154202 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30813] ppid=30797 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30813/stat : 30813 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035432 15381372928 32408 33554432000 4194304 4196468 140725394181904 139962515188448 139965024143061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
[pid=30800/tid=30814] ppid=30797 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30800/task/30814/stat : 30814 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035432 15381372928 32408 33554432000 4194304 4196468 140725394181904 139964358535856 139965024144002 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725394183175 140725394183473 140725394183473 140725394186191 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131028 KiB

[startup+1.5014 s]
/proc/loadavg: 2.33 2.10 2.07 6/199 30874
/proc/meminfo: memFree=13113240/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231035425 115843072 349 33554432000 4194304 5098028 140735957502464 140735957499720 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 349 296 221 0 87 0

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

/proc/loadavg: 2.21 2.10 2.07 3/228 30936
/proc/meminfo: memFree=12922180/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1472 CPUtime=22.14 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 591 35230 0 0 0 0 2146 68 20 0 1 0 231035425 115843072 368 33554432000 4194304 5098028 140735957502464 140735957499208 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 368 311 221 0 87 0
[pid=30895] ppid=30797 vsize=8068220 memory=114764 CPUtime=1.19 cores=0,2,4,6
/proc/30895/stat : 30895 (java) S 30797 30797 29789 0 -1 1077944320 18549 0 0 0 112 7 0 0 20 0 19 0 231036559 8261857280 28691 33554432000 4194304 4196468 140726988845568 140726988828112 140631144951543 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
/proc/30895/statm: 2017055 28691 3143 1 0 1978454 0
[pid=30910] ppid=30895 vsize=71428 memory=53624 CPUtime=28.71 cores=0,2,4,6
/proc/30910/stat : 30910 (minisat_release) R 30895 30797 29789 0 -1 4202496 25854 0 0 0 2868 3 0 0 20 0 1 0 231036633 73142272 13406 33554432000 4194304 4308513 140736441622688 140736441619688 4276097 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 21786624 140736441623668 140736441623766 140736441623766 140736441626565 0
/proc/30910/statm: 17857 13406 341 28 0 14097 0
[pid=30895/tid=30896] ppid=30797 vsize=8068220 memory=2240 CPUtime=0.75 cores=0,2,4,6
/proc/30895/task/30896/stat : 30896 (java) S 30797 30797 29789 0 -1 1077944384 15521 0 0 0 70 5 0 0 20 0 19 0 231036559 8261857280 28691 33554432000 4194304 4196468 140726988845568 140631116791696 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30897] ppid=30797 vsize=8068220 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30897/stat : 30897 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231036560 8261857280 28691 33554432000 4194304 4196468 140726988845568 140631149193488 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30898] ppid=30797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30898/stat : 30898 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231036560 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630949362064 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30899] ppid=30797 vsize=8068220 memory=114764 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30899/stat : 30899 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231036560 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630948309520 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30900] ppid=30797 vsize=8068220 memory=53624 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30900/stat : 30900 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231036561 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630947256976 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30901] ppid=30797 vsize=8068220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30901/stat : 30901 (java) S 30797 30797 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 231036562 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630591232496 140631144962690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30902] ppid=30797 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30902/stat : 30902 (java) S 30797 30797 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231036562 8261857280 28691 33554432000 4194304 4196468 140726988845568 140629979948448 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30903] ppid=30797 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30903/stat : 30903 (java) S 30797 30797 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231036563 8261857280 28691 33554432000 4194304 4196468 140726988845568 140629845726704 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30904] ppid=30797 vsize=8068220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30904/stat : 30904 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140629471222480 140631144970139 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30905] ppid=30797 vsize=8068220 memory=1428 CPUtime=0.1 cores=0,2,4,6
/proc/30895/task/30905/stat : 30905 (java) S 30797 30797 29789 0 -1 1077944384 725 0 0 0 10 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630590179312 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30906] ppid=30797 vsize=8068220 memory=114764 CPUtime=0.07 cores=0,2,4,6
/proc/30895/task/30906/stat : 30906 (java) S 30797 30797 29789 0 -1 1077944384 249 0 0 0 7 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630589126768 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30907] ppid=30797 vsize=8068220 memory=279852285907376 CPUtime=0.22 cores=0,2,4,6
/proc/30895/task/30907/stat : 30907 (java) S 30797 30797 29789 0 -1 1077944384 621 0 0 0 22 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630588074224 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30908] ppid=30797 vsize=8068220 memory=117012 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30908/stat : 30908 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628973316704 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30909] ppid=30797 vsize=8068220 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30895/task/30909/stat : 30909 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630587022128 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30911] ppid=30797 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30911/stat : 30911 (java) S 30797 30797 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231036633 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630585636416 140631144976153 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30913] ppid=30797 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30913/stat : 30913 (java) S 30797 30797 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231036633 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628436431024 140631144973469 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30914] ppid=30797 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30914/stat : 30914 (java) S 30797 30797 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231036633 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628570651952 140631144973469 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30915] ppid=30797 vsize=8068220 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30915/stat : 30915 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231036635 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628168006688 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
Current children cumulated CPU time: 52.04 s
Current children cumulated vsize: 8252776 KiB
Current children cumulated memory: 169860 KiB

[startup+41.601 s]
/proc/loadavg: 2.21 2.10 2.07 3/228 30936
/proc/meminfo: memFree=12921684/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1472 CPUtime=22.14 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 591 35230 0 0 0 0 2146 68 20 0 1 0 231035425 115843072 368 33554432000 4194304 5098028 140735957502464 140735957499208 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 368 311 221 0 87 0
[pid=30895] ppid=30797 vsize=8068220 memory=114764 CPUtime=1.19 cores=0,2,4,6
/proc/30895/stat : 30895 (java) S 30797 30797 29789 0 -1 1077944320 18549 0 0 0 112 7 0 0 20 0 19 0 231036559 8261857280 28691 33554432000 4194304 4196468 140726988845568 140726988828112 140631144951543 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
/proc/30895/statm: 2017055 28691 3143 1 0 1978454 0
[pid=30910] ppid=30895 vsize=71428 memory=53624 CPUtime=29.51 cores=0,2,4,6
/proc/30910/stat : 30910 (minisat_release) R 30895 30797 29789 0 -1 4202496 25855 0 0 0 2948 3 0 0 20 0 1 0 231036633 73142272 13406 33554432000 4194304 4308513 140736441622688 140736441619688 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 21786624 140736441623668 140736441623766 140736441623766 140736441626565 0
/proc/30910/statm: 17857 13406 341 28 0 14097 0
[pid=30895/tid=30896] ppid=30797 vsize=8068220 memory=916 CPUtime=0.75 cores=0,2,4,6
/proc/30895/task/30896/stat : 30896 (java) S 30797 30797 29789 0 -1 1077944384 15521 0 0 0 70 5 0 0 20 0 19 0 231036559 8261857280 28691 33554432000 4194304 4196468 140726988845568 140631116791696 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30897] ppid=30797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30897/stat : 30897 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231036560 8261857280 28691 33554432000 4194304 4196468 140726988845568 140631149193488 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30898] ppid=30797 vsize=8068220 memory=114764 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30898/stat : 30898 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231036560 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630949362064 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30899] ppid=30797 vsize=8068220 memory=20420 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30899/stat : 30899 (java) S 30797 30797 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231036560 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630948309520 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30900] ppid=30797 vsize=8068220 memory=6788 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30900/stat : 30900 (java) S 30797 30797 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231036561 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630947256976 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30901] ppid=30797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30901/stat : 30901 (java) S 30797 30797 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 231036562 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630591232496 140631144962690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30902] ppid=30797 vsize=8068220 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30902/stat : 30902 (java) S 30797 30797 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231036562 8261857280 28691 33554432000 4194304 4196468 140726988845568 140629979948448 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30903] ppid=30797 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30903/stat : 30903 (java) S 30797 30797 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231036563 8261857280 28691 33554432000 4194304 4196468 140726988845568 140629845726704 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30904] ppid=30797 vsize=8068220 memory=62644 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30904/stat : 30904 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140629471222480 140631144970139 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30905] ppid=30797 vsize=8068220 memory=4128 CPUtime=0.1 cores=0,2,4,6
/proc/30895/task/30905/stat : 30905 (java) S 30797 30797 29789 0 -1 1077944384 725 0 0 0 10 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630590179312 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30906] ppid=30797 vsize=8068220 memory=62644 CPUtime=0.07 cores=0,2,4,6
/proc/30895/task/30906/stat : 30906 (java) S 30797 30797 29789 0 -1 1077944384 249 0 0 0 7 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630589126768 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30907] ppid=30797 vsize=8068220 memory=-7824251494390715491 CPUtime=0.22 cores=0,2,4,6
/proc/30895/task/30907/stat : 30907 (java) S 30797 30797 29789 0 -1 1077944384 621 0 0 0 22 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630588074224 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30908] ppid=30797 vsize=8068220 memory=117012 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30908/stat : 30908 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628973316704 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30909] ppid=30797 vsize=8068220 memory=37920 CPUtime=0.01 cores=0,2,4,6
/proc/30895/task/30909/stat : 30909 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 19 0 231036565 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630587022128 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30911] ppid=30797 vsize=8068220 memory=33 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30911/stat : 30911 (java) S 30797 30797 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231036633 8261857280 28691 33554432000 4194304 4196468 140726988845568 140630585636416 140631144976153 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30913] ppid=30797 vsize=8068220 memory=6944656592455359545 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30913/stat : 30913 (java) S 30797 30797 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231036633 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628436431024 140631144973469 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30914] ppid=30797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30914/stat : 30914 (java) S 30797 30797 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231036633 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628570651952 140631144973469 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30915] ppid=30797 vsize=8068220 memory=114764 CPUtime=0 cores=0,2,4,6
/proc/30895/task/30915/stat : 30915 (java) S 30797 30797 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231036635 8261857280 28691 33554432000 4194304 4196468 140726988845568 140628168006688 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
Current children cumulated CPU time: 52.84 s
Current children cumulated vsize: 8252776 KiB
Current children cumulated memory: 169860 KiB

[startup+42.0026 s]*
/proc/loadavg: 2.21 2.10 2.07 5/226 30936
/proc/meminfo: memFree=12966228/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1472 CPUtime=22.14 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 591 35230 0 0 0 0 2146 68 20 0 1 0 231035425 115843072 368 33554432000 4194304 5098028 140735957502464 140735957499208 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 368 311 221 0 87 0
[pid=30895] ppid=30797 vsize=8068220 memory=122860 CPUtime=31.17 cores=0,2,4,6
/proc/30895/stat : 30895 (java) S 30797 30797 29789 0 -1 1077944320 19473 25919 0 0 120 7 2987 3 20 0 18 0 231036559 8261857280 30715 33554432000 4194304 4196468 140726988845568 140726988828112 140631144951543 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
/proc/30895/statm: 2017055 30715 3163 1 0 1978454 0
[pid=30895/tid=30896] ppid=30797 vsize=8068220 memory=-7824251494390652002 CPUtime=30.65 cores=0,2,4,6
/proc/30895/task/30896/stat : 30896 (java) S 30797 30797 29789 0 -1 1077944384 15521 25919 0 0 70 5 2987 3 20 0 18 0 231036559 8261857280 30715 33554432000 4194304 4196468 140726988845568 140631116791696 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30897] ppid=30797 vsize=8068220 memory=272197847412999 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30897/stat : 30897 (java) S 30797 30797 29789 0 -1 1077944384 2 25919 0 0 0 0 2987 3 20 0 18 0 231036560 8261857280 30715 33554432000 4194304 4196468 140726988845568 140631149193488 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30898] ppid=30797 vsize=8068220 memory=272197847413000 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30898/stat : 30898 (java) S 30797 30797 29789 0 -1 1077944384 1 25919 0 0 0 0 2987 3 20 0 18 0 231036560 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630949362064 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30899] ppid=30797 vsize=8068220 memory=272197847413001 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30899/stat : 30899 (java) S 30797 30797 29789 0 -1 1077944384 2 25919 0 0 0 0 2987 3 20 0 18 0 231036560 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630948309520 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30900] ppid=30797 vsize=8068220 memory=272197847413002 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30900/stat : 30900 (java) S 30797 30797 29789 0 -1 1077944384 1 25919 0 0 0 0 2987 3 20 0 18 0 231036561 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630947256976 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30901] ppid=30797 vsize=8068220 memory=8514726395714825349 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30901/stat : 30901 (java) S 30797 30797 29789 0 -1 1077944384 5 25919 0 0 0 0 2987 3 20 0 18 0 231036562 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630591232496 140631144962690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30902] ppid=30797 vsize=8068220 memory=-8341965534556230502 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30902/stat : 30902 (java) S 30797 30797 29789 0 -1 1077944384 13 25919 0 0 0 0 2987 3 20 0 18 0 231036562 8261857280 30715 33554432000 4194304 4196468 140726988845568 140629979948448 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30903] ppid=30797 vsize=8068220 memory=-8707038579349950309 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30903/stat : 30903 (java) S 30797 30797 29789 0 -1 1077944384 21 25919 0 0 0 0 2987 3 20 0 18 0 231036563 8261857280 30715 33554432000 4194304 4196468 140726988845568 140629845726704 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30904] ppid=30797 vsize=8068220 memory=4713745541279610410 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30904/stat : 30904 (java) S 30797 30797 29789 0 -1 1077944384 3 25919 0 0 0 0 2987 3 20 0 18 0 231036565 8261857280 30715 33554432000 4194304 4196468 140726988845568 140629471222480 140631144970139 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30905] ppid=30797 vsize=8068220 memory=4715433313220523562 CPUtime=30.02 cores=0,2,4,6
/proc/30895/task/30905/stat : 30905 (java) S 30797 30797 29789 0 -1 1077944384 734 25919 0 0 12 0 2987 3 20 0 18 0 231036565 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630590179312 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30906] ppid=30797 vsize=8068220 memory=5865755310008526954 CPUtime=29.99 cores=0,2,4,6
/proc/30895/task/30906/stat : 30906 (java) S 30797 30797 29789 0 -1 1077944384 693 25919 0 0 9 0 2987 3 20 0 18 0 231036565 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630589126768 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30907] ppid=30797 vsize=8068220 memory=5865755310008526954 CPUtime=30.13 cores=0,2,4,6
/proc/30895/task/30907/stat : 30907 (java) R 30797 30797 29789 0 -1 4202560 1038 25919 0 0 23 0 2987 3 20 0 18 0 231036565 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630588074224 140631144963478 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30908] ppid=30797 vsize=8068220 memory=1472 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30908/stat : 30908 (java) S 30797 30797 29789 0 -1 1077944384 3 25919 0 0 0 0 2987 3 20 0 18 0 231036565 8261857280 30715 33554432000 4194304 4196468 140726988845568 140628973316704 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30909] ppid=30797 vsize=8068220 memory=114764 CPUtime=29.91 cores=0,2,4,6
/proc/30895/task/30909/stat : 30909 (java) S 30797 30797 29789 0 -1 1077944384 3 25919 0 0 0 1 2987 3 20 0 18 0 231036565 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630587022128 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30911] ppid=30797 vsize=8068220 memory=53624 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30911/stat : 30911 (java) S 30797 30797 29789 0 -1 1077944384 32 25919 0 0 0 0 2987 3 20 0 18 0 231036633 8261857280 30715 33554432000 4194304 4196468 140726988845568 140630585635600 140631144962690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30913] ppid=30797 vsize=8068220 memory=114764 CPUtime=29.92 cores=0,2,4,6
/proc/30895/task/30913/stat : 30913 (java) R 30797 30797 29789 0 -1 4202560 67 25919 0 0 2 0 2987 3 20 0 18 0 231036633 8261857280 30715 33554432000 4194304 4196468 140726988845568 140628436437104 140631144963478 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
[pid=30895/tid=30915] ppid=30797 vsize=8068220 memory=51572 CPUtime=29.9 cores=0,2,4,6
/proc/30895/task/30915/stat : 30915 (java) S 30797 30797 29789 0 -1 1077944384 3 25919 0 0 0 0 2987 3 20 0 18 0 231036635 8261857280 30715 33554432000 4194304 4196468 140726988845568 140628168006448 140631144961749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34295808 140726988850357 140726988850481 140726988850481 140726988853199 0
Current children cumulated CPU time: 53.31 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 124332 KiB

[startup+42.1107 s]
/proc/loadavg: 2.21 2.10 2.07 5/226 30936
/proc/meminfo: memFree=12966228/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=113128 memory=1472 CPUtime=22.14 cores=0,2,4,6
/proc/30797/stat : 30797 (scop.sh) S 30794 30797 29789 0 -1 4202496 591 35230 0 0 0 0 2146 68 20 0 1 0 231035425 115843072 368 33554432000 4194304 5098028 140735957502464 140735957499208 140290136846972 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28536832 140735957505089 140735957505287 140735957505287 140735957508045 0
/proc/30797/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 22.14 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 42.1143
CPU time (s): 53.5599
CPU user time (s): 52.7473
CPU system time (s): 0.812629
CPU usage (%): 127.177
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3123796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.7473
system time used= 0.812629
maximum resident set size= 3122676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7732
involuntary context switches= 85


# summary of solver processes directly reported to runsolver:
#   pid: 30797
#   total CPU time (s): 53.5599
#   total CPU user time (s): 52.7473
#   total CPU system time (s): 0.812629

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.319191 second user time and 0.485544 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-13 06:32:03
IDJOB=4305619
IDBENCH=141651
IDSOLVER=2783
FILE ID=node139/4305619-1534134723
RUNJOBID= node139-1534129696-29820
PBS_JOBID= 21037010
Free space on /tmp= 28404 MiB

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

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

MD5SUM BENCH= 6e3279f6b90dee0013fa01f52c3f5b67
RANDOM SEED=557934656

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:        13132152 kB
MemAvailable:   31787140 kB
Buffers:          251196 kB
Cached:         18375680 kB
SwapCached:            0 kB
Active:          7856308 kB
Inactive:       10944256 kB
Active(anon):     127360 kB
Inactive(anon):    98568 kB
Active(file):    7728948 kB
Inactive(file): 10845688 kB
Unevictable:        7232 kB
Mlocked:            7232 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8076 kB
Writeback:             0 kB
AnonPages:        189292 kB
Mapped:            74456 kB
Shmem:             49804 kB
Slab:             537044 kB
SReclaimable:     508812 kB
SUnreclaim:        28232 kB
KernelStack:        3904 kB
PageTables:         5876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5837316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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= 28392 MiB
End job on node139 at 2018-08-13 06:32:45