Trace number 4387831

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
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)SAT 26.4382 10.4947

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-9-7-4-cp.xml
MD5SUM6c7c8fee2fac051830782d16440ff60b
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 benchmark16.8668
Satisfiable
(Un)Satisfiability was proved
Number of variables252
Number of constraints11724
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":252}]
Minimum variable degree188
Maximum variable degree189
Distribution of variable degrees[{"degree":188,"count":189},{"degree":189,"count":63}]
Minimum constraint arity4
Maximum constraint arity252
Distribution of constraint arities[{"arity":4,"count":11718},{"arity":63,"count":5},{"arity":252,"count":1}]
Number of extensional constraints0
Number of intensional constraints11718
Distribution of constraint types[{"type":"intension","count":11718},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-4455-serial-file.bin HOME/instance-4387831-1568291346.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 14:28:25 CEST 2019
0.66/0.55	c PID: 4458
0.66/0.55	c IP: 172.20.3.145
0.66/0.55	c HOST: node145.alineos.net
0.66/0.56	c (0,0) Parsing Begin
6.41/2.56	c (2,2) Parsing End
6.41/2.56	c (2,2) CSP: 238 int (0 aux), 14 bool (0 aux), 11724 ctr, max domain size 9
6.41/2.56	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.41/2.56	c (2,2) Constraint Name Generate Begin
6.73/2.62	c (2,2) Ctr:HOME/instance-4387831-1568291346.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
6.73/2.62	c (2,2) Constraint Name Generate End
6.73/2.62	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.73/2.62	c (2,2) CSP to CSPinCNF Begin
7.42/2.89	c (2,2) translated 1173 (10%) constraints
7.75/2.96	c (2,2) translated 2345 (20%) constraints
8.10/3.03	c (2,2) translated 3518 (30%) constraints
8.37/3.11	c (2,2) translated 4690 (40%) constraints
8.37/3.18	c (2,2) translated 5862 (50%) constraints
8.63/3.23	c (2,2) translated 7035 (60%) constraints
8.63/3.28	c (2,2) translated 8207 (70%) constraints
8.83/3.32	c (2,2) translated 9380 (80%) constraints
8.83/3.36	c (2,2) translated 10552 (90%) constraints
11.07/4.02	c (3,3) translated 11724 (100%) constraints
12.82/4.92	c (4,4) ===========================================
12.82/4.98	c (4,4) Hybrid: #OE=496, #LE=2331
12.82/4.98	c (4,4) Hybrid
12.82/4.98	c (4,4) ===========================================
13.59/5.28	c (4,4) translated 1710 (10%) constraints
13.59/5.28	c (4,4) translated 3420 (20%) constraints
13.76/5.33	c (4,4) translated 5130 (30%) constraints
13.96/5.44	c (4,4) translated 6839 (40%) constraints
14.13/5.53	c (5,4) translated 8549 (50%) constraints
14.22/5.62	c (5,5) translated 10259 (60%) constraints
14.32/5.75	c (5,5) translated 11968 (70%) constraints
14.63/5.89	c (5,5) translated 13678 (80%) constraints
15.25/6.03	c (5,5) translated 15388 (90%) constraints
15.56/6.12	c (5,5) translated 17097 (100%) constraints
15.56/6.13	c (5,5) CSP to CSPinCNF End
15.56/6.13	c (5,5) CSP: 238 int (0 aux), 4857 bool (4843 aux), 21732 ctr, max domain size 9
15.56/6.13	c (5,5) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.56/6.13	c (5,5) CSPinCNF Propagation Begin
16.77/6.52	c (5,5) 1188 values, 9372 unsatisfiable literals, and 8213 valid clauses are removed
16.77/6.52	c (5,5) CSPinCNF Propagation End
16.77/6.52	c (5,5) CSP: 238 int (0 aux), 4857 bool (4843 aux), 13519 ctr, max domain size 9
16.77/6.52	c (5,5) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.77/6.57	c (6,6) Hybrid: #OE=2764, #LE=2331
16.77/6.57	c (6,6) Simplify CSPinCNF Begin
17.99/6.93	c (6,6) Simplify CSPinCNF End
17.99/6.94	c (6,6) CSP: 238 int (0 aux), 16987 bool (16973 aux), 25649 ctr, max domain size 9
17.99/6.94	c (6,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.99/6.94	c (6,6) Calculate Precise Domain Begin
17.99/6.94	c (6,6) 0 values are removed by re-calculation
17.99/6.94	c (6,6) Calculate Precise Domain End
17.99/6.94	c (6,6) CSP: 238 int (0 aux), 16987 bool (16973 aux), 25649 ctr, max domain size 9
17.99/6.94	c (6,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.99/6.94	c (6,6) CSPinCNF to SatSolver Begin
19.50/7.47	c (6,6) 2565 (10 %) CSP clauses are encoded (0 SAT variables, 18367 SAT clauses)
20.40/7.72	c (7,7) 5130 (20 %) CSP clauses are encoded (0 SAT variables, 37188 SAT clauses)
21.01/7.90	c (7,7) 7695 (30 %) CSP clauses are encoded (0 SAT variables, 55913 SAT clauses)
21.34/8.05	c (7,7) 10260 (40 %) CSP clauses are encoded (0 SAT variables, 74486 SAT clauses)
21.63/8.16	c (7,7) 12825 (50 %) CSP clauses are encoded (0 SAT variables, 90715 SAT clauses)
21.84/8.27	c (7,7) 15390 (60 %) CSP clauses are encoded (0 SAT variables, 106544 SAT clauses)
22.04/8.33	c (7,7) 17955 (70 %) CSP clauses are encoded (0 SAT variables, 113021 SAT clauses)
22.60/8.55	c (8,8) 20520 (80 %) CSP clauses are encoded (0 SAT variables, 158984 SAT clauses)
23.23/8.71	c (8,8) 23085 (90 %) CSP clauses are encoded (0 SAT variables, 183248 SAT clauses)
23.23/8.77	c (8,8) 25649 (100 %) CSP clauses are encoded (0 SAT variables, 189973 SAT clauses)
23.23/8.77	c (8,8) CSPinCNF to SatSolver End
23.23/8.77	c (8,8) Heap : 183 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.23/8.77	c (8,8) 40166 bool, 189981 clause
23.23/8.77	c (8,8) Export Begin
23.52/8.88	c (8,8) Export to HOME/scop-4455-serial-file.bin
23.52/8.88	c (8,8) Export End
23.52/8.88	c (8,8) Export File Size: 0.04 MB
23.52/8.88	c (8,8) 2,2,5,5,6,6,8,STOP-AFTER(DIMACS)
23.52/8.88	c END-Prog: Thu Sep 12 14:28:34 CEST 2019
23.78/8.92	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4455-serial-file.bin
24.30/9.38	c (0,0) Read Serial File Begin
24.30/9.38	c (0,0) HOME/scop-4455-serial-file.bin
24.75/9.61	c (0,0) Read Serial File End
24.75/9.62	
24.75/9.62	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
24.75/9.62	(Solving Process)
24.75/9.62	
24.75/9.64	c BEGIN-Prog: Thu Sep 12 14:28:34 CEST 2019
24.75/9.64	c PID: 4473
24.75/9.64	c IP: 172.20.3.145
24.75/9.64	c HOST: node145.alineos.net
24.75/9.65	c (0,0) SatSolver.solve Begin
24.75/9.65	c (0,0) HOME/cryptominisat5  HOME/instance-4387831-1568291346.xml-scop-4458.cnf
24.75/9.67	c (0,0) c Outputting solution to console
24.75/9.67	c (0,0) c CryptoMiniSat version 5.6.8
24.75/9.67	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
24.75/9.67	c (0,0) c CMS SHA revision GIT-notfound
24.75/9.67	c (0,0) c CMS is MIT licensed
24.75/9.67	c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS =  -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES =  -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND =  | ZLIB_FOUND = TRUE | VALGRIND_FOUND =  | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS =  | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
24.75/9.67	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
24.75/9.67	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387831-1568291346.xml-scop-4458.cnf
24.75/9.67	c (0,0) c Reading file 'HOME/instance-4387831-1568291346.xml-scop-4458.cnf'
24.75/9.67	c (0,0) c -- header says num vars:          40166
24.75/9.67	c (0,0) c -- header says num clauses:      189981
24.96/9.74	c (0,0) c -- clauses added: 189981
24.96/9.74	c (0,0) c -- xor clauses added: 0
24.96/9.74	c (0,0) c -- vars added 40166
24.96/9.74	c (0,0) c Parsing time: 0.06 s
24.96/9.76	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
24.96/9.76	c (0,0) c [distill] long cls tried: 21/21 cl-short:21 lit-r:1 T: 0.00 T-out: N T-r: 100.00%
25.01/9.88	c (0,0) c [distill] long cls tried: 541/549 cl-short:537 lit-r:32 T: 0.01 T-out: N T-r: 99.91%
25.01/10.01	c (0,0) c [distill] long cls tried: 375/902 cl-short:375 lit-r:76 T: 0.00 T-out: N T-r: 99.94%
25.33/10.07	c (0,0) c   glue     1    50  8193   37628  123K   36K    3.04    2.80  1081  2139  4583   275   17.79   17.26
25.44/10.19	c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
25.44/10.19	c (0,0) c UIP search time          : 0.44        (87.02     % time)
25.44/10.19	c (0,0) c restarts                 : 63          (174.21    confls per restart)
25.44/10.19	c (0,0) c blocked restarts         : 2           (0.03      per normal restart)
25.44/10.19	c (0,0) c time                     : 0.44        
25.44/10.19	c (0,0) c decisions                : 74228       (0.00      % random)
25.44/10.19	c (0,0) c propagations             : 2738411     
25.44/10.19	c (0,0) c decisions/conflicts      : 6.76        
25.44/10.19	c (0,0) c conflicts                : 10975       (24940.40  / sec)
25.44/10.19	c (0,0) c conf lits non-minim      : 225340      (20.53     lit/confl)
25.44/10.19	c (0,0) c conf lits final          : 17.37       
25.44/10.19	c (0,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
25.44/10.19	c (0,0) c red which0               : 1371        (12.49     % of confl)
25.44/10.19	c (0,0) c props/decision           : 0.00        
25.44/10.19	c (0,0) c props/conflict           : 0.00        
25.44/10.19	c (0,0) c 0-depth assigns          : 2945        (7.33      % vars)
25.44/10.19	c (0,0) c 0-depth assigns by CNF   : 54          (0.13      % vars)
25.44/10.19	c (0,0) c reduceDB time            : 0.00        (0.00      % time)
25.44/10.19	c (0,0) c OccSimplifier time       : 0.00        (0.00      % time)
25.44/10.19	c (0,0) c [occur] 0.00 is overhead
25.44/10.19	c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
25.44/10.19	c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
25.44/10.19	c (0,0) c SCC time                 : 0.00        (0.00      % time)
25.44/10.19	c (0,0) c [scc] new: 0 BP 0M  T: 0.00
25.44/10.19	c (0,0) c vrep replace time        : 0.00        (0.00      % time)
25.44/10.19	c (0,0) c vrep tree roots          : 0           
25.44/10.19	c (0,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
25.44/10.19	c (0,0) c distill time             : 0.01        (2.37      % time)
25.44/10.19	c (0,0) c strength cache-irred time: 0.00        (0.00      % time)
25.44/10.19	c (0,0) c strength cache-red time  : 0.00        (0.00      % time)
25.44/10.19	c (0,0) c Conflicts in UIP         : 10975       (21703.32  confl/time_this_thread)
25.44/10.19	c (0,0) c Mem used                 : 30.09       MB
25.44/10.19	c (0,0) c Total time (this thread) : 0.51        
25.44/10.20	c (0,0) s SATISFIABLE
25.89/10.33	c (1,0) SatSolver.solve End
25.89/10.34	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
25.89/10.34	c (1,0) Show results Begin
26.23/10.47	c (1,0) x[0][0] = 0
26.23/10.47	c (1,0) x[0][1] = 0
26.23/10.47	c (1,0) x[0][2] = 0
26.23/10.47	c (1,0) x[0][3] = 0
26.23/10.47	c (1,0) x[0][4] = 0
26.23/10.47	c (1,0) x[0][5] = 0
26.23/10.47	c (1,0) x[0][6] = 0
26.23/10.47	c (1,0) x[0][7] = 1
26.23/10.47	c (1,0) x[0][8] = 1
26.23/10.47	c (1,0) x[0][9] = 1
26.23/10.47	c (1,0) x[0][10] = 1
26.23/10.47	c (1,0) x[0][11] = 1
26.23/10.47	c (1,0) x[0][12] = 1
26.23/10.47	c (1,0) x[0][13] = 1
26.23/10.47	c (1,0) x[0][14] = 2
26.23/10.47	c (1,0) x[0][15] = 2
26.23/10.47	c (1,0) x[0][16] = 2
26.23/10.47	c (1,0) x[0][17] = 2
26.23/10.47	c (1,0) x[0][18] = 2
26.23/10.47	c (1,0) x[0][19] = 2
26.23/10.47	c (1,0) x[0][20] = 2
26.23/10.47	c (1,0) x[0][21] = 3
26.23/10.47	c (1,0) x[0][22] = 3
26.23/10.47	c (1,0) x[0][23] = 3
26.23/10.47	c (1,0) x[0][24] = 3
26.23/10.47	c (1,0) x[0][25] = 3
26.23/10.47	c (1,0) x[0][26] = 3
26.23/10.47	c (1,0) x[0][27] = 3
26.23/10.47	c (1,0) x[0][28] = 4
26.23/10.47	c (1,0) x[0][29] = 4
26.23/10.47	c (1,0) x[0][30] = 4
26.23/10.47	c (1,0) x[0][31] = 4
26.23/10.47	c (1,0) x[0][32] = 4
26.23/10.47	c (1,0) x[0][33] = 4
26.23/10.47	c (1,0) x[0][34] = 4
26.23/10.47	c (1,0) x[0][35] = 5
26.23/10.47	c (1,0) x[0][36] = 5
26.23/10.47	c (1,0) x[0][37] = 5
26.23/10.47	c (1,0) x[0][38] = 5
26.23/10.47	c (1,0) x[0][39] = 5
26.23/10.47	c (1,0) x[0][40] = 5
26.23/10.47	c (1,0) x[0][41] = 5
26.23/10.47	c (1,0) x[0][42] = 6
26.23/10.47	c (1,0) x[0][43] = 6
26.23/10.47	c (1,0) x[0][44] = 6
26.23/10.47	c (1,0) x[0][45] = 6
26.23/10.47	c (1,0) x[0][46] = 6
26.23/10.47	c (1,0) x[0][47] = 6
26.23/10.47	c (1,0) x[0][48] = 6
26.23/10.47	c (1,0) x[0][49] = 7
26.23/10.47	c (1,0) x[0][50] = 7
26.23/10.47	c (1,0) x[0][51] = 7
26.23/10.47	c (1,0) x[0][52] = 7
26.23/10.47	c (1,0) x[0][53] = 7
26.23/10.47	c (1,0) x[0][54] = 7
26.23/10.47	c (1,0) x[0][55] = 7
26.23/10.47	c (1,0) x[0][56] = 8
26.23/10.47	c (1,0) x[0][57] = 8
26.23/10.47	c (1,0) x[0][58] = 8
26.23/10.47	c (1,0) x[0][59] = 8
26.23/10.47	c (1,0) x[0][60] = 8
26.23/10.47	c (1,0) x[0][61] = 8
26.23/10.47	c (1,0) x[0][62] = 8
26.23/10.47	c (1,0) x[1][0] = 1
26.23/10.47	c (1,0) x[1][1] = 2
26.23/10.47	c (1,0) x[1][2] = 3
26.23/10.47	c (1,0) x[1][3] = 5
26.23/10.47	c (1,0) x[1][4] = 6
26.23/10.47	c (1,0) x[1][5] = 7
26.23/10.47	c (1,0) x[1][6] = 8
26.23/10.47	c (1,0) x[1][7] = 0
26.23/10.47	c (1,0) x[1][8] = 1
26.23/10.47	c (1,0) x[1][9] = 2
26.23/10.47	c (1,0) x[1][10] = 4
26.23/10.47	c (1,0) x[1][11] = 5
26.23/10.47	c (1,0) x[1][12] = 7
26.23/10.47	c (1,0) x[1][13] = 8
26.23/10.47	c (1,0) x[1][14] = 0
26.23/10.47	c (1,0) x[1][15] = 1
26.23/10.47	c (1,0) x[1][16] = 2
26.23/10.47	c (1,0) x[1][17] = 3
26.23/10.47	c (1,0) x[1][18] = 4
26.23/10.47	c (1,0) x[1][19] = 5
26.23/10.47	c (1,0) x[1][20] = 7
26.23/10.47	c (1,0) x[1][21] = 0
26.23/10.47	c (1,0) x[1][22] = 1
26.23/10.47	c (1,0) x[1][23] = 2
26.23/10.47	c (1,0) x[1][24] = 3
26.23/10.47	c (1,0) x[1][25] = 4
26.23/10.47	c (1,0) x[1][26] = 5
26.23/10.47	c (1,0) x[1][27] = 6
26.23/10.47	c (1,0) x[1][28] = 0
26.23/10.47	c (1,0) x[1][29] = 2
26.23/10.47	c (1,0) x[1][30] = 3
26.23/10.47	c (1,0) x[1][31] = 4
26.23/10.47	c (1,0) x[1][32] = 5
26.23/10.47	c (1,0) x[1][33] = 6
26.23/10.47	c (1,0) x[1][34] = 8
26.23/10.47	c (1,0) x[1][35] = 0
26.23/10.47	c (1,0) x[1][36] = 1
26.23/10.47	c (1,0) x[1][37] = 2
26.23/10.47	c (1,0) x[1][38] = 3
26.23/10.47	c (1,0) x[1][39] = 6
26.23/10.47	c (1,0) x[1][40] = 7
26.23/10.47	c (1,0) x[1][41] = 8
26.23/10.47	c (1,0) x[1][42] = 1
26.23/10.47	c (1,0) x[1][43] = 2
26.23/10.47	c (1,0) x[1][44] = 4
26.23/10.47	c (1,0) x[1][45] = 5
26.23/10.47	c (1,0) x[1][46] = 6
26.23/10.47	c (1,0) x[1][47] = 7
26.23/10.47	c (1,0) x[1][48] = 8
26.23/10.47	c (1,0) x[1][49] = 0
26.23/10.47	c (1,0) x[1][50] = 1
26.23/10.47	c (1,0) x[1][51] = 3
26.23/10.47	c (1,0) x[1][52] = 4
26.23/10.47	c (1,0) x[1][53] = 6
26.23/10.47	c (1,0) x[1][54] = 7
26.23/10.47	c (1,0) x[1][55] = 8
26.23/10.47	c (1,0) x[1][56] = 0
26.23/10.47	c (1,0) x[1][57] = 3
26.23/10.47	c (1,0) x[1][58] = 4
26.23/10.47	c (1,0) x[1][59] = 5
26.23/10.47	c (1,0) x[1][60] = 6
26.23/10.47	c (1,0) x[1][61] = 7
26.23/10.47	c (1,0) x[1][62] = 8
26.23/10.47	c (1,0) x[2][0] = 7
26.23/10.47	c (1,0) x[2][1] = 0
26.23/10.47	c (1,0) x[2][2] = 2
26.23/10.47	c (1,0) x[2][3] = 3
26.23/10.47	c (1,0) x[2][4] = 8
26.23/10.47	c (1,0) x[2][5] = 1
26.23/10.47	c (1,0) x[2][6] = 4
26.23/10.47	c (1,0) x[2][7] = 2
26.23/10.47	c (1,0) x[2][8] = 1
26.23/10.47	c (1,0) x[2][9] = 4
26.23/10.47	c (1,0) x[2][10] = 3
26.23/10.47	c (1,0) x[2][11] = 6
26.23/10.47	c (1,0) x[2][12] = 8
26.23/10.47	c (1,0) x[2][13] = 5
26.23/10.47	c (1,0) x[2][14] = 4
26.23/10.47	c (1,0) x[2][15] = 0
26.23/10.47	c (1,0) x[2][16] = 3
26.23/10.47	c (1,0) x[2][17] = 1
26.23/10.47	c (1,0) x[2][18] = 5
26.23/10.47	c (1,0) x[2][19] = 2
26.23/10.47	c (1,0) x[2][20] = 6
26.23/10.47	c (1,0) x[2][21] = 8
26.23/10.47	c (1,0) x[2][22] = 5
26.23/10.47	c (1,0) x[2][23] = 7
26.23/10.47	c (1,0) x[2][24] = 6
26.23/10.47	c (1,0) x[2][25] = 0
26.23/10.47	c (1,0) x[2][26] = 1
26.23/10.47	c (1,0) x[2][27] = 2
26.23/10.47	c (1,0) x[2][28] = 6
26.23/10.47	c (1,0) x[2][29] = 5
26.23/10.47	c (1,0) x[2][30] = 8
26.23/10.47	c (1,0) x[2][31] = 7
26.23/10.47	c (1,0) x[2][32] = 0
26.23/10.47	c (1,0) x[2][33] = 3
26.23/10.47	c (1,0) x[2][34] = 1
26.23/10.47	c (1,0) x[2][35] = 5
26.23/10.47	c (1,0) x[2][36] = 2
26.23/10.47	c (1,0) x[2][37] = 8
26.23/10.47	c (1,0) x[2][38] = 0
26.23/10.47	c (1,0) x[2][39] = 4
26.23/10.47	c (1,0) x[2][40] = 3
26.23/10.47	c (1,0) x[2][41] = 7
26.23/10.47	c (1,0) x[2][42] = 3
26.23/10.47	c (1,0) x[2][43] = 6
26.23/10.47	c (1,0) x[2][44] = 1
26.23/10.47	c (1,0) x[2][45] = 4
26.23/10.47	c (1,0) x[2][46] = 7
26.23/10.47	c (1,0) x[2][47] = 2
26.23/10.47	c (1,0) x[2][48] = 8
26.23/10.47	c (1,0) x[2][49] = 7
26.23/10.47	c (1,0) x[2][50] = 6
26.23/10.47	c (1,0) x[2][51] = 4
26.23/10.47	c (1,0) x[2][52] = 8
26.23/10.47	c (1,0) x[2][53] = 5
26.23/10.47	c (1,0) x[2][54] = 0
26.23/10.47	c (1,0) x[2][55] = 2
26.23/10.47	c (1,0) x[2][56] = 0
26.23/10.47	c (1,0) x[2][57] = 5
26.23/10.47	c (1,0) x[2][58] = 6
26.23/10.47	c (1,0) x[2][59] = 7
26.23/10.47	c (1,0) x[2][60] = 1
26.23/10.47	c (1,0) x[2][61] = 4
26.23/10.47	c (1,0) x[2][62] = 3
26.23/10.47	c (1,0) x[3][0] = 7
26.23/10.47	c (1,0) x[3][1] = 4
26.23/10.47	c (1,0) x[3][2] = 3
26.23/10.47	c (1,0) x[3][3] = 1
26.23/10.47	c (1,0) x[3][4] = 8
26.23/10.47	c (1,0) x[3][5] = 5
26.23/10.47	c (1,0) x[3][6] = 6
26.23/10.47	c (1,0) x[3][7] = 5
26.23/10.47	c (1,0) x[3][8] = 2
26.23/10.47	c (1,0) x[3][9] = 0
26.23/10.47	c (1,0) x[3][10] = 7
26.23/10.47	c (1,0) x[3][11] = 8
26.23/10.47	c (1,0) x[3][12] = 3
26.23/10.47	c (1,0) x[3][13] = 1
26.23/10.47	c (1,0) x[3][14] = 1
26.23/10.47	c (1,0) x[3][15] = 5
26.23/10.47	c (1,0) x[3][16] = 8
26.23/10.47	c (1,0) x[3][17] = 7
26.23/10.47	c (1,0) x[3][18] = 4
26.23/10.47	c (1,0) x[3][19] = 0
26.23/10.47	c (1,0) x[3][20] = 6
26.23/10.47	c (1,0) x[3][21] = 6
26.23/10.47	c (1,0) x[3][22] = 3
26.23/10.47	c (1,0) x[3][23] = 5
26.23/10.47	c (1,0) x[3][24] = 0
26.23/10.47	c (1,0) x[3][25] = 8
26.23/10.47	c (1,0) x[3][26] = 4
26.23/10.47	c (1,0) x[3][27] = 2
26.23/10.47	c (1,0) x[3][28] = 7
26.23/10.47	c (1,0) x[3][29] = 2
26.23/10.47	c (1,0) x[3][30] = 1
26.23/10.47	c (1,0) x[3][31] = 0
26.23/10.47	c (1,0) x[3][32] = 3
26.23/10.47	c (1,0) x[3][33] = 5
26.23/10.47	c (1,0) x[3][34] = 8
26.23/10.47	c (1,0) x[3][35] = 0
26.23/10.47	c (1,0) x[3][36] = 1
26.23/10.47	c (1,0) x[3][37] = 7
26.23/10.47	c (1,0) x[3][38] = 6
26.23/10.47	c (1,0) x[3][39] = 4
26.23/10.47	c (1,0) x[3][40] = 2
26.23/10.47	c (1,0) x[3][41] = 3
26.23/10.47	c (1,0) x[3][42] = 0
26.23/10.47	c (1,0) x[3][43] = 3
26.23/10.47	c (1,0) x[3][44] = 6
26.23/10.47	c (1,0) x[3][45] = 2
26.23/10.47	c (1,0) x[3][46] = 1
26.23/10.47	c (1,0) x[3][47] = 4
26.23/10.47	c (1,0) x[3][48] = 5
26.23/10.47	c (1,0) x[3][49] = 8
26.23/10.47	c (1,0) x[3][50] = 4
26.23/10.47	c (1,0) x[3][51] = 5
26.23/10.47	c (1,0) x[3][52] = 2
26.23/10.47	c (1,0) x[3][53] = 6
26.23/10.47	c (1,0) x[3][54] = 0
26.23/10.47	c (1,0) x[3][55] = 7
26.23/10.47	c (1,0) x[3][56] = 2
26.23/10.47	c (1,0) x[3][57] = 8
26.23/10.47	c (1,0) x[3][58] = 1
26.23/10.47	c (1,0) x[3][59] = 6
26.23/10.47	c (1,0) x[3][60] = 3
26.23/10.47	c (1,0) x[3][61] = 7
26.23/10.47	c (1,0) x[3][62] = 4
26.23/10.47	s SATISFIABLE
26.23/10.48	v <instantiation>
26.23/10.48	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62]</list>
26.23/10.48	v     <values>0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 3 3 4 4 4 4 4 4 4 5 5 5 5 5 5 5 6 6 6 6 6 6 6 7 7 7 7 7 7 7 8 8 8 8 8 8 8 1 2 3 5 6 7 8 0 1 2 4 5 7 8 0 1 2 3 4 5 7 0 1 2 3 4 5 6 0 2 3 4 5 6 8 0 1 2 3 6 7 8 1 2 4 5 6 7 8 0 1 3 4 6 7 8 0 3 4 5 6 7 8 7 0 2 3 8 1 4 2 1 4 3 6 8 5 4 0 3 1 5 2 6 8 5 7 6 0 1 2 6 5 8 7 0 3 1 5 2 8 0 4 3 7 3 6 1 4 7 2 8 7 6 4 8 5 0 2 0 5 6 7 1 4 3 7 4 3 1 8 5 6 5 2 0 7 8 3 1 1 5 8 7 4 0 6 6 3 5 0 8 4 2 7 2 1 0 3 5 8 0 1 7 6 4 2 3 0 3 6 2 1 4 5 8 4 5 2 6 0 7 2 8 1 6 3 7 4</values>
26.23/10.48	v </instantiation>
26.23/10.48	c (1,0) Show results End
26.23/10.48	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
26.23/10.48	c (1,0) 1,1,STOP-AFTER(ALL)
26.23/10.48	c END-Prog: Thu Sep 12 14:28:35 CEST 2019

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 (6676 MiB free)
  memory of node 1: 16384 MiB (8828 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387831-1568291346/watcher-4387831-1568291346 -o /tmp/evaluation-result-4387831-1568291346/solver-4387831-1568291346 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387831-1568291346.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=4455, runsolver pid=4452
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 4.34 3.94 3.92 3/234 4472
/proc/meminfo: memFree=15817652/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405071127 115843072 349 33554432000 4194304 5098028 140724057003216 140724057000472 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 349 296 221 0 87 0
[pid=4458] ppid=4455 vsize=15013720 memory=73464 CPUtime=0.12 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4455 4455 3746 0 -1 1077944320 6657 0 0 0 9 3 0 0 20 0 15 0 405071128 15374049280 18366 33554432000 4194304 4196468 140726672796016 140726672778560 140708375977719 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
/proc/4458/statm: 3753430 18366 2890 1 0 3715835 0
[pid=4458/tid=4459] ppid=4455 vsize=15014680 memory=-2915664431881770398 CPUtime=0.09 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4455 4455 3746 0 -1 4202560 4576 0 0 0 7 2 0 0 20 0 15 0 405071128 15375032320 18564 33554432000 4194304 4196468 140726672796016 140708347761968 140708368288651 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4460] ppid=4455 vsize=15014680 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15375032320 18564 33554432000 4194304 4196468 140726672796016 140708380220304 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4461] ppid=4455 vsize=15014680 memory=140475723138688 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15375032320 18564 33554432000 4194304 4196468 140726672796016 140708171303696 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4462] ppid=4455 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15375032320 18564 33554432000 4194304 4196468 140726672796016 140708170251408 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4463] ppid=4455 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15375032320 18630 33554432000 4194304 4196468 140726672796016 140708169198608 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4464] ppid=4455 vsize=15014680 memory=140475723138688 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071131 15375032320 18630 33554432000 4194304 4196468 140726672796016 140707345942640 140708375988866 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4465] ppid=4455 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4455 4455 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405071132 15375032320 18630 33554432000 4194304 4196468 140726672796016 140706953814816 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4466] ppid=4455 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071132 15375032320 18630 33554432000 4194304 4196468 140726672796016 140706685379696 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4467] ppid=4455 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15375032320 18630 33554432000 4194304 4196468 140726672796016 140706310871120 140708375996315 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4468] ppid=4455 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4468/stat : 4468 (java) S 4455 4455 3746 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 405071134 15375032320 18630 33554432000 4194304 4196468 140726672796016 140707344890480 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4469] ppid=4455 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) S 4455 4455 3746 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405071134 15376699392 18630 33554432000 4194304 4196468 140726672796016 140707343837680 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4470] ppid=4455 vsize=15016308 memory=140475723138688 CPUtime=0.01 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) S 4455 4455 3746 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 405071134 15376699392 18630 33554432000 4194304 4196468 140726672796016 140707342785392 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4471] ppid=4455 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15376699392 18630 33554432000 4194304 4196468 140726672796016 140705812966368 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4472] ppid=4455 vsize=15016308 memory=140475723138688 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071135 15376699392 18630 33554432000 4194304 4196468 140726672796016 140707341732272 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74860 KiB

[startup+0.21133 s]*
/proc/loadavg: 4.34 3.94 3.92 3/234 4472
/proc/meminfo: memFree=15801896/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405071127 115843072 349 33554432000 4194304 5098028 140724057003216 140724057000472 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 349 296 221 0 87 0
[pid=4458] ppid=4455 vsize=15012696 memory=85652 CPUtime=0.25 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4455 4455 3746 0 -1 1077944320 10955 0 0 0 21 4 0 0 20 0 15 0 405071128 15373000704 21413 33554432000 4194304 4196468 140726672796016 140726672778560 140708375977719 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
/proc/4458/statm: 3753174 21413 2957 1 0 3715579 0
[pid=4458/tid=4459] ppid=4455 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4455 4455 3746 0 -1 4202560 8686 0 0 0 17 3 0 0 20 0 15 0 405071128 15373000704 21413 33554432000 4194304 4196468 140726672796016 140708347796128 140708375991606 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4460] ppid=4455 vsize=15012696 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 21413 33554432000 4194304 4196468 140726672796016 140708380220304 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4461] ppid=4455 vsize=15012696 memory=140475723150691 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 21413 33554432000 4194304 4196468 140726672796016 140708171303696 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4462] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 21413 33554432000 4194304 4196468 140726672796016 140708170251408 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4463] ppid=4455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 21413 33554432000 4194304 4196468 140726672796016 140708169198608 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4464] ppid=4455 vsize=15012696 memory=140475723138688 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071131 15373000704 21413 33554432000 4194304 4196468 140726672796016 140707345942640 140708375988866 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4465] ppid=4455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4455 4455 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405071132 15373000704 21413 33554432000 4194304 4196468 140726672796016 140706953814816 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4466] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071132 15373000704 21413 33554432000 4194304 4196468 140726672796016 140706685379696 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4467] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15373000704 21413 33554432000 4194304 4196468 140726672796016 140706310871120 140708375996315 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4468] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4468/stat : 4468 (java) S 4455 4455 3746 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 405071134 15373000704 21413 33554432000 4194304 4196468 140726672796016 140707344890480 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4469] ppid=4455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) S 4455 4455 3746 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 405071134 15373000704 21413 33554432000 4194304 4196468 140726672796016 140707343837680 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4470] ppid=4455 vsize=15012696 memory=140475723138688 CPUtime=0.03 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) R 4455 4455 3746 0 -1 4202560 480 0 0 0 3 0 0 0 20 0 15 0 405071134 15373000704 21413 33554432000 4194304 4196468 140726672796016 140707342785392 140708355948904 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4471] ppid=4455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15373000704 21413 33554432000 4194304 4196468 140726672796016 140705812966368 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4472] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071135 15373000704 21413 33554432000 4194304 4196468 140726672796016 140707341732272 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87048 KiB

[startup+0.31077 s]*
/proc/loadavg: 4.34 3.94 3.92 4/234 4472
/proc/meminfo: memFree=15798584/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405071127 115843072 349 33554432000 4194304 5098028 140724057003216 140724057000472 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 349 296 221 0 87 0
[pid=4458] ppid=4455 vsize=15012696 memory=89704 CPUtime=0.43 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4455 4455 3746 0 -1 1077944320 11525 0 0 0 39 4 0 0 20 0 15 0 405071128 15373000704 22426 33554432000 4194304 4196468 140726672796016 140726672778560 140708375977719 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
/proc/4458/statm: 3753174 22426 3027 1 0 3715579 0
[pid=4458/tid=4459] ppid=4455 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4455 4455 3746 0 -1 4202560 9050 0 0 0 26 3 0 0 20 0 15 0 405071128 15373000704 22426 33554432000 4194304 4196468 140726672796016 140708347807792 140708361143367 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4460] ppid=4455 vsize=15012696 memory=288230604707987820 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 22426 33554432000 4194304 4196468 140726672796016 140708380220304 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4461] ppid=4455 vsize=15012696 memory=13572578564379004 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 22426 33554432000 4194304 4196468 140726672796016 140708171303696 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4462] ppid=4455 vsize=15012696 memory=280951125211504 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 22426 33554432000 4194304 4196468 140726672796016 140708170251408 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4463] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15373000704 22426 33554432000 4194304 4196468 140726672796016 140708169198608 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4464] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071131 15373000704 22426 33554432000 4194304 4196468 140726672796016 140707345942640 140708375988866 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4465] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4455 4455 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405071132 15373000704 22426 33554432000 4194304 4196468 140726672796016 140706953814816 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4466] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071132 15373000704 22426 33554432000 4194304 4196468 140726672796016 140706685379696 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4467] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15373000704 22426 33554432000 4194304 4196468 140726672796016 140706310871120 140708375996315 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4468] ppid=4455 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4458/task/4468/stat : 4468 (java) S 4455 4455 3746 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 405071134 15373000704 22426 33554432000 4194304 4196468 140726672796016 140707344890480 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4469] ppid=4455 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) S 4455 4455 3746 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 405071134 15373000704 22426 33554432000 4194304 4196468 140726672796016 140707343837680 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4470] ppid=4455 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) S 4455 4455 3746 0 -1 1077944384 522 0 0 0 7 0 0 0 20 0 15 0 405071134 15373000704 22426 33554432000 4194304 4196468 140726672796016 140707342785392 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4471] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15373000704 22426 33554432000 4194304 4196468 140726672796016 140705812966368 140708375987925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4472] ppid=4455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071135 15373000704 22426 33554432000 4194304 4196468 140726672796016 140707341732272 140708375988866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91100 KiB

[startup+0.702292 s]
/proc/loadavg: 4.34 3.94 3.92 3/234 4472
/proc/meminfo: memFree=15774904/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405071127 115843072 349 33554432000 4194304 5098028 140724057003216 140724057000472 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 349 296 221 0 87 0
[pid=4458] ppid=4455 vsize=15018968 memory=131456 CPUtime=1.05 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4455 4455 3746 0 -1 1077944320 19567 0 0 0 98 7 0 0 20 0 15 0 405071128 15379423232 32864 33554432000 4194304 4196468 140726672796016 140726672778560 140708375977719 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
/proc/4458/statm: 3754742 32864 3197 1 0 3716091 0
[pid=4458/tid=4459] ppid=4455 vsize=15018968 memory=1778183570689 CPUtime=0.68 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4455 4455 3746 0 -1 4202560 16609 0 0 0 62 6 0 0 20 0 15 0 405071128 15379423232 32864 33554432000 4194304 4196468 140726672796016 140708347813184 140707843135158 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4460] ppid=4455 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15379423232 32864 33554432000 4194304 4196468 140726672796016 140708380220304 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4461] ppid=4455 vsize=15018968 memory=3928 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15379423232 32864 33554432000 4194304 4196468 140726672796016 140708171303696 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4462] ppid=4455 vsize=15018968 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071130 15379423232 32864 33554432000 4194304 4196468 140726672796016 140708170251408 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4463] ppid=4455 vsize=15018968 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071130 15379423232 32864 33554432000 4194304 4196468 140726672796016 140708169198608 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4464] ppid=4455 vsize=15018968 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4455 4455 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405071131 15379423232 32864 33554432000 4194304 4196468 140726672796016 140707345942640 140708375988866 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4465] ppid=4455 vsize=15018968 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4455 4455 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405071132 15379423232 32864 33554432000 4194304 4196468 140726672796016 140706953814816 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4466] ppid=4455 vsize=15018968 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071132 15379423232 32864 33554432000 4194304 4196468 140726672796016 140706685379696 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4467] ppid=4455 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15379423232 32864 33554432000 4194304 4196468 140726672796016 140706310871120 140708375996315 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4468] ppid=4455 vsize=15018968 memory=7984 CPUtime=0.08 cores=1,3,5,7
/proc/4458/task/4468/stat : 4468 (java) R 4455 4455 3746 0 -1 4202560 453 0 0 0 8 0 0 0 20 0 15 0 405071134 15379423232 32864 33554432000 4194304 4196468 140726672796016 140707344880272 140708355284561 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4469] ppid=4455 vsize=15018968 memory=10596 CPUtime=0.1 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) R 4455 4455 3746 0 -1 4202560 479 0 0 0 10 0 0 0 20 0 15 0 405071134 15379423232 32864 33554432000 4194304 4196468 140726672796016 140707343828432 140708360875243 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4470] ppid=4455 vsize=15018968 memory=14012 CPUtime=0.17 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) R 4455 4455 3746 0 -1 4202560 691 0 0 0 17 0 0 0 20 0 15 0 405071134 15379423232 32864 33554432000 4194304 4196468 140726672796016 140707342782328 140708360224385 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4471] ppid=4455 vsize=15018968 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15379423232 32864 33554432000 4194304 4196468 140726672796016 140705812966368 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4472] ppid=4455 vsize=15018968 memory=19880 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071135 15379423232 32864 33554432000 4194304 4196468 140726672796016 140707341732272 140708375988866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132852 KiB

[startup+1.50629 s]
/proc/loadavg: 4.34 3.94 3.92 5/234 4472
/proc/meminfo: memFree=15701436/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405071127 115843072 349 33554432000 4194304 5098028 140724057003216 140724057000472 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 349 296 221 0 87 0

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

[pid=4458/tid=4464] ppid=4455 vsize=15027304 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4455 4455 3746 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405071131 15387959296 638386 33554432000 4194304 4196468 140726672796016 140707345942640 140708375988866 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4465] ppid=4455 vsize=15027304 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4455 4455 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405071132 15387959296 638386 33554432000 4194304 4196468 140726672796016 140706953814816 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4466] ppid=4455 vsize=15027304 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405071132 15387959296 638386 33554432000 4194304 4196468 140726672796016 140706685379696 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4467] ppid=4455 vsize=15027304 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15387959296 638386 33554432000 4194304 4196468 140726672796016 140706310871120 140708375996315 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4468] ppid=4455 vsize=15027304 memory=8112282956445269571 CPUtime=5.91 cores=1,3,5,7
/proc/4458/task/4468/stat : 4468 (java) R 4455 4455 3746 0 -1 4202560 6914 0 0 0 590 1 0 0 20 0 15 0 405071134 15387959296 638898 33554432000 4194304 4196468 140726672796016 140707344881136 140708361992028 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4469] ppid=4455 vsize=15027304 memory=2020 CPUtime=5.89 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) S 4455 4455 3746 0 -1 1077944384 5764 0 0 0 588 1 0 0 20 0 15 0 405071134 15387959296 638898 33554432000 4194304 4196468 140726672796016 140707343837680 140708375988866 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4470] ppid=4455 vsize=15027304 memory=288230574492221466 CPUtime=1.53 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) S 4455 4455 3746 0 -1 1077944384 3126 0 0 0 151 2 0 0 20 0 15 0 405071134 15387959296 638898 33554432000 4194304 4196468 140726672796016 140707342785392 140708375988866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4471] ppid=4455 vsize=15027304 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405071134 15387959296 638898 33554432000 4194304 4196468 140726672796016 140705812966368 140708375987925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
[pid=4458/tid=4472] ppid=4455 vsize=15027304 memory=13567089545840104 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405071135 15387959296 638898 33554432000 4194304 4196468 140726672796016 140707341732272 140708375988866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140726672802602 140726672802970 140726672802970 140726672805839 0
Current children cumulated CPU time: 21.34 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 2554940 KiB

[startup+9.6008 s]
/proc/loadavg: 4.21 3.92 3.92 3/234 4487
/proc/meminfo: memFree=15833636/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1476 CPUtime=23.8 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 583 39068 0 0 0 0 2316 64 20 0 1 0 405071127 115843072 369 33554432000 4194304 5098028 140724057003216 140724056999960 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 369 311 221 0 87 0
[pid=4473] ppid=4455 vsize=7408652 memory=99660 CPUtime=0.95 cores=1,3,5,7
/proc/4473/stat : 4473 (java) S 4455 4455 3746 0 -1 1077944320 19272 0 0 0 87 8 0 0 20 0 15 0 405072020 7586459648 24915 33554432000 4194304 4196468 140726467540304 140726467522848 139975431167735 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
/proc/4473/statm: 1852163 24915 3138 1 0 1814042 0
[pid=4473/tid=4474] ppid=4455 vsize=7408652 memory=2120 CPUtime=0.65 cores=1,3,5,7
/proc/4473/task/4474/stat : 4474 (java) R 4455 4455 3746 0 -1 4202560 16525 0 0 0 59 6 0 0 20 0 15 0 405072021 7586459648 24915 33554432000 4194304 4196468 140726467540304 139975403000336 139975431189661 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4475] ppid=4455 vsize=7408652 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4475/stat : 4475 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405072022 7586459648 24915 33554432000 4194304 4196468 140726467540304 139975435410448 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4476] ppid=4455 vsize=7408652 memory=2860864 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4476/stat : 4476 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405072022 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974916025488 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4477] ppid=4455 vsize=7408652 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4477/stat : 4477 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405072022 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974914972432 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4478] ppid=4455 vsize=7408652 memory=1437336 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4478/stat : 4478 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405072022 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974913919888 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4479] ppid=4455 vsize=7408652 memory=6298118466774330211 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4479/stat : 4479 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405072023 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974743415024 139975431178882 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4480] ppid=4455 vsize=7408652 memory=6298118466774330211 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4480/stat : 4480 (java) S 4455 4455 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405072024 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974259238048 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4481] ppid=4455 vsize=7408652 memory=30961 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4481/stat : 4481 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405072024 7586459648 24915 33554432000 4194304 4196468 140726467540304 139973990802160 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4482] ppid=4455 vsize=7408652 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4482/stat : 4482 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405072026 7586459648 24915 33554432000 4194304 4196468 140726467540304 139973616293840 139975431186331 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4483] ppid=4455 vsize=7408652 memory=6628 CPUtime=0.05 cores=1,3,5,7
/proc/4473/task/4483/stat : 4483 (java) S 4455 4455 3746 0 -1 1077944384 435 0 0 0 5 0 0 0 20 0 15 0 405072026 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974742362864 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4484] ppid=4455 vsize=7408652 memory=8836 CPUtime=0.04 cores=1,3,5,7
/proc/4473/task/4484/stat : 4484 (java) S 4455 4455 3746 0 -1 1077944384 266 0 0 0 4 0 0 0 20 0 15 0 405072026 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974741310320 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4485] ppid=4455 vsize=7408652 memory=11044 CPUtime=0.17 cores=1,3,5,7
/proc/4473/task/4485/stat : 4485 (java) S 4455 4455 3746 0 -1 1077944384 716 0 0 0 17 0 0 0 20 0 15 0 405072026 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974740257264 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4486] ppid=4455 vsize=7408652 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4486/stat : 4486 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405072027 7586459648 24915 33554432000 4194304 4196468 140726467540304 139973118389088 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4487] ppid=4455 vsize=7408652 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4487/stat : 4487 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405072027 7586459648 24915 33554432000 4194304 4196468 140726467540304 139974739204656 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 101136 KiB

[startup+10.0008 s]*
/proc/loadavg: 4.21 3.92 3.92 3/239 4493
/proc/meminfo: memFree=15732828/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1476 CPUtime=23.8 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 583 39068 0 0 0 0 2316 64 20 0 1 0 405071127 115843072 369 33554432000 4194304 5098028 140724057003216 140724056999960 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 369 311 221 0 87 0
[pid=4473] ppid=4455 vsize=8068440 memory=116976 CPUtime=1.21 cores=1,3,5,7
/proc/4473/stat : 4473 (java) S 4455 4455 3746 0 -1 1077944320 20734 0 0 0 113 8 0 0 20 0 19 0 405072020 8262082560 29244 33554432000 4194304 4196468 140726467540304 140726467522848 139975431167735 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
/proc/4473/statm: 2017110 29244 3203 1 0 1978454 0
[pid=4488] ppid=4473 vsize=55556 memory=28448 CPUtime=0.32 cores=1,3,5,7
/proc/4488/stat : 4488 (cryptominisat5) R 4473 4455 3746 0 -1 4202496 8339 0 0 0 31 1 0 0 20 0 1 0 405072095 56889344 7112 33554432000 4194304 4451008 140724734052656 140724734049624 140236754203698 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 7725056 140724734059453 140724734059584 140724734059584 140724734062534 0
/proc/4488/statm: 13889 7112 641 63 0 7616 0
[pid=4473/tid=4474] ppid=4455 vsize=8068440 memory=610916509837295734 CPUtime=0.77 cores=1,3,5,7
/proc/4473/task/4474/stat : 4474 (java) S 4455 4455 3746 0 -1 1077944384 17417 0 0 0 70 7 0 0 20 0 19 0 405072021 8262082560 29244 33554432000 4194304 4196468 140726467540304 139975403007904 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4475] ppid=4455 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4475/stat : 4475 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405072022 8262082560 29244 33554432000 4194304 4196468 140726467540304 139975435410448 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4476] ppid=4455 vsize=8068440 memory=2923759 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4476/stat : 4476 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405072022 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974916025488 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4477] ppid=4455 vsize=8068440 memory=3834593205604726575 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4477/stat : 4477 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405072022 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974914972432 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4478] ppid=4455 vsize=8068440 memory=280951285597944 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4478/stat : 4478 (java) S 4455 4455 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405072022 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974913919888 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4479] ppid=4455 vsize=8068440 memory=140475562459255 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4479/stat : 4479 (java) S 4455 4455 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405072023 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974743415024 139975431178882 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4480] ppid=4455 vsize=8068440 memory=280951124918512 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4480/stat : 4480 (java) S 4455 4455 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405072024 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974259238048 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4481] ppid=4455 vsize=8068440 memory=7810182276224608608 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4481/stat : 4481 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405072024 8262082560 29244 33554432000 4194304 4196468 140726467540304 139973990802160 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4482] ppid=4455 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4482/stat : 4482 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405072026 8262082560 29244 33554432000 4194304 4196468 140726467540304 139973616293840 139975431186331 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4483] ppid=4455 vsize=8068440 memory=140475562459255 CPUtime=0.1 cores=1,3,5,7
/proc/4473/task/4483/stat : 4483 (java) S 4455 4455 3746 0 -1 1077944384 612 0 0 0 10 0 0 0 20 0 19 0 405072026 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974742362864 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4484] ppid=4455 vsize=8068440 memory=280951285597944 CPUtime=0.09 cores=1,3,5,7
/proc/4473/task/4484/stat : 4484 (java) S 4455 4455 3746 0 -1 1077944384 488 0 0 0 9 0 0 0 20 0 19 0 405072026 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974741310320 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4485] ppid=4455 vsize=8068440 memory=140475562459255 CPUtime=0.21 cores=1,3,5,7
/proc/4473/task/4485/stat : 4485 (java) S 4455 4455 3746 0 -1 1077944384 809 0 0 0 21 0 0 0 20 0 19 0 405072026 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974740257264 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4486] ppid=4455 vsize=8068440 memory=140475723138720 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4486/stat : 4486 (java) S 4455 4455 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405072027 8262082560 29244 33554432000 4194304 4196468 140726467540304 139973118389088 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4487] ppid=4455 vsize=8068440 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4487/stat : 4487 (java) S 4455 4455 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405072027 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974739204656 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4489] ppid=4455 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4489/stat : 4489 (java) S 4455 4455 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405072095 8262082560 29244 33554432000 4194304 4196468 140726467540304 139974731171136 139975431192345 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4491] ppid=4455 vsize=8068440 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4491/stat : 4491 (java) S 4455 4455 3746 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 405072095 8262082560 29244 33554432000 4194304 4196468 140726467540304 139972581502352 139975431189661 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4492] ppid=4455 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4492/stat : 4492 (java) S 4455 4455 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405072095 8262082560 29244 33554432000 4194304 4196468 140726467540304 139972715724816 139975431189661 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4493] ppid=4455 vsize=8068440 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4473/task/4493/stat : 4493 (java) S 4455 4455 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405072098 8262082560 29244 33554432000 4194304 4196468 140726467540304 139972313079600 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 8237124 KiB
Current children cumulated memory: 146900 KiB

[startup+10.4022 s]
/proc/loadavg: 4.21 3.92 3.92 3/239 4493
/proc/meminfo: memFree=15732828/32770624 swapFree=66997568/67108860
[pid=4455] ppid=4452 vsize=113128 memory=1476 CPUtime=23.8 cores=1,3,5,7
/proc/4455/stat : 4455 (scop.sh) S 4452 4455 3746 0 -1 4202496 583 39068 0 0 0 0 2316 64 20 0 1 0 405071127 115843072 369 33554432000 4194304 5098028 140724057003216 140724056999960 140494487937660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29200384 140724057006947 140724057007216 140724057007216 140724057010125 0
/proc/4455/statm: 28282 369 311 221 0 87 0
[pid=4473] ppid=4455 vsize=7937364 memory=145128 CPUtime=2.43 cores=1,3,5,7
/proc/4473/stat : 4473 (java) S 4455 4455 3746 0 -1 1077944320 22493 8951 0 0 180 9 52 2 20 0 17 0 405072020 8127860736 36282 33554432000 4194304 4196468 140726467540304 140726467522848 139975431167735 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
/proc/4473/statm: 1984341 36282 3235 1 0 1945685 0
[pid=4473/tid=4474] ppid=4455 vsize=7937364 memory=24292 CPUtime=1.38 cores=1,3,5,7
/proc/4473/task/4474/stat : 4474 (java) R 4455 4455 3746 0 -1 4202560 17626 8951 0 0 77 7 52 2 20 0 17 0 405072021 8127860736 36282 33554432000 4194304 4196468 140726467540304 139975402997968 139975415278960 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4475] ppid=4455 vsize=7937364 memory=26500 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4475/stat : 4475 (java) S 4455 4455 3746 0 -1 1077944384 2 8951 0 0 0 0 52 2 20 0 17 0 405072022 8127860736 36282 33554432000 4194304 4196468 140726467540304 139975435410448 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4476] ppid=4455 vsize=7937364 memory=28708 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4476/stat : 4476 (java) S 4455 4455 3746 0 -1 1077944384 1 8951 0 0 0 0 52 2 20 0 17 0 405072022 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974916025488 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4477] ppid=4455 vsize=7937364 memory=30916 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4477/stat : 4477 (java) S 4455 4455 3746 0 -1 1077944384 2 8951 0 0 0 0 52 2 20 0 17 0 405072022 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974914972432 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4478] ppid=4455 vsize=7937364 memory=140475562788300 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4478/stat : 4478 (java) S 4455 4455 3746 0 -1 1077944384 2 8951 0 0 0 0 52 2 20 0 17 0 405072022 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974913919888 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4479] ppid=4455 vsize=7937364 memory=7883944108235712103 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4479/stat : 4479 (java) S 4455 4455 3746 0 -1 1077944384 5 8951 0 0 0 0 52 2 20 0 17 0 405072023 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974743415024 139975431178882 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4480] ppid=4455 vsize=7937364 memory=6300092115915990373 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4480/stat : 4480 (java) S 4455 4455 3746 0 -1 1077944384 13 8951 0 0 0 0 52 2 20 0 17 0 405072024 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974259238048 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4481] ppid=4455 vsize=7937364 memory=6300092115915990373 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4481/stat : 4481 (java) S 4455 4455 3746 0 -1 1077944384 1 8951 0 0 0 0 52 2 20 0 17 0 405072024 8127860736 36282 33554432000 4194304 4196468 140726467540304 139973990802160 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4482] ppid=4455 vsize=7937364 memory=6300092115915990373 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4482/stat : 4482 (java) S 4455 4455 3746 0 -1 1077944384 3 8951 0 0 0 0 52 2 20 0 17 0 405072026 8127860736 36282 33554432000 4194304 4196468 140726467540304 139973616293840 139975431186331 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4483] ppid=4455 vsize=7937364 memory=6300092115915990373 CPUtime=0.82 cores=1,3,5,7
/proc/4473/task/4483/stat : 4483 (java) R 4455 4455 3746 0 -1 4202560 1098 8951 0 0 28 0 52 2 20 0 17 0 405072026 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974742351664 139975431189082 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4484] ppid=4455 vsize=7937364 memory=6300092115915990373 CPUtime=0.81 cores=1,3,5,7
/proc/4473/task/4484/stat : 4484 (java) R 4455 4455 3746 0 -1 4202560 786 8951 0 0 27 0 52 2 20 0 17 0 405072026 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974741296200 139975417197537 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4485] ppid=4455 vsize=7937364 memory=7956847261762544960 CPUtime=0.87 cores=1,3,5,7
/proc/4473/task/4485/stat : 4485 (java) S 4455 4455 3746 0 -1 1077944384 1117 8951 0 0 33 0 52 2 20 0 17 0 405072026 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974740257264 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4486] ppid=4455 vsize=7937364 memory=6300092115915990373 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4486/stat : 4486 (java) S 4455 4455 3746 0 -1 1077944384 3 8951 0 0 0 0 52 2 20 0 17 0 405072027 8127860736 36282 33554432000 4194304 4196468 140726467540304 139973118389088 139975431177941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4487] ppid=4455 vsize=7937364 memory=1476 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4487/stat : 4487 (java) S 4455 4455 3746 0 -1 1077944384 3 8951 0 0 0 0 52 2 20 0 17 0 405072027 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974739204656 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4489] ppid=4455 vsize=7937364 memory=63492 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4489/stat : 4489 (java) S 4455 4455 3746 0 -1 1077944384 32 8951 0 0 0 0 52 2 20 0 17 0 405072095 8127860736 36282 33554432000 4194304 4196468 140726467540304 139974731170320 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
[pid=4473/tid=4493] ppid=4455 vsize=7937364 memory=6944656592455360604 CPUtime=0.54 cores=1,3,5,7
/proc/4473/task/4493/stat : 4493 (java) S 4455 4455 3746 0 -1 1077944384 10 8951 0 0 0 0 52 2 20 0 17 0 405072098 8127860736 36282 33554432000 4194304 4196468 140726467540304 139972313081392 139975431178882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140726467548156 140726467548314 140726467548314 140726467551183 0
Current children cumulated CPU time: 26.23 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 146604 KiB

Child status: 0
Real time (s): 10.4947
CPU time (s): 26.4382
CPU user time (s): 25.665
CPU system time (s): 0.773232
CPU usage (%): 251.919
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 2935316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.665
system time used= 0.773232
maximum resident set size= 2934120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7536
involuntary context switches= 90


# summary of solver processes directly reported to runsolver:
#   pid: 4455
#   total CPU time (s): 26.4382
#   total CPU user time (s): 25.665
#   total CPU system time (s): 0.773232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096624 second user time and 0.15765 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-12 14:28:25
IDJOB=4387831
IDBENCH=126480
IDSOLVER=2826
FILE ID=node145/4387831-1568291346
RUNJOBID= node145-1568289720-3778
PBS_JOBID= 21701095
Free space on /tmp= 52548 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-7-4-cp.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -hybrid DIR/cryptominisat5 default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387831-1568291346/watcher-4387831-1568291346 -o /tmp/evaluation-result-4387831-1568291346/solver-4387831-1568291346 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387831-1568291346.xml

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

MD5SUM BENCH= 6c7c8fee2fac051830782d16440ff60b
RANDOM SEED=73581674

node145.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.59
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.59
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.59
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.59
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:        15877496 kB
MemAvailable:   29735608 kB
Buffers:          127628 kB
Cached:         13799356 kB
SwapCached:         2212 kB
Active:          5149404 kB
Inactive:       10904196 kB
Active(anon):    2124280 kB
Inactive(anon):    43552 kB
Active(file):    3025124 kB
Inactive(file): 10860644 kB
Unevictable:      108484 kB
Mlocked:          108484 kB
SwapTotal:      67108860 kB
SwapFree:       66997568 kB
Dirty:             21364 kB
Writeback:             0 kB
AnonPages:       2354596 kB
Mapped:            55448 kB
Shmem:             32328 kB
Slab:             429152 kB
SReclaimable:     400804 kB
SUnreclaim:        28348 kB
KernelStack:        4112 kB
PageTables:         9976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8208624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1048576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52528 MiB
End job on node145 at 2019-09-12 14:28:35